On the Road to Formal Epistemology

Ladislav Kvasz


Logic as a philosophical discipline was established in Ancient Greece by Aristotle from Stageira and Chrysippos from Soloi, and it took more than two thousand years until in the works of Boole, Frege, and Peano logic was turned into a formal discipline. The approaches of Boole, Frege, and Peano towards formalization of logic were rather different and the final synthesis created by Whitehead and Russell brought a remarkable combination of the ideas of the three pioneers of formalization of logic. We are convinced that epistemology is just before a similar formalization than that, which occurred in logic. Epistemology as a philosophical discipline was established in the works of Descartes, Locke, and Kant. It seems that sufficient time has passed since the age of the founding fathers of epistemology so that we can embark on the project of turning epistemology into a formal discipline. The aim of the present paper is to delineate one possible road that could lead to this goal.

(Non-peer-reviewed essay on the occasion of Ladislav Tondl's 90th birthday.)


formal epistemology; naturalized epistemology; form of language; potentialities of language

Full Text:

PDF (Čeština)

Copyright (c) 2023 Ladislav Kvasz

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

TEORIE VĚDY / THEORY OF SCIENCE – journal for interdisciplinary studies of science is published twice a year by the Institute of Philosophy of the Czech Academy of Sciences (Centre for Science, Technology, and Society Studies). ISSN 1210-0250 (Print) ISSN 1804-6347 (Online) MK ČR E 18677 web: http://teorievedy.flu.cas.cz /// email: teorievedy@flu.cas.cz