An intensional Schrödinger logic (Q1381433): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / DOI | |||
Property / DOI: 10.1305/ndjfl/1039724886 / rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1305/ndjfl/1039724886 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2077238431 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Schrödinger logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2776088 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342085 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2724968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5760695 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4108293 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4032843 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a quasi-set theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2735814 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A formal framework for quantum non-individuality. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4699346 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4160889 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5815487 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4891189 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5789491 / rank | |||
Normal rank | |||
Property / DOI | |||
Property / DOI: 10.1305/NDJFL/1039724886 / rank | |||
Normal rank |
Latest revision as of 19:07, 10 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An intensional Schrödinger logic |
scientific article |
Statements
An intensional Schrödinger logic (English)
0 references
19 November 1998
0 references
Interest in nonstandard logic can arise from mathematical curiosity, or it can, these authors argue, arise from the necessities of science. They argue that modern physics teaches us that elementary particles can be indistinguishable but not identical, that we cannot suppose that one and the same particle is observed at different times. Our concepts of set individual and extension and intension must therefore all be revised. Schrödinger is quoted: It is not a question of our being able to ascertain the identity in some instances and not being able to do so in others. It is beyond doubt that the question of sameness of identity really and truly has no meaning. With this motivation in modern physics, the authors continue to develop earlier work on a two-sorted first-order logical system [where] the principle of identity is not valid in general\dots{} In this system there is one species for which the law of identity holds, and another where it does not. In previous papers this system was developed into a higher-order logic, and a classical semantics developed for this logic based on usual set theory. The purpose of the present paper is to use quasi-set theory as a more appropriate basis for the semantics, since it is argued, in this set theory the existence of indistinguishable but non-identical elements is allowed. The quasi-set theory of Dalla Chiara is the basis of this investigation. The fundamentals of this set theory along with the language and semantics of the Schrödinger logic are developed here sufficiently to present, as the main result, the outline of soundness and completeness theorems for the logic. These results are summarily but clearly presented. The paper ends with a discussion of how this work relates to the foundations of quantum mechanics, and points the way to future work. In particular the authors are concerned with how this analysis of intensional logic might be related back to more traditional considerations of quantum logic. It would be interesting to analyse the modifications to be made in the axioms and in the interpretations of what is to be considered a proposition such that the algebra be an orthomodular lattice as occurs in QM, instead of a Boolean algebra. Their ultimate aim is to show how these systems of intensional logic might also appear as legitimate quantum logics in some sense.
0 references
Schrödinger logic
0 references
intensional logic
0 references
quantum logic
0 references
higher-order logic
0 references
quasi-set theory
0 references
semantics
0 references
existence of indistinguishable but non-identical elements
0 references
foundations of quantum mechanics
0 references