Val Plumwood’s 1993 paper, “The politics of reason: towards a feminist logic” (hence- forth POR) attempted to set the stage for what she hoped would begin serious feminist exploration into formal logic – not merely its historical abuses, but, more importantly, its potential uses. This work offers us: (1) a case for there being feminist logic; and (2) a sketch of what it should resemble. The former goal of Plumwood’s paper encourages feminist theorists (...) to reject anti-logic feminist views. The paper’s latter aim is even more challenging. Plumwood’s critique of classical negation (and classical logic) as a logic of domination asks us to recognize that particular logical systems are weapons of oppression. Against anti-logic feminist theorists, Plumwood argues that there are other logics besides classical logic, such as relevant logics, which are suited for feminist theorizing. Some logics may oppress while others may liberate. We provide details about the sources and context for her rejection of classical logic and motivation for promoting relevant logics as feminist. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy (...) of logic: Valerie Plumwood's feminist argument for a relevance logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)

Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...) semantic generalizations – are addressed. Finally, I’ll introduce the case studies that I’ll be dealing with in part II. Chapter 2 is concerned with the origins and development of Jaśkowski’s discussive logic. The main idea of this chapter is to systematize the various stages of the development of discussive logic related researches from two different angles, i.e., its connections to modal logics and its proof theory, by highlighting virtues and vices. Chapter 3 focuses on the Gentzen-style proof theory of discussive logic, by providing a characterization of it in terms of labelled sequent calculi. Chapter 4 deals with the Gentzen-style proof theory of relevant logics, again by employing the methodology of labelled sequent calculi. This time, instead of working with a single logic, I’ll deal with a whole family of them. More precisely, I’ll study in terms of proof systems those relevant logics that can be characterised, at the semantic level, by reduced Routley-Meyer models, i.e., relational structures with a ternary relation between states and a unique base element. Chapter 5 investigates the proof theory of a modal expansion of intuitionistic propositional logic obtained by adding an ‘actuality’ operator to the connectives. This logic was introduced also using Gentzen sequents. Unfortunately, the original proof system is not cut-free. This chapter shows how to solve this problem by moving to hypersequents. Chapter 6 concludes the investigations and discusses the future of the research presented throughout the dissertation. (shrink)

This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By (...) studying judgement aggregation in logics that are weaker than classical logic, we investigate whether some well-known impossibility results, that were tailored for classical logic, still apply to those weak systems. (shrink)

Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics (...) they support. We end with some questions for future research. (shrink)

Book information: Deviant Logic, Fuzzy Logic: Beyond The Formalism. By SUSAN HAACK. Chicago, Ill.: University of Chicago Press, 1996. Pp. xxvi, 291.

We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this (...) class='Hi'>logic. The semantics is defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)

The review gives a short description of the content of the book and discusses the treatment of conditionals in it.

In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim (...) of this paper is to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us (...) relevant implication. I then investigate ways to add conjunction, disjunction, and negation; and I discuss how to justify contraposition and excluded middle within a truthmaker semantics. (shrink)

In 1942 Haskell B. Curry presented what is now called Curry's paradox which can be found in a logic independently of its stand on negation. In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this article the non-classical resolution of Curry’s Paradox and Shaw-Kwei' sparadox without rejection any contraction postulate is proposed. In additional relevant paraconsistent logic C ̌_n^#,1≤n<ω, in fact,provide an effective way of circumventing triviality of (...) da Costa’s paraconsistent Set Theories〖NF〗n^C. (shrink)

The obscure and punctuated history of symmetry is compared with the history of the celebrated and exalting notion of infinitesimal; some considerations about them are derived. A long list of odd and hidden events concerning symmetry in theoretical physics is offered. The last event is the discovery of the nature of the same word “symmetry” which pertains to non-classical logic, and it is linked to the principle of sufficient reason. A comparison of the roles played by (...) the two mathematical techniques within a classical physical theory is performed. It leads to recognize the different roles played by the two mathematical tools as a manifestation of an incommensurability phenomenon caused by two foundational dichotomies. (shrink)

In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.

The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant (...) logics. (shrink)

In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based (...) on the application of the following tools from Knowledge Representation: the family of Description Logics, an enrichment of classical logics via defeasible statements, and an application of the preferential interpretation of the approach to Belief Revision. (shrink)

The Einstein of the New Age holds forth in his unique and brilliant style on the history of world views and how to put spirit back in our life. If you have the patience to learn his jargon and read slowly there is alot of serious brainfood here. I read this and his Sex, Ecology and Spirituality(1995) with Hofstadter´s famous Godel, Escher, Bach(GEB) written in 1980(both of which I have reviewed here). Wilber´s work has many parallels with GEB, both (...) of them massive works attempting to tie together disparate fields and different views of life. Unlike Hofstadter, who was mainly interested in the nature of intelligence, Wilber does not treat math, music or DNA, and he concentrates on world views that have a spiritual relevance but like Hofstadter he lacks any grasp of the logical structure of rationality, the dual systems of thought or the works of Wittgenstein and Searle, which obviates much of his work. For an account of those see my articles. He spent a vast amount of time working out the relationships between ideas and how they relate to individual and society, spirit and science. If you don´t have the time or patience for the whole book, read Superconsciousness Parts 1 and 2 which are an excellent summary. His shortest book, `The Marriage of Self andSoul is a much easier read that gives you a good idea of his style and purpose. He details alot of intellectual history (philosophy, psychology, religion, ecology, feminism, sociology, etc) and shows where nearly everyone went too far in the direction of Ascent (to the spirit) or Descent (to science,materialism, reductionism or Flatland). He trys to show how to heal the rifts by combining sense and soul (spiritual and material life, science and religion, internal and external, individual and social). Everything is related to everything else (holons in holarchies). The Age of Enlightenment denied the the spirit, the individual and the interior life but developed art, morals and science and led to democracy, feminism, equality and ecology, but this reductionism compressed the intellect and the spirit into the Flatland of science, rationality and materialism. He sees the loss of the spiritual point of view with the Age of Enlightenment as the major factor responsible for the malaise of modern times, but real spirituality or ìntelligent religion (i.e., the quest for enlightenment) as opposed to primitive religion (everything else-see my review of Boyer´s 'Religion Explained') was always rare. It is intelligent religion he sees as the panacea, but it is primitive religion that the masses understand, and it too has only materialistic goals. In sum, in spite of its shortcomings it is still unique and well worth the effort. -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

We re-examine the problem of existential import by using classical predicate logic. Our problem is: How to distribute the existential import among the quantified propositions in order for all the relations of the logical square to be valid? After defining existential import and scrutinizing the available solutions, we distinguish between three possible cases: explicit import, implicit non-import, explicit negative import and formalize the propositions accordingly. Then, we examine the 16 combinations between the 8 propositions having the first two (...) kinds of import, the third one being trivial and rule out the squares where at least one relation does not hold. This leads to the following results: (1) three squares are valid when the domain is non-empty; (2) one of them is valid even in the empty domain: the square can thus be saved in arbitrary domains and (3) the aforementioned eight propositions give rise to a cube, which contains two more (non-classical) valid squares and several hexagons. A classical solution to the problem of existential import is thus possible, without resorting to deviant systems and merely relying upon the symbolism of First-order Logic (FOL). Aristotle’s system appears then as a fragment of a broader system which can be developed by using FOL. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, (...) and computational. (shrink)

A system of logic usually comprises a language for which a model-theory and a proof-theory are defined. The model-theory defines the semantic notion of model-theoretic logical consequence (⊨), while the proof-theory defines the proof- theoretic notion of logical consequence (or logical derivability, ⊢). If the system in question is sound and complete, then the two notions of logical consequence are extensionally equivalent. The concept of full formalization is a more restrictive one and requires in addition the preservation of the (...) standard meanings of the logical terms in all the admissible interpretations of the logical calculus, as it is proof-theoretically defined. Although classical first-order logic is sound and complete, its standard formalizations fall short to be full formalizations since they allow non-intended interpretations. This fact poses a challenge for the logical inferentialism program, whose main tenet is that the meanings of the logical terms are uniquely determined by the formal axioms or rules of inference that govern their use in a logical calculus, i.e., logical inferentialism requires a categorical calculus. This paper is the first part of a more elaborated study which will analyze the categoricity problem from its beginning until the most recent approaches. I will first start by describing the problem of a full formalization in the general framework in which Carnap (1934/1937, 1943) formulated it for classical logic. Then, in sections IV and V, I shall discuss the way in which the mathematicians B.A. Bernstein (1932) and E.V. Huntington (1933) have previously formulated and analyzed it in algebraic terms for propositional logic and, finally, I shall discuss some critical reactions Nagel (1943), Hempel (1943), Fitch (1944), and Church (1944) formulated to these approaches. (shrink)

This article challenges the prevailing interpretations of Hegel's account of the concept "contradiction" in the Science of Logic by arguing that it is concerned with the principle of Hegel's method rather than with the classical law of non-contradiction. I first consider Hegel's Doctrine of Essence in view of Kant's discussion of the concepts of reflection in the first Critique. On this basis, I examine Hegel's account of the logical principles based on the concepts "identity," "opposition," and "contradiction." Finally, (...) I point out how the principle Hegel derives from the concept of contradiction actually informs his own method. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely (...) to languages containing the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems (...) to change this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...) Traditional logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

A fresh and original presentation that is easy and affordable for students, instructors, and general readers to use. This well-written, insightful history of philosophy is basic enough to be understood by those with no prior experience with philosophy but sophisticated enough to inform further those with some knowledge of philosophy. -/- Based on the author’s 20-plus years of teaching philosophy and learning what works for students, How We Are and How We Got Here is designed to connect with students (...) to help them understand philosophy and why it matters to them, regardless of their major. Its straightforward conversational presentation of philosophy includes readers in philosophy’s long conversation. Its chronological presentation places philosophers in their historical context, showing how philosophy is an ongoing interaction with society seeking practical knowledge useful to us in everyday life. -/- Key Features that fill multiple gaps in existing textbooks: -/- * Shows students how innovations in philosophy have interacted with and changed history, leading to how we are today. * Presents philosophy as a vital part of our lives, not as a set of isolated theoretical problems, avoiding the disconnected and fragmented silo approach of most textbooks. * Avoids the sink-or-swim approach of anthologies that plunges students into a hodgepodge of disjoint readings without adequate guidance. * Does not duplicate material covered in other introductory courses of ethics and logic but focuses on the rest of philosophy. * Focuses on explaining the ideas of the philosophers, allowing instructors to choose, at their option, primary texts from the plentifully available royalty-free sources. * Extensively covers vital areas of philosophy ignored by most textbooks, including pragmatism, phenomenology, social and political philosophy, postmodernism, feminist philosophy, and philosophy of race. * Always remains engaging and accessible to the reader. Neither dumbs down the material nor over complicates it. * Provides clear and direct text unencumbered by bells and whistles and other extraneous materials. -/- How We Are and How We Got Here provides students of all backgrounds with a clear and whole understanding of philosophy and its role in history and society, making the 2,400-year history of Western philosophy vital and relevant to today. It shows that philosophy is not a cold analytical academic procedure but exciting and alive, and reveals how we are all philosophers. (shrink)

The history of philosophy risks a self-opacity whereby we overestimate or underestimate our proximity to prior modes of thinking. This risk is relevant to assessing Hegel’s appropriation by McDowell and Priest. McDowell enlists Hegel for a quietist answer to the problem with assuming that concepts and reality belong to different orders, viz., how concepts are answerable to the world. If we accept Hegel’s absolute idealist view that the conceptual is boundless, this problem allegedly dissolves. Priest enlists Hegel for (...) a dialetheist answer to the problem with assuming that truth and falsity are mutually exclusive, viz., how certain sentences are both true and false. If we accept Hegel’s dialectical view that certain contradictions are necessary, this problem allegedly dissolves. For both McDowell and Priest, we find a true friend in Hegel. I argue that McDowell’s and Priest’s appropriations of Hegel overestimate Hegel’s affinity with quietism and dialetheism. McDowell reads Hegel as a quietist who silences metaphysical claims and the skeptical questions they raise against commonsense, but neglects Hegel’s adaptation of ancient skepticism against commonsense. Priest reads Hegel as a dialetheist who subordinates formal logic to dialectical logic by affirming the truth of certain contradictions, but neglects Hegel’s commitment to resolving contradictions for the sake of truth qua whole. I diagnose their misreadings in terms of what Hegel regards as the three moments of logic and argue that while McDowell jumps to its third moment, Priest stalls at its second moment. According to Hegel’s Encyclopedia Logic, logic has three “moments”: the abstractive moment of the understanding, which “stops short” at fixed categories; the negative moment of dialectic, which discovers the “genuine nature” of the categories, viz., that each “passes over, of itself, into its opposite”; and the positive moment of speculation, which grasps the “unity” of categories through the “dissolution” of their inner opposition. Hegel warns that if these moments are “kept separate from each other […] they are not considered in their truth”. I suggest that quietist and dialetheist readings of Hegel fail to consider truthfully the unified moments of his logic. In his quietist critique of metaphysics, McDowell enlists Hegel to dissolve the problem with assuming the duality of concept and reality. But McDowell helps himself directly to the third moment of logic, where the unity of the categories, and hence the boundlessness of the conceptual, would be fully articulated. Since he arrives at the third moment prematurely, ignoring its prior moments, he obscures its truth (§1). In his dialetheist critique of formal logic, Priest enlists Hegel to dissolve the problem with assuming the duality of truth and falsity. But Priest restricts himself gratuitously to the second moment of logic, where contradictions within the categories are not yet resolved. Since he stalls at the second moment, severed from its final moment, he obscures its truth (§2). I argue we can extricate Hegel from quietist and dialetheist misreadings only if we grasp the truth of the three moments of logic. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in (...) the imagined non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will (...) claim that a logic is to be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the (...) proof-theoretical side, two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an (...) agent values accuracy as the fundamental epistemic virtue, it is a necessary requirement for rationality that her credence have some probabilistic structure. Then I show that for a certain class of reasonable measures of inaccuracy, having such a probabilistic structure is sufficient to avoid accuracy-domination in these non-classical settings. (shrink)

A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of (...) these notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

Many philosophers affiliated with the analytic school contend that the history of philosophy is not relevant to their work. The present study challenges this claim by introducing a strong variant of the philosophical history of philosophy termed the “logical–contextual history of philosophy.” Its objective is to map the “logical geography” of the concepts and theories of past philosophical masters, concepts and theories that are not only genealogically, but also logically related. Such history of philosophy cannot (...) be set in opposition to the traditional “systematic philosophy.” Rather, the logical–contextual history of philosophy is, like the traditional school philosophies, systematic, although it develops along different lines. (shrink)

The argument of this dissertation is that despite the intellectual gendered burden of the problem of disembodiment I define, it can be employed from within the limitations of a gendered account in feminist philosophy of the continental-realist type. I formulate the problem of disembodiment as rooted in the notion of the boundless (apeiron) associated with femininity. Both boundlessness and disembodiment are subject to radicalization in Plato (chōra) and Plotinus (to hen). Read as a dyad, they culminate in a tendency (...) towards gendered disembodiment, mediated by Plato’s soul-body dualism. The dissertation seeks to compare the gendered dimension of disembodiment in the work of Plato and Plotinus and that of the non- philosophers François Laruelle and Katerina Kolozova. “Part I. The Problem of Boundlessness: Radicalizing Disembodiment” is divided in three chapters, which present an intellectual history of the problem of boundlessness as femininity. I survey the problem of boundlessness as drafting relations between elements and principles and femininity in Greek mythology (Chapter 1), Plato’s cosmology (Chapter 2), and Plotinus’ metaphysics (Chapter 3). I argue that the relation between death and the female was ambivalent by the time of the Anaximandrean apeiron and that it became a subject of radicalization via Plato’s chōra and Plotinus’ One, mediated by the notion of the Indefinite Dyad and the doctrine of divided matter. The problem of boundlessness was subject to conceptual radicalization that led to hierarchical metaphysics and deepened the division between body and soul via the association of femininity, reproductivity and matter. “Part II. The Problem of Disembodiment: Revising Boundlessness” is divided in two chapters focusing on the contemporary relevance and importance of the problem of disembodiment as a way of revising boundlessness. I present and explain the legacy of the Platonic chōra and the Plotinian One and what they as a dyad entail for contemporary continental philosophy. I offer (Chapter 4) a trajectory for a continental feminist philosophy interpretation of disembodiment by combining continental feminist philosophy, non- philosophy and new realism. With the aid of Laruelle’s non-philosophy, I explain how and why chōra and the One can be used for/from continental feminist philosophy, followed by a presentation of how chōra and the One are revised in continental philosophy from non- philosophical and new realist perspectives. I then develop (Chapter 5) a continental feminist philosophical interpretation of and approach to the problem of disembodiment from a realist perspective by problematizing continental and feminist philosophical anti-realism. The approach presented is itself an argument in defence of a feminist engagement with disembodiment and the dissertation’s contribution: a non-philosophical contribution to the problem of disembodiment via a continental feminist-realist philosophical approach. The approach is offered through the intersection of continental feminist realism and non- philosophy, and partially new realism. My conclusion is that an affirmative project and consideration of disembodiment for continental feminist philosophy is possible via a non- philosophical and new realist reconsideration of the One. (shrink)

The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent (...) theory validating all these principles by combining Hartry Field's theory of truth with a modal enrichment developed for a different purpose by Michael Caie. The only casualty is classical logic: the theory avoids paradox by using a weaker-than-classical K3 logic. I then assess the philosophical merits of this approach. I argue that, unlike the traditional semantic paradoxes involving extensional notions like truth, its plausibility depends on the way in which sentences are referred to--whether in natural languages via direct sentential reference, or in mathematical theories via indirect sentential reference by Gödel coding. In particular, I argue that from the perspective of natural language, my non-classical treatment of knowledge as a predicate is plausible, while from the perspective of mathematical theories, its plausibility depends on unresolved questions about the limits of our idealized deductive capacities. (shrink)

This paper surveys important work done in relevant logic in the past 10 years.

Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn (...) the tables on classical logicians and ask what sense can be made of explosive reasoning. While I acknowledge a bias on this issue, it is not clear that even classical logicians can answer this question. (shrink)

Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through (...) doubly negated propositions and ad absurdum arguments. Then, the final doubly negated predicate is translated in the corresponding affirmative one, from which all the consequences are deduced in order to test them against reality. According to this model the true formalization of intuitionist logic is Kolmogorov’s 1932 paper. The above analysis also shows that modal words play an auxiliary or substitutive role to intuitionist propositions. In addition, it is shown that Vasiliev’s paraconsistent logic is represented through doubly negated propositions. By means of these three kinds of logic one can attribute a specific kind of logic to each of the three distinct steps of the process of building a scientific theory from the experimental data to its final theoretical system. It is also shown that the definition of negation is of a structural kind, rather than of an objective kind or a subjective kind: it has to be referred to the organization of the theory to which it belongs. (shrink)

This paper considers Rumfitt’s bilateral classical logic (BCL), which is proposed to counter Dummett’s challenge to classical logic. First, agreeing with several authors, we argue that Rumfitt’s notion of harmony, used to justify logical rules by a purely proof theoretical manner, is not sufficient to justify coordination rules in BCL purely proof-theoretically. For the central part of this paper, we propose a notion of proof-theoretical validity similar to Prawitz for BCL and proves that BCL is sound (...) and complete respect to this notion of validity. The major difficulty in defining validity for BCL is that validity of positive +A appears to depend on negative −A, and vice versa. Thus, the straightforward inductive definition does not work because of this circular dependance. However, Knaster-Tarski’s fixed point theorem can resolve this circularity. Finally, we discuss the philosophical relevance of our work, in particular, the impact of the use of fixed point theorem and the issue of decidability. (shrink)

Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.

The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist (...) and to not exist at the same time. However, contrary to these claims, there is no inadequacy in the two-valued system of classical logic in explanation the intermediate situations in existence. The law of exclusion and the intermediate situations in the external world are separate things. The law of excluded middle has been inevitably accepted by other logic systems which are considered to reject this principle. The many-valued and the fuzzy logic systems do not transcend the classical logic. Misconceptions from incomplete information and incomplete research are effective in these criticisms. In addition, it is also effective to move the discussion about the intellectual conception (tasawwur) into the field of judgmental assent (tasdiq) and confusion of the mawhum (imaginable) with the ma‘kûl (intellegible). (shrink)

Peer Review Book Description - Maria Seykora (female, published age 28) -/- -/- Classical Logic will attempt to give a comprehensive and rigorous introduction and more advanced overview of the area of logic widely known as “classical logic,” as distinguished from modern-day “non-classical logic,” for undergraduate students in general. It will cover the topics of Informal Logic (including logical fallacies, deduction, induction, and abductive reasoning) and Formal Logic. (Because it aims to (...) cover these two topics, the title may change to Informal and Classical Logic for the first edition.) Within the category of Formal Logic, it will cover Syllogistic or Categorical Logic and Symbolic Logic. Furthermore, within Symbolic Logic, it will cover Propositional Logic, Predicate Logic, and Modal Logic. The Formal Logic component is currently unfinished, and the Informal Logic component is somewhat unfinished. The unique selling proposition is “the first comprehensive Classical Logic textbook.” It seems that many textbooks for college students today, including Patrick J. Hurley’s, are loosely organized around Classical Logic and other various areas of logic, yet there is not a clear-cut, comprehensive summation of Classical Logic in textbook form. For instance, Hurley’s textbook does not have a section on Modal Logic, and does not address some fallacies such as Hypothesis Contrary to Fact, the Genetic Fallacy, Appeal to Nature, No True Scotsman Fallacy, Emotionally Loaded Language fallacies, etc. Stan Baronett’s Logic textbook also does not include discussions of Modal Logic or these additional fallacies and others like them, and Siu-Fan Lee’s textbook does not include Modal Logic either. Additionally, abductive reasoning, which involves making an inference to the best explanation, is important in real life, yet it seems absent from most logic textbooks. (shrink)

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

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and (...) class='Hi'>classical deduction with the classical first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.

While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there's also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic (...) disadvantage. It is suggested that the resulting internal theories should seem preferable to their external counterparts. (shrink)

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

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching (...) theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)