In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...) of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

Logical pluralism is the view that there is more than one correct logic. This very general characterization gives rise to a whole family of positions. I argue that not all of them are stable. The main argument in the paper is inspired by considerations known as the “collapse problem”, and it aims at the most popular form of logical pluralism advocated by JC Beall and Greg Restall. I argue that there is a more general argument available that challenges all variants (...) of logical pluralism that meet the following three conditions: that there are at least two correct logical systems characterized in terms of different consequence relations, that there is some sort of rivalry among the correct logics, and that logical consequence is normative. The hypothesis I argue for amounts to conditional claim: If a position satisfies all these conditions, then that position is unstable in the sense that it collapses into competing positions. (shrink)

Meanings as Species, by Mark Richard. Oxford: Oxford University Press, 2019. Pp. vii + 212.

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as though it were (...) neutralized by the possibility of studying all these alternative logics within an agreed metalogical framework, typically that of first-order logic with set theory. In effect, metalogic is given the role of neutral arbiter. The paper will consider a variety of examples in which deep logical disputes re-emerge at the meta-level. One case is quantified modal logic, where some varieties of actualism require a modal meta-language (as opposed to the usual non-modal language of possible worlds model theory) in order not to make their denial of the Barcan formula self-defeating. Similarly, on some views the intended model theory for second-order logic can only be given in a second-order metalanguage—this may be needed to avoid versions of Russell’s paradox when the first-order quantifiers are read as absolutely unrestricted. It can be shown that the phenomenon of higher-order vagueness eventually forces fuzzy logical treatments of vagueness to use a fuzzy metalanguage, with consequent repercussions for what first-order principles are validated. The difficulty of proving the completeness of first-order intuitionistic logic on its intended interpretation by intuitionistically rather than just classically valid means is a more familiar example. These case studies will be discussed in some detail to reveal a variety of ways in which even metalogic is metaphysically contested, substantial and non-neutral. (shrink)

Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...) full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical. (shrink)

Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.

The informal logic movement began as an attempt to develop – and teach – an alternative logic which can account for the real life arguing that surrounds us in our daily lives – in newspapers and the popular media, political and social commentary, advertising, and interpersonal exchange. The movement was rooted in research and discussion in Canada and especially at the University of Windsor, and has become a branch of argumentation theory which intersects with related traditions and approaches (notably formal (...) logic, rhetoric and dialectics in the form of pragma-dialectics). In this volume, some of the best known contributors to the movement discuss their views and the reasoning and argument which is informal logic’s subject matter. Many themes and issues are explored in a way that will fuel the continued evolution of the field. Federico Puppo adds an insightful essay which considers the origins and development of informal logic and whether informal logicians are properly described as a “school” of thought. In considering that proposition, Puppo introduces readers to a diverse range of essays, some of them previously published, others written specifically for this volume. (shrink)

De modo geral, este texto é uma incursão em lógica filosófica e filosofia da lógica. Ele contém reflexões originais acerca dos conceitos de paraconsistência, modalidades e cognoscibilidade e suas possíveis relações. De modo específico, o texto avança em quatro direções principais: inicialmente, uma definição genérica de lógicas não clássicas utilizando a ideia de lógica abstrata é sugerida. Em seguida, é mostrado como técnicas manuais de paraconsistentização de lógicas são usadas para gerar sistemas particulares de lógicas paraconsistentes. Depois, uma definição de (...) possibilidade lógica é proposta por meio da ideia de limites de sequências de fórmulas. Por fim, muitas abordagens distintas ao paradoxo de Fitch e, consequentemente, aos limites do conhecimento são apresentadas considerando as reflexões anteriores. (shrink)

“Dalla filosofia dell’azione alla filosofia della mente” è stato il percorso di alcuni filosofi di nazionalità varia degli anni 1980 – come Paul Churchland negli Stati Uniti o Ansgar Beckermann in Germania – che prima si sono interessati agli aspetti più teorici nella filosofia dell’azione, come il modo di funzionamento delle azioni e la loro spiegazione scientifica, e che poi, con l’arrivo e la diffusione dei personal computers e delle scienze cognitive, hanno ampliato e approfondito questo interesse di ricerca e (...) si sono dedicati alla filosofia della mente più in generale e in particolare alla spiegazione scientifica e filosofica del mentale. Sandro Nannini faceva parte di questo movimento ed è stato uno tra gli inizialmente pochi filosofi italiani che si sono occupati di questi argomenti; successivamente ne è diventato uno dei maggiori specialisti in Italia, proponendo una sua particolare versione di naturalizzazione del mentale. Subordinata agli interessi teorici è stata la sua iniziativa accademica di fondare e promuovere il primo dottorato italiano di ricerca in Scienze Cognitive. Il presente volume tratta dell’opera di Sandro Nannini in contributi che sono riflessioni più o meno specifiche sulle differenti tappe del suo percorso, affrontando temi come l’analisi dell'azione, il libero arbitrio, la discussione di Nannini di vari classici della filosofia, la tendenza del naturalismo a dissolvere la filosofia in un enciclopedismo empirico e la sfida dei qualia e della fenomenologia all’approccio naturalistico alla mente. Il volume contiene inoltre un saggio dello stesso Sandro Nannini, nel quale espone l’ultimo sviluppo della sua filosofia della mente nonché le risposte agli interventi degli altri autori: Mario De Caro, Sara Dellantonio, Rosaria Egidi, Roberta Lanfredini, Christoph Lumer, Paolo Parrini, Pietro Perconti, Claudio Pizzi, Emanuela Scribano e Giuseppe Varnier. (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 ...

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (shrink)

When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...) sense, non-identical to it. We argue that this phenomenon can be generalized, given the existence of logics which coincide with Classical Logic regarding a number of metainferential levels—although they are, again, clearly different systems. We claim this highlights the need to arrive at a more refined version of the Collapse Argument, which we discuss at the end of the paper. (shrink)

The desire to understand the mathematics of living systems is increasing. The widely held presupposition that the mathematics developed for modeling of physical systems as continuous functions can be extended to the discrete chemical reactions of genetic systems is viewed with skepticism. The skepticism is grounded in the issue of scientific invariance and the role of the International System of Units in representing the realities of the apodictic sciences. Various formal logics contribute to the theories of biochemistry and molecular biology (...) and genetics. Various paths of extension are invoked in these formal logics in order to express the information of biological apodicticism. Symbolizing the appropriate notations for invariant relations and for biological extensions of relations is fundamental to the exact generating functions of discrete algebraic biology. Aspects of philosophical perspectives of the relation scientific number systems are contrasted. The deep distinction between physical motion and biological motion is expressed in terms the roles of Aristotelian causes. The interior motion within perplex numbers is contrasted with the exterior motion of physical systems. The need for a new mathematics for biology is suggested. (shrink)

In this paper we confront a challenge to truthmaker theory that is analogous to the objections raised by deflationists against substantive theories of truth. Several critics of truthmaker theory espouse a ‘deflationary’ attitude about truthmaking, though it has not been clearly presented as such. Our goal is to articulate and then object to the underlying rationale behind deflationary truthmaking. We begin by developing the analogy between deflationary truth and deflationary truthmaking, and then show how the latter can be found in (...) the work of Dodd, Hornsby, Schnieder, Williamson, and others. These philosophers believe that the ambitions of truthmaker theory are easily satisfied, without recourse to ambitious ontological investigation—hence the analogy with deflationary truth. We argue that the deflationists’ agenda fails: there is no coherent deflationary theory of truthmaking. Truthmaking, once deflated, fails to address the questions at the heart of truthmaking investigation. Truthmaking cannot be had on the cheap. (shrink)

This paper evaluates the argument for the contradictoriness of unity, that be- gins Priest’s recent book One. The argument is seen to fail because it does not adequately differentiate between different forms of unity. This diagnosis of the argument’s failure is used as a basis for two consistent accounts of unity. The paper concludes by arguing that reality contains two absolutely fundamental and unanalysable forms of unity, which are in principle presupposed by any theory of anything. These fundamental forms of (...) unity are closely related to the unity of propositions and facts. (shrink)

I distinguish two ways of developing anti-exceptionalist approaches to logical revision. The first emphasizes comparing the theoretical virtuousness of developed bodies of logical theories, such as classical and intuitionistic logic. I'll call this whole theory comparison. The second attempts local repairs to problematic bits of our logical theories, such as dropping excluded middle to deal with intuitions about vagueness. I'll call this the piecemeal approach. I then briefly discuss a problem I've developed elsewhere for comparisons of logical theories. Essentially, the (...) problem is that a pair of logics may each evaluate the alternative as superior to themselves, resulting in oscillation between logical options. The piecemeal approach offers a way out of this problem andthereby might seem a preferable to whole theory comparisons. I go on to show that reflective equilibrium, the best known piecemeal method, has deep problems of its own when applied to logic. (shrink)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Sellars [1960, ‘Grammar and existence: A preface to ontology’] argues that the truth of a second-order sentence does not incur commitment to there being any sort of abstract entity. This paper begins by exploring the arguments that Sellars offers for the above claim. It then develops those arguments by pointing out places where Sellars has been unclear or ought to have said more. In particular, Sellars's arguments rely on there being a means by which language users could come to understand (...) sentences of a second-order language wherein the truth of second-order existential sentences do not require there to be abstract entities. In addition to this, as Sellars [1979, Naturalism and Ontology] notes, a formal account of quantification is required that does not make use of the apparatus of sequences. Both such a translation of and a formal account of quantification are provided in this article. (shrink)

Confronting the Liar Paradox is commonly viewed as a prerequisite for developing a theory of truth. In this paper I turn the tables on this traditional conception of the relation between the two. The theorist of truth need not constrain his search for a “material” theory of truth, i.e., a theory of the philosophical nature of truth, by committing himself to one solution or another to the Liar Paradox. If he focuses on the nature of truth (leaving issues of formal (...) consistency for a later stage), he can arrive at material principles that prevent the Liar Paradox from arising in the first place. I argue for this point both on general methodological grounds and by example. The example is based on a substantivist theory of truth that emphasizes the role of truth in human cognition. The key point is that truth requires a certain complementarity of “immanence” and “transcendence”, and this means that some hierarchical structure is inherent in truth. Approaching the Liar Paradox from this perspective throws new light on its existent solutions: their differences and commonalities, their purported ad-hocness, and the relevance of natural language and bivalence to truth and the Liar. (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)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability to token propositional thoughts. I (...) explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

Physicalistic theories of psychology are a classic case of scientific imperialism: the explanatory capacity of physics, both with respect to its methods and to its domain, is taken to extend beyond the traditional realm of physics, and into that of psychology. I argue in this paper that this particular imperialistic venture has failed. Contemporary psychology uses methods not modelled on those of physics, embracing first-personal methodology where physics is strictly impersonal. I make the case that whether or not scientific imperialism (...) is in general harmful, in this instance naturalists who reject first philosophy should give up physicalist imperialism. Using only general principles from the philosophy of logic plus accepted physicalist criteria of identity, I show that first-personal psychology embodies a minor but fruitful increase in expressive strength compared to impersonal psychology: the ability to distinguish descriptively indiscriminable posits. (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)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

Millians about proper names typically claim that it is knowable apriori that Hesperus is Phosphorus. We argue that they should claim instead that it is knowable only aposteriori that Hesperus is Hesperus, since the Kripke-Putnam epistemic arguments against descriptivism are special cases of Quinean arguments that nothing is knowable apriori, and Millians have no resources to resist the more general Quinean arguments.

In a recent paper, Cumpa : 319–324, 2014) argues that a scientific turn in metaphysics requires the acceptance of a materialist criterion of fundamentality, according to which the most fundamental metaphysical category is the one that provides us with a reconciliation of the ordinary world and the physical universe. He concludes that the dominant category of substance cannot be the most fundamental category, for it does not satisfy this criterion of fundamentality. The most fundamental category is instead the category of (...) fact. Although convincing, the defense of factualism over substantialism offered by Cumpa takes into account the case of classical physics without considering the physical universe of quantum mechanics. My aim in this paper is to offer a completion to Cumpa’s factualist approach. To achieve my aim, I show that substances cannot provide a satisfactory account of the relationship between the ordinary world and the physical universe even in the case of quantum mechanics, whereas a factualist approach does. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

This paper argues against the realization principle, which reifies the realization relation between lower-level and higher-level properties. It begins with a review of some principles of naturalistic metaphysics. Then it criticizes some likely reasons for embracing the realization principle, and finally it argues against the principle directly. The most likely reasons for embracing the principle depend on the dubious assumption that special science theories cannot be true unless special science predicates designate properties. The principle itself turns out to be false (...) because the realization relation fails the naturalistic test for reality: it makes no causal difference to the world.Footnote11This paper resulted from work done at John Heil's 2006 Mind and Metaphysics NEH Summer Seminar at Washington University in St. Louis. An early version of it was presented in a special symposium on realization at the 2007 meeting of the Southern Society for Philosophy and Psychology. I owe thanks to all the participants in both events for helpful discussions, and I owe particular thanks to Ken Aizawa, Torin Alter, Jason Ford, Carl Gillett, John Heil, Nicholas Helms, Pete Mandik, John Post, Gene Witmer, Michelle Wrenn, Tad Zawidzki, and two anonymous referees for the AJP. (shrink)

We argue that if Stephen Yablo (2005) is right that philosophers of mathematics ought to endorse a fictionalist view of number-talk, then there is a compelling reason for deflationists about truth to endorse a fictionalist view of truth-talk. More specifically, our claim will be that, for deflationists about truth, Yablo’s argument for mathematical fictionalism can be employed and mounted as an argument for truth-theoretic fictionalism.

True beliefs and truth-preserving inferences are, in some sense, good beliefs and good inferences. When an inference is valid though, it is not merely truth-preserving, but truth-preserving in all cases. This motivates my question: I consider a Modus Ponens inference, and I ask what its validity in particular contributes to the explanation of why the inference is, in any sense, a good inference. I consider the question under three different definitions of ‘case’, and hence of ‘validity’: the orthodox definition given (...) in terms of interpretations or models, a metaphysical definition given in terms of possible worlds, and a substitutional definition defended by Quine. I argue that the orthodox notion is poorly suited to explain what's good about a Modus Ponens inference. I argue that there is something good that is explained by a certain kind of truth across possible worlds, but the explanation is not provided by metaphysical validity in particular; nothing of value is explained by truth across all possible worlds. Finally, I argue that the substitutional notion of validity allows us to correctly explain what is good about a valid inference. (shrink)

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing you (...) can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

In this note I present a solution to Kripkenstein’s paradox, based on a very simple argument: (1) natural language and rule-following are empirical phenomena; (2) no case has been described, in real life, of a person who behaves as Wittgenstein’s or Kripke’s fictional character; (3) therefore, the discussion of such a case is completely devoid of interest. I lay out the example of a ‘Kripkensteinian apple’, which has a normal weight on even days and is weightless on odd days, in (...) order to highlight the contrast between a genuinely empirical perspective, such as that of physics, and the logical-analytical perspective, under which Kripkenstein’s paradox has attracted so much attention. (shrink)

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

The mereological predicate ‘is part of’ can be used to define the predicate ‘is identical with’. I argue that this entails that mereological theories can be ideologically simpler than nihilistic theories that do not use the notion of parthood—contrary to what has been argued by Ted Sider. Moreover, if one accepts an extensional mereology, there are good philosophical reasons apart from ideological simplicity to give a mereological definition of identity.

In this paper I reassess Floridi's solution to the Bar-Hillel-Carnap paradox (the information-yield of inconsistent propositions is maximal) by questioning the orthodox view that contradictions cannot be true. The main part of the paper is devoted to showing that the veridicality thesis (semantic information has to be true) is compatible with dialetheism (there are true contradictions), and that unless we accept the additional non-falsity thesis (information cannot be false) there is no reason to presuppose that there is no such thing (...) like contradictory information. (shrink)

One logic or many? I say—many. Or rather, I say there is one logic for each way of specifying the class of all possible circumstances, or models, i.e., all ways of interpreting a given language. But because there is no unique way of doing this, I say there is no unique logic except in a relative sense. Indeed, given any two competing logical theories T1 and T2 (in the same language) one could always consider their common core, T, and settle (...) on that theory. So, given any language L, one could settle on the minimal logic T0 corresponding to the common core shared by all competitors. That would be a way of resisting relativism, as long as one is willing to redraw the bounds of logic accordingly. However, such a minimal theory T0 may be empty if the syntax of L contains no special ingredients the interpretation of which is independent of the specification of the relevant L-models. And generally—I argue—this is indeed the case. (shrink)

It is argued that the blind ascriptive role for the word "true", its use, that is, in conjunction with descriptions of classes of sentences or with proper names of sentences, is one which applies indiscriminately to sentences regardless of whether these are in languages we speak, can understand, or can translate into sentences that we do speak. Formal analogues of the ordinary word "true" as they arise in Tarski's seminal work, and in others, cannot replicate this essential role of the (...) ordinary word "true". (shrink)

Can one combine Davidsonian semantics with a deflationary conception of truth? Williams argues, contra a common worry, that Davidsonian semantics does not require truth-talk to play an explanatory role. Horisk replies that, in any event, the expressive role of truth-talk that Williams emphasizes disqualifies deflationary accounts—at least extant varieties—from combination with Davidsonian semantics. She argues, in particular, that this is so for Quine's disquotationalism, Horwich's minimalism, and Brandom's prosententialism. I argue that Horisk fails to establish her claim in all three (...) cases. This involves clarifying Quine’s understanding of a purely referential occurrence; explaining how Davidsonians can avail themselves of a syntactic treatment of lexical ambiguity; and correcting a common misreading of Brandom (answering along the way an objection offered by Künne as well). (shrink)

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical particles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosophical implications. We also review some proposals available in the literature (...) which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles. (shrink)

Este artigo reconstrói os argumentos de Donald Davidson (1970) em favor de sua teoria do monismo anômalo e revisa as principais críticas que recebeu. Essa teoria é amplamente rejeitada atualmente e, dadas as inúmeras críticas recebidas, é razoável concluir que qualquer tentativa de reabilitação tem um longo caminho pela frente. A diversidade dessas críticas sugere que não há consenso sobre por que exatamente o monismo anômalo fracassa, embora as dificuldades pareçam convergir sobre a justificação e possibilidade da tese monista, e (...) não sobre a anomalia do mental. (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)

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)

Why should one think Frege's definition of the ancestral correct? It can be proven to be extensionally correct, but the argument uses arithmetical induction, and that seems to undermine Frege's claim to have justified induction in purely logical terms. I discuss such circularity objections and then offer a new definition of the ancestral intended to be intensionally correct; its extensional correctness then follows without proof. This new definition can be proven equivalent to Frege's without any use of arithmetical induction. This (...) proves, without any use of arithmetical induction, that Frege's definition is extensionally correct and so answers the circularity objections. (shrink)