In this paper we extend to non-classical set theories the standard strategy of proving independence using Boolean-valued models. This extension is provided by means of a new technique that, combining algebras (by taking their product), is able to provide product-algebra-valued models of set theories. In this paper we also provide applications of this new technique by showing that: (1) we can import the classical independence results to non-classical set theory (as an example we prove the independence of $\mathsf {CH}$ ); (...) and (2) we can provide new independence results. We end by discussing the role of non-classical algebra-valued models for the debate between universists and multiversists and by arguing that non-classical models should be included as legitimate members of the multiverse. (shrink)

Logical pluralism is a general idea that there is more than one correct logic. Carnielli and Rodrigues [2019a] defend an epistemic interpretation of the paraconsistent logic N4, according to which an argument is valid in this logic just in case it necessarily preserves evidence. The authors appeal to this epistemic interpretation to briefly motivate a kind of logical pluralism: “different accounts of logical consequence may preserve different properties of propositions”. The aim of this paper is to study the prospect of (...) a logical pluralism based on different interpretations of logical systems. First, we give our analysis of what it means to interpret a logic – and make some hopefully useful distinctions along the way. Second, we present what we call an interpretational logical pluralism: there is more than one correct logic and a logic is correct only if it has some adequate interpretation. We consider four variants of this idea, bring up some possible objections, and try to find plausible solutions on behalf of the pluralist. We will argue that interpretations of logical systems provide a promising – albeit not unproblematic – route to logical pluralism. (shrink)

El dialeteísmo es la posición que afirma que hay contradicciones verdaderas. Este artículo versará sobre esa posición. En la primera sección, mencionaré los principales aportes que, en mi perspectiva, el dialeteísmo ha hecho a la lógica filosófica. En la segunda sección, analizaré el principal problema del dialeteísmo. En la tercera sección, mostraré que los argumentos a favor del dialeteísmo no llegan a establecer la verdad de esta posición. Finalmente, explicaré cuál es el tipo de paraconsistencia que considero adecuada y la (...) compararé con la posición dialeteísta. Dialetheism is the position which claims that there are true contradictions. This paper deals with this position. In the first section, I will mention the main contributions that, in my perspective, dialetheism has made to philosophical logic. In the second section, I will analyze the main problem of dialetheism. In the third section, I will show that the arguments in favor of dialetheism are not conclusive. Finally, I will explain which kind of paraconsistency I consider adequate, and I will compare it with the dialetheist position. (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)

Logical pluralism is commonly described as the view that there is more than one correct logic. It has been claimed that, in order for that view to be interesting, there has to be at least a potential for rivalry between the correct logics. This paper offers a detailed assessment of this suggestion. I argue that an interesting version of logical pluralism is hard, if not impossible, to achieve. I first outline an intuitive understanding of the notions of rivalry and correctness. (...) I then discuss a natural account of rivalry in terms of disagreement about validity claims and the argument from meaning variance that has been raised against it. I explore a more refined picture of the meaning of validity claims that makes use of the character-content distinction of classical two dimensional semantics. There are three ways in which pluralists can use that framework to argue for the view that different logics may be rivals but could nevertheless be equally correct. I argue that none of them is convincing. (shrink)

A thriving literature has developed over logical and mathematical pluralism – i.e. the views that several rival logical and mathematical theories can be equally correct. These have unfortunately grown separate; instead, they both could gain a great deal by a closer interaction. Our aim is thus to present some novel forms of abstractionist mathematical pluralism which can be modeled on parallel ways of substantiating logical pluralism (also in connection with logical anti-exceptionalism). To do this, we start by discussing the Good (...) Company Problem for neo-logicists recently raised by Paolo Mancosu (2016), concerning the existence of rival abstractive definitions of cardinal number which are nonetheless equally able to reconstruct Peano Arithmetic. We survey Mancosu’s envisaged possible replies to this predicament, and suggest as a further path the adoption of some form of mathematical pluralism concerning abstraction principles. We then explore three possible ways of substantiating such pluralism—Conceptual Pluralism, Domain Pluralism, Pluralism about Criteria—showing how each of them can be related to analogous proposals in the philosophy of logic. We conclude by considering advantages, concerns, and theoretical ramifications for these varieties of mathematical pluralism. (shrink)

Josiah Royce (1855?1916) was, in addition to being the pre-eminent metaphysician at the turn of the 19th century in the USA, regarded as ?a logician of the first rank?. At the time of his death in 1916, he had begun a substantial and potentially revolutionary project in logic in which he sought to show the connection between logic and ethics, aesthetics, and metaphysics. His system was developed in light of the work of Bertrand Russell and A. B. Kempe and aimed (...) to include Russell's logic as a subsystem. This more comprehensive logic, which Royce called system Σ, brought together an analysis of the character of experience and knowledge with the principles which served to organize interests and direct actions. The result was to be a logical theory framed by ?a profoundly ethical motive as well as a genuinely intellectual one? that would serve as ?a theory of the way in which activities must go on if they go on at all?. This paper examines three stages in the development of Royce's logical system, its relation to the logic of Principia Mathematica, and prospects for its further development. (shrink)

Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of (...) scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

We present a case study for the debate between the American and the Australian plans, analyzing a crucial aspect of negation: expressivity within a theory. We discuss the case of non-classical set theories, presenting three different negations and testing their expressivity within algebra-valued structures for ZF-like set theories. We end by proposing a minimal definitional account of negation, inspired by the algebraic framework discussed.

Logical pluralism has been in vogue since JC Beall and Greg Restall 2006 articulated and defended a new pluralist thesis. Recent criticisms such as Priest 2006a and Field 2009 have suggested that there is a relationship between their type of logical pluralism and the meaning-variance thesis for logic. This is the claim, often associated with Quine 1970, that a change of logic entails a change of meaning. Here we explore the connection between logical pluralism and meaning-variance, both in general and (...) for Beall and Restall's theory specifically. We argue that contrary to what Beall and Restall claim, their type of pluralism is wedded to meaning-variance. We then develop an alternative form of logical pluralism that circumvents at least some forms of meaning-variance. (shrink)

According to tradition, logic is normative for reasoning. According to many contemporary philosophers of logic, there is more than one correct logic. What is the relationship between these two strands of thought? This paper makes two claims. First, logic is doubly normative for reasoning because, in addition to constraining the combinations of beliefs that we may have, logic also constrains the methods by which we may form them. Second, given that logic is doubly normative for reasoning, a wide array of (...) logical pluralisms are inconsistent with the normativity of logic as they entail contradictory claims about how agents ought to reason. Thus, if logic is normative for reasoning, these pluralisms are untenable. (shrink)

On the Dummettian understanding, anti-realism regarding a particular discourse amounts to (or at the very least, involves) a refusal to accept the determinacy of the subject matter of that discourse and a corresponding refusal to assert at least some instances of excluded middle (which can be understood as expressing this determinacy of subject matter). In short: one is an anti-realist about a discourse if and only if one accepts intuitionistic logic as correct for that discourse. On careful examination, the strongest (...) Dummettian arguments for anti-realism of this sort fail to secure intuitionistic logic as the single, correct logic for anti-realist discourses. Instead, antirealists are placed in a situation where they fail to be justified in asserting monism (that intuitionistic logic is the unique correct logic). Thus, antirealists seem forced either to accept pluralism (i.e. one or more intermediate logic is at least as `correct’ as intuitionistic logic–an option I take to be unattractive from the anti-realist perspective), or they must be anti-realists about the realism/anti-realism debate (and, in particular, must refuse to assert the instance of excluded middle equivalent to logical monism or logical pluralism). (shrink)

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

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)

This paper scrutinizes the debate over logical pluralism. I hope to make this debate more tractable by addressing the question of motivating data: what would count as strong evidence in favor of logical pluralism? Any research program should be able to answer this question, but when faced with this task, many logical pluralists fall back on brute intuitions. This sets logical pluralism on a weak foundation and makes it seem as if nothing pressing is at stake in the debate. The (...) present paper aims to improve this situation by looking at a promising case study and drawing general lessons about the kind of evidence that would support logical pluralism. I argue that the best motivation for logical pluralism will ultimately be rooted in certain kinds of performative data. (shrink)

Many philosophers think that moral objectivism is supported by stable features of moral discourse and thinking. When engaged in moral reasoning and discourse, people behave ‘as if’ objectivism were correct, and the seemingly most straightforward way of making sense of this is to assume that objectivism is correct; this is how we think that such behavior is explained in paradigmatically objectivist domains. By comparison, relativist, error-theoretic or non-cognitivist accounts of this behavior seem contrived and ad hoc. After explaining why this (...) argument should be taken seriously, I argue that it is nevertheless undermined by considerations of moral disagreement. Even if the metaphysical, epistemic and semantic commitments of objectivism provide little or no evidence against it, and even if the alternative explanations of ‘objectivist’ traits of moral discourse and thinking are speculative or contrived, objectivism is itself incapable of making straightforward sense of these traits. Deep and widespread moral disagreement or, rather, the mere appearance of such disagreement, strongly suggests that the explanations operative in paradigmatically objective discourse fail to carry over to the moral case. Since objectivism, no less than relativism, non-cognitivism and error-theories, needs non-trivial explanations of why we behave ‘as if’ objectivism were correct, such behavior does not presently provide reason to accept objectivism. (shrink)

By playing a crucial role in settling open issues in the philosophical debate about logical consequence, logical evidence has become the holy grail of inquirers investigating the domain of logic. However, despite its indispensable role in this endeavor, logical evidence has retained an aura of mystery. Indeed, there seems to be a great disharmony in conceiving the correct nature and scope of logical evidence among philosophers. In this paper, I examine four widespread conceptions of logical evidence to argue that all (...) should be reconsidered. First, I argue that logical apriorists are more tolerant of logical evidence than empiricists. Second, I argue that evidence for logic should not be read out of natural language. Third, I argue that if logical intuitions are to count as logical evidence, then their evidential content must not be propositional. Finally, I argue that the empiricist proposal of treating experts' judgments as evidence suffers from the same problems as the rationalist conception. (shrink)

Logic is about reasoning, or so the story goes. This thesis looks at the concept of logic, what it is, and what claims of correctness of logics amount to. The concept of logic is not a settled matter, and has not been throughout the history of it as a notion. Tools from conceptual analysis aid in this historical venture. Once the unsettledness of logic is established we see the repercussions in current debates in the philosophy of logic. Much of the (...) battle over the ‘one true logic’ is conceptually talking past each other. The theory of logics-as-formalizations is presented as a conceptually open theory of logic which is Carnapian in flavour and grounding. Rudolf Carnap’s notions surrounding ‘external’ and ‘pseudo-questions’ about linguistic frameworks apply to formalizations, thus logics, as well. An account of what formalizations are, a more structured sub-set of modelling, is given to ground the claim that logics are formalizations. Finally, a novel account of correctness, the COFE framework, is developed which allows the notions of logical monism, pluralism and nihilism to be more precisely formulated than they currently are in the discourse. (shrink)

Logical monism is the view that there is ‘One True Logic’. This is the default position, against which pluralists react. If there were not ‘One True Logic’, it is hard to see how there could be one true theory of anything. A theory is closed under a logic! But what is logical monism? In this article, I consider semantic, logical, modal, scientific, and metaphysical proposals. I argue that, on no ‘factualist’ analysis (according to which ‘there is One True Logic’ expresses (...) a factual claim, rather than an attitude like approval), does the doctrine have both metaphysical and methodological import. Metaphysically, logics abound. Methodologically, what to infer from what is not settled by the facts, even the normative ones. I conclude that the only interesting sense in which there could be One True Logic is noncognitive. The same may be true of monism about normative areas, like moral, epistemic, and prudential ones, generally. (shrink)

In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no longer (...) play a distinctive role. This account employs a new notion of semantic. (shrink)

El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares.

This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...) argue that informational semantics needs to be supplemented by allowing content-constitutive rules of inference (“meaning postulates”). This is because the content of one important class of concepts, the logical terms, is not plausibly informational. And since, it is argued, no principled distinction can be drawn between logical concepts and the rest, the problem that this raises is a general one. An immediate difficulty is that Quine’s classic arguments against the analytic/synthetic distinction suggest that there can be no principled basis for distinguishing content-constitutive rules from the rest. I show that this concern can be overcome by taking a psychological approach: there is a fact of the matter as to whether or not a particular inference is governed by a mentally-represented inference rule, albeit one that analytic philosophy does not have the resources to determine. I then consider the implications of this approach for concept acquisition. One mechanism underlying concept acquisition is the development of perceptual detectors for the objects that we encounter. I investigate how this might work, by drawing on recent ideas in ethology on ‘learning instincts’, and recent insights into the neurological basis for perceptual learning. What emerges is a view of concept acquisition as involving a complex interplay between innate constraints and environmental input. This supports Fodor’s recent move away from radical concept nativism: concept acquisition requires innate mechanisms, but does not require that concepts themselves be innate. (shrink)

Logicians disagree about how validity—the very heart of logic—should be understood. Many different formal systems have been born due to this disagreement. This thesis examines how teachers explain the subject matter of logic to students in introductory logic textbooks, and demonstrates the different explanations teachers use. These differences help explain why logicians have different intuitions about validity.

The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...) of utterance. Insofar as epistemic modalities express some attitudes, the intentionality of discourse will be emphasized within an illocutionary modal logic. Two large views will range over the whole study: declarative and epistemic sentences have one and the same logic (assertion logic); the plurality of languages games doesn’t entail any logical pluralism. -/- La valeur d'une analyse logique réside dans sa capacité à résoudre des paradoxes et à comprendre l'origine de nos problèmes conceptuels ; à ce titre, le rôle d'une logique épistémique est de traiter des paradoxes liés au concept de connaissance. On présente généralement la logique épistémique comme une analyse logique de concepts centraux en épistémologie : connaissance, croyance, vérité, justification. Une autre approche sera proposée ici en vue de clarifier ce genre de discours, centrée sur la notion d'assertion et décrite en termes d'énonciation. Parce que les modalités épistémiques expriment des attitudes, c'est l'intentionnalité du discours qui sera mise en valeur dans le cadre d'une logique modale illocutoire. Deux thèses transversales parcourront l'ensemble du travail : les énoncés déclaratifs et épistémiques partagent la même logique (logique assertorique) ; la pluralité des jeux de langages n'implique pas un pluralisme logique. (shrink)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

There are two ways of understanding the notion of a contradiction: as a conjunction of a statement and its negation, or as a pair of statements one of which is the negation of the other. Correspondingly, there are two ways of understanding the Law of Non-Contradiction (LNC), i.e., the law that says that no contradictions can be true. In this paper I offer some arguments to the effect that on the first (collective) reading LNC is non-negotiable, but on the second (...) (distributive) reading it is perfectly plausible to suppose that LNC may, in some rather special and perhaps undesirable circumstances, fail to hold. (shrink)