The revisionary approach to semantic paradox is commonly thought to have a somewhat uncomfortable corollary, viz. that, on pain of triviality, we cannot affirm that all valid arguments preserve truth (Beall2007, Beall2009, Field2008, Field2009). We show that the standard arguments for this conclusion all break down once (i) the structural rule of contraction is restricted and (ii) how the premises can be aggregated---so that they can be said to jointly entail a given conclusion---is appropriately understood. In addition, (...) we briefly rehearse some reasons for restricting structural contraction. (shrink)

According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is (...) class='Hi'>valid when it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples. (shrink)

Many arguments are affected by context sensitivity, because they include sentences that have different truth conditions in different contexts. Therefore, it is natural to think that a general criterion for evaluating arguments must take context sensitivity into account. One way to give substance to that thought is provided by the definition of validity offered by David Kaplan within his theory of indexicals. However, the route indicated by Kaplan is hindered by a problem whose importance is often underestimated. This (...) paper explores a different route, and outlines a definition of validity that does not run into that problem. Its moral is that Kaplan's definition is not the only plausible definition. This is not to say that the definition outlined is the only plausible definition or that it is correct in some absolute sense. There might be equally important problems with it that the paper does not take into account. But until such problems are found and brought up, the departure from Kaplan's route remains a viable option. (shrink)

t is often suggested that truth-preservation is insufficient for logical consequence, and that consequence needs to satisfy a further condition of relevance. Premises and conclusion in a valid consequence must be relevant to one another, and truth-preservation is too coarse-grained a notion to guarantee that. Thus logical consequence is the intersection of truth-preservation and relevance. This situation has the absurd consequence that one might concede that the conclusion of an argument was true (since the argument had true premises and (...) was truth-preserving); yet should refuse to infer the conclusion from the premises, in the absence of demonstration of the relevance of the premises to the conclusion. The error lies in giving insufficient attention to the notion of truth-preservation. Relevance is no separable ingredient in the analysis of logical consequence, but a necessary condition of it. What we show is that if an argument really is truth-preserving, then that in itself is enough to show that the premises are (logically) relevant to the conclusion. (shrink)

In this paper we define and examine frame constructions for the family of manyvalued modal logics introduced by M. Fitting in the '90s. Every language of this family is built on an underlying space of truth values, a Heyting algebra H. We generalize Fitting's original work by considering complete Heyting algebras as truth spaces and proceed to define a suitable notion of H-indexed families of generated subframes, disjoint unions and bounded morphisms. Then, we provide an algebraic generalization of the canonical (...) extension of a frame and model, and prove a preservation result inspired from Fitting's canonical model argument in [FIT 92a]. The analog of a complex algebra and of a principal ultrafilter is defined and the embedding of a frame into its canonical extension is presented. (shrink)

We introduce a two-valued and a three-valued truth-valuational substitutional semantics for the Quantified Argument Calculus (Quarc). We then prove that the 2-valid arguments are identical to the 3-valid ones with strict-to-tolerant validity. Next, we introduce a Lemmon-style Natural Deduction system and prove the completeness of Quarc on both two- and three-valued versions, adapting Lindenbaum’s Lemma to truth-valuational semantics. We proceed to investigate the relations of three-valued Quarc and the Predicate Calculus (PC). Adding a logical predicate T to (...) Quarc, true of all singular arguments, allows us to represent PC quantification in Quarc and translate PC into Quarc, preserving validity. Introducing a weak existential quantifier into PC allows us to translate Quarc into PC, also preserving validity. However, unlike the translated systems, neither extended system can have a sound and complete proof system with Cut, supporting the claim that these are basically different calculi. (shrink)

Hubert Dreyfus once noted that it would be difficult to ascertain whether Edmund Husserl had a computational theory of mind. I provide evidence that he had one. Both Steven Pinker and Steven Horst think that the computational theory of mind must have two components: a representational-symbolic component and a causal component. Bearing this in mind, we proceed to a close-reading of the sections of “On the Logic of Signs” wherein Husserl presents, if I’m correct, his computational theory of mind embedded (...) in a language of thought. My argument goes like this: the computational theory of mind is the idea, following Haugeland, that the mind comes prepackaged as, or is endogenously constrained to be, an automatic formal system; this explains, according to Husserl, why automatic trains of thought without logical intent resemble arguments exhibiting deductive structure with logical intent. In general, an automatic formal system yields true results provided that the syntactic symbols with which they compute are univocal and are semantically evaluable, and the mechanized inferences they perform are valid and preserve truth. These two conditions describe a computational cognitive process: the first condition connects representations to syntax, and the second condition uses the syntax, in inauthentic judging, to arrive at true conclusions through blind causality. Now, in point of textual fact, these are the conditions which Husserl attributes to our “natural psychological mechanism of symbolic inference” which typically yields true results. Since a formal system attributed to the “internal structure” of the mind, and guided by blind causality, just is the computational theory of mind, it follows, I think, that Husserl had a computational theory of mind. This computational theory is, moreover, embedded in a language of thought, since Husserl attributes a language-like form to our thoughts so that they may be mechanically processed. I conclude with a discussion of my results. (shrink)

Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should (...) be replaced by something allowing for exceptions, I argue that this should instead be truth-conduciveness, a matter of a large majority of instances being truth-preserving. The fact that inference rules have uncountably many instances, I argue, can be handled by defining truth-conduciveness as relative to finite sets of instances. Moreover, I argue that Hofweber’s position, while seemingly radical, may be less so under closer scrutiny. For the mere claim that classical rules and unrestricted truth rules are generically valid (or truth-conducive) is not in itself controversial. Also, if there is an answer to the question of which of these are also strictly valid, then the claim that generic validity is the central notion in logic is at most an interest-relative matter, since there is then also a fact of the matter as to which inference rules are (not) strictly valid. If no solution operating with strict validity to the paradoxes can be had, however, then the claim that validity should be identified with a weaker notion is better motivated. I argue that it is reasonable, in view of past failures, to conjecture that no ordinary solution will score high enough relative to standard (uncontroversial) desiderata to merit justified belief. Hence, it is unknowable which solution is correct. I further argue that this is best explained by its being metaphysically indeterminate which solution is correct. If this conjecture is true, then we ought instead to think of validity as allowing exceptions, and then take the “true logic” to be one that takes both the classical rules and the truth rules to be valid, i.e., truth-conducive. This logic scores very high on the desiderata on logics, and is therefore preferable to any logic operating with strict validity. (shrink)

I know that it is difficult for some students to distinguish the truth of premises from the validity of an argument. They think that a valid argument has all true statements, and an invalid one a false premise. Clearly, the teaching of validity requires introducing the idea of an argument form, for it is the form which is the vehicle of validity, not what is put in the form. An argument form does not contain statements (but statement forms), so (...) there is nothing in the form to be true or false. Yet the form has the property of validity, which is the property of truth preservation. This is to say that a valid form will never allow the premise forms to be filled with true statements and the conclusion form to be filled with a false statement. (shrink)

This paper claims that there is a plausible sense in which validity is a matter of truth preservation relative to interpretations of the sentences that occur in an argument, although it is not the sense one might have in mind. §1 outlines three independent problems: the first is the paradox of the sorites, the second concerns the fallacy of equivocation, and the third arises in connection with the standard treatment of indexicals. §2 elucidates the claim about validity, while §§3-5 show (...) how the three problems outlined can be handled in accordance with it. §6 explains how the claim squares with the traditional idea that validity is related to formality, and in particular with a broadly accepted definition based on that idea, the model-theoretic definition of logical consequence. Unlike other works on the subject, this paper does not focus on necessity. It is not its intention to provide a characterization of necessity that conforms to some ideal of rigour or to some pre-theoretical understanding of validity. What follows can be taken as conditional on the assumption that such a characterization can be provided. (shrink)

The aim of the paper is to formulate rules of inference for the predicate 'is true' applied to sentences. A distinction is recognised between (ordinary) truth and definite truth and consequently between two notions of validity, depending on whether truth or definite truth is the property preserved in valid arguments. Appropriate sets of rules of inference governing the two predicates are devised. In each case the consequence relation is in harmony with the respective predicate. Particularly appealing is a (...) set of ND rules for ordinary truth in which premises and assumptions play different roles, premises being taken to assert definite truth, assumptions to suppose truth. This set of rules can be said to capture everyday reasoning with truth. Also presented are formal characterisations, in the meta-language and in the object language, of paradoxical and 'truth teller'-like sentences. (shrink)

Expressivism and truth have had a rocky relationship; this paper is a move toward reconciliation. I’ll show how to give a semantics for ‘true’ and ‘false’ in the most promising expressivist framework I know of1, and explain how the resulting marriage can benefit both parties. This is because expressivists need an account of truth, and expressivism about truth itself has certain attractions in its own right. In particular, I’ll show in a rigorous way how expressivists can make good on the (...) idea that valid arguments are truth-preserving, shed some light on the idea that truth is not a property, and explore an application to the paradox of the liar. But first, I need to explain what an expressivist semantics involves, and some of the background underlying the version of the view that I will depend on, here. The digression will take a while, but I promise a payoff at the end. (shrink)

We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that (...) Baumgartner’s definition of representational validity is extensionally inadequate. I present a number of natural language arguments that we pre-theoretically hold to be representationally valid, but are not representationally valid according to Baumgartner’s definition. I then point to two further untenable features of Baumgartner’s definitions: according to Baumgartner’s definition of a representationally correct formalization, we cannot arrive at formalizations in a recursive way, and Baumgartner’s definition of representational validity is non-monotonic. I conclude that interpretational and representational validity cannot be understood as merely imposing different adequacy conditions on formalizations. If we want to capture our interpretational and representational intuitions, we need two different formal definitions of validity. (shrink)

Common-sense allows that talk about moral truths makes perfect sense. If you object to the United States’ Declaration of Independence’s assertion that it is a truth that ‘all men’ are ‘endowed by their Creator with certain unalienable Rights’, you are more likely to object that these rights are not unalienable or that they are not endowed by the Creator, or even that its wording ignores the fact that women have rights too, than that this is not the sort of thing (...) which could be a truth. Whether it is a truth or not seems beside the point, anyway; the writers of the Declaration could just have well written, ‘We hold it to be self-evident that all men are created equal, and also that it is self-evident that all men are endowed by their Creator with certain unalienable Rights,’ save only that its cadence would lack some of the poetic resonance of the version which garnered Hancock’s signature. Yet famously, ethical noncognitivists have proclaimed that moral sentences can’t be true or false – that, like ‘Hooray!’ or ‘dammit!’, they are not even the kinds of things to be true or false. Noncognitivism is sometimes even defined as the view that this is so, but even philosophers who define ‘noncognitivism’ more broadly, as consistent with the idea that moral sentences may be true or false, have believed that they needed to do important philosophical spadework in order to make sense of how moral sentences could be true or false. In this article we’ll look at the puzzle about moral truth as it is faced by early noncognitivists and by metaethical expressivists, the early noncognitivists’ contemporary cousins. We’ll look at what it would take for expressivists to ‘earn the right’ to talk about moral truths at all, and in particular at what it would take for them to earn the right to claim that moral truths behave in the ways that we should expect – including that meaningful moral sentences which lack presuppositions are true or false, and that classically valid arguments are truth-preserving.. (shrink)

In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...) close with some general considerations on the use of revision-theoretic methods in theories of truth. (shrink)

Standard definitions of validity are designed to preserve truth from the premises to the conclusion. However, it seems possible to construct arguments that contain sentences in the imperative mood. Such sentences are incapable of being true or false, so the standard definitions cannot capture the validity of these imperative arguments. Bernard Williams offers an argument that imperative inference is impossible: two imperatives will always have different permissive presuppositions, so a speaker will have to change his mind before uttering (...) a second imperative, and so imperatives cannot ever be accumulated into a set of premises. I offer four objections to Williams’ argument: (1) Permissive presuppositions are analogous to conversational implicature, and so should be ignored when formulating imperative arguments. (2) There are other valid argument forms, which Williams does not consider, that do not suffer from different permissive presuppositions. (3) There are explanations for the change in permissive presuppositions in Williams’ example other than a change of mind, so the different permissive presuppositions do not have to prevent accumulation. Finally, (4) Williams accepts enough logical relations between imperatives (contradiction and a form of negation) for a definition of a valid imperative inference to follow naturally. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention (...) that such objections show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

Do logically valid arguments necessarily preserve truth? Certain inferences involving informational modal operators and indicative conditionals suggest that truth preservation and good deductive argument come apart. Given this split, I recommend an alternative to the standard truth preservation view of logic on which validity and good deductive argument coincide: logic is a descriptive science that is fundamentally concerned not with the preservation of truth, but with the preservation of structural features of information. Along the way, I defend modus (...) ponens for the indicative against an attack by Kolodny and MacFarlane, and I present a new proof system, Info, appropriate to this informational view. (shrink)

It is argued that truth value of a sentence containing free variables in a context of use, just as the reference of the free variables concerned, depends on the assumptions and posits given by the context. However, context may under-determine the reference of a free variable and the truth value of sentences in which it occurs. It is argued that in such cases a free variable has indeterminate reference and a sentence in which it occurs may have indeterminate truth value. (...) On letting, say, x be such that \, the sentence ‘Either \ or \’ is true but the sentence ‘\’ has an indeterminate truth value: it is determinate that the variable x refers to either 2 or \, but it is indeterminate which of the two it refers to, as a result ‘\’ has a truth value but its truth value is indeterminate. The semantic indeterminacy is analysed in a ‘radically’ supervaluational semantic framework closely analogous to the treatment of vagueness in McGee and McLaughlin and Smith, which saves bivalence, the T-schema and the truth-functional analysis of the boolean connectives. It is shown that on such an analysis the modality ‘determinately’ is quite clearly not an epistemic modality, avoiding a potential objection raised by Williamson against such ‘radically’ supervaluational treatments of vagueness, and that determinate truth is the semantic value preserved in classically valid arguments. The analysis is contrasted with the epistemicist proposal of Breckenridge and Magidor which implies that ‘\’ has a determinate but unknowable truth value. (shrink)

Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.

Arguments are movements of thought. From a logical point of view, such a movement is justifiable as it tends to preserve or transmit truth. To speak of such tendency is to abstract from particular movements of thought and to ascent to the forms of such movements. Thus logical theory is said to concern rules of validity or cogency that one may use to evaluate forms of arguments, forms as may be instantiated by particular sets of statements which we (...) may use to represent particular movements of thought. (shrink)

There are many kinds of negation and denial. Perhaps the most common is the Boolean negation not that applies to propositions-in-extension, i.e. truth-values. The others are, inter alia, the property of propositions of not being true which applies to propositions; the complement function which applies to sets; privation which applies to properties; negation as failure applied in logic programming; negation as argumentation ad absurdum, and many others. The goal of this paper is neither to provide a complete list, nor to (...) analyse all of them. Rather, I am going to deal with negation of propositions that come attached with a presupposition that is entailed by the positive as well as negated form of a given proposition. However, there are two kinds of negation, namely internal and external negation. I am going to prove that while the former is presupposition-preserving, the latter is presupposition-denying. This issue has much in common with the difference between topic and focus articulation within a sentence. Whereas articulating the topic of a sentence activates a presupposition, articulating the focus frequently yields merely an entailment. The main contribution of this paper is the proof that the two kinds of negation are not equivalent. While the Russellian wide-scope (external) negation gets the truthconditions of a sentence right for a subject occurring as a focus, Strawsonian narrow-scope (internal) negation is validly applicable for a subject occurring as the topic. I also deal with other kinds of presupposition triggers, in particular factive attitudes and prerequisites of a given property. My background theory is Transparent Intensional Logic (TIL). TIL is an expressive logic apt for the analysis of sentences with presuppositions, because in TIL we work with partial functions, in particular with propositions with truth-value gaps. Moreover, the procedural semantics of TIL make it possible to uncover the hidden semantic features of sentences, make them explicit and logically tractable. (shrink)

Would you want to be operated on by a surgeon trained at a medical school that did not evaluate its students? Would you want to fly in a plane designed by people convinced that the laws of physics are socially constructed? Would you want to be tried by a legal system indifferent to the distinction between fact and fiction? These questions may seem absurd, but these are theories being seriously advanced by radical multiculturalists that force us to ask them. These (...) scholars assert that such concepts as truth and merit are inextricably racist and sexist, that reason and objectivity are merely sophisticated masks for ideological bias, and that reality itself is nothing more than a socially constructed mechanism for preserving the power of the ruling elite. In Beyond All Reason, liberal legal scholars Daniel A. Farber and Suzanna Sherry mount the first systematic critique of radical multiculturalism as a form of legal scholarship. Beginning with an incisive overview of the origins and basic tenets of radical multiculturalism, the authors critically examine the work of Derrick Bell, Catherine MacKinnon, Patricia Williams, and Richard Delgado, and explore the alarming implications of their theories. Farber and Sherry push these theories to their logical conclusions and show that radical multiculturalism is destructive of the very goals it wishes to affirm. If, for example, the concept of advancement based on merit is fraudulent, as the multiculturalists claim, the disproportionate success of Jews and Asians in our culture becomes difficult to explain without opening the door to age-old anti-Semitic and racist stereotypes. If historical and scientific truths are entirely relative social constructs, then Holocaust denial becomes merely a matter of perspective, and Creationism has as much "validity" as evolution. The authors go on to show that rather than promoting more dialogue, the radical multiculturalist preferences for legal storytelling and identity politics over reasoned argument produces an insular set of positions that resist open debate. Indeed, radical multiculturalists cannot critically examine each others' ideas without incurring vehement accusations of racism and sexism, much less engage in fruitful discussion with a mainstream that does not share their assumptions. Here again, Farber and Sherry show that the end result of such thinking is not freedom but a kind of totalitarianism where dissent cannot be tolerated and only the naked will to power remains to settle differences. Sharply written and brilliantly argued, this book is itself a model of the kind of clarity, civility, and dispassionate critical thinking which the authors seek to preserve from the attacks of the radical multiculturalists. With far-reaching implications for such issues as government control of hate speech and pornography, affirmative action, legal reform, and the fate of all minorities, Beyond All Reason is a provocative contribution to one of the most important controversies of our time. (shrink)

The 'post-truth' world in which we live has been beset by fake news, lies and a cavalier disregard for truth. If truth is neglected then an alternative is an appeal to the emotions in order to validate a particular position, which can quickly turn to the use of power to impose a particular view. The loss of truth results in the loss of freedom. This book contends that if we want to preserve our freedom then we have a serious obligation (...) to pursue truth. One way to do this is through an adequate moral education. Education in an Age of Lies and Fake News: Regaining a Love of Truth makes an argument for the importance of truth. It explores how we can retrieve the concept of truth and how moral education can be deployed in order to re-establish a commitment to truth. It introduces Eastern perspectives on the question of truth and how we view reality, and presents a realist position on the nature of truth as a counter to scepticism, drawing on Augustine and Thomas Aquinas, amongst others. Further, the chapters are mindful of the significance of developing a pedagogy which not only enables students to be critical thinkers, but to foster a genuine concern for truth and for its pursuit. This book will be essential reading for students, educators, philosophers and researchers pursuing the question of truth in the modern age. (shrink)

This chapter contains sections titled: Introduction Logical Consequence Logical Pluralism Applications of Logic Conclusion References.

What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative (...) is by far more popular, but I argue in favor of the latter, for (i) it does not suffer from a number of serious objections, and (ii) it makes it possible to restore global validity as a defined notion. (shrink)

This paper is a tribute to Delia Graff Fara. It extends her work on failures of meta-rules for validity as truth-preservation under a supervaluationist identification of truth with supertruth. She showed that such failures occur even in languages without special vagueness-related operators, for standards of deductive reasoning as materially rather than purely logically good, depending on a context-dependent background. This paper extends her argument to: quantifier meta-rules like existential elimination; ambiguity; deliberately vague standard mathematical notation. Supervaluationist attempts to qualify the (...) meta-rules impose unreasonable cognitive demands on reasoning and underestimate her challenge. (shrink)

Would you want to be operated on by a surgeon trained at a medical school that did not evaluate its students? Would you want to fly in a plane designed by people convinced that the laws of physics are socially constructed? Would you want to be tried by a legal system indifferent to the distinction between fact and fiction? These questions may seem absurd, but there are theories being seriously advanced by radical multiculturalists that force us to ask such questions. (...) These scholars assert that such concepts as truth and merit are inextricably racist and sexist, that reason and objectivity are merely sophisticated masks for ideological bias, and that reality itself is nothing more than socially constructed mechanism for preserving the power of the ruling elite. In Beyond All Reason, liberal legal scholars Daniel A. Farber and Suzanna Sherry mount the first systematic critique of radical multiculturalism as a form of legal scholarship. Beginning with an incisive overview of the origins and basic tenets of radical multiculturalism, the authors critically examine the work of Derrick Bell, Catherine MacKinnon, Patricia Williams, and Richard Delgado, and explore the alarming implications of their theories. Farber and Sherry push these theories to their logical conclusions and show that radical multiculturalism is destructive of the very goals it wishes to affirm. If, for example, the concept of advancement based on merit is fraudulent, as the multiculturalists claim, the disproportionate success of Jews and Asians in our culture becomes difficult to explain without opening the door to age-old anti-Semitic and racist stereotypes. If historical and scientific truths are entirely relative social constructs, then Holocaust denial becomes merely a matter of perspective, and Creationism has as much "validity" as evolution. The authors go on to show that rather than promoting more dialogue, the radical multiculturalist preferences for legal storytelling and identity politics over reasoned argument produces an insular set of positions that resist open debate. Indeed, radical multiculturalists cannot critically examine each others' ideas without incurring vehement accusations of racism and sexism, much less engage in fruitful discussion with a mainstream that does not share their assumptions. Here again, Farber and Sherry show that the end result of such thinking is not freedom but a kind of totalitarianism where dissent cannot be tolerated and only the naked will to power remains to settle differences. Sharply written and brilliantly argued, this book is itself a model of the kind of clarity, civility, and dispassionate critical thinking which the authors seek to preserve from the attacks of the radical multiculturalists. With far-reaching implications for such issues as government control of hate speech and pornography, affirmative action, legal reform, and the fate of all minorities, Beyond All Reason is a provocative contribution to one of the most important controversies of our time. (shrink)

According to a traditional view, logical validity consists in necessary truth preservation. Such an account has been argued to carry an apparent commitment to a unique property of truth to be preserved from premises to conclusion. Recent discussions, however, have concluded that if the metaphor of truth preservation is carefully unpacked, no need for a unique property is there. All is needed is that certain structural relations among instantiations of truth properties hold. Against this view, we argue that a unique (...) general truth property is indeed required by logical validity. We first show that the unpacking should be correctly understood since it imposes constraints on the concept and the properties of truth. We then demonstrate that, under such constraints, a general property is not imposed by truth preservation but by another feature of validity: its uniformity. Finally, some options that could be attempted to resist this result are discussed, showing that (strong) truth pluralism and deflationism are affected in different ways. (shrink)

The paper defends the infallibilist account of evidential support in Knowledge and its limits from Jessica Brown’s objections in her book Fallibilism: Evidence and Knowledge. By the standards of abductive methodology, Brown’s arguments are ineffective because she offers no developed alternative account of evidential support. Most of her objections apply to the standard probabilistic structure of my account; they are not specific to its distinctively knowledge-first features. Brown’s objection from ‘infelicity data’ is analogous to one from such data to (...) standard accounts of deductive validity as truth-preservation. Contrary to Brown’s assumption, my use of excusability in discussion of sceptical scenarios involves no attempt to give it a precise conceptual analysis. (shrink)

Alethic pluralism holds that there are many ways of being true. The view has been accused of being unable to do justice to the traditional account of logical validity, understood as necessary truth preservation. In this paper I reformulate the debate in terms of the naturalness of generic truth, and discuss some notable consequences of this more careful reformulation. I show not only that some alleged solutions, like the resort to plural quantification, are ineffective, but also that the problem is (...) not really posed by mixed inferences, as usually thought. Finally, I argue that the traditional account of logical validity does carry a commitment to generic truth, so that a strong version of alethic pluralism can hardly vindicate it. (shrink)

This chapter contains sections titled: 4.1 4.2 4.3 4.4 4.5 4.6.

In The Myth of Morality Richard Joyce presents a simple and very influential argument for the truth of moral error theory. In this paper I point out that the argument does not have the form Joyce attributes to it, the argument is not valid in an extensional propositional logic and on the most natural way of explicating the meanings of the involved terms, it remains invalid. I conclude that more explanation is needed if we are to accept this particular (...) argument for moral error theory. (shrink)

Logical consequence is the relation that obtains between premises and conclusion(s) in a valid argument. Orthodoxy has it that valid arguments are necessarily truth-preserving, but this platitude only raises a number of further questions, such as: how does the truth of premises guarantee the truth of a conclusion, and what constraints does validity impose on rational belief? This volume presents thirteen essays by some of the most important scholars in the field of philosophical logic. The essays offer (...) ground-breaking new insights into the nature of logical consequence; the relation between logic and inference; how the semantics and pragmatics of natural language bear on logic; the relativity of logic; and the structural properties of the consequence relation. (shrink)

Our topic is the notion of logical consequence: the link between premises and conclusions, the glue that holds together deductively valid argument. How can we understand this relation between premises and conclusions? It seems that any account begs questions. Painting with very broad brushtrokes, we can sketch the landscape of disagreement like this: “Realists” prefer an analysis of logical consequence in terms of the preservation of truth [29]. “Anti-realists” take this to be unhelpful and o:er alternative analyses. Some, like (...) Dummett, look to preservation of warrant to assert [9, 36]. Others, like Brandom [5], take inference as primitive, and analyse other notions in terms of it. There is plenty of disagreement on the “realist” side of the fence too. It is one thing to argue that logical consequence involves preservation of truth. It is another to explain how far truth must be preserved. Is the preservation essentially modal (in all circumstances [25]) or analytic (vouchsafed by.. (shrink)

Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he (...) did not offer the proof. The question arises whether the usual modeltheoretic sense of validity and Tarski's 1936 sense are the same. I argue in this paper that they probably are not, and that the proof Tarski had in mind, although unusable to prove that model-theoretically valid arguments are truth-preserving, can be used to prove that arguments valid in Tarski's 1936 sense are truth-preserving. (shrink)

In this paper, I consider a variant of the ancient Idle Argument involving so‐called “unconditionals” with interrogative antecedents. This new Idle Argument provides an ideal setting for probing the logic of these close relatives of if‐conditionals, which has been comparatively underexplored. In the course of refuting the argument, I argue that contrary to received wisdom, many unconditionals do not entail their main clauses, yet modus ponens is still unrestrictedly valid for this class of expressions. I make these lessons precise (...) in a formal system drawing on recent work in inquisitive semantics. My larger aim is to challenge standard truth preservation accounts of logic and deductive argumentation. (shrink)

Truth is often considered to be a logico-linguistic tool for expressing indirect endorsements and infinite conjunctions. In this article, I will point out another logico-linguistic function of truth: to enable and validate what I call a blind argument, namely, an argument that involves indirectly endorsed statements. Admitting this function among the logico-linguistic functions of truth has some interesting consequences. In particular, it yields a new type of so-called conservativeness argument, which poses a new type of threat to deflationism about truth.

According to a common definition, the argument of truthful ones is an argument in which the existence of Necessary Being is proved with no presumption of the existence of the possible being. Avicenna proposed different versions of this style of argument and the version in the book of Nejat is one of them. This paper is intended to examine the possibility of proving the logical validity of this version in first-order predicate logic and explain the principles which the argument is (...) based on. In this way, it becomes clear to what extent Avicenna's version is in accordance with the criteria he himself introduces for the argument of truthful ones. In this respect, while providing a clear exposition of the version in the book of Nejat, bugs on some of the statements and proposals to obviate them in terms of replacement arises. Then explaining the concepts and premises which the argument in the book of Nejat is besed on, it is formulated in first-order predicate logic with its full proof. Finally, the proposed model's accordance with the presented criteria for the argument of truthful ones will be shown. (shrink)

The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that P’ (...) every true sentence can be shown to correspond to the same facts as every other true sentence. The claim is that all substitution of logically equivalent sentences and coreferring terms takes place salva veritate. I argue that the substitution of coreferring terms in this context need not preserve truth. The slingshot fails to refute the correspondence theory. (shrink)

Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...) problems, epistemic and ontic, related to argumentations are put in perspective. So much of what has been regarded as logic is seen to be involved in the study of argumentations that logic may be usefully defined as the systematic study of argumentations, which is virtually identical to the quest of objective understanding of objectivity. -/- KEY WORDS: hypothesis, theorem, argumentation, proof, deduction, premise-conclusion argument, valid, inference, implication, epistemic, ontic, cogent, fallacious, paradox, formal, validation. (shrink)

The current state of philosophy of science is characterized by stasis in the struggle between realism and antirealism. In recent years, a number of authors have come out with a program of scientific perspectivism that claims to sublate this great collision and gain the status of a new epistemological paradigm: “perspectivism, or, better, perspectival realism, is one of the newest attempts to find a middle ground between scientific realism and antirealism” [1. P. 2]. Important milestones of the perspective movement were (...) the works of Ronald Giere, Francois Recanati, Bas van Fraassen, Michela Massimi, and others. The thesis of the article is that perspectivism has not yet realized its claims to autonomy, although it has become an important new arena for discussions between realists and antirealists who try to appropriate perspectivist concepts and arguments. The “middle ground,” when thought out consistently and thoroughly, turns out to lie not “between,” but either in the territory of realism or in the territory of antirealism, depending on the presumptions of the author of a particular perspectivist conception. This is demonstrated by the analysis of the conceptions of Giere, Massimi, and Recanati. Giere’s perspectivism is based on the metaphor of color vision, and for him only some (secondary) qualities of real objects turn out to be perspectival, i.e., subject-dependent. Massimi’s perspectivism attempts, on the basis of a visual arts metaphor, to combine the phenomenon of the plurality of scientific theories (“perspectival disagreement” about what an object is) with the general realist attitude of science (agreement about that there is an object). Recanati’s perspectivism syncretizes realism about ordinary objects and relativism about other things. The first two versions of perspectivism rely on a perceptual metaphor: perspective is conditioned by the perceptual constitution of the observer, that is, it arises at the mental or cognitive level. Recanati’s version attempts to derive perspective from contextuality, that is, it is semantic. However, it does not show exactly how perceptual categories are superimposed on theories or how scientific concepts reveal their perspectival character. The isomorphism of perception and theoretical thinking, sensibility and understanding, remains undemonstrated. On the one hand, perspectivist efforts are motivated by an important concern to account for antirealist critique (lack of access to the “view from nowhere,” factual and semantic underdetermination, difficulties with the idea of approaching the truth, the historicity of knowledge, the activeness of the constructing subject, etc.) while preserving the scientific commitment to universality, validity, and truthfulness. On the other hand, the ontological question remains fundamental and unavoidable, and perspectivism (yet?) fails to circumvent it. As we see, all three versions of perspectivism considered in this article turn out to be varieties of realism: Giere and Massimi recognize this explicitly, while Recanati de facto assumes a quite respectable and conservative position of selective realism with respect to ordinary objects. (shrink)

A Curry paradox about truth is generated by the following sentence, written on the board in room 101:If the sentence on the board in room 101 is true then 1 ≠ 1.A Curry paradox about validity is generated by the following argument, written on the board in room 102:The argument on the board in room 102 is valid. Therefore, 1 ≠ 1.Though the sentence and the argument generate Curry paradoxes, they also generate more basic paradoxes, in a sense to (...) be made clear. I argue that if we solve these more basic paradoxes, we have solutions to both kinds of Curry paradox. The positive proposal is in part inspired by a brief remark of Gödel’s, that the paradoxes might appear “as something analogous to dividing by zero”—so that the concepts of truth and validity, for example, are everywhere applicable except for certain singular points or singularities. A second central claim is that 'true' and 'valid' are context-sensitive predicates. This contextual-singularity approach to the Curry paradoxes applies also to other paradoxes of truth, validity, denotation, and predicate-extension. So a more general aim of the paper is to provide a unified response to semantic paradox. (shrink)

Some arguments include imperative clauses. For example: ‘Buy me a drink; you can’t buy me that drink unless you go to the bar; so, go to the bar!’ How should we build a logic that predicts which of these arguments are good? Because imperatives aren’t truth apt and so don’t stand in relations of truth preservation, this technical question gives rise to a foundational one: What would be the subject matter of this logic? I argue that declaratives are (...) used to produce beliefs, imperatives are used to produce intentions, and beliefs and intentions are subject to rational requirements. An argument will strike us as valid when anyone whose mental state satisfies the premises is rationally required to satisfy the conclusion. For example, the above argument reflects the principle that it is irrational not to intend what one takes to be the necessary means to one’s intended ends. I argue that all intuitively good patterns of imperative inference can be explained using off-the-shelf formulations of our rational requirements. I then develop a formal-semantic theory embodying this view that predicts a range of data, including free-choice effects and Ross’s paradox. The resulting theory shows one way that our aspirations to rational agency can be discerned in the patterns of our speech, and is a case study in how the philosophy of language and the philosophy of action can be mutually illuminating. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

A substitutional account of logical validity for formal first‐order languages is developed and defended against competing accounts such as the model‐theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its substitution (...) instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is taken to be a primitive notion and axiomatized.For every set‐theoretic model in the sense of model theory there exists a corresponding substitutional interpretation in a sense to be specified. Conversely, however, there are substitutional interpretations – in particular the ‘intended’ interpretation – that lack a model‐theoretic counterpart. The substitutional definition of logical validity overcomes the weaknesses of more restrictive accounts of substitutional validity; unlike model‐theoretic logical consequence, the substitutional notion is trivially and provably truth preserving. In Kreisel's squeezing argument the formal notion of substitutional validity naturally slots into the place of intuitive validity. (shrink)

Compare two conceptions of validity: under an example of a modal conception, an argument is valid just in case it is impossible for the premises to be true and the conclusion false; under an example of a topic-neutral conception, an argument is valid just in case there are no arguments of the same logical form with true premises and a false conclusion. This taxonomy of positions suggests a project in the philosophy of logic: the reductive analysis of (...) the modal conception of logical consequence to the topic-neutral conception. Such a project would dispel the alleged obscurity of the notion of necessity employed in the modal conception in favour of the clarity of an account of logical consequence given in terms of tractable notions of logical form, universal generalization and truth simpliciter. In a series of publications, John Etchemendy has characterized the model-theoretic definition of logical consequence as truth preservation in all models as intended to provide just such an analysis. In this paper, I will argue that Aristotle intends to provide an account of a modal conception of logical consequence in topic-neutral terms and so is engaged in a project comparable to the one described above. That Aristotle would be engaged in this sort of project is controversial. Under the standard reading of the Prior Analytics, Aristotle does not and cannot provide an account of logical consequence. Rather, he must take the validity of the first figure syllogisms (such as the syllogism known by its medieval mnemonic ‘Barbara’: A belongs to all B; B belongs to all C; so A belongs to all C) as obvious and not needing justification; he then establishes the validity of the other syllogisms by showing that they stand in a suitable relation to the first figure syllogisms. I will argue that Aristotle does attempt to provide an account of logical consequence—namely, by appeal to certain mereological theorems. For example, he defends the status of Barbara as a syllogism by appeal to the transitivity of mereological containment. There are, as I will discuss, reasons to doubt the success of this account. But the attempt is not implausible given certain theses Aristotle holds in semantics, mereology and the theory of relations. (shrink)

An argument is usually said to be valid iff it is truth-preserving—iff it cannot be that all its premises are true and its conclusion false. But imperatives (it is normally thought) are not truth-apt. They are not in the business of saying how the world is, and therefore cannot either succeed or fail in doing so. To solve this problem, we need to find a new criterion of validity, and I aim to propose such a criterion.