Epistemic relativism has the contemporary academy in its grip. Not merely in the United States, but seemingly everywhere, most scholars working in the humanities and the social sciences seem to subscribe to some form of it. Even where the label is repudiated, the view is embraced. Sometimes the relativism in question concerns truth, sometimes justification. The core impulse appears to be a relativism about knowledge. The suspicion is widespread that what counts as knowledge in one cultural, or broadly ideological, setting (...) need not count as knowledge in another. (shrink)

This essay attempts to clarify the project of explaining the possibility of ‘blind reasoning’—namely, of basic logical inferences to which we are entitled without our having an explicit justification for them. The role played by inferentialism in this project is examined and objections made to inferentialism by Paolo Casalegno and Timothy Williamson are answered. Casalegno proposes a recipe for formulating a counterexample to any proposed constitutive inferential role by imaging a subject who understands the logical constant in question but fails (...) to have the capacity to make the inference in question; Williamson’s recipe turns on imagining an expert who continues to understand the constant in question while having developed sophisticated considerations for refusing to make it. It’s argued that neither recipe succeeds. (shrink)

The paper asks under what conditions deductive reasoning transmits justification from its premises to its conclusion. It argues that both standard externalist and standard internalist accounts of this phenomenon fail. The nature of this failure is taken to indicate the way forward: basic forms of deductive reasoning must justify by being instances of 'blind but blameless' reasoning. Finally, the paper explores the suggestion that an inferentialist account of the logical constants can help explain how such reasoning is possible.

This paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is having a disposition to infer according to it. These accounts in particular conflict with so-called ‘reasoned change in view’, where someone does not infer according to a logical principle but revise their views instead. The paper also outlines a propositional account of logical knowledge which does not conflict with ordinary reasoning.

In this paper, we distinguish two versions of Curry's paradox: c-Curry, the standard conditional-Curry paradox, and v-Curry, a validity-involving version of Curry's paradox that isn’t automatically solved by solving c-curry. A unified treatment of curry paradox thus calls for a unified treatment of both c-Curry and v-Curry. If, as is often thought, c-Curry paradox is to be solved via non-classical logic, then v-Curry may require a lesson about the structure—indeed, the substructure—of the validity relation itself.

Consequence is at the heart of logic; an account of consequence, of what follows from what, offers a vital tool in the evaluation of arguments. Since philosophy itself proceeds by way of argument and inference, a clear view of what logical consequence amounts to is of central importance to the whole discipline. In this book JC Beall and Greg Restall present and defend what thay call logical pluralism, the view that there is more than one genuine deductive consequence relation, a (...) position which has profound implications for many linguists as well as for philosophers. We should not search for one true logic, since there are many. (shrink)

This Oxford Handbook covers the current state of the art in the philosophy of maths and logic in a comprehensive and accessible manner, giving the reader an overview of the major problems, positions, and battle lines. The 26 newly-commissioned chapters are by established experts in the field and contain both exposition and criticism as well as substantial development of their own positions. Select major positions are represented by two chapters - one supportive and one critical. The book includes a comprehensive (...) bibliography. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

The second volume in the _Blackwell Brown Lectures in Philosophy_, this volume offers an original and provocative take on the nature and methodology of philosophy. Based on public lectures at Brown University, given by the pre-eminent philosopher, Timothy Williamson Rejects the ideology of the 'linguistic turn', the most distinctive trend of 20th century philosophy Explains the method of philosophy as a development from non-philosophical ways of thinking Suggests new ways of understanding what contemporary and past philosophers are doing.

A number of authors have argued that Peano Arithmetic supplemented with a logical validity predicate is inconsistent in much the same manner as is PA supplemented with an unrestricted truth predicate. In this paper I show that, on the contrary, there is no genuine paradox of logical validity—a completely general logical validity predicate can be coherently added to PA, and the resulting system is consistent. In addition, this observation lead to a number of novel, and important, insights into the nature (...) of logical validity itself. (shrink)

Tarski's Undefinability of Truth Theorem comes in two versions: that no consistent theory which interprets Robinson's Arithmetic (Q) can prove all instances of the T-Scheme and hence define truth; and that no such theory, if sound, can even express truth. In this note, I prove corresponding limitative results for validity. While Peano Arithmetic already has the resources to define a predicate expressing logical validity, as Jeff Ketland has recently pointed out (2012, Validity as a primitive. Analysis 72: 421-30), no theory (...) which interprets Q closed under the standard structural rules can define nor express validity, on pain of triviality. The results put pressure on the widespread view that there is an asymmetry between truth and validity, viz. that while the former cannot be defined within the language, the latter can. I argue that Vann McGee's and Hartry Field's arguments for the asymmetry view are problematic. (shrink)

If beliefs are subject to a basic norm of correctness—roughly, to the principle that a belief is correct only if the proposition believed is true—how can this norm guide believers in forming their beliefs? Answer: this norm guides believers indirectly: believers are directly guided by requirements of rationality—which are themselves explained by this norm of correctness. The fundamental connection between rationality and correctness is probabilistic. Incorrectness comes in degrees; for beliefs, these degrees of incorrectness are measured by quadratic scoring rules, (...) such as the so-called Brier score. This account is defended against objections; and its implications for suspension of judgement are explored. (shrink)

I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

This paper presents and motivates a new philosophical and logical approach to truth and semantic paradox. It begins from an inferentialist, and particularly bilateralist, theory of meaning---one which takes meaning to be constituted by assertibility and deniability conditions---and shows how the usual multiple-conclusion sequent calculus for classical logic can be given an inferentialist motivation, leaving classical model theory as of only derivative importance. The paper then uses this theory of meaning to present and motivate a logical system---ST---that conservatively extends classical (...) logic with a fully transparent truth predicate. This system is shown to allow for classical reasoning over the full (truth-involving) vocabulary, but to be non-transitive. Some special cases where transitivity does hold are outlined. ST is also shown to give rise to a familiar sort of model for non-classical logics: Kripke fixed points on the Strong Kleene valuation scheme. Finally, to give a theory of paradoxical sentences, a distinction is drawn between two varieties of assertion and two varieties of denial. On one variety, paradoxical sentences cannot be either asserted or denied; on the other, they must be both asserted and denied. The target theory is compared favourably to more familiar related systems, and some objections are considered. (shrink)

This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending (...) on its formulation, one in terms of FOL, the other by Bonnay in terms of L∞,∞, both without equality. From that we move on to a survey of Bonnay’s work on similarity relations between structures and his results that single out invariance with respect to potential isomorphism among all such. Turning to the critique that calls for sameness of meaning of a logical operation across domains, the paper continues with a result showing that the isomorphism invariant operations that are absolutely definable with respect to KPU−Inf are exactly those definable in full FOL; this makes use of an old theorem of Manders. The concluding section is devoted to a critical discussion of the arguments for set-theoretical criteria for logicality. (shrink)

Timothy Smiley’s wonderful paper ‘Rejection’ (1996) is still perhaps not as well known or well understood as it should be. This note first gives a quick presentation of themes from that paper, though done in our own way, and then considers a putative line of objection – recently advanced by Julien Murzi and Ole Hjortland (2009) – to one of Smiley’s key claims. Along the way, we consider the prospects for an intuitionistic approach to some of the issues discussed in (...) Smiley’s paper. (shrink)

There are quite a few theses about logic that are in one way or another pluralist: they hold (i) that there is no uniquely correct logic, and (ii) that because of this, some or all debates about logic are illusory, or need to be somehow reconceived as not straightforwardly factual. Pluralist theses differ markedly over the reasons offered for there being no uniquely correct logic. Some such theses are more interesting than others, because they more radically affect how we are (...) initially inclined to understand debates about logic. Can one find a pluralist thesis that is high on the interest scale, and also true? (shrink)

The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious obstacle to any such (...) view. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

Throughout the twentieth century, the classical logic of Frege and Russell dominated the field of formal logic. But, as Ross Brady argues, a new type of weak relevant logic may prove to be better equipped to present new solutions to persistent paradoxes. _Universal Logic _begins with an overview of classical and relevant logic and discusses the limitations of both in analyzing certain paradoxes. It is the first text to demonstrate how the main set-theoretic and semantic paradoxes can be solved in (...) a systematic way and as such will be of great interest to both scholars and students of logic. (shrink)

Multiple -conclusion logic extends formal logic by allowing arguments to have a set of conclusions instead of a single one, the truth lying somewhere among the conclusions if all the premises are true. The extension opens up interesting possibilities based on the symmetry between premises and conclusions, and can also be used to throw fresh light on the conventional logic and its limitations. This is a sustained study of the subject and is certain to stimulate further research. Part I reworks (...) the fundamental ideas of logic to take account of multiple conclusions, and investigates the connections between multiple - and single - conclusion calculi. Part II draws on graph theory to discuss the form and validity of arguments independently of particular logical systems. Part III contrasts the multiple - and the single - conclusion treatment of one and the same subject, using many-valued logic as the example; and Part IV shows how the methods of 'natural deduction' can be matched by direct proofs using multiple conclusions. (shrink)

Nozick analyzes fundamental issues, such as the identity of the self, knowledge and skepticism, free will, the foundations of ethics, and the meaning of life.

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.

What role, if any, does formal logic play in characterizing epistemically rational belief? Traditionally, belief is seen in a binary way - either one believes a proposition, or one doesn't. Given this picture, it is attractive to impose certain deductive constraints on rational belief: that one's beliefs be logically consistent, and that one believe the logical consequences of one's beliefs. A less popular picture sees belief as a graded phenomenon.

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

Michael Dummett is a leading contemporary philosopher whose work on the logic and metaphysics of language has had a lasting influence on how these subjects are conceived and discussed. This volume contains some of the most provocative and widely discussed essays published in the last fifteen years, together with a number of unpublished or inaccessible writings. Essays included are: "What is a Theory of Meaning?," "What do I Know When I Know a Language?," "What Does the Appeal to Use Do (...) for the Theory of Meaning?," "Language and Truth," "Truth and Meaning," "Language and Communication," "The Source of the Concept of Truth," "Mood, Force, and Convention," "Frege and Husserl on Reference," "Realism," "Existence," "Does Quantification Involve Identity?," "Could there be Unicorns?," "Causal Loops," "Common Sense and Physics," "Testimony and Memory," "What is Mathematics About?," "Wittgenstein on Necessity: Some Reflections," and "Realism and Anti-Realism." Serving well as a companion to Dummett's other collections, the essays in this volume are not forbiddingly technical or specialized, and have relevance to many areas of analytic philosophy. (shrink)

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

It seems beyond doubt that a thinker can come to know a conclusion by deducing it from premisses that he knows already, but philosophers have found it puzzling how a thinker could acquire knowledge in this way. Assuming a broadly externalist conception of knowledge, I explain why judgements competently deduced from known premisses are themselves knowledgeable. Assuming an exclusionary conception of judgeable content, I further explain how such judgements can be informative. (According to the exclusionary conception, which I develop from (...) some remarks in Ramsey, a judgement's content is given by the hitherto live possibilities that it excludes or rules out.) I propose that the value of logic lies in its allowing us to combine different sources of knowledge, so that we can learn things that we could not learn from those sources individually. I conclude by arguing that while single-conclusion logics possess that value, multiple-conclusion logics do not. (shrink)

We consider a paradox involving indicative conditionals (‘ifs’) and deontic modals (‘oughts’). After considering and rejecting several standard options for resolv- ing the paradox—including rejecting various premises, positing an ambiguity or hidden contextual sensitivity, and positing a non-obvious logical form—we offer a semantics for deontic modals and indicative conditionals that resolves the paradox by making modus ponens invalid. We argue that this is a result to be welcomed on independent grounds, and we show that rejecting the general validity of modus (...) ponens is compatible with vindicating most ordinary uses of modus ponens in reasoning. (shrink)

Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say (...) that logic is distinctively formal? (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

It is “the received wisdom” that any intuitively natural and consistent resolution of a class of semantic paradoxes immediately leads to other paradoxes just as bad as the first. This is often called the “revenge problem”. Some proponents of the received wisdom draw the conclusion that there is no hope of any natural treatment that puts all the paradoxes to rest: we must either live with the existence of paradoxes that we are unable to treat, or adopt artificial and ad (...) hoc means to avoid them. Others (“dialetheists”) argue that we can put the paradoxes to rest, but only by licensing the acceptance of some contradictions (presumably in a paraconsistent logic that prevents the contradictions from spreading everywhere). (shrink)

Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.

The paper criticizes epistemological conceptions of analytic or conceptual truth, on which assent to such truths is a necessary condition of understanding them. The critique involves no Quinean scepticism about meaning. Rather, even granted that a paradigmatic candidate for analyticity is synonymy with a logical truth, both the former and the latter can be intelligibly doubted by linguistically competent deviant logicians, who, although mistaken, still constitute counterexamples to the claim that assent is necessary for understanding. There are no analytic or (...) conceptual truths in the epistemological sense. The critique is extended to purportedly analytic inference rules. An alternative account is sketched on which understanding a word is a matter of participation in a linguistic practice, while synonymy and concept identity consist in sameness of truth-conditional semantic properties. Although there are philosophical questions about concepts, the idea that philosophical questions in general are conceptual questions generates only an illusion of insight into philosophical methodology. (shrink)

In his 1936 paper,On the Concept of Logical Consequence, Tarski introduced the celebrated definition oflogical consequence: “The sentenceσfollows logicallyfrom the sentences of the class Γ if and only if every model of the class Γ is also a model of the sentenceσ.” [55, p. 417] This definition, Tarski said, is based on two very basic intuitions, “essential for the proper concept of consequence” [55, p. 415] and reflecting common linguistic usage: “Consider any class Γ of sentences and a sentence which (...) follows from the sentences of this class. From an intuitive standpoint it can never happen that both the class Γ consists only of true sentences and the sentenceσis false. Moreover, … we are concerned here with the concept of logical, i.e.,formal, consequence.” [55, p. 414] Tarski believed his definition of logical consequence captured the intuitive notion: “It seems to me that everyone who understands the content of the above definition must admit that it agrees quite well with common usage. … In particular, it can be proved, on the basis of this definition, that every consequence of true sentences must be true.” [55, p. 417] The formality of Tarskian consequences can also be proven. Tarski's definition of logical consequence had a key role in the development of the model-theoretic semantics of modern logic and has stayed at its center ever since. (shrink)

Michael Dummett and Dag Prawitz have argued that a constructivist theory of meaning depends on explicating the meaning of logical constants in terms of the theory of valid inference, imposing a constraint of harmony on acceptable connectives. They argue further that classical logic, in particular, classical negation, breaks these constraints, so that classical negation, if a cogent notion at all, has a meaning going beyond what can be exhibited in its inferential use. I argue that Dummett gives a mistaken elaboration (...) of the notion of harmony, an idea stemming from a remark of Gerhard Gentzen's. The introduction-rules are autonomous if they are taken fully to specify the meaning of the logical constants, and the rules are harmonious if the elimination-rule draws its conclusion from just the grounds stated in the introduction-rule. The key to harmony in classical logic then lies in strengthening the theory of the conditional so that the positive logic contains the full classical theory of the conditional. This is achieved by allowing parametric formulae in the natural deduction proofs, a form of multiple-conclusion logic. (shrink)

In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...) same strategy to counter Quine's meaning variance argument against deviant logics. In a nutshell, we claim that genuine rivalry between (similar) logics *L* and *L'* is possible whenever each constant in *L* has the same operational meaning as its counterpart in *L'* although differences in global meaning arise in at least one case. (shrink)