Neklasická interpretace aristotelské logiky a teorie predikace
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Standardní projekty
Veřejná soutěž
Standardní projekty 23 (SGA0201900001)
Hlavní účastníci
Univerzita Palackého v Olomouci / Filozofická fakulta
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
19-06839S
Alternativní jazyk
Název projektu anglicky
Non-classical Interpretation of the Aristotelian Logic and Theory of Predication
Anotace anglicky
It is widely assumed that Aristotle is the founder of logic as an independent scientific discipline. Being so, he is therefore regarded as the predecessor of modern classical logic. Hence Aristotelian logic is often treated as classical and as just a fragment of the canonical modern extensional logic, namely first-order predicate logic. Beside that, semantics for Aristotelian logic is seen as set-theoretical, represented mostly by Venn Diagrams. However, when one analyzes Aristotles’ logical writings, it appears that the original Aristotles’ logic does not satisfy the first principal of classical logic, i.e. the principle of extensionality. This fact appears much more obvious when we further inspect medieval non-traditional interpretations of Aristotelian theory of predication. Based on these observations we will demonstrate that the original Aristotles’ logic was not classical, cannot be interpreted adequately in the framework of first order logic and its semantics is not set-theoretical. Finally, we will propose a new interpretation of Aristotles’ original logic as a sortal logic.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
OECD FORD - hlavní obor
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - vedlejší obor
—
OECD FORD - další vedlejší obor
—
CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
AA - Filosofie a náboženství
Termíny řešení
Zahájení řešení
1. 1. 2019
Ukončení řešení
30. 6. 2022
Poslední stav řešení
—
Poslední uvolnění podpory
1. 4. 2022
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP23-GA0-GA-R
Datum dodání záznamu
26. 6. 2023
Finance
Celkové uznané náklady
2 017 tis. Kč
Výše podpory ze státního rozpočtu
2 017 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč