This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...) goal is to offer a general discussion of the relations between informal notions—in this case, an informal notion of deductive validity—and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel's famous 'squeezing argument'; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure. (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)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

Some apparently valid arguments crucially rely on context change. To take a kind of example first discussed by Frege, ‘Tomorrow, it’ll be sunny’ taken on a day seems to entail ‘Today, it’s sunny’ taken on the next day, but the first sentence taken on a day sadly does not seem to entail the second sentence taken on the second next day. Mid-argument context change has not been accounted for by the tradition that has extensively studied the distinctive logical properties of (...) context-dependent languages, for that tradition has focussed on arguments whose premises and conclusions are taken at the same context. I first argue for the desiderability of having a logic that accounts for mid-argument context change and I explain how one can informally understand such context change in a standard framework in which the relation of logical consequence holds among sentences. I then propose a family of simple temporal “intercontextual” logics that adequately model the validity of certain arguments in which the context changes. In particular, such logics validate the apparently valid argument in the Fregean example. The logics lack many traditional structural properties (reflexivity, contraction, commutativity etc.) as a consequence of the logical significance acquired by the sequence structure of premises and conclusions. The logics are however strong enough to capture in the form of logical truths all the valid arguments of both classical logic and Kaplan-style “intracontextual” logic. Finally, I extend the framework by introducing new operations into the object language, such as intercontextual conjunction, disjunction and implication, which, contrary to intracontextual conjunction, disjunction and implication, perfectly match the metalinguistic, intercontextual notions of premise combination, conclusion combination and logical consequence by representing their respective two operands as taken at different contexts. (shrink)

The purpose of this paper is to present a thought experiment and argument that spells trouble for “radical” deflationism concerning meaning and truth such as that advocated by the staunch nominalist Hartry Field. The thought experiment does not sit well with any view that limits a truth predicate to sentences understood by a given speaker or to sentences in (or translatable into) a given language, unless that language is universal. The scenario in question concerns sentences that are not understood but (...) are known to be logical consequences of known and understood sentences. Ultimately, the issue turns on the notion of logical consequence that is available to various versions of deflationism. (shrink)

How many logics do logical pluralists adopt, or are allowed to adopt, or ought to adopt, in arguing for their view? These metatheoretical questions lurk behind much of the discussion on logical pluralism, and have a direct bearing on normative issues concerning the choice of a correct logic and the characterization of valid reasoning. Still, they commonly receive just swift answers – if any. Our aim is to tackle these questions head on, by clarifying the range of possibilities that logical (...) pluralists have at their disposal when it comes to the metatheory of their position, and by spelling out which routes are advisable. We explore ramifications of all relevant responses to our question: no logic, a single logic, more than one logic. In the end, we express skepticism that any proposed answer is viable. This threatens the coherence of current and future versions of logical pluralism. (shrink)

In standard model-theoretic semantics, the meaning of logical terms is said to be fixed in the system while that of nonlogical terms remains variable. Much effort has been devoted to characterizing logical terms, those terms that should be fixed, but little has been said on their role in logical systems: on what fixing their meaning precisely amounts to. My proposal is that when a term is considered logical in model theory, what gets fixed is its intension rather than its extension. (...) I provide a rigorous way of spelling out this idea, and show that it leads to a graded account of logicality: the less structure a term requires in order for its intension to be fixed, the more logical it is. Finally, I focus on the class of terms that are invariant under isomorphisms, as they render themselves more easily to mathematical treatment. I propose a mathematical measure for the logicality of such terms based on their associated Löwenheim numbers. (shrink)

This paper deals with the adequacy of the model-theoretic definition of logical consequence. Logical consequence is commonly described as a necessary relation that can be determined by the form of the sentences involved. In this paper, necessity is assumed to be a metaphysical notion, and formality is viewed as a means to avoid dealing with complex metaphysical questions in logical investigations. Logical terms are an essential part of the form of sentences and thus have a crucial role in determining logical (...) consequence. Gila Sher and Stewart Shapiro each propose a formal criterion for logical terms within a model-theoretic framework, based on the idea of invariance under isomorphism. The two criteria are formally equivalent, and thus we have a common ground for evaluating and comparing Sher and Shapiro philosophical justification of their criteria. It is argued that Shapiro's blended approach, by which models represent possible worlds under interpretations of the language, is preferable to Sher’s formal-structural view, according to which models represent formal structures. The advantages and disadvantages of both views’ reliance on isomorphism are discussed. (shrink)

Invariance criteria are widely accepted as a means to demarcate the logical vocabulary of a language. In previous work, I proposed a framework of “semantic constraints” for model theoretic consequence which does not rely on a strict distinction between logical and nonlogical terms, but rather on a range of constraints on models restricting the interpretations of terms in the language in different ways. In this paper I show how invariance criteria can be generalized so as to apply to semantic constraints (...) on models. Some obviously unpalatable semantic constraints turn out to be invariant under isomorphisms. I shall connect our discussion to known counterexamples to invariance criteria for logical terms, and so the generalization will also shed light on the current existing debate on logicality. I analyse the failure of invariance to fulfil its role as a criterion for logicality, and argue that invariance conditions should best be thought of as merely methodological meta-constraints restricting the ways the model-theoretic apparatus should be used. (shrink)

Tarski characterized logical notions as invariant under permutations of the domain. The outcome, according to Tarski, is that our logic, which is commonly said to be a logic of extension rather than intension, is not even a logic of extension—it is a logic of cardinality. In this paper, I make this idea precise. We look at a scale inspired by Ruth Barcan Marcus of various levels of meaning: extensions, intensions and hyperintensions. On this scale, the lower the level of meaning, (...) the more coarse-grained and less “intensional” it is. I propose to extend this scale to accommodate a level of meaning appropriate for logic. Thus, below the level of extension, we will have a more coarse-grained level of form. I employ a semantic conception of form, adopted from Sher, where forms are features of things “in the world”. Each expression in the language embodies a form, and by the definition we give, forms will be invariant under permutations and thus Tarskian logical notions. I then define the logical terms of a language as those terms whose extension can be determined by their form. Logicality will be shown to be a lower level analogue of rigidity. Using Barcan Marcus’s principles of explicit and implicit extensionality, we are able to characterize purely logical languages as “sub-extensional”, namely, as concerned only with form, and we thus obtain a wider perspective on both logicality and extensionality. (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.

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

In his classic 1936 essay "On the Concept of Logical Consequence", Alfred Tarski used the notion of satisfaction to give a semantic characterization of the logical properties. Tarski is generally credited with introducing the model-theoretic characterization of the logical properties familiar to us today. However, in his book, The Concept of Logical Consequence, Etchemendy argues that Tarski's account is inadequate for quite a number of reasons, and is actually incompatible with the standard model-theoretic account. Many of his criticisms are meant (...) to apply to the model-theoretic account as well. In this paper, I discuss the following four critical charges that Etchemendy makes against Tarski and his account of the logical properties: (1) (a) Tarski's account of logical consequence diverges from the standard model-theoretic account at points where the latter account gets it right. (b) Tarski's account cannot be brought into line with the model-theoretic account, because the two are fundamentally incompatible. (2) There are simple counterexamples (enumerated by Etchemendy) which show that Tarski's account is wrong. (3) Tarski committed a modal fallacy when arguing that his account captures our pre-theoretical concept of logical consequence, and so obscured an essential weakness of the account. (4) Tarski's account depends on there being a distinction between the "logical terms" and the "non-logical terms" of a language, but (according to Etchemendy) there are very simple (even first-order) languages for which no such distinction can be made. Etchemendy's critique raises historical and philosophical questions about important foundational work. However, Etchemendy is mistaken about each of these central criticisms. In the course of justifying that claim, I give a sustained explication and defense of Tarski's account. Moreover, since I will argue that Tarski's account and the model theoretic account really do come to the same thing, my subsequent defense of Tarski's account against Etchemendy's other attacks doubles as a defense against criticisms that would apply equally to the familiar model-theoretic account of the logical properties. (shrink)

The overgeneration argument attempts to show that accepting second-order validity as a sound formal counterpart of logical truth has the unacceptable consequence that the Continuum Hypothesis is either a logical truth or a logical falsehood. The argument was presented and vigorously defended in John Etchemendy’s The Concept of Logical Consequence and it has many proponents to this day. Yet it is nothing but a seductive fallacy. I demonstrate this by considering five versions of the argument; as I show, each is (...) either unsound or lacks a troubling conclusion. (shrink)

First-order formalisations are often preferred to propositional ones because they are thought to underwrite the validity of more arguments. We compare and contrast the ability of some well-known logics—these two in particular—to formally capture valid and invalid arguments. We show that there is a precise and important sense in which first-order logic does not improve on propositional logic in this respect. We also prove some generalisations and related results of philosophical interest. The rest of the article investigates the results’ philosophical (...) significance. A first moral is that the correct way to state the oft-cited superiority of first-order logic vis-`a-vis propositional logic is more nuanced than often thought. The second moral concerns semantic theory; the third logic’s use as a tool for discovery. A fourth and final moral is that second-order logic’s transcendence of first-order logic is greater than first-order logic’s transcendence of propositional logic. (shrink)

The point of formalisation is to model various aspects of natural language. Perhaps the main use to which formalisation is put is to model and explain inferential relations between different sentences. Judged solely by this objective, a formalisation is successful in modelling the inferential network of natural language sentences to the extent that it mirrors this network. There is surprisingly little literature on the criteria of good formalisation, and even less on the question of what it is for a formalisation (...) to mirror the inferential network of a natural language or some fragment of it. This paper takes some exploratory steps towards a quantitative account of the main ingredient in the goodness of a formalisation. We introduce and critically examine a mathematical model of how well a formalisation mirrors natural-language inferential relations. (shrink)

I expose a tension in Bertrand Russell's, _Introduction to Mathematical Philosophy, between his account of logical truth and his view that logical truth is knowable without taking into account what the world is like. Russell makes the logical truth of a sentence turn on the actual truth of its second-order universal closure. But this results in making logical truth relative to the number of worldly individuals. I aim to use the tension in _Introduction to Mathematical Philosophy to classify the status (...) of the model-theoretic account as an analysis of the modal notions in classical logic. (shrink)

I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what (...) is not at issue in choosing the model-theoretic account of first-order logical truth over one in terms of substitutions. I conclude by highlighting the need for justifying the belief that the definition of first-order logical truth in terms of models is superior to its definition in terms of substitutions. (shrink)

Motivated by weaknesses with traditional accounts of logical epistemology, considerable attention has been paid recently to the view, known as anti-exceptionalism about logic, that the subject matter and epistemology of logic may not be so different from that of the recognised sciences. One of the most prevalent claims made by advocates of AEL is that theory choice within logic is significantly similar to that within the sciences. This connection with scientific methodology highlights a considerable challenge for the anti-exceptionalist, as two (...) uncontentious claims about scientific theories are that they attempt to explain a target phenomenon and prove their worth through successful predictions. Thus, if this methodological AEL is to be viable, the anti-exceptionalist will need a reasonable account of what phenomena logics are attempting to explain, how they can explain, and in what sense they can be said to issue predictions. This paper makes sense of the anti-exceptionalist proposal with a new account of logical theory choice, logical predictivism, according to which logics are engaged in both a process of prediction and explanation. (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 theory of vagueness gives a model of vague language and of reasoning within the language. Among the models that have been offered are Degree Theorists’ numerical models that assign values between 0 and 1 to sentences, rather than simply modelling sentences as true or false. In this paper, I ask whether we can benefit from employing a rich, well-understood numerical framework, while ignoring those aspects of it that impute a level of mathematical precision that is not present in the (...) modelled phenomenon of vagueness. Can we ignore apparent implications for the phenomena by pointing out that it is just a model and that the unwanted features are mere artefacts? I explore the distinction between representors and artefacts and criticise the strategy of appealing to features as mere artefacts in defence of a theory. I focus largely on theories using numerical resources, but also consider other, related theories and strategies, including theories appealing to non-linear structures. (shrink)

In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.

The most common first- and second-order modal logics either have as theorems every instance of the Barcan and Converse Barcan formulae and of their second-order analogues, or else fail to capture the actual truth of every theorem of classical first- and second-order logic. In this paper we characterise and motivate sound and complete first- and second-order modal logics that successfully capture the actual truth of every theorem of classical first- and second-order logic and yet do not possess controversial instances of (...) the Barcan and Converse Barcan formulae as theorems, nor of their second-order analogues. What makes possible these results is an understanding of the individual constants and predicates of the target languages as strongly Millian expressions, where a strongly Millian expression is one that has an actually existing entity as its semantic value. For this reason these logics are called ‘strongly Millian’. It is shown that the strength of the strongly Millian second-order modal logics here characterised afford the means to resist an argument by Timothy Williamson for the truth of the claim that necessarily, every property necessarily exists. (shrink)

ABSTRACT What do we disagree about when we disagree about logic? On the face of it, classical and nonclassical logicians disagree about the laws of logic and the nature of logical properties. Yet, sometimes the parties are accused of talking past each other. The worry is that if the parties to the dispute do not mean the same thing with ‘if’, ‘or’, and ‘not’, they fail to have genuine disagreement about the laws in question. After the work of Quine, this (...) objection against genuine disagreement about logic has been called the meaning-variance thesis. We argue that the meaning-variance thesis can be endorsed without blocking genuine disagreement. In fact, even the type of revisionism and nonapriorism championed by Quine turns out to be compatible with meaning-variance. (shrink)

1. This paper addresses the development of mutual relations between two sets of ideas in scholastic logic. First, consider the following statements: (1) It is impossible to encounter a chimera.(2)...

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)

The isomorphism invariance criterion of logical nature has much to commend it. It can be philosophically motivated by the thought that logic is distinctively general or topic neutral. It is capable of precise set-theoretic formulation. And it delivers an extension of ‘logical constant’ which respects the intuitively clear cases. Despite its attractions, the criterion has recently come under attack. Critics such as Feferman, MacFarlane and Bonnay argue that the criterion overgenerates by incorrectly judging mathematical notions as logical. We consider five (...) possible precisifications of the overgeneration argument and find them all unconvincing. (shrink)

The now standard definition of logical consequence is model-theoretic. Many writers have tried to justify, or to criticise, the model-theoretic definition by arguing that it extensionally captures, or fails to capture, our intuitions about logical consequence, such as its modal character or its being truth-preservation in virtue of form. One popular means of comparing the extension of model-theoretic consequence with some intuitive notion proceeds by adapting Kreisel's squeezing argument. But these attempts get Kreisel wrong, and try to achieve more than (...) he ever intended. This suggests that the model-theoretic definition should be viewed quite differently as an explication of our intuitions about logical consequence. I introduce Kreisel's squeezing argument in Section 1. Then in Section 2, I show how it is adapted by two prominent writers on logical consequence, Etchemendy (1990) and Shapiro (2005). Finally, in Section 3, I argue that these adaptations fail. (shrink)

I argue that recent defenses of the view that in 1936 Tarski required all interpretations of a language to share one same domain of quantification are based on misinterpretations of Tarski’s texts. In particular, I rebut some criticisms of my earlier attack on the fixed-domain exegesis and I offer a more detailed report of the textual evidence on the issue than in my earlier work. I also offer new considerations on subsisting issues of interpretation concerning Tarski’s views on the logical (...) correctness of certain omega-arguments, on the Tarskian proof that Etchemendy took to be modal and fallacious, and on Tarski’s appeals to the “common concept of consequence”. (shrink)

This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress (...) the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden. (shrink)

A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...) We prove a number of results establishing that the entanglement is sensitive to the kind of semantics used for second-order logic. These results provide evidence that by moving from the standard set-theoretic semantics for second-order logic to a semantics which makes use of higher-order resources, the entanglement either disappears or may no longer be in conflict with the logicality of second-order logic. (shrink)

We examine a contribution L. Susan Stebbing made to the understanding of critical thinking and its relation to formal logic. Stebbing took expertise in formal logic to authorise logical intervention in public debate, specifically in assessing of the validity of everyday reasoning. She held, however, that formal logic is purely the study of logical form. Given the problems of ascertaining logical form in any particular instance, and that logical form does not always track informal validity, it is difficult to see (...) how she could justify her belief in logical interventionism. Her answer to this problem is the contribution we explore here. It involves the view that although the logician’s expertise is not sufficient to assess arguments made in everyday contexts on its own, it nevertheless plays a unique role in giving systematicity and direction to the critique of such arguments, in particular, in public debate. (shrink)

In this article I present a theory of what it is to be fair. I take my cue from Broome’s well known 1990 account of fairness. Broome’s basic thesis is that fairness is the proportional satisfaction of claims, and with this I am in at least partial agreement. But neither Broome nor anyone else (so far as I know) has laid down a theory of precisely what one must do in order to be fair. The theory offered here does just (...) this. (shrink)

Owen Griffiths has recently argued that Etchemendy’s account of logical consequence faces a dilemma. Etchemendy claims that we can be sure that his account does not overgenerate, but that we should expect it to undergenerate. Griffiths argues that if we define the relationship between formal and natural language as being dependent on logical consequence, then Etchemendy’s claims are not true; and if we define the relationship as being independent of logical consequence, then we cannot assess the truth of the claims (...) without further information. I argue that Griffiths misconstrues Etchemendy’s theory and overstates the first horn of the dilemma: Etchemendy does see the relationship as being dependent on logical consequence, but that does not mean that his claims are not true. (shrink)

Hume’s Law that one cannot derive an “ought” from an “is” has often been deemed to bear a significance that extends far beyond logic. Repeatedly, it has been invoked as posing a serious threat to views about normativity: naturalism in metaethics and positivism in jurisprudence. Yet in recent years, a puzzling asymmetry has emerged: while the view that Hume’s Law threatens naturalism has largely been abandoned (due mostly to Pigden’s work, see e.g. Pigden 1989), the thought that Hume’s Law is (...) a serious challenge to positivism has only grown in prominence. Our main aim is to establish that Hume’s Law is not a threat to positivism or naturalism. First, we connect extensive, but unfortunately siloed, discussions of this issue. Second, we show that Hume’s Law is not a serious threat to naturalism or positivism, for the gap between logic and such theses is very hard to bridge in a way that would make Hume’s Law able to bear this significance. Finally, we emphasize an implication of our discussion: it undermines one of the main “dialectical tributaries” in jurisprudence (Toh 2018). (shrink)

I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensional semantics, such as two-dimensional matrices and (...) the distinction between the context of formation and the context of evaluation of utterances. (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.

This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably ''''necessary'''' (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.

A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...) to formally account for their interpretational or representational validity, respectively. As a consequence, arguments must be formalized subject to different criteria of adequate formalization depending on which variant of informal validity is to be revealed. This paper develops different criteria that formalizations of an argument have to satisfy in order to exhibit the latter’s interpretational or representational validity. (shrink)

It is sometimes said that there are two, competing versions of W. V. O. Quine’s unrelenting empiricism, perhaps divided according to temporal periods of his career. According to one, logic is exempt from, or lies outside the scope of, the attack on the analytic-synthetic distinction. This logic-friendly Quine holds that logical truths and, presumably, logical inferences are analytic in the traditional sense. Logical truths are knowable a priori, and, importantly, they are incorrigible, and so immune from revision. The other, radical (...) reading of Quine does not exempt logic from the attack on analyticity and a priority. Logical truths and inferences are themselves part of the web of belief, and the same global methodology applies to logic as to any other part of the web, such as theoretical chemistry or ordinary beliefs about ordinary objects. Everything, including logic, is up for grabs in our struggle for holistic confirmation. The purpose of this paper is to examine the law of non-contradiction, and the concomitant principle of ex falso quodlibet, from the perspective of the principles advocated by the radical Quine. I show that he has no compelling reason to accept either of these. To put it bluntly, neither the law of non-contradiction nor the rule of ex falso quodlibet is empirically confirmed, and these principles fare poorly on the various criteria for theory acceptance on the methodology of the radical Quine. So the radical Quine is led rather quickly and rather directly into something in the neighborhood of Graham Priest’s dialetheism. (shrink)

On the model-theoretic account, a sentence is logically true just in case it is true on all possible semantic interpretations. We dierentiate four ways one can interpret the modality 'possible' in this definition, and argue that one of these readings is not subject to the criticism levelled against the model-theoretic account by Etchemendy. By explicating the four readings we also draw some consequences for what linguistic evidence a selection of logical theories should be sensitive to.

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

Unger’s Problem of the Many seems to show that the familiar macroscopic world is much stranger than it appears. From plausible theses about the boundaries of or- dinary objects, Unger drew the conclusion that wherever there seems to be just one cat, cloud, table, human, or thinker, really there are many millions; and likewise for any other familiar kind of individual. In Lewis’s hands, this puzzle was subtly altered by an appeal to vagueness or indeterminacy about the the boundaries of (...) ordinary objects. This thesis examines the relation between these puzzles, and also to the phenomenon of vagueness. Chapter 1 begins by distinguishing Unger’s puzzle of too many candidates from Lewis’s puzzle of borderline, or vague, candidates. We show that, contra Unger, the question of whether this is a genuine, as opposed to merely apparent, distinction cannot be settled without investigation into the nature of vagueness. Chapter 2 begins this investigation by developing a broadly supervaluationist account of vague- ness that is immune to the standard objections. This account is applied to Unger’s and Lewis’s puzzles in chapters 3 and 4. Chapter 3 shows that, despite its popularity, Lewis’s own approach to the puzzles is unsatisfactory: it does not so much solve the puzzle, as prevent us from expressing them; it cannot be extended to objects that self-refer; it is committed to objectionable theses about temporal and modal metaphysics and semantics. Chapter 4 develops a conception of ordinary objects that emphasises the role of identity conditions and change, and uses it to resolve both Problems of the Many. This allows us to diagnose the source of the puzzles: an overemphasis on mereology in contemporary material ontology. (shrink)