Schrödinger logics (Q1338481): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Multiset theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3235339 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3277110 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Completeness in the theory of types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5799431 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5551052 / 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: Q3286218 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pragmatic truth and approximation to truth / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logic of many-sorted theories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5789491 / rank
 
Normal rank

Revision as of 09:38, 23 May 2024

scientific article
Language Label Description Also known as
English
Schrödinger logics
scientific article

    Statements

    Schrödinger logics (English)
    0 references
    0 references
    0 references
    20 July 1995
    0 references
    The key characteristic of a ``Schrödinger logic'' is apparently that it can distinguish indistinguishability from identity, i.e., in such a logic it will not be the case that the ``Leibniz law'': \(x= y\) iff \(\forall F(F(x)\leftrightarrow F(y))\) holds. Individuals may share all attributes and yet not be identical in the sense of being the same individual. It is argued here that such systems are needed to express quantum descriptions of elementary particles, an argument derived from Schrödinger's claims that ``sameness'' has no meaning when applied to elementary particles. The main purpose of the paper is to present a higher-order logic in which the Leibniz law is violated. In section 2 a first-order system is presented which simply disallows expressions of form \(x= y\) as ill-formed over some part of the domain, i.e. where \(x\), \(y\) are ``\(m\)-atoms'', and in section 3 a higher-order system is developed from this. In such a system the notion of being ``relatively indistinguishable'' is defined so that in particular two individuals may be ``indistinguishable with respect to intrinsic properties'' and yet not be the same individuals. A weak completeness result for this logic is presented in section 4. The paper ends with a brief discussion of the problems associated with such a system, in particular the fact that the semantics, i.e. the ``meta-mathematics'' used to derive a model for the logical system, is based on normal set theory. So the model theory for the Schrödinger logic is based on a system in which the Leibniz law holds. The authors see a need to ``search for new axioms and mathematical systems to treat mathematically those entities which are presented to us by modern physics''.
    0 references
    type theory
    0 references
    indistinguishability
    0 references
    identity
    0 references
    Leibniz law
    0 references
    Schrödinger logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references