PL EN


Journal
2013 | 21 | 1(81) | 121-135
Article title

Niejawna logika Platońskiego Parmenidesa

Authors
Title variants
EN
THE IMPLICITE LOGIC OF PLATO’S PARMENIDES
Languages of publication
PL
Abstracts
EN
This paper is devoted to the reconstruction of the implicit logic of Plato’s Parmenides. The reconstructed logic, F, makes it possible to form a new semi-intuitionistic system of logic of predicates, FN. The axioms of Peano Arithmetic (PA) and an axiom of infinity follow from FN. Therefore, FN can be seen as a new attempt at the realization of Frege’s logicist program. Some very strong systems can be seen as other variants of FN, e.g. Leśniewski’s ontology. The hypothesis from Parmenides II contains proof of the existence of the two highest principles, i.e. the One and the Dyad, their mutual relationship, their relations to other things, andthe reasoning regarding the mutual relationship follows some exact formal rules. Six types of Plato’s negation of a predicate are defined. The system is a first-order logic with non-classical negation of a predicate (local negation) that is non-definable by classical sentential negation. Therefore, the implicit logic of Plato’s Parmenides differs from classical syllogistics (formed in the Łukasiewicz’s style) as well as from the classical predicate calculus.
Journal
Year
Volume
21
Issue
Pages
121-135
Physical description
Contributors
  • Politechnika Warszawska, Wydział Administracji i Nauk Społecznych, Zakład Filozofii Nauki, Socjologii i Podstaw Techniki, Plac Politechniki 1, p. 201, 00-330 Warsaw, Poland, zbigkrol@wp.pl
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-991008af-cbfc-4a35-ab3c-6e29ebc2cc23
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.