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.

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, ...

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.

It is now a quarter of a century ago that Wolfgang Stegmfiller wrote his monograph 'Das Wahrheitsproblem und die Idee der Semantik' (1957) which dealt with Tarski's and Carnap's foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written a year earlier (1956) in which Stegmfiller addresses himself specifically to the relation between logic and natural language. Here he gives a (...) class='Hi'>logical analysis of the standard structural expressions in language that are still of primary concern for current semantics: quantifiers, pronouns, articles, etc. The motives for such an analysis at that time were mainly philosophical: the aim was to expose the misconceptions and pitfalls of traditional philosophy arising from the disregard of various systematic semantic ambiguities in everyday language. Or as Stegmfiller puts it: Ober sie [i.e. einige nicht triviale F~ille von Vagheit in der A11tagssprache] Klarheit zu gewinnen, ist schon deshalb yon auBerordentlicher Bedeutung, weil Unkenntnis fiber sie zu schwersten philosophischen Verirrungen ffihren kann, namlich entweder der Unterlassung von berechtigten Fragestellungen, oder, was weit h~ufiger vorgekommen ist, der Formulierung yon falsch gestellten Fragen, denen gegenfiber man dann nur die Wahl hat, entweder fiberhaupt keine oder nur sinnlose Antworten zu geben. So logic was to regiment language. Sentences involving the copula and the above-mentioned structure words are assigned one or more unambiguous formal representations in an already interpreted formal language, usually the first order predicate calculus. The natural language expressions thereby receive a precise meaning, since the semantics of the formal language has been specified in advance, as is always assumed. This procedure has, of course, always been common practice, witness the typical syntactical argot of the mathematicians. It carries, however, an obvious methodological presupposition: it is the idea that the logic of our choice to which the formal representations belong is in some sense an adequate framework to express our thoughts. (shrink)

Recent developments in the semantics of natural language seem to lead to a genuine synthesis of ideas from linguistics and logic, producing novel concepts and questions of interest to both parent disciplines. This book is a collection of essays on such new topics, which have arisen over the past few years. Taking a broad view, developments in formal semantics over the past decade can be seen as follows. At the beginning stands Montague's pioneering work, showing how a rigorous (...) semantics can be given for complete fragments of natural language by creating a suitable fit between syntactic categories and semantic types. This very enterprise already dispelled entrenched prejudices concerning the separation of linguistics and logic. Having seen the light, however, there is no reason at all to stick to the letter of Montague's proposals, which are often debatable. Subsequently, then, many improvements have been made upon virtually every aspect of the enterprise. More sophisticated grammars have been inserted (lately, lexical-functional grammar and generalized phrase structure grammar), more sensitive model structures have been developed (lately, 'partial' rather than 'total' in their com position), and even the mechanism of interpretation itself may be fine-tuned more delicately, using various forms of 'representations' mediating between linguistic items and semantic reality. In addition to all these refinements of the semantic format, descriptive coverage has extended considerably. (shrink)

"Abelard composed four works on logic: (1) Introductiones Parvulorum, which consists of short glosses on Porphyry Eisagoge and Aristotle Categories and De Interpretatione; (2) Logica Ingredientibus (so called because ingredientibus is the first word of its text), which consists of longer glosses on the texts covered by the previous work together with Boethius' De Differentiis Topicis and was probably written while Abelard was teaching in Paris before 1120; (3) Logica Nostrorum Petitioni (so called because nostrorum petitioni are the first words (...) of its text), which consists of longer glosses on the Eisagoge and may date from the time of his teaching at the hermitage of the Paraclete; (4) Dialectica, which has the form of an independent work about the subjects covered by Boethius' logical writings and Victorinus' treatise De Definitionibus and seems to contain materials from different periods of Abelard's life but probably did not reach its final form until a late date, perhaps the time of his stay at Cluny shortly before his death. Of these the second and the fourth are the most valuable. The Dialectica indeed, though based, like that of Garland, chiefly on the works of Boethius and written with the prolixity which was all too common among medieval authors, is an original composition of great importance for the development of logic. Abelard's mind was the keenest (though not in all respects the most admirable) that had been devoted to the subject for more than a thousand years, and he approached his task with the belief that it was still possible to make discoveries: 'Non enim tanta fuit antiquorum scriptorum perfectio ut non et nostro doctrina indigeat studio, nec tantum in nobis mortalibus scientia potest crescere ut non ultra possit augmentum recipere.' (1) The Dialectica survives in a single manuscript which lacks the opening sections. Excerpts from it were published by Victor Cousin in 1836 in his Ouvrages inédits d' Abelard. But unfortunately the text was not printed in full until 1956, and before that date it was therefore not possible to appreciate the magnitude of Abelard's contribution to the doctrines we regard as characteristically medieval.. (shrink)

The general issue addressed in this dissertation is: what do the models of formal model-theoretic semantics represent? In chapter 2, I argue that those of first-order classical logic represent meaning assignments in possible worlds. This motivates an inquiry into what the interpretations of first-order quantified model logic represent, and in Chapter 3 I argue that they represent meaning assignments in possible universes of possible worlds. A possible universe is unpacked as one way model reality might be. The problem arises (...) here as to how we are to understand the distinction between the actual and the possible as it relates to modal reality. ;Along with the development of the main arguments in Chapters 2 and 3, the dissertation assesses the status of semantic accounts or logical properties and relations. Specifically, what does the model-theoretic account of a logically possible situation add to the syntactic account ? ;Proofs of invalidity in terms of the models of formal semantics do not establish that it is possible for the premises to be true and the conclusion false, since a formal model is merely given by a consistent set of sentences. Unless there is some way to generate a non-formal model from a formal one, such proofs do not really go beyond syntactic notions. The dissertation ends by concluding that there is no way to generate a non-formal model from a formal one without relying on logical intuitions that are syntactical. ;Hence efforts to construct a semantic basis for model logic independent of syntactic commitments are misguided. However, in classical logic the independence of the semantic account from the syntactic one is grounded on the intuition that it is metaphysically possible for there to be a denumerably infinite totality of objects. (shrink)

We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in (...) our logical semantics of a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated. (shrink)

The book, which stepwise develops successively more powerful logical and grammatical systems, covers an unusually broad range of material.

Tadeusz Kotarbinski is one of towering figures in contemporary Polish philosophy. He was a great thinker, a great teacher, a great organizer of philosophical and scientific life, and, last but not least, a great moral authority. He died at the age of 96 on October 3, 1981. Kotarbinski was active in almost all branches of philosophy. He made many significant contributions to logic, semantics, ontology, epistemology, history of philosophy, and ethics. He created a new field, namely praxiology. Thus, using (...) an ancient distinction, he contributed to theoretical as well as practical philoso~hy. Kotarbinski regarded praxiology as his major philosophical "child". Doubtless, praxiology belongs to practical philosophy. This collection, howewer, is mainly devoted to Kotarbinski' s theoretical philosophy. Reism - Kotarbinski' s fundamental idea of ontology and semantics - is the central topic of most papers included here; even Pszczolowski' s essay on praxiology considers its ontological basis.,Only two papers, namely that of Zarnecka-Bialy and that of Wolenski, are not linked with reism. However, both fall under the general label "Kotarbinski: logic, semantics and ontology". The collection partly consists of earlier published papers. (shrink)

A form of quantification logic referred to by the author in earlier papers as being 'ontologically neutral' still made use of the actual infinite in its semantics. Here it is shown that one can have, if one desires, a formal logic that refers in its semantics only to the potential infinite. Included are two new quantifiers generalizing the sentential connectives, equivalence and non-equivalence. There are thus new avenues opening up for exploration in both quantification logic and semantics (...) of the infinite. (shrink)

The property common to three kinds of paradoxes (logical, semantic, and cultural) is the underlying presence of an exclusive disjunction: even when it is put to a check by the paradox, it is still invoked at the level of implicit discourse. Hence the argumentative strength of paradoxical propositions is derived. Logical paradoxes (insolubilia) always involve two contradictory, mutually exclusive, truths. One truth is always perceived to the detriment of the other, in accordance with a succession which is endlessly (...) repetitive. A check is put on the principle of the excluded middle by the logical paradoxes, because self-reference leads to an endlessly repeating circle, out of which no resolution is conceivable. Logical paradoxes are to be compared with the `objective ambiguity' prevalent in oracles (Gallet, 1990). Semantic paradoxes are contextually-determined occurrences, whose resolution at the metalinguistic level is made possible by the discovery of a middle term. They express a wilful ambiguity, in which the interlocutor is invited to take an active part in the construction of sense, since what must be found is the unexpected sense thanks to which A and not-A can be asserted simultaneously. Cultural paradoxes play about doxa (`common sense') and openly challenge common opinion because of their character as inopinata (`unexpected'). My aim is to show that even cultural paradoxes hide sometimes a flaw of argumentation similar to logical or semantic paradox; they too imply an exclusive disjunction leading to the disappearance of the middle terms. Finally, basing myself on the theory of topoi (Anscombre and Ducrot, 1983), a tentative resolution of the cultural paradoxes will be suggested. (shrink)

In this paper we investigate Boolean connexive logics in a language with modal operators: □, ◊. In such logics, negation, conjunction, and disjunction behave in a classical, Boolean way. Only implication is non-classical. We construct these logics by mixing relating semantics with possible worlds. This way, we obtain connexive counterparts of basic normal modal logics. However, most of their traditional axioms formulated in terms of modalities and implication do not hold anymore without additional constraints, since our implication is weaker (...) than the material one. In the final section, we present a tableau approach to the discussed modal logics. (shrink)

Type-logical semantics studies linguistic meaning with the help of the theory of types. The latter originated with Russell as an answer to the paradoxes, but has the additional virtue that it is very close to ordinary language. In fact, type theory is so much more similar to language than predicate logic is, that adopting it as a vehicle of representation can overcome the mismatches between grammatical form and predicate logical form that were observed by Frege and Russell. (...) The grammatical forms of ordinary language sentences consequently may be taken to be much less misleading than logicians in the first half of the 20th century often thought them to be. This was realized by Richard Montague, who used the theory of types to translate fragments of ordinary language into a logical language. Semantics is commonly divided into lexical semantics, which studies the meaning of words, and compositional semantics, which studies the way in which complex phrases obtain a meaning from their constituents. The strength of type-logical semantics lies with the latter, but type-logical theories can be combined with many competing hypotheses about lexical meaning, provided these hypotheses are expressed using the language of type theory. (shrink)

According to the received view formal semantics applies to natural language to some extent only. It is so because natural language is inherently indefinite, in particular, its expressions are ambiguous, vague and admits departures from syntactic rule. Moreover, intensional contexts occur in ordinary language—it results in limitations of the principle of compositionality. The ordinary conversation appeals to various principles, for instance, Grice’s maxims which exceed logical formalism. Thus, ordinary language cannot be fully formalized. On the other hand, if (...) L is a formal language, its metalanguage ML, must be partially informal—for instance, it contains, terms of ordinary mathematics, especially set theory. Even, if, for instance, due to the technique of aritmetization, ML can be represented in L, such a representation is only local. In fact, this view can be derived from some Tarski’s remarks on the role played by natural language. It is usually assumed that the universality of natural language, is the source of troubles associated with antinomies. It is so this circumstance requires a solution, for example by distinguishing levels of language. However, even if antinomies are excluded, what is informal is prior with respect to what is formal. It shows that formal semantics has limitations even with respect to formalized languages. (shrink)

Finland is internationally known as one of the leading centers of twentieth century analytic philosophy. This volume offers for the first time an overall survey of the Finnish analytic school. The rise of this trend is illustrated by original articles of Edward Westermarck, Eino Kaila, Georg Henrik von Wright, and Jaakko Hintikka. Contributions of Finnish philosophers are then systematically discussed in the fields of logic, philosophy of language, philosophy of science, history of philosophy, ethics and social philosophy. Metaphilosophical reflections on (...) the nature of philosophy are highlighted by the Finnish dialogue between analytic philosophy, phenomenology, pragmatism, and critical theory. (shrink)

Exact philosophy consists of various disciplines scattered and separated. Formal semantics and philosophy of science are good examples of two such disciplines. The aim of this paper is to show that there is possible to find some integrating bridge topics between the two fields, and to show how insights from the one are illuminating and suggestive in the other.

Montague’s framework for semantic interpretation has always been less well adapted to the interpretation of words than of syntactic constructions. In the late 1970s, David Dowty addressed this problem, concentrating on the interpretation of tense, aspect, inchoatives, and causatives in an extension of Montague’s Intensional Logic. In this paper I will try to revive this project, conceiving it as part of a larger task aiming at the interpretation of derivational morphology. I will try to identity some obstacles arising in Dowty’s (...) approach, and will suggest an alternative approach that, while it does not provide a global interpretation of causality, seems to work well with a wide range of the causal constructions that are important in word formation. I try to relate these ideas to some themes in contemporary philosophy and in the formalization of commonsense reasoning. (shrink)

It is a commonplace of the history of analytic philosophy that Carnap swiftly adopted Tarskian semantics in the mid-1930s. There is no doubt that, in a very general sense, this is true. But to what extent are the innovative technical details characteristic of Tarski's method, specifically the handling of quantification by way of a satisfaction relation between formulas and variable assignments, reflected in Carnap's writings on semantics? Curiously enough, their essentials are in place just before Carnap took the (...) purported Tarskian turn, namely in the definition of analyticity he formulated some time between September 1932 and April 1933, but are missing from his publications on semantics after 1935 until the final chapter of Meaning and Necessity of 1947, at which point we find Carnap reverting to the use of specifically Tarskian techniques in the context of his novel semantics for quantified modal languages. (shrink)

This paper articulates and defends a conception of logical form as semantic form revealed by a compositional meaning theory. On this conception, the logical form of a sentence is determined by the semantic types of its primitive terms and their mode of combination as it relates to determining under what conditions it is true. We develop this idea in the framework of truth-theoretic semantics. We argue that the semantic form of a declarative sentence in a language L (...) is revealed by a (canonical) proof of its T- sentence in an interpretive truth theory for L. We give a precise characterization of sameness of logical form between any two declarative sentences in any two languages in terms of the notion of corresponding proofs in interpretive truth theories for the languages. We illustrate the utility of this approach with a number of examples. We then extend the characterization to non-declaratives in a generalization of truth-theoretic semantics that appeals to fulfillment conditions, of which truth conditions are one variety. On this approach, logical forms are not reified, and the notion of sameness of logical form is treated as conceptually basic. We discuss the relation of this conception of logical form to the project of identifying logical constants, reviewing two approaches, one of which takes topic neutrality as central, the other recursion. We argue that the project of identifying logical constants for the purposes of classifying together valid arguments is largely independent of that identifying logical form of sentences, and urge an ecumenical approach to extending talk of logical constants beyond where it is currently well-grounded. (shrink)

The well-known algebraic semantics and topological semantics for intuitionistic logic (Int) is here extended to Wansing's bi-intuitionistic logic (2Int). The logic 2Int is also characterised by a quasi-twist structure semantics, which leads to an alternative topological characterisation of 2Int. Later, notions of Fregean negation and of unilateralisation are proposed. The logic 2Int is extended with a ‘Fregean negation’ connective ∼, obtaining 2Int∼, and it is showed that the logic N4⋆ (an extension of Nelson's paraconsistent logic) results to (...) be the unilateralisation of 2Int∼ via ∼. The logic 2Int∼ is also characterised by a Kripke-style semantics, a twist structure semantics and a topological semantics. (shrink)

ABSTRACT The two main directions pursued in the present paper are the following. The first direction was started by Pigozzi in 1969. In [Mak 91] and [Mak 79] Maksimova proved that a normal modal logic has the Craig interpolation property iff the corresponding class of algebras has the superamalgamation property. In this paper we extend Maksimova's theorem to normal multi-modal logics with arbitrarily many, not necessarily unary modalities, and to not necessarily normal multi-modal logics with modalities of ranks smaller than (...) 2. To extend the characterization beyond multi-modal logics, we look at arbitrary algebraizable logics. We will introduce an algebraic property equivalent with the Craig interpolation property in algebraizable logics, and prove that the superamalgamation property implies the Craig interpolation property. The problem of extending the characterization result to non-normal non-unary modal logics also will be discussed. In the second direction pursued herein: for non-normal modal logic with one unary modality Lemmon [Lem 66] gave a possible worlds semantics. Here we give a more general possible worlds semantics for not necessarily normal multi-modal logics with arbitrarily many not necessarily unary modalities. Strongly related to the above is the theorem, proved, e.g., in Jóns son-Tarski [JT 52] and Henkin-Monk-Tarski [HMT 71], that every normal Boolean algebra with operators can be represented as a subalgebra of the complex algebra of some relational structure. We extend this result to not necessarily normal BAO's as follows. We define partial relational structures and show that every not necessarily normal BAO is embeddable into the complex algebra of a partial relational structure. This gives a possible worlds semantics for not necessarily normal multi-modal logics. (shrink)

"With Abelard, the term 'copula' enters into western thought. In fact, although widely attested, the use of the term 'copula' in reference to Aristotle's work is totally anachronistic. (1) What led to this term? In his Dialectica, Abelard was mainly concerned with the way syllogisms can be construed. The interest of the copula was in fact derivative from this main concern. As Kneale and Kneale (The development of logic, 1962: 206) put it, 'it is clear that for his [Aristotle's] theory (...) of syllogism he assumes in every general proposition two terms of the same kind, that is to say, each capable of being a subject and each capable of being a predicate'. Thus, since the only linguistic entities that can play these two roles are nouns (in modern terms, noun phrases), it is easy to understand why the copula became central. Abelard pursued the Aristotelian theory by emphasizing the role of be as the element that can turn a noun into a predicate in a syllogism rather than as the element that provides the sentence with a time specification (see Dialectica: 161). It is this conceptual shift that underlies the invention of the term 'copula', which is cast on the Latin copulare meaning 'to link'. For example, in sentences like a man is a mammal and Socrates is a man the copula allows the noun phrase a man to play the role of the subject, in the first, and that of the predicate, in the second. Clearly, in such a framework the assumption that the copula can be interpreted as a predicate meaning 'existence'. (shrink)

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus (...) on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic. (shrink)

Recanati takes for granted the conveyance conception of linguistic communica- tion, although it is not very clear exactly where he lies on the spectrum of possible variations. Even if we disavow all such conceptions of linguistic communication, there will be a place for semantic theory in articulating normative concepts such as logical consistency and logical validity. An approach to semantics focused on such normative concepts is illustrated using the example of ““It’’s raining””. It is argued that Recanati’’s (...) conception of semantics as involving the pragmatics of saturation and modulation cannot account for the logical properties of ““It’’s raining”. (shrink)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into (...) different categories, on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

Translations, from French, German, and Polish originals, of most of Tarski's prewar papers on the subjects mentioned in the title, including the well-known "Der Wahrheitsbegriff in den formalisierten Sprachen." Tarski has provided, for this volume, a number of cross-references among the papers included, and some footnotes indicating later developments in the subjects treated. In two of the papers, the text itself has been added to.--W. T.

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly (...) related, and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no (...) such thing as a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural (...) languages do not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)