Academic Journals Database
Disseminating quality controlled scientific knowledge

Julius König et les Principes Aristotéliciens

Author(s): Marcel Guillaume

Journal: Principia : an International Journal of Epistemology
ISSN 1414-4247

Volume: 13;
Issue: 2;
Start page: 153;
Date: 2009;
Original page

Keywords: Logic | metmathematics | entailment | implication | Aristotelian principles | Julius König

In his posthumous book from 1914, “New foundations of logic, arithmetic andset theory”, Julius König 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. König’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.
Why do you need a reservation system?      Save time & money - Smart Internet Solutions