Results for 'Multivalued logic'

974 found
Order:
  1. Creative and geometric times in physics, mathematics, logic, and philosophy.Flavio Del Santo & Nicolas Gisin - manuscript
    We propose a distinction between two different concepts of time that play a role in physics: geometric time and creative time. The former is the time of deterministic physics and merely parametrizes a given evolution. The latter is instead characterized by real change, i.e. novel information that gets created when a non-necessary event becomes determined in a fundamentally indeterministic physics. This allows us to give a naturalistic characterization of the present as the moment that separates the potential future from the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Sistema Experto en Deducción dentro de la Lógica Normal Trivalente.Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón - 1990 - In Gabriel Garduño-Soto, David René Thierry García, Rafael Vidal Uribe & Hugo Padilla Chacón, VIa. Conferencia Internacional: Las Computadoras en Instituciones de Educación y de Investigación. Cómputo Académico, UNAM, UNISYS, México, octubre 3–5, 1990. National Autonomous University of Mexico.
    Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Functional completeness and primitive positive decomposition of relations on finite domains.Sergiy Koshkin - 2024 - Logic Journal of the IGPL 32.
    We give a new and elementary construction of primitive positive decomposition of higher arity relations into binary relations on finite domains. Such decompositions come up in applications to constraint satisfaction problems, clone theory and relational databases. The construction exploits functional completeness of 2-input functions in many-valued logic by interpreting relations as graphs of partially defined multivalued ‘functions’. The ‘functions’ are then composed from ordinary functions in the usual sense. The construction is computationally effective and relies on well-developed methods (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. Higher-order logic as metaphysics.Jeremy Goodman - 2024 - In Peter Fritz & Nicholas K. Jones, Higher-Order Metaphysics. Oxford University Press.
    This chapter offers an opinionated introduction to higher-order formal languages with an eye towards their applications in metaphysics. A simply relationally typed higher-order language is introduced in four stages: starting with first-order logic, adding first-order predicate abstraction, generalizing to higher-order predicate abstraction, and finally adding higher-order quantification. It is argued that both β-conversion and Universal Instantiation are valid on the intended interpretation of this language. Given these two principles, it is then shown how we can use pure higher-order (...) to ask, and begin to answer, metaphysical questions with non-trivial implications. In particular, while we must reject the popular idea that structural differences between sentences correspond to parallel distinctions in the logical structure of extra-linguistic reality, it may still be possible to give a purely logical characterization of objectual aboutness and related notions. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  5. Frege, Sigwart, and Stoic logic.Susanne Bobzien - 2024 - History and Philosophy of Logic 45 (4):428-434.
    This very brief paperli provides plausible answers to the two residual questions that Jamie Tappenden states, but leaves unanswered, in his 2024 paper ‘Following Bobzien: Some notes on Frege’s development and engagement with his environment’, namely, why Frege read Sigwart’s Logik and what caused Frege to read Prantl. (This paperli is merely historical and offers no special philosophical insights of any sort.) ---------- OPEN ACCESS. Choose 'without proxy' below.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. On Woodruff’s Constructive Nonsense Logic.Jonas R. B. Arenhart & Hitoshi Omori - 2024 - Studia Logica 112 (6):1261-1280.
    Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. A cut-free sequent calculus for the bi-intuitionistic logic 2Int.Sara Ayhan - manuscript
    The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Truthmaker Semantics for Epistemic Logic.Peter Hawke & Aybüke Özgün - 2023 - In Federico L. G. Faroldi & Frederik Van De Putte, Kit Fine on Truthmakers, Relevance, and Non-classical Logic. Springer Verlag. pp. 295-335.
    We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  9. A Semantics for the Impure Logic of Ground.Louis deRosset & Kit Fine - 2023 - Journal of Philosophical Logic 52 (2):415-493.
    This paper establishes a sound and complete semantics for the impure logic of ground. Fine (Review of Symbolic Logic, 5(1), 1–25, 2012a) sets out a system for the pure logic of ground, one in which the formulas between which ground-theoretic claims hold have no internal logical complexity; and it provides a sound and complete semantics for the system. Fine (2012b) [§§6-8] sets out a system for an impure logic of ground, one that extends the rules of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Conservatively extending classical logic with transparent truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for Cut—elimination, but (...)
    Download  
     
    Export citation  
     
    Bookmark   125 citations  
  11. The Confirmation of Singular Causal Statements by Carnap’s Inductive Logic.Yusuke Kaneko - 2012 - Logica Year Book 2011.
    The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  12. Epistemic Friction: An Essay on Knowledge, Truth, and Logic.Gila Sher - 2016 - Oxford: Oxford University Press UK.
    Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  13. Argument Diagramming in Logic, Artificial Intelligence, and Law.Chris Reed, Douglas Walton & Fabrizio Macagno - 2007 - The Knowledge Engineering Review 22 (1):87-109.
    In this paper, we present a survey of the development of the technique of argument diagramming covering not only the fields in which it originated - informal logic, argumentation theory, evidence law and legal reasoning – but also more recent work in applying and developing it in computer science and artificial intelligence. Beginning with a simple example of an everyday argument, we present an analysis of it visualised as an argument diagram constructed using a software tool. In the context (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  14. Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann, Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005. Cambridge: Cambridge University Press. pp. 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  15. An essay in deontic logic and the general theory of action: with a bibliography of deontic and imperative logic.Georg Henrik von Wright (ed.) - 1968 - Amsterdam: North-Holland Pub. Co..
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  16. What is the Normative Role of Logic?Hartry Field - 2009 - Aristotelian Society Supplementary Volume 83 (1):251-268.
    The paper tries to spell out a connection between deductive logic and rationality, against Harman's arguments that there is no such connection, and also against the thought that any such connection would preclude rational change in logic. One might not need to connect logic to rationality if one could view logic as the science of what preserves truth by a certain kind of necessity (or by necessity plus logical form); but the paper points out a serious (...)
    Download  
     
    Export citation  
     
    Bookmark   116 citations  
  17. A critical relation between mind and logic in the philosophy of wittgenstein: An analytical study.Mudasir A. Tantray - 2017 - Lokayata Journal of Positive Philosophy 7 (2):45-57.
    This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in (...), we are today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Is there a reliability challenge for logic?Joshua Schechter - 2018 - Philosophical Issues 28 (1):325-347.
    There are many domains about which we think we are reliable. When there is prima facie reason to believe that there is no satisfying explanation of our reliability about a domain given our background views about the world, this generates a challenge to our reliability about the domain or to our background views. This is what is often called the reliability challenge for the domain. In previous work, I discussed the reliability challenges for logic and for deductive inference. I (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  19. Incompleteness of a first-order Gödel logic and some temporal logics of programs.Matthias Baaz, Alexander Leitsch & Richard Zach - 1996 - In Kleine Büning Hans, Computer Science Logic. CSL 1995. Selected Papers. Springer. pp. 1--15.
    It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. New foundations for imperative logic I: Logical connectives, consistency, and quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much (...)
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  21. Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  22. The Practice-Based Approach to the Philosophy of Logic.Ben Martin - forthcoming - In Oxford Handbook for the Philosophy of Logic. Oxford University Press.
    Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Foundational Holism, Substantive Theory of Truth, and A New Philosophy of Logic: Interview with Gila Sher BY Chen Bo.Gila Sher & Chen Bo - 2019 - Philosophical Forum 50 (1):3-57.
    Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. Indian logic.Jonardon Ganeri - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori, Handbook of the history of logic. Boston: Elsevier. pp. 1--309.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  25. "What Does Logic Have to Do with Justified Belief? Why Doxastic Justification is Fundmanetal".Hilary Kornblith - 2022 - In Paul Silva & Luis R. G. Oliveira, Propositional and Doxastic Justification: New Essays on their Nature and Significance. New York: Routledge.
    As George Boole saw it, the laws of logic are the laws of thought, and by this he meant, not that human thought is actually governed by the laws of logic, but, rather, that it should be. Boole’s view that the laws of logic have normative implications for how we ought to think is anything but an outlier. The idea that violating the laws of logic involves epistemic impropriety has seemed to many to be just obvious. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. (1 other version)Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, Ucla
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  27. The Adoption Problem in the Philosophy of Logic.Viviane Fairbank & Ulf Hlobil - 2025 - Philosophy Compass 20 (1-2):e70020.
    In the philosophy of logic, the Adoption Problem is a challenge to the claim that reasoners can, in certain ways, rationally change which logic they use. The (alleged) problem is that if someone does not already infer in accordance with some fundamental logical principles (such as Universal Instantiation or Modus Ponens), then they cannot rationally begin to do so: the “adoption” of these principles is either unnecessary or impossible. In the literature, three issues have emerged as especially contentious: (...)
    Download  
     
    Export citation  
     
    Bookmark  
  28. The value of thinking and the normativity of logic.Manish Oza - 2020 - Philosophers' Imprint 20 (25):1-23.
    (1) This paper is about how to build an account of the normativity of logic around the claim that logic is constitutive of thinking. I take the claim that logic is constitutive of thinking to mean that representational activity must tend to conform to logic to count as thinking. (2) I develop a natural line of thought about how to develop the constitutive position into an account of logical normativity by drawing on constitutivism in metaethics. (3) (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  29. The enduring scandal of deduction: is propositional logic really uninformative?Marcello D'Agostino & Luciano Floridi - 2009 - Synthese 167 (2):271-315.
    Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means (...)
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  30. What does nihilism tell us about modal logic?Christopher James Masterman - 2024 - Philosophical Studies 181:1851–1875.
    Brauer (2022) has recently argued that if it is possible that there is nothing, then the correct modal logic for metaphysical modality cannot include D. Here, I argue that Brauer’s argument is unsuccessful; or at the very least significantly weaker than presented. First, I outline a simple argument for why it is not possible that there is nothing. I note that this argument has a well-known solution involving the distinction between truth in and truth at a possible world. However, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. On the logic of the ontological argument.Paul E. Oppenheimer & Edward N. Zalta - 1991 - Philosophical Perspectives 5:509-529.
    In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  32. Veritism and the normativity of logic.Nader Shoaibi - 2020 - Ratio 34 (1):7-19.
    The idea that logic is in some sense normative for thought and reasoning is a familiar one. Some of the most prominent figures in the history of philosophy including Kant and Frege have been among its defenders. The most natural way of spelling out this idea is to formulate wide-scope deductive requirements on belief which rule out certain states as irrational. But what can account for the truth of such deductive requirements of rationality? By far, the most prominent responses (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  33. The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta, The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  34. An Epistemic Interpretation of Paraconsistent Weak Kleene Logic.Damian E. Szmuc - forthcoming - Logic and Logical Philosophy:1.
    This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later used to represent the idea that no consistent opinion can arise from a set including an inconsistent opinion. It is shown that, if some reasonable assumptions are made, the truth-functions of Paraconsistent Weak Kleene coincide with certain operations defined in this track-down fashion. Finally, further (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  35. Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version).Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):1-20.
    In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Ingarden vs. Meinong on the logic of fiction.Barry Smith - 1980 - Philosophy and Phenomenological Research 41 (1/2):93-105.
    For Meinong, familiarly, fictional entities are not created, but rather merely discovered (or picked out) from the inexhaustible realm of Aussersein (beyond being and non-being). The phenomenologist Roman Ingarden, in contrast, offers in his Literary Work of Art of 1931 a constructive ontology of fiction, which views fictional objects as entities which are created by the acts of an author (as laws, for example, are created by acts of parliament). We outline the logic of fiction which is implied by (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  37. The Concept of Sense in Gilles Deleuze's Logic of Sense.Daniel W. Smith - 2022 - Deleuze and Guattari Studies 16 (1):3-23.
    What is the concept of sense developed by Deleuze in his 1969 Logic of Sense? This paper attempts to answer this question analysing the three dimensions of language that Deleuze isolates: the primary order of noises and intensities ; the secondary order of sense ; and the tertiary organisation of propositions. What renders language possible is that which separates sounds from bodies and organises them into propositions, freeing them for the expressive function. Deleuze argues that it is the dimension (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  39. Correspondence analysis for strong three-valued logic.Allard Tamminga - 2014 - Logical Investigations 20:255-268.
    I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  40. Syntactic characterizations of first-order structures in mathematical fuzzy logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.
    Download  
     
    Export citation  
     
    Bookmark  
  41. Pluralism and Normativity in Truth and Logic.Gila Sher - 2020 - American Philosophical Quarterly 57 (4):337-350.
    In this paper I investigate how differences in approach to truth and logic (in particular, a deflationist vs. a substantivist approach to these fields) affect philosophers’ views concerning pluralism and normativity in these fields. My perspective on truth and logic is largely epistemic, focusing on the role of truth in knowledge (rather than on the use of the words “true” and “truth” in natural language), and my reference group includes Carnap (1934), Harman (1986), Horwich (1990), Wright (1992), Beall (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  42. Proof-Theoretic Semantics and Inquisitive Logic.Will Stafford - 2021 - Journal of Philosophical Logic 50 (5):1199-1229.
    Prawitz conjectured that proof-theoretic validity offers a semantics for intuitionistic logic. This conjecture has recently been proven false by Piecha and Schroeder-Heister. This article resolves one of the questions left open by this recent result by showing the extensional alignment of proof-theoretic validity and general inquisitive logic. General inquisitive logic is a generalisation of inquisitive semantics, a uniform semantics for questions and assertions. The paper further defines a notion of quasi-proof-theoretic validity by restricting proof-theoretic validity to allow (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - 2024 - Review of Symbolic Logic 17 (3):682-704.
    Given a three-valued definition of validity, which choice of three-valued truth tables for the connectives can ensure that the resulting logic coincides exactly with classical logic? We give an answer to this question for the five monotonic consequence relations $st$, $ss$, $tt$, $ss\cap tt$, and $ts$, when the connectives are negation, conjunction, and disjunction. For $ts$ and $ss\cap tt$ the answer is trivial (no scheme works), and for $ss$ and $tt$ it is straightforward (they are the collapsible schemes, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. A Transformative Intuitionist Logic for Examining Negation in Identity-Thinking.Rebecca Kosten - forthcoming - Australasian Journal of Logic.
    Negation often reinforces problematic habits of othering, but rethinking negation can make good on feminist hopes for logic as a transformative space for inclusion. As Plumwood argues in her 1993 paper, not all uses of negation in the context of social identity are inherently problematic, but the widespread implicit use of classical negation has limited our options with respect to representing difference, ultimately reinforcing dualisms that essentialize social differences in problematic ways. In response to these limitations, I take inspiration (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Could Evolution Explain Our Reliability about Logic.Joshua Schechter - 2005 - In Tamar Szabó Gendler & John Hawthorne, Oxford Studies in Epistemology. Oxford University Press. pp. 214.
    We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason (...)
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  46. A Semantic Framework for the Impure Logic of Ground.Louis deRosset - 2024 - Journal of Philosophical Logic 53 (2):463-491.
    There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. The Value of the One Value: Exactly True Logic revisited.Andreas Kapsner & Umberto Rivieccio - 2023 - Journal of Philosophical Logic 52 (5):1417-1444.
    In this paper we re-assess the philosophical foundation of Exactly True Logic ($$\mathcal {ET\!L}$$ ET L ), a competing variant of First Degree Entailment ($$\mathcal {FDE}$$ FDE ). In order to do this, we first rebut an argument against it. As the argument appears in an interview with Nuel Belnap himself, one of the fathers of $$\mathcal {FDE}$$ FDE, we believe its provenance to be such that it needs to be taken seriously. We submit, however, that the argument ultimately (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Higher-Order Evidence and the Normativity of Logic.Mattias Skipper - 2020 - In Scott Stapleford & Kevin McCain, Epistemic Duties: New Arguments, New Angles. New York: Routledge.
    Many theories of rational belief give a special place to logic. They say that an ideally rational agent would never be uncertain about logical facts. In short: they say that ideal rationality requires "logical omniscience." Here I argue against the view that ideal rationality requires logical omniscience on the grounds that the requirement of logical omniscience can come into conflict with the requirement to proportion one’s beliefs to the evidence. I proceed in two steps. First, I rehearse an influential (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Conceptual structure of classical logic.John Corcoran - 1972 - Philosophy and Phenomenological Research 33 (1):25-47.
    One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
1 — 50 / 974