Title variants
THE IMPLICITE LOGIC OF PLATO’S PARMENIDES
Languages of publication
Abstracts
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
Issue
Pages
121-135
Physical description
Contributors
author
- 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
References
Document Type
Publication order reference
Identifiers
YADDA identifier
bwmeta1.element.cejsh-991008af-cbfc-4a35-ab3c-6e29ebc2cc23