The Paradox of Classical Reasoning View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2022-07-30

AUTHORS

Arkady Bolotin

ABSTRACT

Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same subject, it seems only reasonable to compare the expressive powers of their formal languages. On condition that the quantum mechanical description is universal and so can be applied to macroscopic systems, quantum theory is required to be more powerful than classical mechanics. This implies that the formal language of Hilbert space theory must be more expressive than that of Zermelo-Fraenkel set theory (the language of classical formalism). However, as shown in the paper, such a requirement cannot be met. As a result, classical and quantum formalisms cannot be in a hierarchical relation, that is, include one another. This fact puts in doubt the quantum-classical correspondence and undermines the reductionist approach to the physical world. More... »

PAGES

87

References to SciGraph publications

  • 2006-01-01. Is it True; or is it False; or Somewhere in Between? The Logic of Quantum Theory in PHYSICAL THEORY AND ITS INTERPRETATION
  • 1984-03. Semantic closure in STUDIA LOGICA
  • 1976. The Conditional in Quantum Logic in LOGIC AND PROBABILITY IN QUANTUM MECHANICS
  • 2021-05-25. Fast Vacuum Fluctuations and the Emergence of Quantum Mechanics in FOUNDATIONS OF PHYSICS
  • 2001-02. 100 Years of Quantum Mysteries in SCIENTIFIC AMERICAN
  • 2001-01. Finitism in Geometry in ERKENNTNIS
  • 2009. Introduction to Boolean Algebras in NONE
  • 2013-01-31. Some topological properties of paraconsistent models in SYNTHESE
  • 1979-09. The mathematical foundations of quantum mechanics in SYNTHESE
  • 2019-09-27. Quantum Information Versus Epistemic Logic: An Analysis of the Frauchiger–Renner Theorem in FOUNDATIONS OF PHYSICS
  • 1999. Undefinability vs. Definability of Satisfaction and Truth in ALFRED TARSKI AND THE VIENNA CIRCLE
  • 2014-11-16. What is a truth-value gap? in LINGUISTICS AND PHILOSOPHY
  • 1989. Mathematical Methods of Classical Mechanics in NONE
  • 2018-09-18. Quantum theory cannot consistently describe the use of itself in NATURE COMMUNICATIONS
  • 2004. Reasoning in Quantum Theory, Sharp and Unsharp Quantum Logics in NONE
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10701-022-00604-7

    DOI

    http://dx.doi.org/10.1007/s10701-022-00604-7

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1149870408


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "about": [
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/02", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Physical Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0206", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Quantum Physics", 
            "type": "DefinedTerm"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Ben-Gurion University of the Negev, Beersheba, Israel", 
              "id": "http://www.grid.ac/institutes/grid.7489.2", 
              "name": [
                "Ben-Gurion University of the Negev, Beersheba, Israel"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Bolotin", 
            "givenName": "Arkady", 
            "id": "sg:person.01057375502.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01057375502.15"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/s10988-014-9160-x", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030481763", 
              "https://doi.org/10.1007/s10988-014-9160-x"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00413704", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1048670072", 
              "https://doi.org/10.1007/bf00413704"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf00935745", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1017306811", 
              "https://doi.org/10.1007/bf00935745"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10701-021-00464-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1138331342", 
              "https://doi.org/10.1007/s10701-021-00464-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s11229-013-0246-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1026224141", 
              "https://doi.org/10.1007/s11229-013-0246-8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-010-9466-5_4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023429723", 
              "https://doi.org/10.1007/978-94-010-9466-5_4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-1-4757-2063-1", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032324369", 
              "https://doi.org/10.1007/978-1-4757-2063-1"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-017-0526-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1023653427", 
              "https://doi.org/10.1007/978-94-017-0526-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/1-4020-4876-9_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1036110383", 
              "https://doi.org/10.1007/1-4020-4876-9_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1023/a:1005655803647", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020779175", 
              "https://doi.org/10.1023/a:1005655803647"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10701-019-00298-4", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1121332177", 
              "https://doi.org/10.1007/s10701-019-00298-4"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-0-387-68436-9", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1040333930", 
              "https://doi.org/10.1007/978-0-387-68436-9"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1038/scientificamerican0201-68", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1056483156", 
              "https://doi.org/10.1038/scientificamerican0201-68"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-94-017-0689-6_17", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1020922526", 
              "https://doi.org/10.1007/978-94-017-0689-6_17"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1038/s41467-018-05739-8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1106858936", 
              "https://doi.org/10.1038/s41467-018-05739-8"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2022-07-30", 
        "datePublishedReg": "2022-07-30", 
        "description": "Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same subject, it seems only reasonable to compare the expressive powers of their formal languages. On condition that the quantum mechanical description is universal and so can be applied to macroscopic systems, quantum theory is required to be more powerful than classical mechanics. This implies that the formal language of Hilbert space theory must be more expressive than that of Zermelo-Fraenkel set theory (the language of classical formalism). However, as shown in the paper, such a requirement cannot be met. As a result, classical and quantum formalisms cannot be in a hierarchical relation, that is, include one another. This fact puts in doubt the quantum-classical correspondence and undermines the reductionist approach to the physical world.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10701-022-00604-7", 
        "isAccessibleForFree": true, 
        "isPartOf": [
          {
            "id": "sg:journal.1297335", 
            "issn": [
              "0015-9018", 
              "1572-9516"
            ], 
            "name": "Foundations of Physics", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "4", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "52"
          }
        ], 
        "keywords": [
          "formal language", 
          "language", 
          "hierarchical relations", 
          "expressive power", 
          "physical world", 
          "space theory", 
          "classical reasoning", 
          "theory", 
          "quantity of ideas", 
          "world", 
          "idea", 
          "paradox", 
          "relation", 
          "doubt", 
          "correspondence", 
          "same subjects", 
          "fact", 
          "reductionist approach", 
          "power", 
          "Hilbert space theory", 
          "description", 
          "reasoning", 
          "quantum-classical correspondence", 
          "quantum mechanical description", 
          "subjects", 
          "Zermelo-Fraenkel set theory", 
          "variety", 
          "classical mechanics", 
          "quantum theory", 
          "macroscopic systems", 
          "mechanical description", 
          "quantum formalism", 
          "paper", 
          "set theory", 
          "approach", 
          "formalism", 
          "mechanics", 
          "system", 
          "quantity", 
          "results", 
          "requirements", 
          "conditions"
        ], 
        "name": "The Paradox of Classical Reasoning", 
        "pagination": "87", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1149870408"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10701-022-00604-7"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10701-022-00604-7", 
          "https://app.dimensions.ai/details/publication/pub.1149870408"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2022-12-01T06:44", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20221201/entities/gbq_results/article/article_952.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10701-022-00604-7"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/s10701-022-00604-7'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/s10701-022-00604-7'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10701-022-00604-7'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10701-022-00604-7'


     

    This table displays all metadata directly associated to this object as RDF triples.

    159 TRIPLES      21 PREDICATES      81 URIs      58 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10701-022-00604-7 schema:about anzsrc-for:02
    2 anzsrc-for:0206
    3 schema:author Ndef733f4434c44b0a176e0880021c77d
    4 schema:citation sg:pub.10.1007/1-4020-4876-9_8
    5 sg:pub.10.1007/978-0-387-68436-9
    6 sg:pub.10.1007/978-1-4757-2063-1
    7 sg:pub.10.1007/978-94-010-9466-5_4
    8 sg:pub.10.1007/978-94-017-0526-4
    9 sg:pub.10.1007/978-94-017-0689-6_17
    10 sg:pub.10.1007/bf00413704
    11 sg:pub.10.1007/bf00935745
    12 sg:pub.10.1007/s10701-019-00298-4
    13 sg:pub.10.1007/s10701-021-00464-7
    14 sg:pub.10.1007/s10988-014-9160-x
    15 sg:pub.10.1007/s11229-013-0246-8
    16 sg:pub.10.1023/a:1005655803647
    17 sg:pub.10.1038/s41467-018-05739-8
    18 sg:pub.10.1038/scientificamerican0201-68
    19 schema:datePublished 2022-07-30
    20 schema:datePublishedReg 2022-07-30
    21 schema:description Intuitively, the more powerful a theory is, the greater the variety and quantity of ideas can be expressed through its formal language. Therefore, when comparing two theories concerning the same subject, it seems only reasonable to compare the expressive powers of their formal languages. On condition that the quantum mechanical description is universal and so can be applied to macroscopic systems, quantum theory is required to be more powerful than classical mechanics. This implies that the formal language of Hilbert space theory must be more expressive than that of Zermelo-Fraenkel set theory (the language of classical formalism). However, as shown in the paper, such a requirement cannot be met. As a result, classical and quantum formalisms cannot be in a hierarchical relation, that is, include one another. This fact puts in doubt the quantum-classical correspondence and undermines the reductionist approach to the physical world.
    22 schema:genre article
    23 schema:isAccessibleForFree true
    24 schema:isPartOf N0038dac6b1c84061a8069cdb965a0af3
    25 N4bf3055e88294e32bff23be442a8845c
    26 sg:journal.1297335
    27 schema:keywords Hilbert space theory
    28 Zermelo-Fraenkel set theory
    29 approach
    30 classical mechanics
    31 classical reasoning
    32 conditions
    33 correspondence
    34 description
    35 doubt
    36 expressive power
    37 fact
    38 formal language
    39 formalism
    40 hierarchical relations
    41 idea
    42 language
    43 macroscopic systems
    44 mechanical description
    45 mechanics
    46 paper
    47 paradox
    48 physical world
    49 power
    50 quantity
    51 quantity of ideas
    52 quantum formalism
    53 quantum mechanical description
    54 quantum theory
    55 quantum-classical correspondence
    56 reasoning
    57 reductionist approach
    58 relation
    59 requirements
    60 results
    61 same subjects
    62 set theory
    63 space theory
    64 subjects
    65 system
    66 theory
    67 variety
    68 world
    69 schema:name The Paradox of Classical Reasoning
    70 schema:pagination 87
    71 schema:productId N283145afd1cb41e0a4f5ac4175aed467
    72 N3e431d2194b949268e946f01730f77f3
    73 schema:sameAs https://app.dimensions.ai/details/publication/pub.1149870408
    74 https://doi.org/10.1007/s10701-022-00604-7
    75 schema:sdDatePublished 2022-12-01T06:44
    76 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    77 schema:sdPublisher N6d1c650728144ea5843f209573adb4d0
    78 schema:url https://doi.org/10.1007/s10701-022-00604-7
    79 sgo:license sg:explorer/license/
    80 sgo:sdDataset articles
    81 rdf:type schema:ScholarlyArticle
    82 N0038dac6b1c84061a8069cdb965a0af3 schema:volumeNumber 52
    83 rdf:type schema:PublicationVolume
    84 N283145afd1cb41e0a4f5ac4175aed467 schema:name doi
    85 schema:value 10.1007/s10701-022-00604-7
    86 rdf:type schema:PropertyValue
    87 N3e431d2194b949268e946f01730f77f3 schema:name dimensions_id
    88 schema:value pub.1149870408
    89 rdf:type schema:PropertyValue
    90 N4bf3055e88294e32bff23be442a8845c schema:issueNumber 4
    91 rdf:type schema:PublicationIssue
    92 N6d1c650728144ea5843f209573adb4d0 schema:name Springer Nature - SN SciGraph project
    93 rdf:type schema:Organization
    94 Ndef733f4434c44b0a176e0880021c77d rdf:first sg:person.01057375502.15
    95 rdf:rest rdf:nil
    96 anzsrc-for:02 schema:inDefinedTermSet anzsrc-for:
    97 schema:name Physical Sciences
    98 rdf:type schema:DefinedTerm
    99 anzsrc-for:0206 schema:inDefinedTermSet anzsrc-for:
    100 schema:name Quantum Physics
    101 rdf:type schema:DefinedTerm
    102 sg:journal.1297335 schema:issn 0015-9018
    103 1572-9516
    104 schema:name Foundations of Physics
    105 schema:publisher Springer Nature
    106 rdf:type schema:Periodical
    107 sg:person.01057375502.15 schema:affiliation grid-institutes:grid.7489.2
    108 schema:familyName Bolotin
    109 schema:givenName Arkady
    110 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01057375502.15
    111 rdf:type schema:Person
    112 sg:pub.10.1007/1-4020-4876-9_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036110383
    113 https://doi.org/10.1007/1-4020-4876-9_8
    114 rdf:type schema:CreativeWork
    115 sg:pub.10.1007/978-0-387-68436-9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040333930
    116 https://doi.org/10.1007/978-0-387-68436-9
    117 rdf:type schema:CreativeWork
    118 sg:pub.10.1007/978-1-4757-2063-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032324369
    119 https://doi.org/10.1007/978-1-4757-2063-1
    120 rdf:type schema:CreativeWork
    121 sg:pub.10.1007/978-94-010-9466-5_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023429723
    122 https://doi.org/10.1007/978-94-010-9466-5_4
    123 rdf:type schema:CreativeWork
    124 sg:pub.10.1007/978-94-017-0526-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1023653427
    125 https://doi.org/10.1007/978-94-017-0526-4
    126 rdf:type schema:CreativeWork
    127 sg:pub.10.1007/978-94-017-0689-6_17 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020922526
    128 https://doi.org/10.1007/978-94-017-0689-6_17
    129 rdf:type schema:CreativeWork
    130 sg:pub.10.1007/bf00413704 schema:sameAs https://app.dimensions.ai/details/publication/pub.1048670072
    131 https://doi.org/10.1007/bf00413704
    132 rdf:type schema:CreativeWork
    133 sg:pub.10.1007/bf00935745 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017306811
    134 https://doi.org/10.1007/bf00935745
    135 rdf:type schema:CreativeWork
    136 sg:pub.10.1007/s10701-019-00298-4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1121332177
    137 https://doi.org/10.1007/s10701-019-00298-4
    138 rdf:type schema:CreativeWork
    139 sg:pub.10.1007/s10701-021-00464-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1138331342
    140 https://doi.org/10.1007/s10701-021-00464-7
    141 rdf:type schema:CreativeWork
    142 sg:pub.10.1007/s10988-014-9160-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1030481763
    143 https://doi.org/10.1007/s10988-014-9160-x
    144 rdf:type schema:CreativeWork
    145 sg:pub.10.1007/s11229-013-0246-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1026224141
    146 https://doi.org/10.1007/s11229-013-0246-8
    147 rdf:type schema:CreativeWork
    148 sg:pub.10.1023/a:1005655803647 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020779175
    149 https://doi.org/10.1023/a:1005655803647
    150 rdf:type schema:CreativeWork
    151 sg:pub.10.1038/s41467-018-05739-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1106858936
    152 https://doi.org/10.1038/s41467-018-05739-8
    153 rdf:type schema:CreativeWork
    154 sg:pub.10.1038/scientificamerican0201-68 schema:sameAs https://app.dimensions.ai/details/publication/pub.1056483156
    155 https://doi.org/10.1038/scientificamerican0201-68
    156 rdf:type schema:CreativeWork
    157 grid-institutes:grid.7489.2 schema:alternateName Ben-Gurion University of the Negev, Beersheba, Israel
    158 schema:name Ben-Gurion University of the Negev, Beersheba, Israel
    159 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...