Logical pluralism is the view that there is more than one correct logic. In this article, I explore what logical pluralism is, and what it entails, by: (i) distinguishing clearly between relativism about a particular domain and pluralism about that domain; (ii) distinguishing between a number of forms logical pluralism might take; (iii) attempting to distinguish between those versions of pluralism that are clearly true and those that are might be controversial; and (iv) surveying three prominent attempts to argue for (...) logical pluralism and evaluating them along the criteria provided by (ii) and (iii). (shrink)

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)

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)

Traditional monotheism has long faced logical puzzles. We argue that such puzzles rest on the assumed logical truth of the Law of Excluded Middle, which we suggest there is little theological reason to accept. By way of illustration we focus on God's alleged stone problem, and present a simple but plausible ‘gappy’ framework for addressing this puzzle. We assume familiarity with the proposed logic but an appendix is offered as a brief review.

In this paper we offer a new argument for the existence of God. We contend that the laws of logic are metaphysically dependent on the existence of God, understood as a necessarily existent, personal, spiritual being; thus anyone who grants that there are laws of logic should also accept that there is a God. We argue that if our most natural intuitions about them are correct, and if they are to play the role in our intellectual activities that we take (...) them to play, then the laws of logic are best construed as necessarily existent thoughts -- more specifically, as divine thoughts about divine thoughts. We conclude by highlighting some implications for both theistic arguments and antitheistic arguments. (shrink)

This is the third volume in Alvin Plantinga's trilogy on the notion of warrant, which he defines as that which distinguishes knowledge from true belief. In this volume, Plantinga examines warrant's role in theistic belief, tackling the questions of whether it is rational, reasonable, justifiable, and warranted to accept Christian belief and whether there is something epistemically unacceptable in doing so. He contends that Christian beliefs are warranted to the extent that they are formed by properly functioning cognitive faculties, thus, (...) insofar as they are warranted, Christian beliefs are knowledge if they are true. (shrink)

A theory of analogy must describe how the meaning of an analogy is derived from the meanings of its parts. In the structure‐mapping theory, the interpretation rules are characterized as implicit rules for mapping knowledge about a base domain into a target domain. Two important features of the theory are (a) the rules depend only on syntactic properties of the knowledge representation, and not on the specific content of the domains; and (b) the theoretical framework allows analogies to be distinguished (...) cleanly from literal similarity statements, applications of abstractions, and other kinds of comparisons.Two mapping principles are described: (a) Relations between objects, rather than attributes of objects, are mapped from base to target; and (b) The particular relations mapped are determined by systematicity, as defined by the existence of higher‐order relations. (shrink)

Richard Swinburne offers an original treatment of a question at the heart of epistemology: what makes a belief rational, or justified in holding? He maps the rival accounts of philosophers on epistemic justification ("internalist" and "externalist"), arguing that they are really accounts of different concepts. He distinguishes between synchronic justification (justification at a time) and diachronic justification (synchronic justification resulting from adequate investigation)--both internalist and externalist. He also argues that most kinds of justification are worth having because they are indicative (...) of truth; however, it is only justification of internalist kinds that can guide a believer's actions. Swinburne goes on to show the usefulness of the probability calculus in elucidating how empirical evidence makes beliefs probably true. (shrink)

Paul Boghossian defends a meaning‐based approach to the apriority of the propositions of logic. His model is based on the idea that the logical constants are implicitly defined by some of the axioms and inference rules in which they are involved, thereby offering an alternative to those theories that deny that grasp of meaning can contribute to the explanation of a thinker's entitlement to a particular type of transition or belief.

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.

Does traditional Christianity involve paradoxical doctrines, that is, doctrines that present the appearance (at least) of logical inconsistency? If so, what is the nature of these paradoxes and why do they arise? What is the relationship between "paradox" and "mystery" in theological theorizing? And what are the implications for the rationality, or otherwise, of orthodox Christian beliefs? In Paradox in Christian Theology, James Anderson argues that the doctrines of the Trinity and the incarnation, as derived from Scripture and formulated in (...) the ecumenical creeds, are indeed paradoxical. But this conclusion, he contends, need not imply that Christians who believe these doctrines are irrational in doing so. In support of this claim, Anderson develops and defends a model of understanding paradoxical Christian doctrines according to which the presence of such doctrines is unsurprising and adherence to paradoxical doctrines cannot be considered as a serious intellectual obstacle to belief in Christianity. The case presented in this book has significant implications for the practice of systematic theology, biblical exegesis, and Christian apologetics. (shrink)

The classic study, which establishes a sound theological base for the future of philosophical science.

According to the naive theory of vagueness, the vagueness of an expression consists in the existence of both positive and negative cases of application of the expression and in the non- existence of a sharp cut-off point between them. The sorites paradox shows the naive theory to be inconsistent in most logics proposed for a vague language. The paper explores the prospects of saving the naive theory by revising the logic in a novel way, placing principled restrictions on the transitivity (...) of the consequence relation. A lattice-theoretical framework for a whole family of “tolerant logics” is proposed and developed. Particular care is devoted to the relation between the salient features of the formal apparatus and the informal logical and semantic notions they are supposed to model. A suitable non-transitive counterpart to classical logic is defined. Some of its properties are studied, and it is eventually shown how an appropriate regimentation of the naive theory of vagueness is consistent in such a logic. (shrink)

Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.

Of the dozens of purported solutions to the liar paradox published in the past fifty years, the vast majority are "traditional" in the sense that they reject one of the premises or inference rules that are used to derive the paradoxical conclusion. Over the years, however, several philosophers have developed an alternative to the traditional approaches; according to them, our very competence with the concept of truth leads us to accept that the reasoning used to derive the paradox is sound. (...) That is, our conceptual competence leads us into inconsistency. I call this alternative the inconsistency approach to the liar. Although this approach has many positive features, I argue that several of the well-developed versions of it that have appeared recently are unacceptable. In particular, they do not recognize that if truth is an inconsistent concept, then we should replace it with new concepts that do the work of truth without giving rise to paradoxes. I outline an inconsistency approach to the liar paradox that satisfies this condition. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

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)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

This paper considers the question: what becomes of the notion of a logic as a way of codifying valid arguments when the customary assumption is dropped that the premisses and conclusions of these arguments are statements from some single language? An elegant treatment of the notion of a logic, when this assumption is in force, is that provided by Dana Scott's theory of consequence relations; this treatment is appropriately generalized in the present paper to the case where we do not (...) make this assumption of linguistic homogeneity. Several applications of the resulting concept of a heterogeneous logic are suggested, but the main emphasis is on the formal development. One topic touched on is a certain contrast between the boolean and the intensional sentence-connectives in this more general setting. (shrink)

Introduction to this special issue of The Australasian Journal of Logic.

Logic isn’t special. Its theories are continuous with science; its method continuous with scientific method. Logic isn’t a priori, nor are its truths analytic truths. Logical theories are revisable, and if they are revised, they are revised on the same grounds as scientific theories. These are the tenets of anti-exceptionalism about logic. The position is most famously defended by Quine, but has more recent advocates in Maddy, Priest, Russell, and Williamson. Although these authors agree on many methodological issues about logic, (...) they disagree about which logic anti-exceptionalism supports. Williamson uses an anti-exceptionalist argument to defend classical logic, while Priest claims that his anti-exceptionalism supports nonclassical logic. This paper argues that the disagreement is due to a difference in how the parties understand logical theories. Once we reject Williamson’s deflationary account of logical theories, the argument for classical logic is undercut. Instead an alternative account of logical theories is offered, on which logical pluralism is a plausible supplement to anti-exceptionalism. (shrink)

In Part One Paul Helm provides a general discussion of these themes, seeking both to contextualize the debate and to engage with contemporary philosophical discussion of the relation between faith, reason and understanding. Part Two contains five case studies that illustrate the work of seminal figures in the tradition. They include treatments of Augustine on time and creation, Anselm on the ontological argument and the necessity of the atonement, Jonathan Edwards on the nature of personal identity and John Calvin and (...) the ’sensus divinitatis’, focusing on the way in which Calvin has been appealed to by contemporary reformed epistemology. (shrink)

Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept, and proposes a detailed theory of inconsistent concepts that can be applied to the case of truth. Truth also happens to be a useful concept, but its inconsistency inhibits its utility; as such, it should be replaced with consistent concepts that can (...) do truth's job without giving rise to paradoxes. To this end, Scharp offers a pair of replacements, which he dubs ascending truth and descending truth, along with an axiomatic theory of them and a new kind of possible-worlds semantics for this theory. He goes to develop Davidson's idea that truth is best understood as the core of a measurement system for rational phenomena, and offers a semantic theory that treats truth predicates as assessment-sensitive and solves the problems posed by the liar and other paradoxes. (shrink)

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

Logical pluralism is the view that different logics are equally appropriate, or equally correct. Logical relativism is a pluralism according to which validity and logical consequence are relative to something. Stewart Shapiro explores various such views. He argues that the question of meaning shift is itself context-sensitive and interest-relative.

Philosophy in the English-speaking world is dominated by analytic approaches to its problems and projects; but theology has been dominated by alternative approaches. Many would say that the current state in theology is not mere historical accident, but is, rather, how things ought to be. On the other hand, many others would say precisely the opposite: that theology as a discipline has been beguiled and taken captive by 'continental' approaches, and that the effects on the discipline have been largely deleterious. (...) The methodological divide between systematic theologians and analytic philosophers of religion is ripe for exploration. The present volume represents an attempt to begin a much-needed interdisciplinary conversation about the value of analytic philosophical approaches to theological topics. Most of the essays herein are sympathetic toward the enterprise the editors are calling analytic theology; but, with an eye toward balance, the volume also includes essays and an introduction that try to offer more critical perspectives on analytic theology. (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.

One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural languages do (...) not determine genuine logical consequence relations. We can get from natural language semantics to logical consequence, but only by a significant process of identification of logical constants, abstraction, and idealization. The chapter also discusses different approaches to the nature of logical consequence, and examines which allow logic and natural language to come closer together. (shrink)

A common response to those who question the Law of Non-Contradiction is that it is impossible to debate such a fundamental law of logic. The reasons for this response vary, but what seems to underlie them is the thought that there is a minimal set of logical resources without which rational debate is impossible. This chapter argues that this response is misguided. First, it defends non-apriorism in logic: the view that logic is in the same epistemic boat as other scientific (...) theories. It then offers an account of logical theory change in terms of this epistemology. The LNC is discussed in terms of this account of logical theory change, and it is shown that rational debate over this law can, and does, proceed. Finally, arguments for and against the LNC are discussed, and how and where non-a priori considerations arise in these arguments are illustrated. (shrink)

A new solution to the liar paradox is developed using the insight that it is illegitimate to even suppose (let alone assert) that a liar sentence has a truth-status (true or not) on the grounds that supposing this sentence to be true/not-true essentially defeats the telos of supposition in a readily identifiable way. On that basis, the paradox is blocked by restricting the Rule of Assumptions in Gentzen-style presentations of the sequent-calculus. The lesson of the liar is that not all (...) assumptions are for free. One merit of this proposal is that it is free from the revenge problem. (shrink)