A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it (...) makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead. (shrink)

This paper developes a relational---as opposed to a functional---theory of types. The theory is based on Hilbert and Bernays' eta operator plus the identity symbol, from which Church's lambda and the other usual operators are then defined. The logic is intended for use in the semantics of natural language.

Penelope Maddy has defended a modified version of mathematical platonism that involves the perception of some sets. Frederick Suppe has developed a conclusive reasons account of empirical knowledge that, when applied to the sets of interest to Maddy, yields that we have knowledge of these sets. Thus, Benacerraf's challenge to the platonist to account for mathematical knowledge has been met, at least in part. Moreover, it is argued that the modalities involved in Suppe's conclusive reasons account of knowledge can be (...) handled without recourse to either laws of nature or possible worlds, and that this approach is preferable. (shrink)

Mathematicians and physical scientists depend heavily on the formal symbolism of mathematics in order to express and develop their theories. For this and other reasons the last hundred years has seen a growing interest in the nature of formal language and the way it expresses meaning; particularly the objective, shared aspect of meaning as opposed to subjective, personal aspects. This dichotomy suggests the question: do the objective philosophical theories of meaning offer concepts which can be applied in psychological theories of (...) meaning? In recent years cognitive scientists such as Chomsky [1980], Fodor [1981] and MacNamara [1982] have used philosophical approaches to the meaning of formal language expressions as the basis for their psychological theories. Following this lead it seems appropriate to review some of the main treatments of meaning with a view to their transferability. (shrink)

Fundamentismus und Skeptizismus-Anarchismus sind zwei entgegengesetzte Positionen in der traditionellen Erkenntnistheorie und in der modernen Wissenschaftstheorie. Zwischen ihnen gibt es einen dritten Standpunkt, den Evolutionismus. Beispiele sind zwei neuere Arbeiten von Putnam und Stegmüller . Im Gegensatz zum logisch-statischen Fundamentismus berücksichtigt der Evolutionismus auch dynamische und naturalistische Ansätze. Stegmüller folgend entlehnen wir in der vorliegenden Untersuchung aus der Sprachphilosophie pragmatische Gesichtspunkte, um die logische Syntax und Semantik, die Werkzeuge des Fundamentismus, zu ersetzen. Wir zeigen die Kraft der Pragmatik bei der (...) Behandlung von Problemen wie Erkenntniswachstum, Begriffswechsel, Theorien- und Bedeutungsdynamik, wissenschaftliche Entdeckung und besonders beim Problem der Inkommensurabilität. Unser nicht-fundamentistischer Vorschlag ist ein heuristisches Modell, das auf der modernen genetischen Theorie basiert. (shrink)

What is it to know the meaning of a word? The traditional view is that it involves the possession of a concept that determines the extension of a word, with the concept corresponding to a single psychological state. Millikan criticizes this view, denying not only that concepts determine extensions but also that sharing a concept means sharing a psychological state. The purpose of this article is to defend a modified version of the traditional view. I argue that Millikan's claims do (...) not translate directly into a thesis about word meaning. Her arguments relate to an extra-linguistic approach to extension, which we can distinguish from a linguistically oriented notion of extension. (shrink)

This paper aims to clarify the connection between the logic of temporal distinctions and the temporal features of propositions. Contra Prior, it argues that the adoption of tense operators does not commit one to the view that propositions can change their truth value over time.

If correct, Christopher Peacocke’s [20] “manifestationism without verificationism,” would explode the dichotomy between realism and inferentialism in the contemporary philosophy of language. I first explicate Peacocke’s theory, defending it from a criticism of Neil Tennant’s. This involves devising a recursive definition for grasp of logical contents along the lines Peacocke suggests. Unfortunately though, the generalized account reveals the Achilles’ heel of the whole theory. By inventing a new logical operator with the introduction rule for the existential quantifier and the elimination (...) rule for the universal quantifier, I am able to show that Peacocke’s theory only avoids verificationism to the extent that it does not satisfy manifestationism. (shrink)

This article presents a detailed formal approach to concepts and concept combination. Sense generation is a competence‐level theory that attempts to respect constraints from the various cognitive sciences, and postulates “quasi‐classical” conceptual structures where attributes receive only one value (but are defeasible and so do not represent necessary and sufficient conditions on category membership) and where classification is binary (but explicitly context‐sensitive). It is also argued that any general theory of concepts must account for “privative” combinations (e.g., stone lion, fake (...) gun, apparent friend) as extreme test‐cases of representational and classificatory flexibility. The approach presented therefore provides a treatment of these combinations. The approach differentiates between the “lexical concept” (the stable information represented in a mental lexicon) which acts as a base from which the various “senses” (flexible contents associated with words and phrases in context, and used in classification) are “generated.” Generation allows nonmonotonicity, so that in different circumstances, different attributes may be defeated or modified. Classification is treated as relative to the perspective adopted, so that a classification acceptable from one perspective may be unacceptable from another, without contradiction. The result is a view that assumes bottom‐up priority in concept combination, where the range of senses generated by bottom‐up rules of combination is tempered by pragmatic‐communicative constraints on classification. An account of the representational and classification behavior of privative combinations is outlined, and the article concludes with a discussion of some of the implications of the approach. (shrink)

Two kinds of theoretical framework for syntax are encountered in current linguistics. One emerged from the mathematization of proof theory, and is referred to here as generative-enumerative syntax (GES). A less explored alternative stems from the semantic side of logic, and is here called model-theoretic syntax (MTS). I sketch the outlines of each, and give a capsule summary of some mathematical results pertaining to the latter. I then briefly survey some diverse types of evidence suggesting that in some ways MTS (...) seems better suited to theorizing about the relevant linguistic phenomena. (shrink)

This paper discusses empty quotation (‘’ is an empty string) and lexical quotation (his praise was, quote, fulsome, unquote), it challenges the minimal theory of quotation (‘ “x” ’ quotes ‘x’) and it defends the identity theory of quotation. In the process it illuminates disciplinary differences between the science of language and the philosophy of language. First, most philosophers assume, without argument, that language includes writing, whereas linguists have reason to identify language with speech (plus sign language). Second, philosophers tend (...) to think of languages as abstract objects whereas linguists tend to think of them as natural objects. These foundational differences help to explain disagreements in grammaticality judgments and consequent disagreements in semantic theory. (shrink)

This article discusses the argument we cannot have knowledge of abstract entities because they are not part of the causal order. The claim of this article is that the argument fails because of equivocation. Assume that the “causal order” is concerned with contingent facts involving time and space. Even if the existence of abstract entities is not contingent and does not involve time or space it does not follow that no truths about abstract entities are contingent or involve time or (...) space. I argue that it is the latter which is required to obtain the desired conclusion. (shrink)

This paper has two goals. The first is to formulate an adequate account of the semantics of the progressive aspect in English: the semantics of Agatha is making a cake, as opposed to Agatha makes a cake. This account presupposes a version of the so-called Aristotelian classification of verbs in English into EVENT, PROCESS and STATE verbs. The second goal of this paper is to refine this classification so as to account for the infamous category switch problem, the problem of (...) how it is that modification of a verb like run by an adverbial like to the store can turn a PROCESS phrase (run) into an EVENT phrase (run to the store). Views discussed include those of Aqvist, Bach, Bennett, Bennett and Partee, Dowry, Montague and Scott, and Vendler. (shrink)

Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that the concept of (...) logical consequence does not well apply to dependencies among belief sentences and that the requirement to account for logical relations among such sentences should be relaxed. (shrink)

The aim of this paper is to analyze the differences and similarities between the linguistic and the logical meaning of a sentence and propose a uniform point of view on the notion of the meaning of utterances. The proposed notion differs from the notion of the logical meaning as well as from the linguistic one. It may be considered to be a kind of composition of both of them.

Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

In fact, Godel gave an important model of pure predication, where he showed that restricted comprehension without parameters is valid, but where restricted comprehension with parameters is not (although this invalidity was not established until Cohen). This is the model based on ordinal definability in set theory.

I have written a number of articles recently that have a rather remarkable character. They all point out trivial grammatical facts that, at great cost, have not been respected in twentieth century Logic. A major continuous strand in my previous work, with this same character, I will first summarise, to locate the kind of fact that is involved. But then I shall present an overview of the more recent, and more varied points I have made, which demonstrate the far larger (...) extent of basic grammar that has been overlooked or suppressed. I end with some remarks about how this phenomenon can have arisen – principally through logicians not being attentive enough to their own language, and occupying themselves, instead, with often quite imaginary languages. (shrink)

This paper was written with two aims in mind. A large part of it is just an exposition of Tarski’s theory of truth. Philosophers do not agree on how Tarski’s theory is related to their investigations. Some of them doubt whether that theory has any relevance to philosophical issues and in particular whether it can be applied in dealing with the problems of philosophy (theory) of science. In this paper I argue that Tarski’s chief concern was the following question. Suppose (...) a language L belongs to the class of languages for which, in full accordance with some formal conditions set in advance, we are able to define the class of all the semantic interpretations the language may acquire. Every interpretation of L can be viewed as a certain structure to which the expressions of the language may refer. Suppose that a specific interpretation of the language L was singled out as the intended one. Suppose, moreover, that the intended interpretation can be characterized in a metalanguage L +. If the above assumptions are satisfied, can the notion of truth for L be defined in the metalanguage L + and, if it can, how can this be done? Many students of Tarski’s conception will find the above exposition inconsistent with their own views on the essence of Tarski’s conception. On the other hand, as it is argued in this paper, the proposed interpretation of Tarski’s ideas allows one to use Tarski’s theory as a fundamental tool for semantic analyses of various theories, factual theories in particular. More specifically, it is argued that Tarski’s theory of truth allows one to clearly oppose a theory meant to be certain deductive system (a set of accepted sentences, say axioms, and a logical machinery for deducing from them new ones) and a theory meant to be a certain semantic system, i.e a set of sentences that serve to communicate some states of affairs and to use that opposition to explicate and occasionally also define the notion of truth. The opposition in question is of the utmost significance for analyzing some developments in both mathematics and factual sciences. The approach which is concerned with the logical relations between the elements of science such an approach is throughout this paper called analytical is put into question. The growth of science is determined by how well scientific theories are able to account for factual states of affairs. The intuitive notion of truth applied by the scientists does not necessarily correspond in a straightforward way to its Tarskian counterpart. On the other hand, as is claimed in this paper, the Tarskian notion of truth offers as adequate explication of intuitive notion of truth as possible. (shrink)

Glue has evolved significantly during the past decade. Although the recent move to type-theoretic notation was a step in the right direction, basing the current Glue system on System F (second-order λ-calculus) was an unfortunate choice. An extension to two sorts and ad hoc restrictions were necessary to avoid inappropriate composition of meanings. As a result, the current system is unnecessarily complicated. A first-order Glue system is hereby proposed as its replacement. This new system is not only simpler and more (...) elegant, as it captures the exact requirements for Glue-style compositionality without ad hoc improvisations, but it also turns out to be more powerful than the current two-sorted (pseudo-) second-order system. First-order Glue supports all existing Glue analyses as well as more elegant alternatives. It also supports new, more demanding analyses. (shrink)

The paper proposes a new semantics with dependent types for indefinites, encompassing both the data related to their exceptional scopal behavior and the data related to their anaphoric properties. The proposal builds on the formal system combining generalized quantifiers with dependent types in [Grudzińska & Zawadowski 2014] and [Grudzińska & Zawadowski 2016].

Your story is there waiting for you, it has been waiting for you there a hundred years, long before you were born and you cannot change a comma of it. Everything you do you have to do. You are the twig, and the water you float on swept you here. You are the leaf, and the breeze you were borne on blew you here. This is your story and you cannot escape it.—Cornell Woolrich, I Married a Dead Man.

Summary Reporting on the 7th International Congress of Logic, Methodology, and Philosophy of Science, first the main topics and some organisational aspects of the congress are presented; the main part of the report focuses on recent developments in Philosophical Logic (Section 5), in particular the theory of so-called generalized quantifiers as presented at the congress. In addition, some background information on logical language analysis, its possible applications and consequences is provided.

In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...) which we translate natural language semantics, and we further implement these semantics in the Coq proof assistant. It is shown that the use of a MTT with an adequate subtyping mechanism can give us a number of promising results as regards NLI. Specifically, it is shown that a number of inference cases, i.e. quantifiers, adjectives, conjoined noun phrases and temporal reference among other things can be successfully dealt with. It is then shown, that even though Coq is an interactive and not an automated theorem prover, automation of all of the test examples is possible by introducing user-defined automated tactics. Lastly, the paper offers a number of innovative approaches to NL phenomena like adjectives, collective predication, comparatives and factive verbs among other things, contributing in this respect to the theoretical study of formal semantics using MTTs. (shrink)

In his published work and even more in conversations, Tarski emphasized what he thought were important philosophical aspects of his work. The English translation of his more philosophical papers [56m] was dedicated to his teacher Tadeusz Kotarbinski, and in informal discussions of philosophy he often referred to the influence of Kotarbinski. Also, the influence of Leiniewski, his dissertation adviser, is evident in his early papers. Moreover, some of his important papers of the 1930s were initially given to philosophical audiences. For (...) example, the famous monograph on the concepotf truth ([33”], [35b]) was first given as twol ectures to the Logic Section of the Philosophical Society in Warsaw in 1930. Second, his paper [33], which introduced the concepts of co-consistency and co-completeness as well as the rule of infinite induction: was first given at the Second Conference of the Polish Philosophical Society in Warsaw in 1927. Also [35c] was based upon an address given in 1934 to the conference for the Unity of Science in Prague; C361 and [36a] summarize an address given at the International Congress of Scientific Philosophy in Paris in 1935. The article [44a] was published in a philosophical journal and widely reprinted in philosophical texts. This list is of course not exhaustiveb ut only representative of Tarski’s philosophical interactions as reflected in lectures given to philosophical audiences, which were later embodied in substantial papers. After 1945 almost all of Tarski’s publications and presentations are mathematical in character with one or two minor exceptions. This division, occurring about 1945, does not, however, indicate al oss of interest in philosophical questionbsu t is a result of Tarski’s moving to the Department of Mathematics at Berkeley. There he assumed an important role in the development of logic within mathematics in the United States. (shrink)