Ali Enayat had asked whether two halves of Disjunctive Correctness ([Formula: see text]) for the compositional truth predicate are conservative over Peano Arithmetic (PA). In this paper, we show that the principle “every true disjunction has a true disjunct” is equivalent to bounded induction for the compositional truth predicate and thus it is not conservative. On the other hand, the converse implication “any disjunction with a true disjunct is true” can be conservatively added to [Formula: see text]. The methods introduced (...) here allow us to give a direct nonconservativeness proof for [Formula: see text]. (shrink)

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic (...) is the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. (...) Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

The paper examines the invariance principles proposed by the analytical and phenomenological traditions for demarcating the boundaries of formal and regional ontologies. The principle of invariance with respect to isomorphic transformations, generalizing Alfred Tarski’s criterion for logical concepts, is extended to formal ontology as the theory of manifolds in its phenomenological interpretation. Isomorphism types, which are abstract individuals of the highest order, hypostases of forms of all possible ontologies, are considered as model-theoretical analogs of manifolds. The correlativity of the (...) phenomenological principles of demarcation of ontological regions and the criterion of invariance with respect to isomorphic transformations is demonstrated, leading to the convergence of logic and formal mathematics in both traditions and, at the same time, to the exclusion of geometry from formal ontology. Particular attention is paid to the discussion of the analytical and phenomenological traditions of the synthetic (material) a priori and the contribution that Wittgenstein’s doctrine on internal relations at different stages of its evolution makes to this discussion. The paper reveals the basis for later Wittgenstein’s criticism of his earlier project of creating a phenomenological language for expressing internal regional relations (such as the colours exclusion). The paper shows how Wittgenstein’s doubts about the possibility of an ideal notation based on the dichotomy of the logical and phenomenological led him to the study of invariants arising in language games. These invariants are not determined by the special properties of the categorical objects of formal ontology or the structures of regional subject matter, but are stable equilibria generated by the “consensus of actions.” New perspectives are outlined that are opened for logic and phenomenology by switching focus from the invariants of ontological structures to the invariants of structured interactions of various agents. (shrink)

This paper is closely related to investigations of abstract properties of basic logical notions expressible in terms of closure spaces as they were begun by A. Tarski (see [6]). We shall prove many properties of -conjunctive closure spaces (X is -conjunctive provided that for every two elements of X their conjunction in X exists). For example we prove the following theorems:1. For every closed and proper subset of an -conjunctive closure space its interior is empty (i.e. it is a (...) boundary set). 2. If X is an -conjunctive closure space which satisfies the -compactness theorem and [X] is a meet-distributive semilattice (see [3]), then the lattice of all closed subsets in X is a Heyting lattice. 3. A closure space is linear iff it is an -conjunctive and topological space. 4. Every continuous function preserves all conjunctions. (shrink)

In 'Notes on the Theory of Reference' Quine offers a brief argument, based on Tarski's Convention T and semantic definition of truth, that the theory of meaning is 'in a worse state' than is the theory of reference and that the concepts of the theory of meaning are inherently more 'foggy and mysterious' than those of thetheory of reference. A careful reconstruction of Quine's argument, however, is sufficient to show both that he covertly imposes a double standard of clarity (...) on the two theories in question and that in so far as Tarski's contributions clarify or explicate the notion of truth they do likewise for the notion of analyticity. Consequently, the appeal which Quine makes to Tarski's definition of truth cannot be used in the manner he wishes, to draw a clear boundary between the theories of meaning and reference. (shrink)

In 'Notes on the Theory of Reference' Quine offers a brief argument, based on Tarski's Convention T and semantic definition of truth, that the theory of meaning is 'in a worse state' than is the theory of reference and that the concepts of the theory of meaning are inherently more 'foggy and mysterious' than those of thetheory of reference. A careful reconstruction of Quine's argument, however, is sufficient to show both that he covertly imposes a double standard of clarity (...) on the two theories in question and that in so far as Tarski's contributions clarify or explicate the notion of truth they do likewise for the notion of analyticity. Consequently, the appeal which Quine makes to Tarski's definition of truth cannot be used in the manner he wishes, to draw a clear boundary between the theories of meaning and reference. (shrink)

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups.".

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ?On the Concept of Following Logically?. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we (...) note more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

We provide for the first time an exact translation into English of the Polish version of Alfred Tarski's classic 1936 paper, whose title we translate as ‘On the Concept of Following Logically’. We also provide in footnotes an exact translation of all respects in which the German version, used as the basis of the previously published and rather inexact English translation, differs from the Polish. Although the two versions are basically identical, to an extent that is even uncanny, we (...) note more than 400 differences. Several dozen of these are substantive differences due to revisions by Tarski to the Polish version which he did not incorporate in the German version. With respect to these revisions the Polish version should be regarded as more authoritative than the German. Hence scholars limited to an English translation should use ours. (shrink)

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

Now in its fourth edition, this classic work clearly and concisely introduces the subject of logic and its applications. The first part of the book explains the basic concepts and principles which make up the elements of logic. The author demonstrates that these ideas are found in all branches of mathematics, and that logical laws are constantly applied in mathematical reasoning. The second part of the book shows the applications of logic in mathematical theory building with concrete examples that draw (...) upon the concepts and principles presented in the first section. Numerous exercises and an introduction to the theory of real numbers are also presented. Students, teachers and general readers interested in logic and mathematics will find this book to be an invaluable introduction to the subject. (shrink)

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

The logical theory which is called thecalculus of (binary) relations, and which will constitute the subject of this paper, has had a strange and rather capricious line of historical development. Although some scattered remarks regarding the concept of relations are to be found already in the writings of medieval logicians, it is only within the last hundred years that this topic has become the subject of systematic investigation. The first beginnings of the contemporary theory of relations are to be found (...) in the writings of A. De Morgan, who carried out extensive investigations in this domain in the fifties of the Nineteenth Century. De Morgan clearly realized the inadequacy of traditional logic for the expression and justification, not merely of the more intricate arguments of mathematics and the sciences, but even of simple arguments occurring in every-day life; witness his famous aphorism, that all the logic of Aristotle does not permit us, from the fact that a horse is an animal, to conclude that the head of a horse is the head of an animal. In his effort to break the bonds of traditional logic and to expand the limits of logical inquiry, he directed his attention to the general concept of relations and fully recognized its significance. Nevertheless, De Morgan cannot be regarded as the creator of the modern theory of relations, since he did not possess an adequate apparatus for treating the subject in which he was interested, and was apparently unable to create such an apparatus. His investigations on relations show a lack of clarity and rigor which perhaps accounts for the neglect into which they fell in the following years. (shrink)

Alfred Tarski’s theory of truth, to which we will also refer as the classical theory,1 has a conspicuous place in mathematics as well as in general philosophy. The place in philosophy appears the more prominent of the two, although it is still somewhat unsettled, and perhaps even controversial.

Sur la décomposition des ensembles de points en parties respectivement congruentes.

This article presents Tarski's Address at the Princeton Bicentennial Conference on Problems of Mathematics, together with a separate summary. Two accounts of the discussion which followed are also included. The central topic of the Address and of the discussion is decision problems. The introductory note gives information about the Conference, about the background of the subjects discussed in the Address, and about subsequent developments to these subjects.

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.