A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more (...) recent and popular heterodox logics such as naïve logics of truth. I use this discussion to motivate a constraint—logical partisanhood—on the uses of such methodology: roughly: both the proposed alternative and our actual background logic must be able to agree that moving to the alternative logic is no worse than staying put. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

While anti-exceptionalism about logic is now a popular topic within the philosophy of logic, there’s still a lack of clarity over what the proposal amounts to. currently, it is most common to conceive of AEL as the proposal that logic is continuous with the sciences. Yet, as we show here, this conception of AEL is unhelpful due to both its lack of precision, and its distortion of the current debates. Rather, AEL is better understood as the rejection of certain traditional (...) properties of logic. The picture that results is not of one singular position, but rather a cluster of often connected positions with distinct motivations, understood in terms of their rejection of clusters of the various traditional properties. In order to show the fruitfulness of this new conception of AEL, we distinguish between two prominent versions of the position, metaphysical and epistemological AEL, and show how the two positions need not stand or fall together. (shrink)

Ian Rumfitt has argued that rational adjudication against classical logic in quantum mechanics is not only unnecessary, but impossible as well. This paper explains why his argument fails.

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of the semantics, this (...) analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)

An influential proposal is that knowledge involves safe belief. A belief is safe, in the relevant sense, just in case it is true in nearby metaphysically possible worlds. In this paper, I introduce a distinct but complementary notion of safety, understood in terms of epistemically possible worlds. The main aim, in doing so, is to add to the epistemologist’s tool-kit. To demonstrate the usefulness of the tool, I use it to advance and assess substantive proposals concerning knowledge and justification.

It has become commonplace to distinguish enumerative theories of welfare, which tell us which things are good for us, from explanatory theories, which tell us why the things that are good for us have that status. It has also been claimed that while hedonism and objective list theories are enumerative but not explanatory, desire satisfactionism is explanatory but not enumerative. In this paper, I argue that this is mistaken. When properly understood, every major theory of welfare is both enumerative and (...) explanatory. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

The aim of this paper is to present a topological method for constructing discretizations of topological conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. The aim of this paper is to show that Alexandroff spaces, as they are called today, have many interesting properties that can be used to explicate and clarify a variety of problems in philosophy, cognitive science, and related disciplines. For instance, recently, (...) Ian Rumfitt used a special type of Alexandroff spaces to elucidate the logic of vague concepts in a new way. Moreover, Rumfitt’s class of Alexandroff spaces can be shown to provide a natural topological semantics for Susanne Bobzien’s “logic of clearness”. Mainly due to the work of Peter Gärdenfors and his collaborators, conceptual spaces have become an increasingly popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy. For Gärdenfors’s conceptual spaces, geometrically defined discretizations play an essential role. These tessellations can be shown to be extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces in general. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. The main aim of this paper is to show that this class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Weakly scattered Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox. Further, they provide a semantics for the logic of clearness that overcomes certain problems of the concept of higher-order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The specialization order of Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and non-prototypical stimuli in favor of a gradual distinction between more or less prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem”. Finally, it is shown that the Alexandroff spaces offer an appropriate framework to deal with digital conceptual spaces that are gaining more and more importance in the areas of artificial intelligence, computer science and related disciplines. (shrink)

A novel solution to the knowability paradox is proposed based on Kant’s transcendental epistemology. The ‘paradox’ refers to a simple argument from the moderate claim that all truths are knowable to the extreme claim that all truths are known. It is significant because anti-realists have wanted to maintain knowability but reject omniscience. The core of the proposed solution is to concede realism about epistemic statements while maintaining anti-realism about non-epistemic statements. Transcendental epistemology supports such a view by providing for a (...) sharp distinction between how we come to understand and apply epistemic versus non-epistemic concepts, the former through our capacity for a special kind of reflective self-knowledge Kant calls ‘transcendental apperception’. The proposal is a version of restriction strategy: it solves the paradox by restricting the anti-realist’s knowability principle. Restriction strategies have been a common response to the paradox but previous versions face serious difficulties: either they result in a knowability principle too weak to do the work anti-realists want it to, or they succumb to modified forms of the paradox, or they are ad hoc. It is argued that restricting knowability to non-epistemic statements by conceding realism about epistemic statements avoids all versions of the paradox, leaves enough for the anti-realist attack on classical logic, and, with the help of transcendental epistemology, is principled in a way that remains compatible with a thoroughly anti-realist outlook. (shrink)

This paper overviews some recent work on the semantics and pragmatics of arguments.

I argue for an analysis of ‘therefore’ as presupposition trigger against the more standard conventional implicature story originally put forward by Grice (1975). I propose that we model the relevant presupposition as “testing” the context in a way that is similar to how, according to some dynamic treatments of epistemic `must', ‘must’ tests the context. But whereas the presupposition analysis is plausible for ‘therefore’, ‘must’ is not plausibly a presupposition trigger. Moreover, whereas ‘must’ can naturally occur under a supposition, the (...) same is not true for ‘therefore’. In the light of these differences, I suggest we distinguish between different sorts of tests on the basis of the mechanisms whereby these expressions test the context (whether through a presupposition or through their core content) and on the basis of whether they can operate only on categorical contexts or on both categorical and hypothetical contexts. (shrink)

Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...) so-called paradoxes of higher-order vagueness. We offer a proposal that makes strides on both issues. We argue that the intuitionist’s characteristic rejection of any third alethic value alongside true and false is best elaborated by taking the normal modal system S4M to be the sentential logic of the operator ‘it is clearly the case that’. S4M opens the way to an account of higher-order vagueness which avoids the paradoxes that have been thought to infect the notion. S4M is one of the modal counterparts of the intuitionistic sentential calculus and we use this fact to explain why IPC is the correct sentential logic to use when reasoning with vague statements. We also show that our key results go through in an intuitionistic version of S4M. Finally, we deploy our analysis to reply to Timothy Williamson’s objections to intuitionistic treatments of vagueness. (shrink)

Abstract. Gettier’s famous examples intended to show that knowledge cannot always be equated with justified true belief. The Gettier problem can also be considered as a problem for topological epistemic logic: If knowledge and justified belief are conceived as topological operators K and B on topological spaces (to be considered as universes of possible worlds), one may ask whether it happens that there is a proposition A such that KA ≠ A & BA or not. If this is the case, (...) the epistemological logic defined by the topological operators K and B may be said to be non-traditional since there is for them a “Gettier proposition” where knowledge does not coincide with justified true belief. As far as we know, for the first time, this topological Gettier problem is discussed in Steinvold’s PhD dissertation (Steinsvold 2012). In Baltag, Bezhanishvili, Özgün, and Smets (2013), Steinvold’s co-derived set account is criticized since it can be easily “Gettierized”. Baltag et alii claim (without proof) that their topological account of Stalnaker’s logic KB of knowledge and belief does not have this flaw. In the following we will give some topological conditions that determine whether a topological KB model does or does not cope with the Gettier challenge. First, it will be shown that every KB model defines a (topologically slightly simplified) model that is rather similar to it but a is a model of traditional JTB (knowledge = justified true belief) logic of knowledge and belief. The existence of such doppelgangers of all KB models may be read as a qualified and partial topological rehabilitation of traditional JTB epistemology. Second, we consider the Gettier problem for a special class of models of Stalnaker’s combined logic of knowledge and belief KB, namely, for T0 Alexandroff spaces. We prove that, that almost all Alexandroff spaces do not face Gettier counterexamples. Third, we prove that the Stone spaces of Boolean algebras of regular closed subsets of Hausdorff (or T2) spaces X do not face Gettier counterexamples if the X are not pseu–docompact, and these Stone spaces do face Gettier counterexamples for compact spaces X. Succinctly formulated, Stalnaker’s KB logic of knowledge and belief can avoid Gettier problems for some models, while it falls back to traditional pre-Gettier JTB epistemology for other models. In contrast, co-derived set semantics is doomed to fail always in the sense that its models always fall prey to Gettier counterexamples. (shrink)

Anti-exceptionalism about logic takes logical theories to be continuous with scientific theories. Scientific theories are subject to criteria of theoretical equivalence. This article compares two types of theoretical equivalence – one syntactic and one semantic – in the context of logical anti-exceptionalism, and argues that the syntactic approach leads to undesirable consequences. The anti-exceptionalist should therefore take a semantic approach when evaluating whether logical theories, understood as scientific theories, are equivalent. This article argues for a particular semantic approach, in terms (...) of categorical equivalence, to determine whether logical theories are equivalent. (shrink)

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

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

Typically, a logic consists of a formal or informal language together with a deductive system and/or a model-theoretic semantics. The language is, or corresponds to, a part of a natural language like English or Greek. The deductive system is to capture, codify, or simply record which inferences are correct for the given language, and the semantics is to capture, codify, or record the meanings, or truth-conditions, or possible truth conditions, for at least part of the language.

Recently, a cottage industry has formed with the goal of analyzing reasoning. The relevant notion of reasoning in which philosophers are expressly interested is fixed through an epistemic functional description: reasoning—whatever it is—is our personal-level, rationally evaluable means of meeting our rational requirements through managing and updating our attitudes. Roughly, the dominant view in the extant literature as developed by Paul Boghossian, John Broome, and others is that reasoning is a rule-governed operation over propositional attitudes that results in a change (...) in attitude. In this paper, I argue that our personal-level operations over mental models and visuospatial imagery, which are representations in a non-propositional/analogue format, can be rationally evaluable processes of managing our attitudes and, thus, should be considered reasoning in the relevant sense. Furthermore, I show that if reasoning can occur through operations over mental models and imagery, then the dominant rule-following account mischaracterizes the cognitive operations and representational states assumed to be constitutive of reasoning and what grounds the rational status of a line of reasoning. (shrink)

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...) Level Theory, as developed in Part 1. (shrink)

This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.

In The Boundary Stones of Thought, Rumfitt defends classical logic against challenges from intuitionistic mathematics and vagueness, using a semantics of pre-topologies on possibilities, and a topological semantics on predicates, respectively. These semantics are suggestive but the characterizations of negation face difficulties that may undermine their usefulness in Rumfitt’s project.

We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...) formal definition, and acknowledge limitations and borderline cases. Throughout we show how awareness of the two stances suggests new logical systems and new issues about translations between implicit and explicit systems, linking up with foundational concerns about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one design stance and ignoring alternative ones. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

_ doi:10.1093/analys/anx072 _, published: 27 June 2017.

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the notion of “same meaning” (...) is itself context-sensitive, depending on the purposes of a given conversation. (shrink)

We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...) formal definition, and acknowledge limitations and borderline cases. Throughout we show how awareness of the two stances suggests new logical systems and new issues about translations between implicit and explicit systems, linking up with foundational concerns about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one design stance and ignoring alternative ones. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. (shrink)

This thesis brings together two concerns. The first is the nature of inference—what it is to infer—where inference is understood as a distinctive kind of conscious and self-conscious occurrence. The second concern is the possibility of doxastic agency. To be capable of doxastic agency is to be such that one is capable of directly exercising agency over one’s beliefs. It is to be capable of exercising agency over one’s beliefs in a way which does not amount to mere self-manipulation. Subjects (...) who can exercise doxastic agency can settle questions for themselves. A challenge to the possibility of doxastic agency stems from the fact that we cannot believe or come to believe “at will”, where this in turn seems to be so because belief “aims at truth”. It must be explained how we are capable of doxastic agency despite that we cannot believe or come to believe at will. On the orthodox ‘causalist’ conception of inference for an inference to occur is for one act of acceptance to cause another in some specifiable “right way”. This conception of inference prevents its advocates from adequately seeing how reasoning could be a means to exercise doxastic agency, as it is natural to think it is. Suppose, for instance, that one reasons and concludes by inferring where one’s inference yields belief in what one infers. Such an inference cannot be performed at will. We cannot infer at will when inference yields belief any more than we can believe or come to believe at will. When it comes to understanding the extent to which one could be exercising agency in such a case the causalist conception of inference suggests that we must look to the causal history of one’s concluding act of acceptance, the nature of the act’s being determined by the way in which it is caused. What results is a picture on which such reasoning as a whole cannot be action. We are at best capable of actions of a kind which lead causally to belief fixation through “mental ballistics”. The causalist account of inference, I argue, is in fact either inadequate or unmotivated. It either fails to accommodate the self-consciousness of inference or is not best placed to play the very explanatory role which it is put forward to play. On the alternative I develop when one infers one’s inference is the conscious event which is one’s act of accepting that which one is inferring. The act’s being an inference is determined, not by the way it is caused, but by the self-knowledge which it constitutively involves. This corrected understanding of inference renders the move from the challenge to the possibility of doxastic agency to the above ballistics picture no longer tempting. It also yields an account of how we are capable of exercising doxastic agency by reasoning despite being unable to believe or come to believe at will. In order to see how such reasoning could amount to the exercise of doxastic agency it needs to be conceived of appropriately. I suggest that paradigm reasoning which potentially amounts the exercise of doxastic agency ought to be conceived of as primarily epistemic agency—agency the aim of which is knowledge. With inference conceived as suggested, I argue, it can be seen how to engage in such reasoning can just be to successfully exercise such agency. (shrink)

In this paper, I develop a view on set-theoretic ontology I call Universe-Indeterminism, according to which there is a unique but indeterminate universe of sets. I argue that Solomon Feferman’s work on semi-constructive set theories can be adapted to this project, and develop a philosophical motivation for a semi-constructive set theory closely based on Feferman’s but tailored to the Universe-Indeterminist’s viewpoint. I also compare the emergent Universe-Indeterminist view to some more familiar views on set-theoretic ontology.

This essay advances and develops a dynamic conception of inference rules and uses it to reexamine a long-standing problem about logical inference raised by Lewis Carroll’s regress.

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

There is no interesting entailment either way between theism and various forms of realism. Taking its cue from Dummett's characterisation of realism and his discussion of it with respect to theistic belief, this paper argues both that theism does not follow from realism, and that God cannot be appealed to in order to secure bivalence for an otherwise indeterminate subject matter. In both cases, significant appeal is made to the position that God is not a language user, which in turn (...) is motivated by an account of understanding as aptitude possession. The resulting picture sits comfortably with the apophatism common within living religious traditions and with the view that the philosophy of religion ought to reorientate itself away from metaphysics towards more practical questions. (shrink)

Even if you believe just what you rationally ought to believe, you may be open to rational criticism if you do so ‘for the wrong reasons’, as we say. Some have thought that this familiar observation supports the idea that there are diachronic norms of epistemic rationality – namely, norms of good reasoning. Partly drawing upon Carroll's story of Achilles and the Tortoise, this article criticises this line of thought on the grounds that it rests on a mistaken conception of (...) inference. (shrink)

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

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study and extend the pessimistic morals to modern (...) systems of non-classical logic. Finally, I propose a more lax conception of normativty: there is a connection between logical assessment in the broad sense (as sanctioned by the notion of cogency) and the evaluation and criticism of reasoning. (shrink)

I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.

It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.

In this paper, I argue that the disjunction elimination rule presupposes the principle that a true disjunction contains at least one true disjunct. However, in some contexts such as supervaluationism or quantum logic, we have good reasons to reject this principle. Hence, disjunction elimination is restricted in at least one respect: it is not applicable to disjunctions for which this principle does not hold. The insight that disjunction elimination presupposes the principle that a true disjunction contains at least one true (...) disjunct is applied to two arguments which argue for this very principle. I show that these arguments are rule-circular since they rest on disjunction elimination. I claim that rule-circularity better explains why the arguments fail than the explanations provided by Rumfitt (2015), which, for instance, rely on controversial principles about truth. (shrink)

There is no interesting entailment either way between theism and various forms of realism. Taking its cue from Dummett’s characterisation of realism and his discussion of it with respect to theistic belief, this paper argues both that theism does not follow from realism, and that God cannot be appealed to in order to secure bivalence for an otherwise indeterminate subject matter. In both cases, significant appeal is made to the position that God is not a language user, which in turn (...) is motivated by an account of understanding as aptitude possession. The resulting picture sits comfortably with the apophatism common within living religious traditions and with the view that the philosophy of religion ought to reorientate itself away from metaphysics towards more practical questions. (shrink)

In his essay ‘“Wang’s Paradox”’, Crispin Wright proposes a solution to the Sorites Paradox (in particular, the form of it he calls the ‘Paradox of Sharp Boundaries’) that involves adopting intuitionistic logic when reasoning with vague predicates. He does not give a semantic theory which accounts for the validity of intuitionistic logic (and the invalidity of stronger logics) in that area. The present essay tentatively makes good the deficiency. By applying a theorem of Tarski, it shows that intuitionistic logic is (...) the strongest logic that may be applied, given certain semantic assumptions about vague predicates. The essay ends with an inconclusive discussion of whether those semantic assumptions should be accepted. (shrink)

Enumeration and explanation in theories of welfare, Analysis, doi.org/10.1093/analys/anx035, published 13 April 2017.

In this paper, I analyse the nature of a particular form of theoretical reasoning—ratiocination. Ratiocination is purposeful, self-conscious, deliberatively controlled reasoning. I will argue that ratiocination concludes when the ratiocinator believes that she ought to believe p. In Section 1, I suggest that the way a reasoner’s mind moves in ratiocination is different from the way her mind moves in non-ratiocinative reasoning. Such a difference should motivate an analysis that focuses just on ratiocination. In Section 2, I provide a general (...) characterisation of ratiocination and distinguish it from non-ratiocinative reasoning. I draw a distinction between non-deliberative rational control and deliberative rational control. I then argue that the ratiocinator always exercises the latter. Since theoretical reasoning is a norm-governed activity and since ratiocination involves deliberatively controlled reasoning, the ratiocinator necessarily tries to control her mental movements in a way that is in line with the normative requirements of this activity. In Section 3, I argue that ratiocination ends when the ratiocinator believes that she ought to believe p. I further explain the nature of the ‘ought’ in the ratiocinator’s belief that she ought to believe p. In Section 4, I address possible objections to the account on offer and explain why my account does not undermine our general understanding of the nature of theoretical reasoning. I explain that my claim is compatible with the claim that reasons to be rational are transparent to reasons to believe p. I also discuss why the ratiocinator’s belief that she ought to believe p is not an intermediate stage in ratiocination. Finally, I argue that ratiocination, as described, is compatible with the claim that belief is truth-governed. (shrink)