The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...) problems. (shrink)

Logical theory codifies rules of correct inferences. On the other hand, logical reasoning is typically considered as one of the most fundamental cognitive activities. Thus, cognitive science is a natural meeting-point for investigations about the place of logic in human cognition. Investigations in this perspective strongly depend on a possible understanding of logic. This paper focuses on logic in the strict sense; that is, the theory of deductive inferences. Two problems are taken into account, namely: do humans apply logical rules (...) in ordinary reasoning?; the genesis of logic. The second issue is analyzed from the naturalistic point of view. (shrink)

I use van Heijenoort’s published writings and manuscript materials to provide a comprehensive overview of his conception of modern logic as a first-order functional calculus and of the historical developments which led to this conception of mathematical logic, its defining characteristics, and in particular to provide an integral account, from his most important publications as well as his unpublished notes and scattered shorter historico-philosophical articles, of how and why the mathematical logic, whose he traced to Frege and the culmination of (...) its formative period in the incompleteness results of Gödel, became modern logic, as distinct from the traditional logic of Aristotle, and why and how the logistic tradition that led from Frege through Russell, rather than the algebraic tradition that led from De Morgan and Boole through Peirce and Schröder, came, in his view, to define modern logic. (shrink)

This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that (...) the corresponding modal operators are logical constants. (shrink)

A part of relativistic dynamics is axiomatized by simple and purely geometrical axioms formulated within first-order logic. A geometrical proof of the formula connecting relativistic and rest masses of bodies is presented, leading up to a geometric explanation of Einstein's famous E = mc² . The connection of our geometrical axioms and the usual axioms on the conservation of mass, momentum and four-momentum is also investigated.

This paper proposes a formal framework for the cognitive relation understood as an ordered pair with the cognitive subject and object of cognition as its members. The cognitive subject is represented as consisting of a language, conequence relation and a stock of accepted theories, and the object as a model of those theories. This language allows a simple formulation of the realism/anti-realism controversy. In particular, Tarski’s undefinability theorem gives a philosophical argument for realism in epistemology.

O czterech typach argumentacji na rzecz logiki klasycznej Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa (...) jest jedyną właściwą logiką. (shrink)

In this paper I discuss Ernst Zermelo’s ideas concerning the possibility of developing a system of infinitary logic that, in his opinion, should be suitable for mathematical inferences. The presentation of Zermelo’s ideas is accompanied with some remarks concerning the development of infinitary logic. I also stress the fact that the second axiomatization of set theory provided by Zermelo in 1930 involved the use of extremal axioms of a very specific sort.1.

The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...) also studied. (shrink)