The Semantic Theory of Truth The semantic theory of truth was developed by Alfred Tarski in the 1930s. The theory has two separate, although interconnected, aspects. First, it is a formal mathematical theory of truth as a central concept of model theory, one of the most important branches of mathematical logic. Second, it … Continue reading Semantic Theory of Truth →.

This volume portrays the Polish or Lvov-Warsaw School, one of the most influential schools in analytic philosophy, which, as discussed in the thorough introduction, presented an alternative working picture of the unity of science.

One can often encounter an opinion that Polish scientific philosophy deserves to be much better known than actually is. This book is thought as a response to such a claim. The papers collected in this volume are divided into two parts: Background and Influence and History and Systematics. However, there is no sharp borderline between themes which are touched in both parts. Generally speaking, all papers of the first part relate the Lvov-Warsaw School to some philosophical movements external to it (...) whereas the papers collected in the second one focus on internal issues connected with the school . Since the Polish school of mathematical logic is much better known than the Polish analytic philosophy we decided to omit here any treatment of the former. Thus, this collection centers on purely philosophical matters. We projected this volume not as an exhaustive panorama of Polish analytic philosophy but rather as a series of essays on particular persons or topic. As a result one can find here papers on Twardowski. Ajdukiewicz, Kotarbinski, Tarski and Lukasiewicz as well as on ethics on science, nominalism, and the methodology of psychology. We hope that this book will contribute to a better knowledge and evaluation of Polish achievements in analytic philosophy. We would like to express our gratitude to Professor Leszek Nowak, the editor-in-chief of Poznan Studies in the Philosophy of the Sciences and the Humanities, who initiated the idea of the collection and helped in its preparation. (shrink)

Ancien étudiant de Brentano et de Zimmerman, Kazimierz Twardowski, après son élection à la chaire de philosophie à Lvov en 1895, créa autour de lui un cercle d’étudiants et de collaborateurs exceptionnel, connu aujourd’hui sous le nom d’École de Lvov-Varsovie. À mi-chemin entre Vienne et Cambridge, c’est à Lvov, et puis partiellement à Varsovie, que Jan Łukasiewicz, Stanislaw Leśniewski, Alfred Tarski, Kazimierz Ajdukiewicz, Tadeusz Kotarbiński et bien d’autres encore, repensèrent dans un esprit d’analyse les questions fondamentales de la philosophie du (...) langage, de la logique, de la philosophie des sciences et des mathématiques.Plus qu’une simple traduction, ce livre est une version révisée de la monographie désormais classique que Jan Woleński, connu pour ses travaux non seulement en histoire de la philosophie analytique, mais aussi en épistémologie et en théorie de la vérité, a consacrée à l’École de Lvov-Varsovie. (shrink)

This papers discuss the place, if any, of Convention T (the condition of material adequacy of the proper definition of truth formulated by Tarski) in the truth-makers account offered by Kevin Mulligan, Peter Simons and Barry Smith. It is argued that although Tarski’s requirement seems entirely acceptable in the frameworks of truth-makers theories for the first-sight, several doubts arise under a closer inspection. In particular, T-biconditionals have no clear meaning as sentences about truth-makers. Thus, truth-makers theory cannot be considered as (...) the semantic theory of truth enriched by metaphysical (ontological) data. The problem of truth-makers for sentences about future events is discussed at the end of the paper. (shrink)

. This papers examines formal properties of logical squares and their generalizations in the form of hexagons and octagons. Then, several applications of these constructions in philosophical analysis are elaborated. They concern contingency (accidentality), possibility, permission, axiological concepts (bonum and malum), the generalized Hume thesis (deontic and epistemic modalities), determinism, truth and consistency (in various senses. It is shown that relations between notions used in various branches of philosophy fall into the same formal scheme.

The paper discusses some logical problems concerning analogy. The traditional understanding of analogy as _proportion_ is inadequate, at least if proportionality is taken in mathematical sense. This situation is clear if we considered various special cases of analogy for instance _analogia legis_ and _analogia juris._ Since analogy assumes a similarity of analogata as analogical, a general analysis of analogical relation must begin with the concept of similarity. It can be defined as possessing a common property. This idea is formalized by (...) devices borrowed from logic and set theory. (shrink)

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 examined. The (...) paper is concluded by a review of various meanings of truth in Aristotle. (shrink)

The volume aims to show the variety of research currents of the Lvov-Warsaw School and the ways in which these currents are developed today. The content of the book is divided into three parts: “Logic and Semiotics”, “Metaphysics and Ontology”, and “Psychology and Sociology”.

This paper reports some attempts undertaken in Poland in the 1930s to modernize Thomism by means of modern logic. In particular, it concerns J.M. Bocheski and J. Salamucha, the leading members of the CracowCircle. They attempted to give precise logical form to the Five Ways of Thomas Aquinas. Other works concerned the concept of transcendentals, the levels of abstraction, and the concept of essence.

This paper discusses the concept of nothing from the point of logic and ontology. It is argued that the category of nothing as a denial of being is subjected to various interpretations. In particular, this thesis concerns the concept of negation as used in metaphysics. Since the Leibniz question ‘Why is there something rather than nothing?’ and the principle of sufficient reason is frequently connected with the status of nothing, their analysis is important for the problem in question. Appendix contains (...) a short critical analysis of Heidegger’s famous statement Das Nichts nichtet. (shrink)

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.

The brief article of 1910 which is translated here is, as the prefatory note explains, significant for understanding both the way in which ?ukasiewicz came to many-valued logic and the influences under which he stood at the time.

This paper critically discusses two points concerning some recent views about the concept of truth. Firstly, contrary to Davidson, it shows that meaning of sentences cannot be explicated by T-equivalences. In particular, “is true” is an extensional predicate, but “means that” an intensional one. Secondly, the minimalist account of truth does not provide a satisfactory analysis of the concept of falsity. In this respect, minimalism does not satisfy Russell’s claim that any adequate truth-theory must be a theory of falsity as (...) well. (shrink)

The twenty-eight essays in this Handbook, all by leading experts in the field, provide the most extensive treatment of various epistemological problems, ...

In 1930 Otto Neurath asked Alfred Tarski for information about Polish philosophers of science and their work. Tarski answered on 24 April, 1930, saying in one of the first sentences that.

This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.

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 well. The results are illustrated by an interpretation of (...) the well-known logical square and its generalization. (shrink)

Roman Ingarden offered a strong criticism of the verifiability principle in his talk delivered at the 8th International Congress in Prague in 1934. Ingarden argued that this principle either violates itself or smuggles a hidden sense. In this paper I show that Ingarden-like arguments about smuggled meaning apply not only to the criteria of sense, but also to other semantic assertions within language-hierarchies in Tarski’s sense.

Popper's definition of verisimilitude was criticized for its paradoxical consequences in the case of false theories. The aim of this paper is to show that paradoxes disappear if the falsity content of a theory is defined with help of dCn or Cn –1.

This paper is inspired by Marcin Tkaczyk’s works and discusses the problem of the necessity of the past and its role in the analysis of future contingents. The discussion centers on the statements ) firstly, that every past state of affairs is determined, and, secondly, that at least some some future states of affairs are contingent. The paper argues that because the first assertion is not justified, the antinomy of future contingents does not arise. The argument uses modal and metalogical (...) devices. (shrink)

For decades Ryszard Wójcicki has been a highly influential scholar in the community of logicians and philosophers. Our aim is to outline and comment on some essential issues on logic, methodology of science and semantics as seen from the perspective of distinguished contributions of Wójcicki to these areas of philosophical investigations.