In his posthumous book from 1914, "New foundations of logic, arithmetic and set theory", Julius Konig develops his philosophy of mathematics. In a previous contribution, we attracted attention on the positive part (his truth and falsehood predicates being excluded) of his "pure logic": his "isology" being assimilated to mutual implication, it constitutes a genuine formalization of positive intuitionistic logic. Konig's intention was to rebuild logic in such a way that the excluded third's principle could no longer be logical. However, his treatment of truth and falsehood (boiling down to negation) is purely classical. We explain here this discrepancy by the choice of the alleged more primitive notions to which the questioned notions of truth and falsehood have been reduced. Finaly, it turns out that the disjunctive and conjunctive forms of the principles of the excluded third and of contradiction have effectively been excluded, but none of their implicative forms
Keywords implication  entailment  Julius Konig  metmathematics  Aristotelian principles  Logic
Categories No categories specified
(categorize this paper)
DOI 10.5007/1808-1711.2009v13n2p153
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,981
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Inductive Logic. Foundations and Assumptions.Gert König - 1972 - Philosophy and History 5 (2):137-138.
Relevant Implication and the Case for a Weaker Logic.Ross T. Brady - 1996 - Journal of Philosophical Logic 25 (2):151 - 183.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Reverse Mathematics and a Ramsey-Type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
Epistemic Truth and Excluded Middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.
The Weak König Lemma and Uniform Continuity.Josef Berger - 2008 - Journal of Symbolic Logic 73 (3):933-939.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
Generalizing König's Infinity Lemma.Robert H. Cowen - 1977 - Notre Dame Journal of Formal Logic 18 (2):243-247.
Kurepa Trees and Namba Forcing.Bernhard König & Yasuo Yoshinobu - 2012 - Journal of Symbolic Logic 77 (4):1281-1290.
Linguistic Databases, John Nerbonne, Ed.Esther König & Andreas Mengel - 2000 - Journal of Logic, Language and Information 9 (4):513-517.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.


Added to PP index

Total views
45 ( #228,303 of 2,427,275 )

Recent downloads (6 months)
6 ( #121,801 of 2,427,275 )

How can I increase my downloads?


My notes