Naslov
Logical Foundations and Kant's Principles of Formal Logic

Autori
Kovač, Srećko

Izvornik
History and Philosophy of Logic (0144-5340) 41 (2020), 1; 48-70

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
formal system, Kant, unity of consciousness, logical principles, concepts, completeness

Sažetak
The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ (‘absolute’) concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort of contradictions in predication, and then proceeding to the (constructive) principle of sufficient reason, and to a classical-like logic, which includes the principle of excluded middle. A first-order formalisation is applied to this reconstruction, which reveals implicit modalities in Kant's account of logic, and confirms the implementability of Kant's logic into a sound and complete formal system.

Izvorni jezik
Engleski

Znanstvena područja
Filozofija

Napomena
HRZZ je poduprla izradu prve inačice članka. Objavljen online first 29. 11. 2019. https://doi.org/10.1080/01445340.2019.1682410

POVEZANOST RADA