Cited by 273Advanced Algebra and LogicLogic, Reasoning, and KnowledgePhilosophy, Science, and History

Die Logik nicht gleichzeitig entscheidbarer Aussagen

Specker, Ernst·1960·Dialectica

Abstract

Das der Arbeit vorangestellte Motto ist der Untertitel des Kapitels La physique de l’objet quelconque aus dem Werk Les mathematiques et la realite; diese Physik erweist sich im wesentlichen als eine Form der klassischen Aussagenlogik, welche so einerseits eine typische Realisation erhalt und sich anderseits auf fast selbstverstandliche Art des Absolutheitsanspruches entkleidet findet, mit dem sie zeitweise behangt wurde. Die folgenden Ausfuhrungen schliessen sich an diese Betrachtungsweise an und mochten in demselben empirischen Sinn verstanden sein.

Integrity signals

Registry

Crossref · 10.1111/j.1746-8361.1960.tb00422.x

Cites

Statistics

Recomputing p-values needs the paper’s full text.

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

Claims other papers make about this one

Each is checked against this paper’s own text: does it say what the citing paper says it does?

  • No-go theorems for non-contextual hidden variables show a drastic difference between classical and quantum.

    “Another class of theorems, which show the drastic difference between the classical and the quantum, are the no-go theorems for non-contextual hidden variables (NCHV) interpretations of quantum mechanics [Specker, 1960;Bell, 1966;Kochen and Specker, 1967;Mermin, 1990c; for a survey, see (Mermin, 1993)].”

    From Multiphoton entanglement and interferometry (2012) · cites this paper as Specker, 1960

Cited by

Sorted by citations

Authors
Specker, E.
Corresponding author
Specker, Ernst
Venue
Dialectica
Published
1960
Volume
14
Issue
54/55
Pages
239-246
ISSN
0012-2017 (ISSN-L)
OpenAlex
W2141330794
Cited by
273
References
0
Citations by year
2026: 4 · 2025: 6 · 2024: 7 · 2023: 6 · 2022: 11 · 2021: 13 · 2020: 7 · 2019: 13 · 2018: 15 · 2017: 16 · 2016: 16 · 2015: 15 · 2014: 25 · 2013: 16 · 2012: 17
FWCI
0.00
Type
journal article
Language
en
Open access
closed
Locations
dialectica (publishedVersion)
Topics
  • Physical Sciences › Computer Science › Computational Theory and Mathematics › Advanced Algebra and Logic
  • Physical Sciences › Computer Science › Artificial Intelligence › Logic, Reasoning, and Knowledge
  • Social Sciences › Arts and Humanities › History and Philosophy of Science › Philosophy, Science, and History
Keywords
classical propositional logic, undecidability, philosophy of mathematics, philosophy of logic

About these checks

Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.

Statistics and arithmetic are recomputed, not judged.

Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.

What counts as a claim ›How we measure confidence ›How we check this ›

Are you an author, or do you see a problem with this page? Request a review