The paper reviews some conceptions of logical form in the light of Andrea Iacona’s book Logical Form. I distinguish the following: logical form as schematization of natural language, provided by, for example, Aristotle’s syllogistic; the relevance to logical form of formal languages like those used by Frege and Russell to express and prove mathematical theorems; Russell’s mid-period conception of logical form as the structural cement binding propositions; the conceptions of logical form discussed by Iacona; and logical form regarded as an (...) empirical hypothesis about the psychology of language processing, as in the Discourse Representation Theory tradition. Whereas neither schematization, nor the use of special languages for mathematics, raise general methodological or empirical difficulties, other conceptions of logical form raise at least apparent problems. (shrink)

This essay offers a conception of logic by which logic may be considered to be exceptional among the sciences on the backdrop of a naturalistic outlook. The conception of logic focused on emphasises the traditional role of logic as a methodology for the sciences, which distinguishes it from other sciences that are not methodological. On the proposed conception, the methodological aims of logic drive its definitions and principles, rather than the description of scientific phenomena. The notion of a methodological discipline (...) is explained as a relation between disciplines or practices. Logic serves as a methodological discipline with respect to any theoretical practice, and this generality, as well as logic’s reflexive nature, distinguish it from other methodological disciplines. Finally, the evolution of model theory is taken as a case study, with a focus on its methodological role. Following recent work by John Baldwin and Juliette Kennedy, we look at model theory from its inception in the mid-twentieth century as a foundational endeavour until developments at the end of the century, where the classification of theories has taken centre-stage. (shrink)

In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

When I was a student in the mid-1980s, Donald Davidson loomed larger over the philosophical scene than any other living thinker. His writings figured prominentl.

Should we explicate truth in terms of meaning, or meaning in terms of truth? Ramsey, Prior and Strawson all favoured the former approach: a statement is true if and only if things are as the speaker, in making the statement, states them to be; similarly, a belief is true if and only if things are as a thinker with that belief thereby believes them to be. I defend this explication of truth against a range of objections.Ramsey formalized this account of (...) truth as follows: B is true =df ∃P; in §i, I defend this formula against the late Peter Geach's objection that its right‐hand side is ill‐formed. Davidson held that Ramsey and co. had the whole matter back to front: on his view, we should explicate meaning in terms of truth, not vice versa. In §ii, I argue that Ramsey's approach opens the way to a more promising approach to semantic theorizing than Davidson's. Ramsey presents his formula as a definition of truth, apparently contradicting Tarski's theorem that truth is indefinable. In §iii, I show that the contradiction is only apparent: Tarski assumes that the Liar‐like inscription he uses to prove his theorem has a content, but Ramsey can and should reject that assumption. As I explain in §iv, versions of the Liar Paradox may be generated without making any assumptions about truth: paradox arises when the impredicativity that is found when a statement's content depends on the contents of a collection of statements to which it belongs turns pathological. Since they do not succeed in saying anything, such pathological utterances or inscriptions pose no threat to the laws of logic, when these are understood as universal principles about the ways things may be said or thought to be. There is, though, a call for rules by following which we can be sure that any conclusion deduced from true premisses is true, and hence says something. Such rules cannot be purely formal, but in §v I propose a system of them: this opens the way to the construction of deductive theories even in circumstances where producing a well‐formed formula is no guarantee of saying anything. (shrink)

Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...) that the difference between ‘standard’ and ‘revenge’ paradoxes is ill-conceived and should be abandoned. This will contribute to show that the theories that provide a uniform account of truth and other semantic notions are the ones best equipped to avoid the paradoxes altogether—‘standard’ and ‘revenge’ alike. (shrink)

The sentences employed in semantic paradoxes display a wide range of semantic behaviours. However, the main theories of truth currently available either fail to provide a theory of paradox altogether, or can only account for some paradoxical phenomena by resorting to multiple interpretations of the language. In this paper, I explore the wide range of semantic behaviours displayed by paradoxical sentences, and I develop a unified theory of truth and paradox, that is a theory of truth that also provides a (...) unified account of paradoxical sentences. The theory I propose here yields a threefold classification of paradoxical sentences – liar-like sentences, truth-teller-like sentences, and revenge sentences. Unlike existing treatments of semantic paradox, the theory put forward in this paper yields a way of interpreting all three kinds of paradoxical sentences, as well as unparadoxical sentences, within a single model. (shrink)

The use-mention distinction is considered as a fundamental concept in the philosophy of language. So it goes without doubt that a comprehensive theory of language has to account for this distinction. In this paper I explore what it means to account for such a distinction and I argue that the main ideas of contextualist theories of language are in conflict with the distinction in question.

Arguments are advanced that a theory of possible worlds cannot be a theory of meaning for modal statements, And lewis's version of the theory in his "counterfactuals" is used as a particular stalking-Horse. (a) 'possible world', Though used referentially, Is defined in a way that makes it non-Referential, And moreover, The theory does not supply or validate proposals for criteria that individuate worlds; hence the theory seems incomprehensible. (b) the theory yields no useable account of truth-Conditions for modal statements. (c) (...) a conceptualist version of the theory cannot overcome these problems. (d) lewis's similarity theory of possible worlds as a semantics for counterfactuals sustains in many cases (including one he cites) intuitively untrue counterfactuals and rejects many intuitively correct ones. (shrink)

This article, a contribution to the Common Knowledge symposium “Fuzzy Studies,” criticizes a prominent form of philosophical account of rational activity. Rational activity includes actions as varied as kicking a soccer ball and speaking a language. The philosophical accounts examined — which may be called “intellectualist” — share two features: they originate in skeptical doubt about whether what appears to be rational activity really is, and they ascribe knowledge of the norms of her activity to the person doing it. Given (...) their first feature, intellectualist accounts seek to reassure us. But they fail: the phenomenon to which they appeal in explaining rational activity — a person's grasping its norms — itself presupposes such activity. The question whether a person knows the norms of her activity is a central way of organizing the disputes of the last sixty years over whether the humanities are as intellectually legitimate as the sciences. One prominent thing it can mean to call humanities work “fuzzy” is that it is without authoritative method. Critics of the humanities may be understood as insisting that intellectual work is genuinely rational only where the thinker has in view sharply defined norms. Thus, such critics evince the same kind of concern about the legitimacy of literary or historical studies as intellectualist philosophers do about the reality of apparent soccer kicks or meaningful speech. Whatever the merit of these concerns, there is no comfort to be had in ascribing knowledge of the norms of her activity to either the literary critic or the soccer player. (shrink)

In the middle of the 20th century, it was a common Wittgenstein-inspired idea in philosophy that for a linguistic expression to have a meaning is for it to be governed by a rule of use. In other words, it was widely believed that meanings are to be identified with use-conditions. However, as things stand, this idea is widely taken to be vague and mysterious, inconsistent with “truth-conditional semantics”, and subject to the Frege-Geach problem. In this paper I reinvigorate the ideas (...) that meaningfulness is a matter of being governed by rules of use and that meanings are best thought of in terms of use-conditions. I will do this by sketching the Rule-Governance view of the nature of linguistic meaningfulness, showing that the view isn’t by itself subject to the two problems, and explain why the idea has had a lasting appeal to philosophers from Strawson to Kaplan and why we should find it continually attractive. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

According to the theory theory of metalinguistic disputes, disagreements in metalinguistic disputes are based on diverging underlying theories, opinions, or world views. An adequate description of metalinguistic disagreement needs to consider the compatibility and topics of such theories. Although topic continuity can be spelled out in terms of measurement operations, it is argued that even metalinguistic disputes about a term used in different, mutually compatible theories can be substantive because the dispute is indirectly about the virtues of the underlying theories. (...) The account is defended against externalist and holist objections. (shrink)

Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an expressive fragment of classical game semantics that (...) weakens the dependence relations between quantifiers occurring in a formula, we can formalize, for a broad array of examples, epistemic scenarios in which an individual ignores the validity of some first-order sentence. On the other hand, urn semantics offers a disproportionate restriction of logical omniscience. Therefore, an improvement of this system is needed to obtain a better solution of the problem. In this paper, I argue that our linguistic competence in using quantifiers requires a sort of basic hypothetical logical knowledge that can be formulated as follows: when inquiring after the truth-value of ∀xφ, an individual might be unaware of all substitutional instances this sentence accepts, but at least she must know that, if an element a is given, then ∀xφ holds only if φ is true. This thesis accepts game-theoretic formalization in terms of a refinement of urn semantics. I maintain that the system so obtained affords an improved solution of the logical omniscience problem. To do this, I characterize first-order theoremhood in US+. As a consequence of this result, we will see that the ideal reasoner depicted by US+ only knows the validity of first-order formulas whose Herbrand witnesses can be trivially found, a fact that provides strong evidence that our refinement of urn semantics captures a relevant sense of logical obviousness. (shrink)

In this lecture I describe the path by which I was led to the “semantic externalism” for which I was honoured with the Rolf Schock Prize. Although my interest in linguistics goes back as far as my undergraduate days, it was conversations with Jerrold Katz and Jerry Fodor at MIT (where all three of us taught at the time) in the 1960s that first led to an effort by all three of us to develop semantic theories. My own direction was (...) a false one, by my present lights; at that time all three of us defended the “internalist” view that the meaning of a word is fixed by a “battery of semantical rules” implicitly known by each speaker. I describe how I was led to the realization that this could not be right, and finally to the views I defended in “The Meaning of ‘Meaning' ”. (shrink)

In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.

A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support (...) highlights a tension between the principle of compositionality and taking a more pluralistic approach to semantic theorizing. In this essay, that tension is relieved, leaving open the prospect of a pluralistic semantic theory that observes the principle of compositionality. (shrink)

A number of theorists hold that literal, linguistic meaning is determined by the cognitive mechanism that underpins semantic competence. Borg and Larson and Segal defend a version of the view on which semantic competence is underpinned by the cognition of a truth-conditional semantic theory—a semantic theory which is true. Let us call this view the “cognitivist account of meaning”. In this paper, I discuss a surprisingly serious difficulty that the cognitivist account of meaning faces in light of the liar paradox. (...) I raise an argument to the effect that, in light of linguistic evidence concerning the liar paradox, the cognised semantic theory is inconsistent. This contradicts the cognitivist account. I consider a range of possible responses to the difficulty, raising problems for each. The liar paradox poses a serious difficulty to the cognitivist account of meaning, and it is unclear whether the difficulty can be resolved. (shrink)

After some brief introductory remarks, I respond to the three commentaries on Conjoining meanings that appear in this issue.

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

I argue that linguistic meanings are instructions to build monadic concepts that lie between lexicalizable concepts and truth-evaluable judgments. In acquiring words, humans use concepts of various adicities to introduce concepts that can be fetched and systematically combined via certain conjunctive operations, which require monadic inputs. These concepts do not have Tarskian satisfaction conditions. But they provide bases for refinements and elaborations that can yield truth-evaluable judgments. Constructing mental sentences that are true or false requires cognitive work, not just an (...) exercise of basic linguistic capacities. (shrink)

The present article is the second part of a trilogy of papers, devoted to analysing the influence of semantic Platonism on contemporary philosophy of language. In Part I (Picazo 2021), the discussion was set out by examining a number of typical traces of Platonism in semantic theory since Frege. In a subsequent paper that shall be published elsewere, additional illustrations of such traces will be provided, taken from a collection of classic texts in the philosophy of language, also from Frege (...) onwards (Baghramian 1998). Then, the present paper is devoted to providing yet additional illustrations of those traces, but this time taken from a collection of recent commissioned essays on the subject: the book Prospects for Meaning, edited by Richard Schantz in 2012. We shall, thus, describe a considerable number of examples in which the influence of semantic Platonism on these essays can be felt. Prominent among these examples are the adhesion to pseudo-Platonism in the form of semantic mentalism; the typical limitations of avoidant and trivializing semantic accounts; the confinement to logico-philosophical analysis as the only methodology for semantic research; the excesses committed by some radical semantic anti-representationalists and some radical semantic biologists; and the adhesion to hardcore semantic Platonism itself. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

In this essay I will consider two theses that are associated with Frege,and will investigate the extent to which Frege really believed them.Much of what I have to say will come as no surprise to scholars of thehistorical Frege. But Frege is not only a historical figure; he alsooccupies a site on the philosophical landscape that has allowed hisdoctrines to seep into the subconscious water table. And scholars in a widevariety of different scholarly establishments then sip from thesedoctrines. I believe (...) that some Frege-interested philosophers at various ofthese establishments might find my conclusions surprising.Some of these philosophical establishments have arisen from an educationalmilieu in which Frege is associated with some specific doctrine at theexpense of not even being aware of other milieux where other specificdoctrines are given sole prominence. The two theses which I will discussillustrate this point. Each of them is called Frege''s Principle, but byphilosophers from different milieux. By calling them milieux I do not want to convey the idea that they are each located at some specificsocio-politico-geographico-temporal location. Rather, it is a matter oftheir each being located at different places on the intellectuallandscape. For this reason one might (and I sometimes will) call them(interpretative) traditions. (shrink)

In this paper, I develop a criticism to a method for metaontology, namely, the idea that a discourse’s or theory’s ontological commitments can be read off its sentences’ truth- conditions. Firstly, I will put forward this idea’s basis and, secondly, I will present the way Quine subscribed to it. However, I distinguish between two readings of Quine’s famous ontological criterion, and I center the focus on the one currently dubbed “ontological minimalism”, a kind of modern Ockhamism applied to the mentioned (...) metaontological view. I show that this view has a certain application via Quinean thesis of reference inscrutability but that it is not possible to press that application any further and, in particular, not for the ambitious metaontological task some authors try to employ. The conclusion may sound promising: having shown the impossibility of a semantic ontological criterion, intentionalist or subjectivist ones should be explored. (shrink)

Quentin Smith has argued that the new tenseless theory of time is faced with insurmountable problems and should be abandoned in favour of the tensed theory of time. Smith;s main argument attacks the fundamental premise of the tenseless theory: that tenseless truth conditions for tokens of tensed sentences adequately capture the meaning of tensed sentences. His position is that tenseless truth conditions cannot explain the logical relations between tensed sentences, thus the tensed theory must be accepted. Against Smith, this paper (...) adopts an alternative approach to the explanation of the entailment relations between sentences which contain indexicals. The approach drops the reliance upon tokens and instead relies on the evaluation of sentence types with respect to a context rather than upon actual or possible utterances of tokens of the types. This (new) version of the tenseless theory of time can adequately explain the relevant entailment relations between tensed sentences. (shrink)

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (shrink)

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

Peter Pagin Is the principle of semantic compositionality compatible with the principle of semantic holism? The question is of interest, since both principles have a lot that speaks for them, and since they do seem to be in conflict. The view that natural languages have compositional structure is almost unavoidable, since linguistic communication by means of new combinations of words would be virtually incomprehensible otherwise. And holism too seems generally plausible, since the meaning of an expression is directly connected with (...) the way that expression interacts with other. (shrink)

Enthymemes are traditionally defined as arguments in which some elements are left unstated. It is an empirical fact that enthymemes are both enormously frequent and appropriately understood in everyday argumentation. Why is it so? We outline an answer that dispenses with the so called "principle of charity", which is the standard notion underlying most works on enthymemes. In contrast, we suggest that a different force drives enthymematic argumentation—namely, parsimony, i.e. the tendency to optimize resource consumption, in light of the agent's (...) goals. On this view, the frequent use of enthymemes does not indicate sub-optimal performance of arguers, requiring appeals to charity for their redemption. On the contrary, it is seen as a highly adaptive argumentation strategy, given the need of everyday reasoners to optimize their cognitive resources. Considerations of parsimony also affect enthymeme reconstruction, i.e. the process by which the interpreter makes sense of the speaker's enthymemes. Far from being driven by any pro-social cooperative instinct, interpretative efforts are aimed at extracting valuable information at reasonable costs from available sources. Thus, there is a tension between parsimony and charity, insofar as the former is a non-social constraint for self-regulation of one's behaviour, whereas the latter implies a pro-social attitude. We will argue that some versions of charity are untenable for enthymeme interpretation, while others are compatible with the view defended here, but still require parsimony to expose the ultimate reasons upon which a presumption of fair treatment in enthymeme reconstruction is founded. (shrink)

This is the second part of a two-part article on compositionality, i.e. the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. In the first, Pagin and Westerståhl (2010), we provide a general historical background, a formal framework, definitions, and a survey of variants of compositionality. It will be referred to as Part I. Here we discuss arguments for and against the claim that natural languages have (...) a compositional semantics. We also discuss some problem cases, including belief reports, quotation, idioms, and ambiguity. (shrink)

Many philosophers suppose that sometimes we think we are saying or thinking something meaningful when in fact we’re not saying or thinking anything at all: we are producing nonsense. But what is nonsense? An account of nonsense must, I argue, meet two constraints. The first constraint requires that nonsense can be rationally engaged with, not just mentioned. In particular, we can reason with nonsense and use it within that-clauses. An account which fails to meet this constraint cannot explain why nonsense (...) appears meaningful. The second constraint requires that nonsense does not express thoughts. An account which fails to meet this constraint undercuts the critical force of the concept of nonsense. I offer an account which meets both constraints. The central idea is that to be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. (shrink)