-
111Some Current Problems in Metamathematics1History and Philosophy of Logic 16 (2): 159-168. 1995.In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Gödel’s theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity.
-
104Truth and ConsistencyAxiomathes 20 (2-3): 347-355. 2010.This paper investigates relations between truth and consistency. The basic intuition is that truth implies consistency, but the reverse dependence fails. However, this simple account leads to some troubles, due to some metalogical results, in particular the Gödel-Malcev completeness theorem. Thus, a more advanced analysis is required. This is done by employing the concept of ω-consistency and ω-inconsistency. Both concepts motivate that the concept of the standard truth should be introduced as w…Read more
-
150Aletheia in Greek thought until AristotleAnnals of Pure and Applied Logic 127 (1-3): 339-360. 2004.This paper investigates the concept of aletheia in ancient philosophy from the pre-Socratics until Aristotle. The meaning of aletheia in archaic Greek is taken as the starting point. It is followed by remarks about the concept of truth in the Seven Sages. The author discusses this concept as it appears in views and works of philosophers and historians. A special section is devoted to the epistemological and ontological understanding of truth. On this occasion, influential views of Heidegger are …Read more
-
Uwagi historyczne o klasycznej, korespondencyjnej i semantycznej koncepcji prawdyRuch Filozoficzny 3 (3). 2002.
-
158Psychologism and metalogicSynthese 137 (1). 2003.This paper examines two arguments againstpsychologism advanced by Frege andHusserl. The first argument says that thelaws of logic cannot be justified by thelaws of psychology, because the formerand a priori and certain, but the latterare probable only. The second argumentpoints out that the status of logicallaws as universal principles of thinking isnot intelligible on the psychologisticinterpretation of logic. The author tries toshow how to examine both arguments bymetalogical devices.
-
85The reception of Frege in PolandHistory and Philosophy of Logic 25 (1): 37-51. 2004.This paper examines how the work of Frege was known and received in Poland in the period 1910–1935 (with one exception concerning the later work of Suszko). The main thesis is that Frege's reception in Poland was perhaps faster and deeper than in other countries, except England, due to works of Russell and Jourdain. The works of Łukasiewicz, Leśniewski and Czeżowski are described.
-
100ForewordPoznan Studies in the Philosophy of the Sciences and the Humanities 98 (1): 9-11. 2012.On May 11th a round table discussion was held on the subject "The Interactions of Science and Art under the Conditions of the Revolution in Science and Technology ," organized by the editorial boards of the journals Voprosy filosofii and Voprosy literatury
-
129Witold MARCISZEWSKI: Logic from a Rhetorical Point of View. Berlin/new York: Walter de Gruyter 1994, XVI + 312 pp. (= Grundlagen der Kommunikation und Kognition/foundations of Communication and Cognition)Grazer Philosophische Studien 48 (1): 243-244. 1994.
-
205The History of EpistemologyIn Ilkka Niiniluoto, Matti Sintonen & Jan Woleński (eds.), Handbook of Epistemology, Kluwer Academic. pp. 3--54. 2004.
-
Naturalizm i geneza logikiFilozofia Nauki 20 (4). 2012.This paper examines the problem of genesis of logic in the light of naturalism as a philosophical view about the nature of knowledge and reality. The main difficulty of naturalism as far as applied to logic consists in reconciling genetic empiricism (all cognition starts with experience) and abstract nature of logic. Anti-naturalism (Platonism, for example) maintains than empiricism is not able to explain how logical theorems as a priori assertions are accumulated. To defend naturalism one shoul…Read more
-
Wajsberg on the first-order predicate calculus for the finite modelsBulletin of the Section of Logic 2 (2): 107-111. 1973.
Areas of Interest
| Metaphilosophy |
| Logic and Philosophy of Logic |