This paper discusses the Uniqueness Thesis, a core thesis in the epistemology of disagreement. After presenting uniqueness and clarifying relevant terms, a novel counterexample to the thesis will be introduced. This counterexample involves logical disagreement. Several objections to the counterexample are then considered, and it is argued that the best responses to the counterexample all undermine the initial motivation for uniqueness.

Already in ancient philosophy, there was a transition from the implicit and hidden action of the Logical ( lógos) in nature ( phýsis) to the scientific and explicit expression of the logical structures of thought, action, the world and language. Heraclitus' heno-logic with Logos as hidden implicit principle of homologization of opposites ( tà enantía) in nature differs from Parmenides' paraconsistent logic developed in a hypothetical hemidyalectics given in the formula ''All is One'' ( hén pánta eînai). Plato's concept of (...) dia-logic (dialektikè téchne ) with a new concept of Logos as the one genus of beings ( hén tí génon toôn ontoôn) in which the word not-Being (negation) got its place enabled production of dyadic logical structure by the granulation of genera into opposite species and sub-species that it contains. Aristotle's concept of triadic-logic as syl-logistics ( syllogismós) and demonstrative science (epistéme apodeiktikê ) give a new approach by new granulation of the concept of Logos into triadic logical structure: (1) the structure of being (substratum-attributes relation), (2) the structure of thought (substance-second substances relation), and (3) the structure of propositions (subject-predicate relation). Plato's dialectic and Aristotle's syllogistic both deconstructed the implicit ontological unity of the world (pan, kosmos, sphairos ) given through the concept of Logos in Pre-Socratic philosophy in order to make that unity in explicit form given by the logical and semantical structures of the propositions about the world, about the thought and about the language. The hidden implicit of the nature, which had to be known intuitively, was transformed into unhidden explicit inferential logical structures given in the semantics and pragmatics of scientific demonstration. (shrink)

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme of my (...) ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent. (shrink)

Philosophers of science are divided over the interpretations of scientific normativity. Larry Laudan defends a sort of goal-directed rules for scientific methodology. In contrast, Gerard Doppelt thinks methodological rules are a mixed batch of rules in that some are goal-oriented hypothetical rules and others are goal-independent categorical rules. David Resnik thinks that the debate between them is at a standstill now. He further thinks there are certain rules, such as the rule of consistency which is goal independent. However, he proposes (...) a holistic understanding of the scientific methodology. Taking a thread from Resnik, the present paper also advocates a holistic understanding of the scientific methodology. Given that many scientific practices deal with systems, the focus will be given to the systems by assuming each as a constellation of methodological norms. By taking each system as a set of mutually supportive methodological rules whose instrumental values underwrite the coherence relation among them, the paper aims to provide what could be a viable holistic epistemological account that can explain scientific normativity at work in a scientific system. The paper will lay down specific holistic criteria for understanding the scientific methodology. They will be used to show how a holistic account could satisfactorily account for the success of the Compact Muon Solenoid (CMS) experiment in discovering the Higgs boson and how the holistic account can account for the instrumental error behind the apparent faster-than-light neutrino anomaly of the Oscillation Project with Emulsion-t Racking Apparatus (OPERA) experiments respectively. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (shrink)

Metaphysicians who are aware of modern physics usually follow Putnam (1967) in arguing that Special Theory of Relativity is incompatible with the view that what exists is only what exists now or presently. Partisans of presentism (the motto ‘only present things exist’) had very difficult times since, and no presentist theory of time seems to have been able to satisfactorily counter the objection raised from Special Relativity. One of the strategies offered to the presentist consists in relativizing existence to inertial (...) frames. This unfashionable strategy has been accused of counterfeiting, since the meaning of the concept of existence would be incompatible with its relativization. Therefore, existence could only be relativistically invariant. In this paper, I shall examine whether such an accusation hits its target, and I will do this by examining whether the different criteria of existence that have been suggested by the Philosophical Tradition from Plato onwards imply that existence cannot be relativized. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (shrink)

In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine Williamson’s primitivist approach according to which (...) second-order sentences are not offered readings in a previously understood language. I argue that the syntactic restrictions alone do not block the derivation of the paradox, unless they are backed by a principled reason that the language cannot be expanded to allow the grammatical substitution of first- and second- order variables. I argue that there is neither a syntactic nor a semantic principle that prohibits such an expansion. (shrink)

One way to challenge the substantiveness of a particular philosophical issue is to argue that those who debate the issue are engaged in a merely verbal dispute. For example, it has been maintained that the apparent disagreement over the mind/brain identity thesis is a merely verbal dispute, and thus that there is no substantive question of whether or not mental properties are identical to neurological properties. The goal of this paper is to help clarify the relationship between mere verbalness and (...) substantiveness. I first argue that we should see mere verbalness as a certain kind of discourse defect that arises when the parties differ as to what each takes to be the immediate question under discussion. I then argue that mere verbalness, so understood, does not imply that the question either party is attempting to address is a non-substantive one. Even if it turns out that the parties to the mind/brain dispute are addressing subtly different questions, these might both be substantive questions to which their respective metaphysical views provide substantive answers. One reason it is tempting to reach deflationary conclusions from the charge of mere verbalness is that we fail to distinguish it from the claim that a sentence under dispute is, in a certain sense, indisputable. Another reason is that we fail to distinguish mere verbalness from a certain sort of indeterminacy. While indisputability and indeterminacy plausibly capture forms of nonsubstantiveness, I argue that mere verbalness is insufficient to establish either indisputability or indeterminacy. (shrink)

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2018.

Serious actualists take it that all properties are existence entailing. I present a simple puzzle about sentence tokens which seems to show that serious actualism is false. I then consider the most promising response to the puzzle. This is the idea that the serious actualist should take ordinary property-talk to contain an implicit existential presupposition. I argue that this approach does not work: it fails to generalise appropriately to all sentence types and tokens. In particular, it fails to capture the (...) right distinctions we ought to make between what I call _typographical sentence types_—an interesting and previously undiscussed class of fine-grained sentence types which are partially individuated by their typography, or how they look when written out. (shrink)

Although Benjamin Schnieder’s theory of the “ordinary conception” of properties successfully handles paradoxical properties—particularly, the property of non-self-instantiation—it fails to account for ordinary, non-pathological cases. The theory allows the inference of ‘a has the property of being F’ only given F(a) and the prior assertibility of ‘the property of being F can exist’. While this allows us to block an inference to a contradiction, it also blocks all of the non-pathological instances of the inference from ‘a is F’ to ‘a (...) has the property of being F’. It thereby fails both as a theory of the ordinary conception and as a replacement of the ordinary notion, assuming the latter is defective. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

The paper proposes a strategy for understanding metaphysical grounding in deflationary terms and, more generally, proposes a form of methodological deflationism with respect to the notions of ground. The idea is to define a deflationary is grounded in-predicate by appeal to the two-place non-causal connective ‘because’ and a deflationary truth predicate. To this end, we discuss the explanatory role of the truth-predicate in non-causal explanations and develop a theory of truth for the language of the ‘because’-connective. We argue that at (...) least from a logical perspective our deflationary notion of ground is up to the task. (shrink)

In this paper, I examine Quine's views on the epistemology of logic. According to Quine's influential holistic account, logic is central in the “web of belief” that comprises our overall theory of the world. Because of this, revisions to logic would have devastating systematic consequences, and this explains why we are loath to make such revisions. In section1, I clarify this idea and thereby show that Quine actually takes the web of belief to have asymmetrical internal structure. This raises two (...) puzzles. First, as I show in section 2, Quine's mature thoroughly naturalized view has it that logic is simply obvious, and this is explains why we do not typically consider revising it. While Quine presents this naturalized view as a way to make good on his earlier metaphor of centrality in a web of belief, I argue that the resources of Quine's naturalized epistemology cannot adequately explain why we are reluctant to revise logic. And, Quine seems to recognize this point himself. In light of this, I explain in section 3 how Quine can allow that our overall scientific theory has systematic structure in a way that is consistent with his naturalistic strictures. Second, the asymmetrical internal structure of the web of belief seems to be inconsistent with its being a holistic web at all. I defuse this problem in section 4 by showing how Quine distinguishes between structural and confirmational considerations. I close by using this distinction to show how Quine's view can evade Michael Friedman’s criticisms, and allow for important methodological distinctions between areas of the web of belief. (shrink)

Carnap was one of the first to use the term 'non-cognitivism'. His linguistic pluralism and voluntarism, and his deflationary views of ontology and semantics, are highly congenial to those of us who want to take non-cognitivism in the direction of global expressivism. In his own case, however, this move is in tension with his continued endorsement of what he calls 'the general thesis of logical empiricism', that 'there is no third kind of knowledge besides empirical and logical knowledge.’ So while (...) Carnap clears a path towards global expressivism, he doesn't seem to appreciate what it requires him to leave behind. (shrink)

While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...) 2 focus on the Ad Hoc Reading according to which logical disagreements occur when two subjects take incompatible doxastic attitudes toward a specific proposition in or about logic. Chapter 2 presents a new counterexample to the widely discussed Uniqueness Thesis. Chapters 3 and 4 focus on the Theory Choice Reading of ‘logical disagreement’. According to this interpretation, logical disagreements occur at the level of entire logical theories rather than individual entailment-claims. Chapter 4 concerns a key question from the philosophy of logic, viz., how we have epistemic justification for claims about logical consequence. In Chapters 5 and 6 we turn to the Akrasia Reading. On this reading, logical disagreements occur when there is a mismatch between the deductive strength of one’s background logic and the logical theory one prefers (officially). Chapter 6 introduces logical akrasia by analogy to epistemic akrasia and presents a novel dilemma. Chapter 7 revisits the epistemology of peer disagreement and argues that the epistemic significance of central principles from the literature are at best deflated in the context of logical disagreement. The chapter also develops a simple formal model of deep disagreement in Default Logic, relating this to our general discussion of logical disagreement. The monograph ends in an epilogue with some reflections on the potential epistemic significance of convergence in logical theorizing. (shrink)

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

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)

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

The consequences of Quine's criterion of ontological commitment epitomized in his treatment of the term 'Pegasus' in "On What There Is" are evaluated in terms of Quine's own work, in particular in "The Variable" and "Variables Explained Away". There is a cost to maintaining this criterion with regard to the empirical consequences of some non-existent objects, given considerations prompted by Quine's holism. This cost can be reduced by adopting a noneist position according to which non-existent objects can be values of (...) bound variables as well. (shrink)

The concept of truth and competing philosophical theories on what truth amounts to have an important place in contemporary philosophy. The aim of this chapter is to give a synopsis of different theories of truth and the particular philosophical issues related to the concept of truth. The literature on this topic is vast, and we must necessarily be rather selective and very brief about complex questions of interpretation of various philosophers. The focus of the chapter is mainly on selected systematic (...) issues and the most influential and well-established philosophical theories and key concepts. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

In this paper, I articulate and argue for a new truthmaker view of ontological commitment, which I call the “General Truthmaker View”: when one affirms a sentence, one is ontologically committed to there being something that makes true the proposition expressed by the sentence. This view comes apart from Quinean orthodoxy in that we are not ontologically committed to the things over which we quantify, and it comes apart from extant truthmaker views of ontological commitment in that we are not (...) ontologically committed to the truthmakers of our sentences. (shrink)

The question of how to demarcate science from pseudo-science commands relatively little attention today. In the philosophy of logic, by contrast, the problem of demarcating the logical constants is less skeptically regarded. In aesthetics, where the problem is how to demarcate art from non-art, the question as to whether the problem is a real one or a pseudo-problem also continues to be debated. This paper discusses the hypothesis that the demarcation questions in these three areas are parallel, or at least (...) similar enough to be interesting. Some arguments for the conclusion that the demarcation problem is a pseudo-problem are considered, as are some demarcation proposals of a deflationist or minimalist sort. All are found wanting. (shrink)

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary thinking about truth, (...) according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

The question of the analyticity of Hume’s Principle (HP) is central to the neo-logicist project. We take on this question with respect to Frege’s definition of analyticity, which entails that a sentence cannot be analytic if it can be consistently denied within the sphere of a special science. We show that HP can be denied within non-standard analysis and argue that if HP is taken to depend on Frege’s definition of number, it isn’t analytic, and if HP is taken to (...) be primitive there is only a very narrow range of circumstances where it might be taken to be analytic. The latter discussion also sheds some light on the connections between the Bad Company and Caesar objections. (shrink)

O czterech typach argumentacji na rzecz logiki klasycznej Moim celem w tym artykule jest analiza argumentacji pod kątem poprawności standardowej logiki. Formułuję też kilka uwag krytycznych i porównawczych. Skupiam się na czterech najbardziej spójnych i kompletnych argumentach, które próbują uzasadnić wyróżnione stanowisko logiki klasycznej. Istnieją następujące argumenty: argumentacja pragmatyczno-metodologiczna Willarda van O. Quine’a, argumentacja filozoficzno-metalogiczna Jana Woleńskiego, argumentacja ontologiczno-semantyczna Stanisława Kiczuka, argumentacja metalogiczna. Moim zdaniem teza o poprawności logiki klasycznej jest racjonalnie uzasadniona tymi argumentacjami. Pozostaje problem, czy analizowana logika standardowa (...) jest jedyną właściwą logiką. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

This paper argues for an account of the relation between thought ascription and the explanation of action according to which de re ascriptions and de dicto ascriptions of thought each form the basis for two different kinds of action explanations, nonrationalizing and rationalizing ones. The claim that de dicto ascriptions explain action is familiar and virtually beyond dispute; the claim that that de re ascriptions are explanatory of action, however, is not at all familiar and indeed has mostly been denied (...) by philosophers. I explain how de re ascriptions enter into non-rationalizing explanations of action and how attention to their distinctive explanatory nature reveals flaws in an alternative “dual-component” view about action explanation. (shrink)

Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.

Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...) epistemic process of extracting information implicit in explicitly given information) and, second, the process of establishing knowledge that a conclusion does not follow. Despite the overwhelming tendency to interpret the syllogistic as formal epistemology, it was not until the early 1970s that it occurred to anyone to think that Aristotle may have developed a theory of deductive reasoning with a well worked-out system of deductions comparable in rigor and precision with systems such as propositional logic or equational logic familiar from mathematical logic. When modern logicians in the 1920s and 1930s first turned their attention to the problem of understanding Aristotle's contribution to logic in modern terms, they were guided both by the Frege-Russell conception of logic as formal ontology and at the same time by a desire to protect Aristotle from possible charges of psychologism. They thought they saw Aristotle applying the informal axiomatic method to formal ontology, not as making the first steps into formal epistemology. They did not notice Aristotle's description of deductive reasoning. Ironically, the formal axiomatic method (in which one explicitly presents not merely the substantive axioms but also the deductive processes used to derive theorems from the axioms) is incipient in Aristotle's presentation. Partly in opposition to the axiomatic, ontically-oriented approach to Aristotle's logic and partly as a result of attempting to increase the degree of fit between interpretation and text, logicians in the 1970s working independently came to remarkably similar conclusions to the effect that Aristotle indeed had produced the first system of formal deductions. They concluded that Aristotle had analyzed the process of deduction and that his achievement included a semantically complete system of natural deductions including both direct and indirect deductions. Where the interpretations of the 1920s and 1930s attribute to Aristotle a system of propositions organized deductively, the interpretations of the 1970s attribute to Aristotle a system of deductions, or extended deductive discourses, organized epistemically. The logicians of the 1920s and 1930s take Aristotle to be deducing laws of logic from axiomatic origins; the logicians of the 1970s take Aristotle to be describing the process of deduction and in particular to be describing deductions themselves, both those deductions that are proofs based on axiomatic premises and those deductions that, though deductively cogent, do not establish the truth of the conclusion but only that the conclusion is implied by the premise-set. Thus, two very different and opposed interpretations had emerged, interestingly both products of modern logicians equipped with the theoretical apparatus of mathematical logic. The issue at stake between these two interpretations is the historical question of Aristotle's place in the history of logic and of his orientation in philosophy of logic. This paper affirms Aristotle's place as the founder of logic taken as formal epistemology, including the study of deductive reasoning. A by-product of this study of Aristotle's accomplishments in logic is a clarification of a distinction implicit in discourses among logicians--that between logic as formal ontology and logic as formal epistemology. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...) many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology. (shrink)

Prior Analytics by the Greek philosopher Aristotle and Laws of Thought by the English mathematician George Boole are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle's system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects (...) of Boole's book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic’ serve as a kind of ‘truth-functional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truth-functional combination of equations that follows from a given truth-functional combination of equations need not follow truth-functionally. One of the main conclusions is that Boole's contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excluded middle and non-contradiction—Boole became the founder of logic as formal ontology.… using mathematical methods … has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to … when Boole's masterpiece was published.Paul Rosenbloom 1950. (shrink)

In “Properties and the Interpretation of Second-Order Logic” Bob Hale develops and defends a deflationary conception of properties where a property with particular satisfaction conditions actually exists if and only if it is possible that a predicate with those same satisfaction conditions exists. He argues further that, since our languages are finitary, there are at most countably infinitely many properties and, as a result, the account fails to underwrite the standard semantics for second-order logic. Here a more lenient version of (...) the view is explored, which allows for the possibility of countably infinite predicates understood as the product of linguistic supertasks. This enriched deflationist account of properties—the Infinitary Deflationary Conception of Existence—supports the standard semantics for models with countable first-order domains, and allows one to prove the categoricity of the second-order Peano axioms. (shrink)

Fine and Antonelli introduce two generalizations of permutation invariance — internal invariance and simple/double invariance respectively. After sketching reasons why a solution to the Bad Company problem might require that abstraction principles be invariant in one or both senses, I identify the most fine-grained abstraction principle that is invariant in each sense. Hume’s Principle is the most fine-grained abstraction principle invariant in both senses. I conclude by suggesting that this partially explains the success of Hume’s Principle, and the comparative lack (...) of success in reconstructing areas of mathematics other than arithmetic based on non-invariant abstraction principles. (shrink)

An important obstacle to lawhood in the special sciences is the worry that such laws would require metaphysically extravagant conspiracies among fundamental particles. How, short of conspiracy, is this possible? In this paper we'll review a number of strategies that allow for the projectibility of special science generalizations without positing outlandish conspiracies: non-Humean pluralism, classical MRL theories of laws, and Albert and Loewer's theory. After arguing that none of the above fully succeed, we consider the conspiracy problem through the lens (...) of our preferred view of laws, an elaboration of the MRL view that we call the Better Best System (BBS) theory. BBS offers a picture on which, although all events supervene on a fundamental level, there is no one unique locus of projectibility; rather there are a large number of loci corresponding to the different areas (ecology, economics, solid-state chemistry, etc.) in which there are simple and strong generalizations to be made. While we expect that some amount of conspiracy-fear-inducing special science projectibility is inevitable given BBS, we'll argue that this is unobjectionable. It follows from BBS that the laws of any particular special or fundamental science amount to a proper subset of the laws. From this vantage point, the existence of projectible special science generalizations not guaranteed by the fundamental laws is not an occasion for conspiracy fantasies, but a predictable fact of life in a complex world. (shrink)

Perhaps the most significant contemporary theory of lawhood is the Best System (/MRL) view on which laws are true generalizations that best systematize knowledge. Our question in this paper will be how best to formulate a theory of this kind. We’ll argue that an acceptable MRL should (i) avoid inter-system comparisons of simplicity, strength, and balance, (ii) make lawhood epistemically accessible, and (iii) allow for laws in the special sciences. Attention to these problems will bring into focus a useful menu (...) of novel MRL theories, some of which solve problems the original MRL theory could not. Hence we conceive of the paper as moving toward a better Best System theory of laws. (shrink)

The problematic features of Quine's set theories NF and ML are a result of his replacing the higher-order predicate logic of type theory by a first-order logic of membership, and can be resolved by returning to a second-order logic of predication with nominalized predicates as abstract singular terms. We adopt a modified Fregean position called conceptual realism in which the concepts (unsaturated cognitive structures) that predicates stand for are distinguished from the extensions (or intensions) that their nominalizations denote as singular (...) terms. We argue against Quine's view that predicate quantifiers can be given a referential interpretation only if the entities predicates stand for on such an interpretation are the same as the classes (assuming extensionality) that nominalized predicates denote as singular terms. Quine's alternative of giving predicate quantifiers only a substitutional interpretation is compared with a constructive version of conceptual realism, which with a logic of nominalized predicates is compared with Quine's description of conceptualism as a ramified theory of classes. We argue against Quine's implicit assumption that conceptualism cannot account for impredicative concept-formation and compare holistic conceptual realism with Quine's class Platonism. (shrink)

This paper presents and defends a way to add a transparent truth predicate to classical logic, such that and A are everywhere intersubstitutable, where all T-biconditionals hold, and where truth can be made compositional. A key feature of our framework, called STTT (for Strict-Tolerant Transparent Truth), is that it supports a non-transitive relation of consequence. At the same time, it can be seen that the only failures of transitivity STTT allows for arise in paradoxical cases.

In the contemporary metaethical debate, expressivist (Blackburn, Gibbard) and constructivist (Korsgaard, Street) views can be viewed as inspired by irrealist ideas from Hume and Kant respectively. One realist response to these contemporary irrealist views is to argue that they are inconsistent with obvious surface-level appearances of ordinary ethical thought and discourse, especially the fact that we talk and act as if there is ethical knowledge . In this paper, I explore some constructivist and expressivist options for responding to this objection. (...) My conclusion is that, although both constructivists and expressivists can capture other surface-level features of ethical thought and discourse, the possibility of ethical knowledge causes special problems for these versions of irrealism. I end with some comments about where I think irrealists should begin to look for a response to these special problems, which points, somewhat surprisingly, towards an alternative inferentialist form of irrealism about epistemic and ethical thought and discourse, which is inspired by Sellars. (shrink)