Quasi-realist expressivists have developed a growing liking for minimalism about truth. It has gone almost unnoticed, though, that minimalism also drives an anti-Archimedean movement which launches a direct attack on expressivists’ non-moral self-image by proclaiming that all metaethical positions are built on moral grounds. This interplay between expressivism, minimalism and anti-Archimedeanism makes for an intriguing metaethical encounter. As such, the first part of this dissertation examines expressivism’s marriage to minimalism and defends it against its critics. The second part then turns (...) to the anti-Archimedean challenge to expressivism and shows how to ward off this challenge by securing expressivism’s non-moral, metaethical status without having to abandon minimalism about truth. (shrink)

Experience, it is widely agreed, constrains our thinking and is also thoroughly theory-laden. But how can it constrain our thinking while depending on what it purports to constrain? To address this issue, I revisit and carefully analyze the account of observation provided by Norwood Russell Hanson, who introduced the term ‘theory-ladenness of observation’ in the first place. I show that Hanson’s account provides an original and coherent response to the initial question and argue that, if suitably developed, his account provides (...) a distinctive, powerful, and attractive alternative to relationalist and standard representationalist conceptions of experience. (shrink)

This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...) acts are not propositions; they do not have truth-values. Our formalization is related to the input/ output logics, a family of logics designed to capture relations between elements that need not have truth-values. In this paper, we introduce KL3 as a formalization of Kant’s conception of rules as conditional imperatives and permissives. We explain how it differs from standard input/output logics, geometric logic, and first-order logic, as well as how it translates natural language sentences not well captured by first-order logic. Finally, we show how the various distinctions in Kant’s much-maligned Table of Judgements emerge as the most natural way of dividing up the various types and sub-types of rule in KL3. Our analysis sheds new light on the way in which normative notions play a fundamental role in the conception of logic at the heart of Kant’s theoretical philosophy. (shrink)

Wittgenstein’s Investigations proposed an egalitarian view about language games, emphasizing their plurality (“language has no downtown”). Uses of words depend on the game one is playing, and may change when playing another. Furthermore, there is no privileged game dictating the rules for the others: games are as many as purposes. This view is pluralist and egalitarian, but it says little about the connection between meaning and use, and about how a set of rules is responsible for them in practice. Brandom’s (...) Making It Explicit attempted a straightforward answer to these questions, by developing Wittgensteinian insights: the primacy of social practice over meanings; the idea that meaning is use; the idea of rule–following to understand participation in social practices. Nonetheless, Brandom defended a non–Wittgensteinian conception of discursive practice: language has a “downtown”, the game of “giving and asking for reasons”. This is the idea of a normative structure of language, consisting of advancing claims and drawing inferences. By means of assertions, speakers undertake “commitments” that can be challenged/defended in terms of reasons (those successfully justified can gain “entitlement”). This game is not one among many: it is indispensable to the very idea of discursive practice. In this paper, my aim will be that of exploring the main motivations and implications of both perspectives. (shrink)

Counterpossibles are counterfactuals that involve some metaphysical impossibility. Modal normativism is a non-descriptivist account of metaphysical necessity and possibility according to which modal claims, e.g. ‘necessarily, all bachelors are unmarried’, do not function as descriptive claims about the modal nature of reality but function as normative illustrations of constitutive rules and permissions that govern the use of ordinary non-modal vocabulary, e.g. ‘bachelor’. In this paper, I assume modal normativism and develop a novel account of counterpossibles and claims about metaphysical similarity (...) between possible and impossible worlds. I argue that considerations of metaphysical similarity between various impossible worlds and the actual world only require us to tacitly consider how the actual constitutive rules that govern the use of our terms change in order to accommodate the description of some hypothetical impossible scenario. I then argue for my account by raising worries for alternative epistemic and realist accounts of counterpossibles and showing how my account avoids those worries. (shrink)

Logical pluralists are committed to the idea of a neutral metalanguage, which serves as a framework for debates in logic. Two versions of this neutrality can be found in the literature: an agreed upon collection of inferences, and a metalanguage that is neutral as such. I discuss both versions and show that they are not immune to Quinean criticism, which builds on the notion of meaning. In particular, I show that the first version of neutrality is sub-optimal, and hard to (...) reconcile with the theories of meaning for logical constants, and the second version collapses mathematically, if rival logics, as object languages, are treated with charity in the metalanguage. I substantiate by proving a collapse theorem that generalizes familiar results. Thus, the existence of a neutral metalanguage cannot be taken for granted, and meaning-invariant logical pluralism might turn out to be dubious. (shrink)

Explanation is asymmetric: if A explains B, then B does not explain A. Tradition- ally, the asymmetry of explanation was thought to favor causal accounts of explanation over their rivals, such as those that take explanations to be inferences. In this paper, we develop a new inferential approach to explanation that outperforms causal approaches in accounting for the asymmetry of explanation.

According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...) the expressive role of vocabulary by which we ascribe logical relations. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

This article suggests reasons why Donald Davidson’s work in philosophy of mind and metaphysics can be identified as Spinozist and also explores the significance of using proper names from the history of philosophy to describe contemporary projects. It argues that what makes Davidson’s work Spinozist is not just its internal features, but the role it occupies in relation to other positions identified as Kantian and Hegelian in today’s philosophical terrain. Finally, it suggests that the core animus at the heart of (...) Davidson’s Spinozism is its indifference to autonomy as a concept in need of metaphysical grounding or essential to normative commitment. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This article analyzes whether Brandom’s ISA (inferential-substitutional-anaphoric) semantics as presented in Making It Explicit (MIE) and Articulating Reasons (AR) can cope with problems resulting from inferentialism’s near-implied meaning holism. Inferentialism and meaning holism entail a radically perspectival conception of content as significance for an individual speaker. Since thereby its basis is fixed as idiolects, holistic inferentialism engenders a communication-problem. Brandom considers the systematic difference in information among individuals as the „point“ of communication and thus doesn’t want to diminish these effects (...) of inferentialism. Instead, explains communication with a model of “navigating among perspectives without sharing contents”. The crucial element in this navigation-model is the functioning of anaphoric connections between tokens uttered in discourse that can be used by every individual speaker in their own perspectival semantic substitution-economies. The heart of Brandom’s semantics is the thesis of the purely inferential, hence non-referential nature of anaphora, coupled with the claim that anaphoric-inferential semantic mechanisms yield sufficient conditions for mutually successful “information-extraction” or interpretation. This article disputes the thesis and denies the claim. Regarding the former it is observed that all of Brandom’s plausible reconstructions of anaphoric discourse-structures rely on covert “reference-infiltrations” that can’t be eliminated. Regarding the latter, a new argument based on context-sensitive semantic phenomena in anaphoric settings shows that the crucial distinction between initiator or anaphoric antecedent and anaphoric dependent cannot be drawn according to Brandom’s own premises without overt and irreducible referential premises. The article concludes that either Brandom’s semantics can offer determinate contents, but then must accept genuinely referential semantic primitives, or else it leaves utterance-contents undeterminable and hence cannot explain communication. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, but (...) for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)

One of the reasons colours, or better the conceptual organisation of the colour system, could be relevant to the philosophy of logic is that they necessitate some mutilation of truth tables by restricting truth functionality. This paper argues that the so-called ‘Colour Exclusion Problem’, the first great challenge for Wittgenstein’s Tractatus, is a legitimate philosophical motivation for a systematic mutilation of truth tables. It shows how one can express, through these mutilations, some intensional logical relations usually expressed by the Aristotelian (...) Square of Oppositions, as contrariety and subcontrariety. (shrink)

According to recent suggestions within the global pragmatism discussion, metaethical debate must be fundamentally re-framed. Instead of carving out metaethical differences in representational terms, it has been argued that metaethics should be given an inferentialist footing. In this paper, I put inferentialist metaethics to the test by subjecting it to the following two criteria for success: Inferentialist metaethicists must be able to save the metaethical differences between moral realism and expressivism, and do so in a way that employs understandings of (...) these metaethical accounts which would be acceptable to moral realists or expressivists who endorse an inferentialist theory of meaning. Two results follow from my discussion. The first concerns inferentialist metaethics more narrowly, casting doubts on inferentialists’ ability to fulfil the two criteria for success by showing that proposed metaethical demarcation attempts either meet the first criterion but violate the second, or pass the second criterion but fail the first. The second upshot pertains to the global pragmatism debate more widely, pressing the point that inferentialists have not as yet provided a convincing account of ontological commitment. (shrink)

Robert Brandom holds that what we mean is best understood in terms of what inferences we are prepared to defend, and that such a defence is best understood in terms of rule-governed social interactions. This manages to explain quite a lot. However, for those who think that there is more to making correct/incorrect inferences than obeying/breaking accepted rules, Brandom’s account fails to adequately capture what it means to reason properly. Thus, in an effort to sketch an alternative that does not (...) rely primarily on peer pressure, I draw on the work of C. S. Peirce. Peirce argued that, when we reason, we manipulate abstract diagrams in order to observe what results. Since some manipulations are barred by the self-same nature of the diagrams, I try to show that this qualitative incompatibility, which I dub “contrapiction,” is a good reason to regard some reasoning as bad. (shrink)

In his program of analytic pragmatism, Robert Brandom has presented a thoroughgoing reinterpretation of the place of analytic philosophy in the history of philosophy by linking his own non-representational ‘inferentialist’ approach to semantics to the rationalist – idealist tradition, and in particular, to Hegel. Brandom, however, has not been without his critics in regard to both his approach to semantics and his interpretation of Hegel. Here I single out four interlinked problematic areas facing Brandom's inferentialist semantics – his approach of (...) perceptual content, to de re attitudes, to perceptual experience and to modality, and then go on to contrast the different approach to these issues that is found in Hegel. While Hegel can helpfully be understood as anticipating an inferentialist semantics as Brandom claims, his is a weak inferentialism in contrast to Brandom's strong version. With his weakly inferentialist approach Hegel can, I suggest, be seen as providing a solution to the tangle of problems.. (shrink)

Robert Brandom’s normative-pragmatic theory is intended to represent the minimal set of practical abilities whose exhibition qualifies creatures as speaking a language. His model of a minimally discursive practice (MDP) is one in which participants, devoid of logical vocabulary, are only capable of making assertions and drawing inferences. This paper argues that Brandom’s purely assertional practices are not MDPs and that speech acts of asking questions (queries) must be included in any practice that counts as an MDP. The upshot of (...) the argument is support for the claim that the normative pragmatic analysis of assertions requires a corresponding analysis of queries and vice versa. (shrink)

Clear statements of both extended and enactive conceptions of cognition can be found in John Dewey and other pragmatists. In this paper I'll argue that we can find resources in the pragmatists to address two ongoing debates: in contrast to recent disagreements between proponents of extended vs enactive cognition, pragmatism supports a more integrative view—an enactive conception of extended cognition, and pragmatist views suggest ways to answer the main objections raised against extended and enactive conceptions—specifically objections focused on constitution versus (...) causal factors, and the mark of the mental. (shrink)

This note comments on the paper ‘Dialogue protocols for formal fallacies’ by Kacprzak and Yaskorska (this issue). Points discussed include the use of the notions of ‘claiming’, ‘conceding’ and ‘commitment’, and the role of Lorenzen dialogues as a device for checking whether a proposition is a tautology.

In this paper, we first review recent arguments about the direct perception of the intentions and emotions of others, emphasizing the role of embodied interaction. We then consider a possible objection to the direct perception hypothesis from social psychology, related to phenomena like ‘dehumanization’ and ‘implicit racial bias’, which manifest themselves on a basic bodily level. On the background of such data, one might object that social perception cannot be direct since it depends on and can in fact be interrupted (...) by a set of cultural beliefs. We argue, however, that far from threatening the idea of direct perception, these findings clearly contradict the idea of hardwired theory of mind modules. More generally, we suggest that in order to further the understanding of social cognition we must take seriously insights about in-group and out-group distinctions and related phenomena, all of which are currently neglected in the mainstream social cognition literature. (shrink)

This paper examines the pressures leading two very different Early Modern philosophers, Descartes and Locke, to invoke two ways in which thought is directed at objects. According to both philosophers, I argue, the same idea can simultaneously count as “of” two different objects—in two different senses of the phrase ‘idea of’. One kind of intentional directedness is invoked in answering the question What is it to think that thus-and-so? The other kind is invoked in answering the question What accounts for (...) the success of our proper methods of inquiry? For Descartes as well as Locke, the two kinds of “ofness” come apart as a result of strong rationalist commitments. However, I will suggest that even if we reject such commitments, we go wrong if we assume that a single kind of intentional directedness suffices to address both questions. (shrink)

Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...) to which the issues at stake are ‘conceptualized’. We argue here that once all the conditions needed for deliberation to bring about single-peakedness through meta-agreement are unpacked and made explicit, meta-agreement turns out to be a highly demanding condition, and one that is very inhospitable to pluralism. (shrink)

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and evaluates different (...) ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

This paper aims to develop the implications of logical expressivism for a theory of dialogue coherence. I proceed in three steps. Firstly, certain structural properties of cooperative dialogue are identified. Secondly, I describe a variant of the multi-agent natural deduction calculus that I introduced in Piwek (J Logic Lang Inf 16(4):403–421, 2007 ) and demonstrate how it accounts for the aforementioned structures. Thirdly, I examine how the aforementioned system can be used to formalise an expressivist account of logical vocabulary that (...) is inspired by Brandom (Making it explicit: reasoning, representing, and discursive commitment, 1994 ; Articulating reasons: an introduction to inferentialism, 2000 ). This account conceives of the logical vocabulary as a tool which allows speakers to describe the inferential practices which underlie their language use, i.e., it allows them to make those practices explicit. The rewards of this exercise are twofold: (1) We obtain a more precise account of logical expressivism which can be defended more effectively against the critique that such accounts lead to cultural relativism. (2) The formalised distinction between engaging in a practice and expressing it, opens the way for a revision of the theory of dialogue coherence. This revision eliminates the need for logically complex formulae to account for certain structural properties of cooperative dialogue. (shrink)

According to a standard criticism, Robert Brandom's “normative pragmatics”, i.e. his attempt to explain normative statuses in terms of practical attitudes, faces a dilemma. If practical attitudes and their interactions are specified in purely non-normative terms, then they underdetermine normative statuses; but if normative terms are allowed into the account, then the account becomes viciously circular. This paper argues that there is no dilemma, because the feared circularity is not vicious. While normative claims do exhibit their respective authors' practical attitudes (...) and thereby contribute towards establishing the normative statuses they are about, this circularity is not a mark of Brandom's explanatory strategy but a feature of social practice of which we theorists partake. (shrink)

Can we base the whole of logic solely on the concept of incompatibility? My motivation for asking this is two-fold: firstly, a technical interest in what a minimal foundations of logic might be; and secondly, the existence of philosophers who have taken incompatibility as the ultimate key to human reason (viz., e.g., Hegel's concept of determinate negation). The main aim of this contribution is to tackle two related questions: Is it possible to reduce the foundations of logic to the mere (...) concept of incompatibility? and Does this reduction lead us to a specific logical system? We conclude that the answers, respectively, are YES and a qualified NO (qualified in the sense that basing semantics on incompatibility does make some logical systems more natural than others, but without ruling out the alternatives.) A search for the bare bones of logic generally leads one to the relation of inference (or consequence). This way is explored meticulously by Koslow (1992). He defines an implication structure as, in effect, an ordered pair , where S is a set and | f Pow(S)HS fulfilling certain (relatively simple) restrictions. And obviously if we reduce incompatibility to inference, which is achievable by the well known ex contradictione quodlibet principle, we reach a logic based on incompatibility. The kind of logic flowing most straightforwardly from this setting is the intuitionist one. However, there is also the approach taken by R. Brandom and A. Aker (2008), who have set up a logic based directly on incompatibility. They define an incompatibility structure as an ordered pair such that S is a set and z f Pow(S) (again fulfilling certain restrictions). The authors introduce logical operators in such a way that they reach classical logic. Does this mean that inference 'naturally' leads to intuitionist logic, whereas incompatibility leads to the classical one? Myself, I have argued that it is indeed intuitionist logic that is the logic of inference (see Peregrin, 2008).. (shrink)

In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...) to refine Brandom’s concept of defeasible inference and to account for those non-monotonic and relevant inferences that are expressible in linear logic. Moreover, I will suggest an interpretation of discursive practices based on an abstract notion of agreement on what counts as a reason which is deeply connected with linear logic semantics. (shrink)

In his Locke Lectures Brandom proposes to extend what he calls the project of analysis to encompass various relationships between meaning and use. As the traditional project of analysis sought to clarify various logical relations between vocabularies so Brandom’s extended project seeks to clarify various pragmatically mediated semantic relations between vocabularies. The point of the exercise in both cases is to achieve what Brandom thinks of as algebraic understanding. Because the pragmatist critique of the traditional project of analysis was precisely (...) to deny that such understanding is appropriate to the case of natural language, the very idea of an analytic pragmatism is called into question by that critique. My aim is to clarify the prospects for Brandom’s project, or at least something in the vicinity of that project, through a comparison of it with what I will suggest we can think of as Kant’s analytic pragmatism as developed by Peirce. (shrink)

Over the course of the twentieth century, the notion of the systematicity of thought has acquired a much narrower meaning than it used to carry for much of its history. The so-called “systematicity debate” that has dominated the philosophy of language, cognitive science, and AI research over the last thirty years understands the systematicity of thought in terms of the compositionality of thought. But there is an older, broader, and more demanding notion of systematicity that is now increasingly relevant again. (...) To recover this notion from under the shadow of the systematicity debate, I distinguish between (i) the systematicity of thinkable contents, (ii) the systematicity of thinking, and (iii) the ideal of systematic thought. I then deploy this distinction to critically evaluate Fodor’s systematicity-based argument for the language of thought hypothesis before recovering the notion of the systematicity of thought as a regulative ideal, which has historically shaped our understanding of what it means for thought to be rational, authoritative, and scientific. To assess how much systematicity we need from AI models, I argue that we must look to the rationales for systematizing thought. To this end, I recover five such rationales from the history of philosophy and identify five functions served by systematization. Finally, I show how these can be used to arrive at a dynamic understanding of the need to systematize thought that can tell us what kind of systematicity is called for and when. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

Philosophy strives to give us a firmer hold on our concepts. But what about their hold on us? Why place ourselves under the sway of a concept and grant it the authority to shape our thought and conduct? Another conceptualization would carry different implications. What makes one way of thinking better than another? This book develops a framework for concept appraisal. Its guiding idea is that to question the authority of concepts is to ask for reasons of a special kind: (...) reasons for concept use, which tell us which concepts to adopt, adhere to, or abandon, thereby shoring up—or undercutting—the reasons for action and belief that guide our deliberations. Traditionally, reasons for concept use have been sought either in timeless rational foundations or in concepts’ inherent virtues, such as precision and consistency. Against this, the book advances two main claims: that we find reasons for concept use in the conceptual needs we discover when we critically distance ourselves from a concept by viewing it from the autoethnographic stance; and that sometimes, concepts that conflict, or exhibit other vices such as vagueness or superficiality, are just what we need. By considering not what concepts are absolutely best, but what concepts we now need, we can reconcile ourselves to the contingency of our concepts, determine the proper place of efforts to tidy up thought, and adjudicate between competing conceptions of things—even things as contested as liberty or free will. A needs-based approach separates helpful clarification from hobbling tidy-mindedness, and authoritative definition from conceptual gerrymandering. (shrink)

One central aim of science is to provide explanations of natural phenomena. What role(s) does mathematics play in achieving this aim? How does mathematics contribute to the explanatory power of science? Rules to Infinity defends the thesis, common though perhaps inchoate among many members of the Vienna Circle, that mathematics contributes to the explanatory power of science by expressing conceptual rules, rules which allow the transformation of empirical descriptions. Mathematics should not be thought of as describing, in any substantive sense, (...) an abstract realm of eternal mathematical objects, as traditional platonists have thought. In Rules to Infinity, this view, which I call mathematical normativism, is updated with contemporary philosophical tools, and it is argued that normativism is compatible with mainstream semantic theory. This allows the normativist to accept that there are mathematical truths, while resisting the platonistic idea that there exist abstract mathematical objects that explain such truths. Furthermore, Rules to Infinity defends a particular account of the distinction between scientific explanations that are in some sense distinctively mathematical – those that explain natural phenomena in some uniquely mathematical way – and those that are only standardly mathematical, and it lays out desiderata for any account of this distinction. Normativism is compared with other prominent views in the philosophy of mathematics such as neo-Fregeanism, fictionalism, conventionalism, and structuralism. Rules to Infinity serves as an entry point into debates at the forefront of philosophy of science and mathematics, and it defends novel positions in these debates. (shrink)

How should we understand validity? A standard way to characterize validity is in terms of the preservation of truth (or truth in a model). But there are several problems facing such characterizations. An alternative approach is to characterize validity epistemically, for instance in terms of the preservation of an epistemic status. In this paper, I raise a problem for such views. First, I argue that if the relevant epistemic status is factive, such as being in a position to know or (...) having conclusive evidence for, then the account runs into trouble if we endorse certain familiar logical principles. Second, I argue that if the relevant epistemic status is non-factive, such as is rationally committed to or has justification for believing, then a similar problem arises if we endorse the logical principles as well as a sufficiently strong epistemic “level-bridging” principle. Finally, I argue that an analogous problem arises for the most natural characterization of validity in terms of rational credence. (shrink)

Discursive pluralism, recently fostered by anti-representationalist views, by stating that not all assertions conform to a descriptive model of language, poses an interesting challenge to representationalism. Although in recent years alethic pluralism has become more and more popular as an interesting way out for this issue, the discussion also hosts other interesting minority approaches in the anti-representationalist camp. In particular, the late stage of contemporary expressivism offers a few relevant insights, going from Price's denunciation of “placement problems” to Brandom's inferentialism. (...) This paper attempts to show how these expressivist ideas combine well together, composing a unitary and metaphysically sober metaphilosophical framework. (shrink)

This essay attempts to extend the exercise in normative pragmatics undertaken by Robert Brandom to include consideration of the logical relations between the practices of making of claims involving the use of the first-person-singular pronoun (‘I-talk’) and the making of claims involving the second-person-singular pronoun (‘You-talk’). The first part of the essay makes the case that the implicit response found in Brandom’s work affirms the pragmatic independence of I-talk from You-talk, such that it is possible to conceive of a discursive (...) practice involving people using the first person-singular pronoun but not the second-person. The second part argues this response is mistaken, as there are reasons internal to Brandom’s own project that require pragmatic interdependence of I-talk and You-talk. The upshot of this exercise is normative pragmatics is thus that there can be no ‘I’ without a ‘You’. (shrink)

Even after Willard Quine’s critique of the analytic-synthetic distinction in “Two Dogmas of Empiricism,” Wilfrid Sellars maintained some forms of analyticity or truth in virtue of meaning. In this article, I aim to reconstruct (a) his neglected account of the analytic-synthetic distinction and the revisability of analytic sentences, (b) its connection to his inferentialist account of meaning, and (c) his response to Quine. While Sellars’s account of the revisability of analytic sentences bears certain similarities to Carnap’s and Grice and Strawson’s (...) accounts, it is still striking in that it is part of his broader picture of how our language develops dynamically in our ongoing inquiry. I aim to show how it relates to his account of how the diachronic continuity in meaning, language, or conceptual framework can be preserved through a revision of analytic sentences and to his evolutionary account of the development of our language or conceptual framework. (shrink)

This thesis develops and defends a Peircean conception of the task of metaphysics and critically compares it with recent anti-metaphysical forms of pragmatism. Peirce characterises metaphysics in terms of its place within his hierarchical classification of the sciences. According to the classification, metaphysics depends on logic for principles and provides principles to the natural and social sciences. This arrangement of the sciences is defended by appeal to Peirce's account of philosophy as 'cenoscopy'. The dependence of the natural and social sciences (...) on cenoscopy is then argued for on the basis of Peirce's rejection of psychologism and in terms of the necessity of abductive inference. Peirce's position is then compared with recent forms of pragmatism. While it is less naturalistic, Peirce's position is defended on pragmatist grounds. An account of Peirce on truth is then developed. Peirce's account of truth in terms of an ideal limit of inquiry is defended as consistent with recent, more deflationary, approaches. The truth of 'abstract propositions' is a matter of local indefeasibility. These abstract propositions are related to the 'absolute truth', understood as a single non-abstract proposition. The truth of this proposition is then understood in terms of an identity theory. Two conceptions of Peircean metaphysics are presented. Both are 'abductive'. Their task is to explain the possibility of success in inquiry. However, only one proposal accepts the notion of an absolute truth. The 'absolutist' proposal is defended as an interpretation of Peirce and as a contemporary option for pragmatist philosophers. The thesis concludes by comparing recent anti-metaphysical arguments due to Huw Price with the Peircean position. Room for the absolutist proposal is defended by means of an account of recent exchanges between Price and Robert Brandom on dispositional modality. (shrink)

Analytical philosophy is ruled by the alliance of logic, linguistics and mathematics since its beginnings in the syllogistic calculus of terms and premises in Aristotle's Analytica protera, in the theories of medieval logic that dealt with what are Proprietatis Terminorum (significatio, suppositio, appellatio), in the theological apologetics of argumentation with the combinatorics of symbols by Raymundus Llullus in the work Ars Magna, Generalis et Ultima (1305-08), in what is presented as Theologia Combinata (cf. Tomus II.p.251) in Ars Magna Sciendi sive (...) Combinatoria by Athanasius Kircher (1669), in analytical combinatorics based in Leibniz's dissertation Ars Combinatoria (1666), where language is understood as a lingua characteristica and as a calculus ratiocinator, in the combinatorics of classes that have the meanings 1 or 0 given in the idea of Boolean functions (1854), in Frege's work Begriffschrift, eine der arithmeticeschen nachgebildete Fomelsprache des reinen Denkens (Concept letter, the language of formulas of pure thought made according to the model in arithmetical language), in Cantor's study of set theory / Grundlagen einer allgemeinen Mannigfaltigkeitstheorie (1883) and up to algorithms of fuzzy logic as a "means of approximate thinking that is in the human prior" (Zadeh, 1990) and fuzzy linguistics in computer semantics (Burghard B. Rieger, 1993). These are all the philosophical ideas of mathematicians and logicians that founded what we call logical pragmatism here as a demand that logic be absolutely used in every way in which it will dominate the grammar of language until logic itself becomes the philosophical grammar of the mind!!! (shrink)

This article grapples with Robert Brandom’s account of singular terms. I argue that neither Brandom’s answer to the question “What are singular terms?” nor his answer to the question “Why are there any singular terms?” works as they currently stand. Brandom’s substitution-inferential semantic account of what singular terms are fails to distinguish between the semantic role of singular terms and indefinite descriptions, and Brandom’s “expressive transcendental deduction” for why there are any singular terms fails to deciseively show that singular terms (...) are expressively necessary for the use of logical vocabulary. Still, I then characterize how Brandom does have resources within his substitution-inferential semantics to give a better, revised answer to the question “What are singular terms?” that both fits programmatically within his framework and has a curious Kantian parallel. I leave the matter offering a Brandom-friendly replacement account for why there are any singular terms thus conceived for another occasion. (shrink)

This book provides a comprehensive overview of my recent theoretical work that aims to explain some of the more puzzling properties of life and mind, in particular agency, goal-directedness and consciousness. It contains published papers as well as new material. Table of contents: Preface - PART I: GROUNDWORK - 1. Introduction - 2. The basic mechanism - 3. Inclusive and extensive fitness - 4. Components of F and X - 5. The consequences: a preview - PART II: LIFE - 6. (...) What qualifies as life? - 7. Biological meaning - 8. Biological functions - PART III: MIND - 9. Minimal agency, goal-directedness and value - 10. Intentionality and meaning - 11. Language - 12. Consciousness - 13. The human self - PART IV: PHILOSOPHY - 14. Strong emergence - 15. The real, the true and the good - 16. Philosophical problems of consciousness - Epilogue - Appendix A: Summaries of computational simulations - Appendix B: Examples of minimal intentionality - References. -/- . (shrink)

Imagine you’re teaching someone how to play chess. You might start by saying ‘White must move first’, where the word ‘must’ is used to convey a rule. You would.

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

Translated from: W.V.O.Quine, W. H. O. (1986): Philosophy of Logic. Second Edition. Harvard University Press. Cambridge, Massachusetts and London, England, 47-61.