Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
Graduate studies at Western
History and Philosophy of Logic 9 (1):67-75 (1988)
|Abstract||Brouwer's criticism of mathematical proofs making essential use of the tertium non datur had a surprisingly late response in logical circles. Among the diverse reactions in the mid 1920s and early 1930s, it is possible to delimit a coherent body of opinions on these questions: (1) whether Brouwer's denial of the tertium non datur meant only the abandonment of this classical law or, beyond that, the affirmation of its negation; (2) whether one or both of these alternatives were logically inconsistent; and (3) whether Brouwer's line of argument was forced to take resort to the very law it was designed to refute. The controversy centred around a series of articles by Marcel Barzin and Alfred Errera who fought against the intuitionistic critique, missed their victory because of conceptual confusions and fallacious reasoning, but emerged unconvinced from the debate in the late 1930s. The controversy is of interest to the historiography of formal logic since it stimulated the clarification not only of the concepts of formal validity, decidability, many-valued systems of logic and non-classical systems generally, but also of the distinction between object and meta-level, and between a formal system and its semantics. Most important, the debate, by putting pressure on the intuitionistic camp to make their ideas more precise, seems to have given the decisive motivation towards Heyting's answer to this demand by his axiomatization of intuitionistic logic in 1930|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Frank Wolter (1998). On Logics with Coimplication. Journal of Philosophical Logic 27 (4):353-387.
Arend Heyting (1931). Die Intuitionistische Grundlegung der Mathematik. Erkenntnis 2 (1):106-115.
Sergei N. Artemov (2001). Explicit Provability and Constructive Semantics. Bulletin of Symbolic Logic 7 (1):1-36.
Grigori Mints (2006). Notes on Constructive Negation. Synthese 148 (3):701 - 717.
Miriam Franchella (1994). Heyting's Contribution to the Change in Research Into the Foundations of Mathematics. History and Philosophy of Logic 15 (2):149-172.
Roger Schmit (1985). Allgemeinheit und Existenz. Grazer Philosophische Studien 23:59-78.
Piero Pagliani, Intrinsic Co-Heyting Boundaries and Information Incompleteness in Rough Set Analysis.
Göran Sundholm (1994). Existence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth. Topoi 13 (2):117-126.
Thomas Macaulay Ferguson (forthcoming). Extensions of Priest-da Costa Logic. Studia Logica:1-30.
Bob Coecke (2002). Disjunctive Quantum Logic in Dynamic Perspective. Studia Logica 71 (1):47 - 56.
Greg Restall (2001). Constructive Logic, Truth and Warranted Assertability. Philosophical Quarterly 51 (205):474-483.
Thomas Binder (2000). Die Brentano-Gesellschaft und das Brentano-Archiv in Prag. Grazer Philosophische Studien 58:533-565.
Daniel Dzierzgowski (1995). Models of Intuitionistic TT and N. Journal of Symbolic Logic 60 (2):640-653.
Silvio Ghilardi (1999). Unification in Intuitionistic Logic. Journal of Symbolic Logic 64 (2):859-880.
Sorry, there are not enough data points to plot this chart.
Added to index2010-09-02
Total downloads1 ( #292,563 of 739,366 )
Recent downloads (6 months)1 ( #61,680 of 739,366 )
How can I increase my downloads?