Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (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)

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

This paper presents a formalization of first-order arithmetic characterizing the natural numbers as abstracta of the equinumerosity relation. The formalization turns on the interaction of a nonstandard cardinality quantifier with an abstraction operator assigning objects to predicates. The project draws its philosophical motivation from a nonreductionist conception of logicism, a deflationary view of abstraction, and an approach to formal arithmetic that emphasizes the cardinal properties of the natural numbers over the structural ones.

The problem of logical constants consists in finding a principled way to draw the line between those expressions of a language that are logical and those that are not. The criterion of invariance under permutation, attributed to Tarski, is probably the most common answer to this problem, at least within the semantic tradition. However, as the received view on the matter, it has recently come under heavy attack. Does this mean that the criterion should be amended, or maybe even that (...) it should be abandoned? I shall review the different types of objections that have been made against invariance as a logicality criterion and distinguish between three kinds of objections, skeptical worries against the very relevance of such a demarcation, intensional warnings against the level at which the criterion operates, and extensional quarrels against the results that are obtained. I shall argue that the first two kinds of objections are at least partly misguided and that the third kind of objection calls for amendment rather than abandonment. (shrink)

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

Permutation invariance is often presented as the correct criterion for logicality. The basic idea is that one can demarcate the realm of logic by isolating specific entities—logical notions or constants—and that permutation invariance would provide a philosophically motivated and technically sophisticated criterion for what counts as a logical notion. The thesis of permutation invariance as a criterion for logicality has received considerable attention in the literature in recent decades, and much of the debate is developed against the background of ideas (...) put forth by Tarski in a 1966 lecture (Tarski 1966/1986). But as noted by Tarski himself in the lecture, the permutation invariance criterion yields a class of putative ‘logical constants’ that are essentially only sensitive to the number of elements in classes of individuals. Thus, to hold the permutation invariance thesis essentially amounts to limiting the scope of logic to quantificational phenomena, which is controversial at best and possibly simply wrong. In this paper, I argue that permutation invariance is a misguided approach to the nature of logic because it is not an adequate formal explanans for the informal notion of the generality of logic. In particular, I discuss some cases of undergeneration of the criterion, i.e. the fact that it excludes from the realm of logic operators that we have good reason to regard as logical, especially some modal operators. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

✤ It is the characterization of those forms of reasoning that lead invariably from true sentences to true sentences, independently of the subject matter.

History and Philosophy of Logic, Volume 32, Issue 2, Page 191-193, May 2011.

History and Philosophy of Logic, Volume 32, Issue 2, Page 193-196, May 2011.

In the literature on supervaluationism, a central source of concern has been the acceptability, or otherwise, of its alleged logical revisionism. I attack the presupposition of this debate: arguing that when properly construed, there is no sense in which supervaluational consequence is revisionary. I provide new considerations supporting the claim that the supervaluational consequence should be characterized in a ‘global’ way. But pace Williamson (1994) and Keefe (2000), I argue that supervaluationism does not give rise to counterexamples to familiar inference-patterns (...) such as reductio and conditional proof. (shrink)

A good argument is one whose conclusions follow from its premises; its conclusions are consequences of its premises. But in what sense do conclusions follow from premises? What is it for a conclusion to be a consequence of premises? Those questions, in many respects, are at the heart of logic (as a philosophical discipline). Consider the following argument: 1. If we charge high fees for university, only the rich will enroll. We charge high fees for university. Therefore, only the rich (...) will enroll. There are many different things one can say about this argument, but many agree that if we do not equivocate (if the terms mean the same thing in the premises and the conclusion) then the argument is valid, that is, the conclusion follows deductively from the premises. This does not mean that the conclusion is true. Perhaps the premises are not true. However, if the premises are true, then the conclusion is also true, as a matter of logic. This entry is about the relation between premises and conclusions in valid arguments. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

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

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to provide (...) the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

Bertrand Russell, in the second of his 1914 Lowell lectures, Our Knowledge of the External World, asserted famously that ‘every philosophical problem, when it is subjected to the necessary analysis and purification, is found either to be not really philosophical at all, or else to be, in the sense in which we are using the word, logical’ (Russell 1993, p. 42). He went on to characterize that portion of logic that concerned the study of forms of propositions, or, as he (...) called them, ‘logical forms’. This portion of logic he called ‘philosophical logic’. Russell asserted that ... some kind of knowledge of logical forms, though with most people it is not explicit, is involved in all understanding of discourse. It is the business of philosophical logic to extract this knowledge from its concrete integuments, and to render it explicit and pure. (p. 53) Perhaps no one still endorses quite this grand a view of the role of logic and the investigation of logical form in philosophy. But talk of logical form retains a central role in analytic philosophy. Given its widespread use in philosophy and linguistics, it is rather surprising that the concept of logical form has not received more attention by philosophers than it has. The concern of this paper is to say something about what talk of logical form comes to, in a tradition that stretches back to (and arguably beyond) Russell’s use of that expression. This will not be exactly Russell’s conception. For we do not endorse Russell’s view that propositions are the bearers of logical form, or that appeal to propositions adds anything to our understanding of what talk of logical form comes to. But we will be concerned to provide an account responsive to the interests expressed by Russell in the above quotations, though one clarified of extraneous elements, and expressed precisely. For this purpose, it is important to note that the concern expressed by Russell in the above passages, as the surrounding text makes clear, is a concern not just with logic conceived narrowly as the study of logical terms, but with propositional form more generally, which includes, e.g., such features as those that correspond to the number of argument places in a propositional function, and the categories of objects which propositional.... (shrink)

What is a logical constant? The question is addressed in the tradition of Tarski's definition of logical operations as operations which are invariant under permutation. The paper introduces a general setting in which invariance criteria for logical operations can be compared and argues for invariance under potential isomorphism as the most natural characterization of logical operations.

It is widely believed that some puzzling and provocative remarks that Frege makes in his late writings indicate he rejected independence arguments in geometry, particularly arguments for the independence of the parallels axiom. I show that this is mistaken: Frege distinguished two approaches to independence arguments and his puzzling remarks apply only to one of them. Not only did Frege not reject independence arguments across the board, but also he had an interesting positive proposal about the logical structure of correct (...) independence arguments, deriving from the geometrical principle of duality and the associated idea of substitution invariance. The discussion also serves as a useful focal point for independently interesting details of Frege's mathematical environment. This feeds into a currently active scholarly debate because Frege's supposed attitude to independence arguments has been taken to support a widely accepted thesis (proposed by Ricketts among others) concerning Frege's attitude toward metatheory in general. I show that this thesis gains no support from Frege's puzzling remarks about independence arguments. (shrink)

The Euclidean algorithm on the natural numbers ℕ = {0,1,…} can be specified succinctly by the recursive programwhere rem is the remainder in the division of a by b, the unique natural number r such that for some natural number q,It is an algorithm from the remainder function rem, meaning that in computing its time complexity function cε, we assume that the values rem are provided on demand by some “oracle” in one “time unit”. It is easy to prove thatMuch (...) more is known about cε, but this simple-to-prove upper bound suggests the proper formulation of the Euclidean's optimality among its peers—algorithms from rem:Conjecture. If an algorithm α computes gcd from rem with time complexity cα, then there is a rational number r > 0 such that for infinitely many pairs a > b > 1, cα > r log2a. (shrink)

The relation of global supervenience is widely appealed to in philosophy. In slogan form, it is explained as follows: a class of properties A supervenes on a class of properties B if no two worlds differ in the distribution of A-properties without differing in the distribution of B-properties. It turns out, though, that there are several ways to cash out that slogan. Three different proposals have been discussed in the literature. In this paper, I argue that none of them is (...) adequate. Furthermore, I present a puzzle that reveals a tension in our concept of global supervenience. (shrink)

The paper argues that a philosophically informative and mathematically precise characterization is possible by (i) describing a particular proposal for such a characterization, (ii) showing that certain criticisms of this proposal are incorrect, and (iii) discussing the general issue of what a characterization of logical constants aims at achieving.

Our standard model-theoretic definition of logical consequence is originally based on Alfred Tarski’s (1936) semantic definition, which, in turn, is based on Rudolf Carnap’s (1934) similar definition. In recent literature, Tarski’s definition is described as a conceptual analysis of the intuitive ‘everyday’ concept of consequence or as an explication of it, but the use of these terms is loose and largely unaccounted for. I argue that the definition is not an analysis but an explication, in the Carnapian sense: the replacement (...) of the inexact everyday concept with an exact one. Some everyday intuitions were thus brought into a precise form, others were ignored and forgotten. How exactly did the concept of logical consequence change in this process? I suggest that we could find some of the forgotten intuitions in Bernard Bolzano’s (1837) definition of ‘deducibility’, which is traditionally viewed as the main precursor of Tarski’s definition from a time before formalized languages. It turns out that Bolzano’s definition is subject to just the kind of natural features—paradoxicality of everyday language, Platonism about propositions, and dependence on the external world—that Tarski sought to tame by constructing an artificial concept for the special needs of mathematical logic. (shrink)

Italian translation of "On Logical Relativity" (2002), by Luca Morena.

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

A number of important philosophical problems are problems in the overlap of logic and ontology. Both logic and ontology are diverse fields within philosophy, and partly because of this there is not one single philosophical problem about the relation between logic and ontology. In this survey article we will first discuss what different philosophical projects are carried out under the headings of "logic" and "ontology" and then we will look at several areas where logic and ontology overlap.

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

Alfred Tarski's (1936) semantic account of the logical properties (logical consequence, logical truth and logical consistency) makes essential appeal to a distinction between logical and non-logical terms. John Etchemendy (1990) has recently argued that Tarski's account is inadequate for quite a number of different reasons. Among them is a brief argument which purports to show that Tarski's reliance on the distinction between logical and non-logical terms is in principle mistaken. According to Etchemendy, there are very simple (even first order) languages (...) for which no such distinction can be made. This is a surprising result, and an important one, if true. Since Tarski's account does indeed depend on such a distinction, Etchemendy's argument, if correct, would rule out definitively the received view on logical truth (as well as logical consequence and logical consistency). But his argument is not correct, and it is the job of this paper to show that. (shrink)

This paper is concerned with formal solutions to the lottery paradox on which high probability defeasibly warrants acceptance. It considers some recently proposed solutions of this type and presents an argument showing that these solutions are trivial in that they boil down to the claim that perfect probability is sufficient for rational acceptability. The argument is then generalized, showing that a broad class of similar solutions faces the same problem. An argument against some formal solutions to the lottery paradox The (...) argument generalized Some variations Adding modalities Anticipated objections. (shrink)

We try to explain Tarski's conception of logical notions, as it emerges from alecture of his, delivered in 1966 and published posthumously in 1986 (Historyand Philosophy of Logic 7, 143–154), a conception based on the idea ofinvariance. The evaluation of Tarski's proposal leads us to consider an interesting(and neglected) reply to Skolem in which Tarski hints at his own point of view onthe foundations of set theory. Then, comparing the lecture of 1966 with Tarski'slast work and with an earlier paper (...) written with Lindenbaum, it is shown thatTarski's conception of logical notions, with its essentially type-theoretic character,did not undergo any significant modifications throughout his life. A remark onTarski's prudential attitude on the topic in the famous paper on the concept oflogical consequence (and elsewhere) concludes our paper. (shrink)

I describe an account of ontological categories which does justice to the facts that not all categories are ontological categories and that ontological categories can stand in containment relations. The account sorts objects into different categories in the same way in which grammar sorts expressions . It then identifies the ontological categories with those which play a certain role in the systematization of collections of categories. The paper concludes by noting that on my account what ontological categories there are is (...) partially interest-relative, and that furthermore no object can belong essentially to its ontological category. (shrink)

The purpose of this paper is twofold: (1) to clarify Ludwig Wittgenstein’s thesis that colours possess logical structures, focusing on his ‘puzzle proposition’ that “there can be a bluish green but not a reddish green”, (2) to compare modeltheoretical and gametheoretical approaches to the colour exclusion problem. What is gained, then, is a new gametheoretical framework for the logic of ‘forbidden’ (e.g., reddish green and bluish yellow) colours. My larger aim is to discuss phenomenological principles of the demarcation of the (...) bounds of logic as formal ontology of abstract objects. (shrink)

Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of arithmetic: “however we might turn and twist our concepts, we could never, by the mere analysis of them, and without the aid of intuition, discover what is the sum [7+5]” (KrV, B16). Frege took himself to have shown that Kant was wrong about this. According to Frege’s logicist thesis, every arithmetical concept can be defined in purely logical terms, and (...) every theorem of arithmetic can be proved using only the basic laws of logic. Hence, Kant was wrong to think that our grasp of arithmetical concepts and our knowledge of arithmetical truth depend on an extralogical source—the pure intuition of time (Frege 1884, §89, §109). Arithmetic, properly understood, is just a part of logic. (shrink)

The existence of non-standard models of first-order Peano-Arithmetic (PA) threatens to undermine the claim of the moderate mathematical realist that non-mysterious access to the natural number structure is possible on the basis of our best arithmetical theories. The move to logics stronger than FOL is denied to the moderate realist on the grounds that it merely shifts the indeterminacy “one level up” into the meta-theory by, illegitimately, assuming the determinacy of the notions needed to formulate such logics. This paper argues (...) that the challenge can be met. We show how the quantifier “there are infinitely many” can be uniquely determined in a naturalistically acceptable fashion and thus be used in the formulation of a theory of arithmetic. We compare the approach pursued here with Field’s justification of the same device and the popular strategy of invoking a second-order formalism, and argue that it is more robust than either of the alternative proposals. (shrink)

An essay review of Gila Sher's *Logical Consequence*.

This paper examines the conceptions of logic from Leibniz, Hume, Kant, Frege, Wittgenstein and Ayer, and regards the six philosophers as the representatives of logical exceptionalism. From their standpoints, this paper refines the tenets of logical exceptionalism as follows: logic is exceptional to all other sciences because of four reasons: (i) logic is formal, neutral to any domain and any entities, and general; (ii) logical truths are made true by the meanings of logical constants they contain or by logicians' rational (...) insight to consequence relations; (iii) logical truths are analytical, a prior and necessary, so not‐revisable; and (iv) logical laws are normative for how to correctly think. However, logical exceptionalism has encountered difficult open problems: What are logical constants? How to justify basic laws of logic? How are logical laws accessible to us? How to explain the reasonability of rival logics and select from them? How to explain the universal applicability of logical laws? How to explain the normativity of logical laws for correct thinking? This paper concludes that logical anti‐exceptionalism is more hopeful to successfully answer these questions than logical exceptionalism. (shrink)

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality (...) problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework. (shrink)

This paper examines the logical and metaphysical consequences of denying Leibniz's Law, the principle that if t1= t2, then φ(t1) if and only if φ(t2). Recently, Caie, Goodman, and Lederman (2020) and Bacon and Russell (2019) have proposed sophisticated logical systems permitting violations of Leibniz's Law. We show that their systems conflict with widely held, attractive principles concerning the metaphysics of individuals. Only by adopting a highly revisionary picture, on which there is no finest-grained equivalence relation, can a well-motivated metaphysics (...) for rejecting Leibniz's Law be developed. We sketch one such picture—a metaphysics of stuff. Stuff ontologies can be initially motivated through ordinary language: stuff stands to mass nouns as objects stand to count nouns. The stuff ontology we propose takes stuff to be fundamental and views the world as composed of an infinite descending hierarchy of kinds and portions of stuff. We defend the coherence of this picture and offer a model theory demonstrating that it can be consistently formalized. (shrink)

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

The aim of this article is to argue against the real possibility of languages without subject‐predicate structure, so‐called feature‐placing languages. They were first introduced by Strawson (1959/1990), later given formal expression through Quine's Predicate Functor Logic (Quine, 1960, Quine, 1971/Quine, 1976, Quine, 1992), and further elaboration in (Hawthorne & Cortens, 1995). I argue that, on the presumption that feature‐placing languages are not mere notational variants on first‐order languages, the idea of such languages is incoherent. The argument for this view rests (...) on two highly plausible views about the conditions for the possibility of sentential meaning in natural languages. If accepted, these two views jointly imply that the sentences of feature‐placing languages lack sufficient internal structure to meet the conditions for sentential meaning. Feature‐placing languages cannot then count as genuine languages. (shrink)

We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...) point of view, continuing earlier work by Bonnay, Feferman, and Sagi. We suggest that a logic is the more logical the closer it is to first order logic. We also offer a refinement of the result of McGee that logical properties of models can be expressed in $L_{\infty \infty }$ if the expression is allowed to depend on the cardinality of the model, based on replacing $L_{\infty \infty }$ by a “tamer” logic. (shrink)

In this paper I discuss Mark Steiner’s view of the contribution of mathematics to physics and take up some of the questions it raises. In particular, I take up the question of discovery and explore two aspects of this question – a metaphysical aspect and a related epistemic aspect. The metaphysical aspect concerns the formal structure of the physical world. Does the physical world have mathematical or formal features or constituents, and what is the nature of these constituents? The related (...) epistemic question concerns humans’ cognitive ability to reach the formal structure of the physical world. Among other things, I explore the interaction of mathematical and non-mathematical cognition in physical discovery. (shrink)

Deflationism about truth describes truth as a logical notion. In the present paper, I explore the implication of the alleged logicality of truth from the perspective of axiomatic theories of truth, and argue that the deflationist doctrine of the logicality of truth gives rise to two types of self-undermining arguments against deflationism, which I call the conservativeness argument from logicality and the topic-neutrality argument.