Jan Łukasiewicz’s program of the logicization of philosophy: its genesis, content and realizations

Abstract

In the paper, Jan Łukasiewicz’s program of the logicization of philosophy is presented and discussed. Łukasiewicz, known mostly for his invention of trivalent logic as well as his achievements in propositional calculus and metalogic, had always been concerned with the methodological condition of philosophy. He finally found “the measure of exactness” in mathematical logic. According to him, only the use of logical tools may provide philosophical investigations with an appropriate level of exactness. He expressed his views most firmly and directly in the paper, “A call for the method of Philosophy” (the translation of this paper is included in an “Appendix”). Łukasiewicz proposed giving philosophical theories the form of axiomatic systems by indicating the primitive terms of their language, selecting suitable axioms, and explicitly determining the applied rules of inference. All the theses of these systems should be consequences of the accepted axioms and confronted with the data of experience and the results of science. Łukasiewicz’s program is presented together with its inspirations and prospects.