783 research outputs found
Toward a probability theory for product logic: states, integral representation and reasoning
The aim of this paper is to extend probability theory from the classical to
the product t-norm fuzzy logic setting. More precisely, we axiomatize a
generalized notion of finitely additive probability for product logic formulas,
called state, and show that every state is the Lebesgue integral with respect
to a unique regular Borel probability measure. Furthermore, the relation
between states and measures is shown to be one-one. In addition, we study
geometrical properties of the convex set of states and show that extremal
states, i.e., the extremal points of the state space, are the same as the
truth-value assignments of the logic. Finally, we axiomatize a two-tiered modal
logic for probabilistic reasoning on product logic events and prove soundness
and completeness with respect to probabilistic spaces, where the algebra is a
free product algebra and the measure is a state in the above sense.Comment: 27 pages, 1 figur
Quantum mechanics as a theory of probability
We develop and defend the thesis that the Hilbert space formalism of quantum
mechanics is a new theory of probability. The theory, like its classical
counterpart, consists of an algebra of events, and the probability measures
defined on it. The construction proceeds in the following steps: (a) Axioms for
the algebra of events are introduced following Birkhoff and von Neumann. All
axioms, except the one that expresses the uncertainty principle, are shared
with the classical event space. The only models for the set of axioms are
lattices of subspaces of inner product spaces over a field K. (b) Another axiom
due to Soler forces K to be the field of real, or complex numbers, or the
quaternions. We suggest a probabilistic reading of Soler's axiom. (c) Gleason's
theorem fully characterizes the probability measures on the algebra of events,
so that Born's rule is derived. (d) Gleason's theorem is equivalent to the
existence of a certain finite set of rays, with a particular orthogonality
graph (Wondergraph). Consequently, all aspects of quantum probability can be
derived from rational probability assignments to finite "quantum gambles". We
apply the approach to the analysis of entanglement, Bell inequalities, and the
quantum theory of macroscopic objects. We also discuss the relation of the
present approach to quantum logic, realism and truth, and the measurement
problem.Comment: 37 pages, 3 figures. Forthcoming in a Festschrift for Jeffrey Bub,
ed. W. Demopoulos and the author, Springer (Kluwer): University of Western
Ontario Series in Philosophy of Scienc
The Baire closure and its logic
The Baire algebra of a topological space is the quotient of the algebra
of all subsets of modulo the meager sets. We show that this Boolean algebra
can be endowed with a natural closure operator, resulting in a closure algebra
which we denote . We identify the modal logic of such algebras
to be the well-known system , and prove soundness and strong
completeness for the cases where is crowded and either completely
metrizable and continuum-sized or locally compact Hausdorff. We also show that
every extension of is the modal logic of a subalgebra of , and that soundness and strong completeness also holds in the
language with the universal modality
Standard Bayes logic is not finitely axiomatizable
In the paper [http://philsci-archive.pitt.edu/14136] a hierarchy of modal logics have been defined to capture the logical features of Bayesian belief revision. Elements in that hierarchy were distinguished by the cardinality of the set of elementary propositions. By linking the modal logics in the hierarchy to Medvedev's logic of (in)finite problems it has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. However, the infinite case remained open. In this paper we prove that the modal logic of Bayesian belief revision determined by standard Borel spaces (these cover probability spaces that occur in most of the applications) is also not finitely axiomatizable
Standard Bayes logic is not finitely axiomatizable
In the paper [http://philsci-archive.pitt.edu/14136] a hierarchy of modal logics have been defined to capture the logical features of Bayesian belief revision. Elements in that hierarchy were distinguished by the cardinality of the set of elementary propositions. By linking the modal logics in the hierarchy to Medvedev's logic of (in)finite problems it has been shown that the modal logic of Bayesian belief revision determined by probabilities on a finite set of elementary propositions is not finitely axiomatizable. However, the infinite case remained open. In this paper we prove that the modal logic of Bayesian belief revision determined by standard Borel spaces (these cover probability spaces that occur in most of the applications) is also not finitely axiomatizable
Ergodicity of skew products over linearly recurrent IETs
We prove that the skew product over a linearly recurrent interval exchange
transformation defined by almost any real-valued, mean-zero linear combination
of characteristic functions of intervals is ergodic with respect to Lebesgue
measure.Comment: V2: Rewrite of Sections 3, 4.4, 4.5 and
A notion of rectifiability modeled on Carnot groups
We introduce a notion of rectifiability modeled on Carnot groups. Precisely,
we say that a subset E of a Carnot group M and N is a subgroup of M, we say E
is N-rectifiable if it is the Lipschitz image of a positive measure subset of
N. First, we discuss the implications of N-rectifiability, where N is a Carnot
group (not merely a subgroup of a Carnot group), which include
N-approximability and the existence of approximate tangent cones isometric to N
almost everywhere in E. Second, we prove that, under a stronger condition
concerning the existence of approximate tangent cones isomorphic to N almost
everywhere in a set E, that E is N-rectifiable. Third, we investigate the
rectifiability properties of level sets of C^1_N functions, where N is a Carnot
group. We show that for almost every real number t and almost every
noncharacteristic point x in a level set of f, there exists a subgroup T_x of H
and r >0 so that f^{-1}(t) intersected with B_H(x,r) is T_x-approximable at x
and an approximate tangent cone isomorphic to T_x at x.Comment: 27 page
Modal logic S4 as a paraconsistent logic with a topological semantics
In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency
- …