1,485,882 research outputs found
The New Quantum Logic
It is shown how all the major conceptual difficulties of standard (textbook)
quantum mechanics, including the two measurement problems and the (supposed)
nonlocality that conflicts with special relativity, are resolved in the
consistent or decoherent histories interpretation of quantum mechanics by using
a modified form of quantum logic to discuss quantum properties (subspaces of
the quantum Hilbert space), and treating quantum time development as a
stochastic process. The histories approach in turn gives rise to some
conceptual difficulties, in particular the correct choice of a framework
(probabilistic sample space) or family of histories, and these are discussed.
The central issue is that the principle of unicity, the idea that there is a
unique single true description of the world, is incompatible with our current
understanding of quantum mechanics.Comment: Minor changes and corrections to bring into conformity with published
versio
Wittgenstein's Programme of a New Logic
The young Wittgenstein called his conception of logic “New Logic” and opposed it to
the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic
objects of Wittgenstein’s conception of a New Logic are outlined in contrast to
classical logic. The detailed elaboration of Wittgenstein’s conception depends on the
realization of his ab-notation for first order logic
A simple sequent calculus for nominal logic
Nominal logic is a variant of first-order logic that provides support for
reasoning about bound names in abstract syntax. A key feature of nominal logic
is the new-quantifier, which quantifies over fresh names (names not appearing
in any values considered so far). Previous attempts have been made to develop
convenient rules for reasoning with the new-quantifier, but we argue that none
of these attempts is completely satisfactory.
In this article we develop a new sequent calculus for nominal logic in which
the rules for the new- quantifier are much simpler than in previous attempts.
We also prove several structural and metatheoretic properties, including
cut-elimination, consistency, and equivalence to Pitts' axiomatization of
nominal logic
Note on the Significance of the New Logic
Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'
Mexitl: Multimedia in Executable Interval Temporal Logic
This paper explores a formalism for describing a wide class of multimedia document constraints, based on an interval temporal logic. We describe the requirements on temporal logic specification that arise from the multimedia documents application area. In particular, we highlight a canonical specification example. Then we present the temporal logic formalism that we use. This extends existing interval temporal logic with a number of new features: actions, framing of actions, past operators, a projection-like operator called filter and a new handling of interval length. A model theory, logic and satisfaction relation are defined for the notation, a specification of the canonical example is presented, and a proof system for the logic is introduced
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
- …