This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

The standard approach to model how human beings understand natural languages is the symbolic, compositional approach according to which the meaning of a complex expression is a function of the meanings of its constituents. In other words, meaning plays a fundamental role in the model. In this work, because of the polysemous, flexible, dynamic, and contextual structure of natural languages, this approach is rejected. Instead, a connectionist model which eliminates the concept of meaning is proposed.

This paper is about the alethic aspect of epistemic rationality. The most common approaches to this aspect are either normative (what a reasoner ought to/may believe?) or evaluative (how rational is a reasoner?), where the evaluative approaches are usually comparative (one reasoner is assessed compared to another). These approaches often present problems with blindspots. For example, ought a reasoner to believe a currently true blindspot? Is she permitted to? Consequently, these approaches often fail in describing a situation of alethic maximality, (...) where a reasoner fulfills all the alethic norms and could be used as a standard of rationality (as they are, in fact, used in some of these approaches). I propose a function α, which accepts a set of beliefs as inputand returns a numeric alethic value. Then I use this function to define a notion of alethic maximality that is satisfiable by finite reasoners (reasoners with cognitive limitations) and does not present problems with blindspots. Function α may also be used in alethic norms and evaluation methods (comparative and non-comparative) that may be applied to finite reasoners and do not present problems with blindspots. A result of this investigation isthat the project of providing purely alethic norms is defective. The use of function α also sheds light on important epistemological issues, such as the lottery and the preface paradoxes, and the principles of clutter avoidance and reflection. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

Although the later Wittgenstein appears as one of the most influential figures in Davidson’s later works on meaning, it is not, for the most part, clear how Davidson interprets and employs Wittgenstein’s ideas. In this paper, I will argue that Davidson’s later works on meaning can be seen as mainly a manifestation of his attempt to accommodate the later Wittgenstein’s basic ideas about meaning and understanding, especially the requirement of drawing the seems right/is right distinction and the way this requirement (...) must be met. These ideas, however, are interpreted by Davidson in his own way. I will then argue that Davidson even attempts to respect Wittgenstein’s quietism, provided that we understand this view in the way Davidson does. Having argued for that, I will finally investigate whether, for Davidson at least, his more theoretical and supposedly explanatory projects, such as that of constructing a formal theory of meaning and his use of the notion of triangulation, are in conflict with this Wittgensteinian quietist view. (shrink)

Tarski's analysis of the concept of truth gives rise to a hierarchy of languages. Does this fragment the concept all the way to philosophical unacceptability? I argue it doesn't, drawing on a modification of Kaplan's theory of indexicals.

The most widespread models of rational reasoners (the model based on modal epistemic logic and the model based on probability theory) exhibit the problem of logical omniscience. The most common strategy for avoiding this problem is to interpret the models as describing the explicit beliefs of an ideal reasoner, but only the implicit beliefs of a real reasoner. I argue that this strategy faces serious normative issues. In this paper, I present the more fundamental problem of logical omnipotence, which highlights (...) the normative content of the problem of logical omniscience. I introduce two developments of the notion of implicit belief (accessible and stable belief ) and use them in two versions of the most common strategy applied to the problem of logical omnipotence. (shrink)

The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (notably formal (...) logic, rhetoric and dialectics in the form of pragma-dialectics). In this volume, some of the best known contributors to the movement discuss their views and the reasoning and argument which is informal logic’s subject matter. Many themes and issues are explored in a way that will fuel the continued evolution of the field. Federico Puppo adds an insightful essay which considers the origins and development of informal logic and whether informal logicians are properly described as a “school” of thought. In considering that proposition, Puppo introduces readers to a diverse range of essays, some of them previously published, others written specifically for this volume. (shrink)

O presente volume se trata de uma coletânea de artigos que reúne alguns dos trabalhos propostos para o evento “III International Colloquium of Analytic Epistemology and VII Conference of Social Epistemology”, realizado entre os dias 27 e 30 de Novembro de 2018, na Universidade Federal de Santa Maria. O “III International Colloquium of Analytic Epistemology and VII Conference of Social Epistemology” é um dos principais eventos de Epistemologia analítica da América Latina e reúne especialistas do Brasil e do exterior para (...) promover debates de alto nível sobre temas que fazem parte da agenda contemporânea no que se refere ao debate analítico contemporâneo acerca da Epistemologia. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the leading philosophical (...) theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

Davidson’s 1965 paper, “Theories of Meaning and Learnable Languages”, has invariably been interpreted, by others and by myself, as arguing that natural languages must have a compositional semantics, or at least a systematic semantics, that can be finitely specified. However, in his reply to me in the Żegleń volume, Davidson denies that compositionality is in any need of an argument. How does this add up? In this paper I consider Davidson’s first three meaning theoretic papers from this perspective. I conclude (...) that Davidson was right in his reply to me that he never took compositionality, or systematic semantics, to be in need of justification. What Davidson had been concerned with, clearly in the 1965 paper and in “Truth and Meaning” from 1967, and to some extent in his Carnap critique from 1963, is that we need a general theory of natural language meaning, that such a theory should not be in conflict with the learnability of a language, and that such a theory bring out should how knowledge of a finite number of features of a language suffices for the understanding of all the sentences of that language. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

In this paper, I address a series of arguments recently put forward by Cappelen Review of Philosophy and Psychology 8: 743–762 to the effect that philosophers should not do formal semantics or be concerned with the “minutiae of natural language semantics”. He offers two paths for accessing his ideas. I argue that his arguments fail in favour of the first and cast some doubt on the second in so doing. I then proffer an alternative conception of why exactly philosophers should (...) continue to do formal linguistics which includes both semantics and syntax. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, on which (...) semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

Over fifteen years have passed since Cora Diamond and James Conant turned Wittgenstein scholarship upside down with the program of “resolute” reading, and ten years since this reading was crystallized in the major collection _The New Wittgenstein_. This approach remains at the center of the debate about Wittgenstein and his philosophy, and this book draws together the latest thinking of the world’s leading Tractatarian scholars and promising newcomers. Showcasing one piece alternately from each “camp”, _Beyond the Tractatus Wars_ pairs newly (...) commissioned pieces addressing differing views on how to understand early Wittgenstein, providing for the first time an arena in which the debate between “strong” resolutists, “mild” resolutists and “elucidatory” readers of the book can really take place. The collection includes famous “samizdat” essays by Warren Goldfarb and Roger White that are finally seeing the light of day. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

In this paper, I explore two contrasting conceptions of the social character of language. The first takes language to be grounded in social convention. The second, famously developed by Donald Davidson, takes language to be grounded in a social relation called triangulation. I aim both to clarify and to evaluate these two conceptions of language. First, I propose that Davidson’s triangulation-based story can be understood as the result of relaxing core features of conventionalism pertaining to both common-interest and diachronic stability—specifically, (...) Davidson does not require uses of language to be self-perpetuating, in the way required by conventionalism, in order to be bona fide components of linguistic systems. Second, I argue that Davidson’s objections to conventionalism from language innovation and language variation fail, and that certain kinds of negative data in language use require an appeal to diachronic social relations. However, I also argue that recent work on communication in the a.. (shrink)

This paper presents a new reconstruction of Wittgenstein’s famous (and controversial) rule-following arguments. Two are the novel features offered by our reconstruction. In the first place, we propose a shift of the central focus of the discussion, from the general semantics and the philosophy of mind to the philosophy of mathematics and the rejection of the notion of a function. The second new feature is positive: we argue that Wittgenstein offers us a new alternative notion of a rule (to replace (...) the rejected functions), a notion reminiscent of Category Theory’s notion of a morphism. (shrink)

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is indebted to deflationism as the provenance of the suspicion (...) that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

It is a common view that radical contextualism about linguistic meaning is incompatible with a compositional explanation of linguistic comprehension. Recently, some philosophers of language have proposed theories of 'pragmatic' compositionality challenging this assumption. This paper takes a close look at a prominent proposal of this kind due to François Recanati. The objective is to give a plausible formulation of the view. The major results are threefold. First, a basic distinction that contextualists make between mandatory and optional pragmatic processes needs (...) to be revised. Second, the pragmatic theory can withstand a Davidsonian objection only by rejecting the importance of a distinction between primitive and non-primitive semantic items. Thirdly, however, the theory is now open to a worry about how it should be understood: either the theory consists in a very broad functionalist generalization about communication, which makes it explanatorily inert, or it boils down to a highly particularist view about linguistic meaning. Finally, I argue that Recanati's notion of 'occasion meaning' is problematic and suggest replacing it with the notion of speaker meaning, which is explanatorily more basic. (shrink)

This article discusses the logical form of action sentences with particular attention to the role of adverbial modification, reviewing and extending the event analysis of action sentences.

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Donald Davidson has prepared a new edition of his classic 1980 collection of Essays on Actions and Events, including two additional essays. In this seminal investigation of the nature of human action, Davidson argues for an ontology which includes events along with persons and other objects. Certain events are identified and explained as actions when they are viewed as caused and rationalized by reasons; these same events, when described in physical, biological, or physiological terms, may be explained by appeal to (...) natural laws. The mental and the physical thus constitute irreducibly discrete ways of explaining and understanding events and their causal relations. -/- Among the topics discussed are: freedom to act; weakness of the will; the logical form of talk about actions, intentions, and causality; the logic of practical reasoning; Hume's theory of the indirect passions; and the nature and limits of decision theory. The introduction, cross-references, and appendices emphasize the relations between the essays and explain how Davidson's views have developed. -/- . (shrink)

D O N A L D D AV I D S O N’S “ Meaning and Truth,” re vo l u t i o n i zed our conception of how truth and meaning are related (Davidson    ). In that famous art i c l e , Davidson put forw a rd the bold conjecture that meanings are satisfaction conditions, and that a Tarskian theory of truth for a language is a theory of meaning for that language. (...) In “Meaning and Truth,” Davidson proposed only that a Tarskian truth theory is a theory of meaning. But in “Theories of Me a n i n g and Learnable Languages,” he argued that the finite base of a Tarskian theory, together with the now familiar combinatorics, would explain how a language with unbounded expre s s i ve capacity could be learned with finite means ( Davidson    ). This certainly seems to imply that learning a language is, in p a rt at least, learning a Tarskian truth theory for it, or, at least, learning what is specified by such a theory. Davisdon was cagey about committing to the view that meanings actually a re satisfaction conditions, but subsequent followers had no such scru p l e s . We can sum this up in a trio of claims: Davidson’s Conjecture () A theory of meaning for L is a truth-conditional semantics for L. () To know the meaning of an expression in L is to know a satisfaction condition for that expression. () Meanings are satisfaction conditions. For the most part, it will not matter in what follows which of these claims is at stake. I will simply take the three to be different ways of formulating what I will call Davidson’s Conjecture (or sometimes just The Conjecture). Davidson’s Conjecture was a very bold conjecture. I think we are now in a.. (shrink)

The truth-condition theory of meaning is, naturally, thought of an as explanatory theory whose explananda are the meaning facts. But there are at least two deductive arguments that purport to establish the truth of the theory irrespective of its explanatory virtues. This paper examines those arguments and concludes that they succeed.

It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against “one of the (...) fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

This book's purpose is to detail the anatomy of linguistic meaning, showing how the various elements of meaning fit together. part 1 defends the truth-theoretic conception of semantics, taking the notion of a sentence's truth-condition as the core of meaning. part 2 explores the complex interconnections between syntax, semantics and various pragmatic notions and attempts to reconcile the apparent differences between natural and formal language. part 3 examines the relation between semantics and psychology.

It's possible to understand an infinite number of novel maps. I argue that Roberto Casati and Achille Varzi's compositional semantics of maps cannot explain this possibility, because it requires an infinite number of semantic primitives. So the semantics of maps is puzzlingly different from the semantics of language.

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that contains quotation (...) marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

This paper is divided into three sections. In the first section we offer a retooling of some traditional concepts, namely icons and symbols, which allows us to describe an evolutionary continuum of communication systems. The second section consists of an argument from theoretical biology. In it we explore the advantages and disadvantages of phenotypic plasticity. We argue that a range of the conditions that selectively favor phenotypic plasticity also favor a nongenetic transmission system that would allow for the inheritance of (...) acquired characters. The first two sections are independent, the third depends on both of them. In it we offer an argument that human natural languages have just the features required of an ideal transmission mechanism under the conditions described in section 2. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

This chapter reviews the major contributions of Donald Davidson to philosophy in the 20th century.

What is a concept? Philosophers have given many different answers to this question, reflecting a wide variety of approaches to the study of mind and language. Nonetheless, at the most general level, there are two dominant frameworks in contemporary philosophy. One proposes that concepts are mental representations, while the other proposes that they are abstract objects. This paper looks at the differences between these two approaches, the prospects for combining them, and the issues that are involved in the dispute. We (...) argue that powerful motivations have been offered in support of both frameworks. This suggests the possibility of combining the two. Unlike Frege, we hold that the resulting position is perfectly coherent and well worth considering. Nonetheless, we argue that it should be rejected along with the view that concepts are abstract objects. (shrink)

Jerry Fodor and Ernie Lepore have argued that inferential roles are not compositional. It is unclear, however, whether the theories at which they aim their objection are obliged to meet the strong compositionality requirement they have in mind. But even if that requirement is accepted, the data they adduce can in fact be derived from an inferential-role theory that meets it. Technically this is trivial, but it raises some interesting objections turning on the issue of the generality of inferential roles. (...) I explain how those objections can be met. Whether Fodor’s and Lepore’s strong compositionality requirement is justified or not, then, inferential-role theories do not have the problem that they claim to have identified. (shrink)

Quotation marks in natural language that do not function straightforwardly as devices for securing reference to linguistic objects have generally been categorized as instances of either mixed quotation or scare quotation. I argue that certain uses of quotation marks in natural language resist assimilation to either of these two theoretical categories, as well as to the more familiar categories of pure and direct quotation. It follows that we must recognize a novel type of quotation in natural language, which I call (...) dummy quotation because it involves the contribution of semantically minimal `dummy meanings' to composition. I develop a semantic theory of dummy quotation and show that it is better able than rival proposals to account for the troublesome examples in question. (shrink)

This reviews, motivates, and extends the event analysis of action sentences and shows how it explains the compositionally of adverbial modification of action verbs and event verbs more generally. It includes a treatment of intensional adverbs like 'intentionally' and how it can be extended to the collective reading of plural action sentences.

Mates’s Puzzle has flown below many philosophers’ radar, despite its relations to both Frege’s Puzzle and the Paradox of Analysis. We explain the relations amongst these puzzles on the way to arguing that Mates’s Puzzle suggests a generalization of Frege’s Puzzle, and of the sense-reference distinction itself, in the form of hierarchy of senses. We explain how Mates’s Puzzle and the hierarchy, to different degrees, illuminate each other, and how their connection is missed in the literature. However, we argue that (...) the potential of Mates’s Puzzle to illuminate the hierarchy is yet to be fully actualised. We suggest that in order to do better, we need to formulate Mates’s Puzzle as a puzzle in the philosophy of thought and not as puzzle in the philosophy of language. What is needed, to which the present paper is a precursor, is an account of the cognitive significance of higher-order senses. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (factorial (...) complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

Brian Loar attempted to provide the Gricean program of intention-based semantics with an account of expression-meaning. But the theory he presented, like virtually every other foundational semantic or meta-semantical theory, was an idealization that ignored vagueness. What would happen if we tried to devise theories that accommodated the vagueness of vague expressions? I offer arguments based on well-known features of vagueness that, if sound, show that neither Brian’s nor any other extant theory could successfully make that adjustment, and this because, (...) if sound, the arguments show not only that nothing can be the content of a vague expression, but also that no spoken language has a compositional semantics. This raises the question of what, really, are the facts about a language whose explanation might seem to require the language to have a compositional semantics, and whether there might not be a way to explain those facts on the assumption that the language doesn’t have a compositional semantics. In response to this question I offer a rough sketch of a view designed to suggest how what needs to be explained might be explained without appeal to compositional semantics. (shrink)

It is a commonplace in philosophy of action that there is and must be teleologically basic action: something done on an occasion without doing it by means of doing anything else. It is widely believed that basic actions are exercises of skill. As the source of the need for basic action is the structure of practical reasoning, this yields a conception of skill and practical reasoning as complementary but mutually exclusive. On this view, practical reasoning and complex intentional action depend (...) on skill and basic action, but the latter pair are not themselves rationally structured: the movements a basic action comprises are not intentional actions, and they are not structured as means to an end. However, Michael Thompson and Douglas Lavin have argued that action that bears no inner rational structure is not intentional action at all, and that therefore there can be no such thing as basic action. In this paper, I argue that their critique shows that standard conceptions of basic action are indeed untenable, but not that we can do without an alternative. I develop an alternative conception of skill and basic action on which their basicness is not to be equated with simplicity: like deliberation and non-basic action, they are teleologically complex, but their complexity takes a different form. On this view, skill contrasts with deliberation—not because it is not a manifestation of practical reason, but because the two are specifically different manifestations of practical reason. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...) one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

The notion of an ideal reasoner has several uses in epistemology. Often, ideal reasoners are used as a parameter of (maximum) rationality for finite reasoners (e.g. humans). However, the notion of an ideal reasoner is normally construed in such a high degree of idealization (e.g. infinite/unbounded memory) that this use is unadvised. In this dissertation, I investigate the conditions under which an ideal reasoner may be used as a parameter of rationality for finite reasoners. In addition, I present and justify (...) the research program of computational epistemology, which investigates the parameter of maximum rationality for finite reasoners using computer simulations. (shrink)

Is there a principled difference between entailments in natural language that are valid solely in virtue of their form or structure and those that are not? This paper advances an affirmative answer to this question, one that takes as its starting point Gareth Evans’s suggestion that semantic theory aims to carve reality at the joints by uncovering the semantic natural kinds of the language. I sketch an Evans-inspired account of semantic kinds and show how it supports a principled account of (...) structural entailment. I illustrate the account by application to a case study involving the entailment properties of adverbs; this involves developing a novel proposal about the semantics for adverbs like ‘quickly’ and ‘slowly’. In the course of the discussion I explore some implications of the account for the place of model-theoretic tools in natural language semantics. (shrink)