Results for 'Logic'

995 found
Order:
  1. The Conditional in Three-Valued Logic.Jan Sprenger - forthcoming - In Paul Egre & Lorenzo Rossi (eds.), Handbook of Three-Valued Logic. Cambridge, Massachusetts: The MIT Press.
    By and large, the conditional connective in three-valued logic has two different functions. First, by means of a deduction theorem, it can express a specific relation of logical consequence in the logical language itself. Second, it can represent natural language structures such as "if/then'' or "implies''. This chapter surveys both approaches, shows why none of them will typically end up with a three-valued material conditional, and elaborates on connections to probabilistic reasoning.
    Download  
     
    Export citation  
     
    Bookmark  
  2. 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   38 citations  
  3. 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  
  4. Frege meets Belnap: Basic Law V in a Relevant Logic.Shay Logan & Francesca Boccuni - forthcoming - In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer. pp. 381-404.
    Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Nietzsche’s Affirmation of Life: An Exemplar of an Uplifting Philosophy for Logic-based Therapy for Addiction Recovery.Guy Du Plessis - 2023 - Qeios 1 (1):1 - 21.
    In article I explore how Logic-based Therapy (LBT) can inform a philosophically oriented recovery pathway for individuals in addiction recovery. Considering that there is an ostensibly low efficacy rate for the treatment of addiction, there is significant value in highlighting the utility of LBT for the development of novel philosophically based addiction treatment and recovery-oriented programs, which would expand the treatment and recovery options. I propose that LBT may be a suitable intervention when challenging the unrealistic conclusions derived from (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. 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  
  7. Tense and the logic of change.Reinhard Muskens - 1991 - In Talking about Trees and Truth-Conditions. Springer Verlag. pp. 147-183.
    In this paper it is shown how the DRT (Discourse Representation Theory) treatment of temporal anaphora can be formalized within a version of Montague Semantics that is based on classical type logic.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  8. The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2011 - In Leila Haaparanta (ed.), 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  
  9. Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality.Frederik J. Andersen - 2023 - Australasian Journal of Logic 20 (3):375-396.
    A key question in the philosophy of logic is how we have epistemic justification for claims about logical entailment (assuming we have such justification at all). Justification holism asserts that claims of logical entailment can only be justified in the context of an entire logical theory, e.g., classical, intuitionistic, paraconsistent, paracomplete etc. According to holism, claims of logical entailment cannot be atomistically justified as isolated statements, independently of theory choice. At present there is a developing interest in—and endorsement of—justification (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  10. 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   15 citations  
  11. New Studies in Deontic Logic: Norms, Actions, and the Foundations of Ethics.Risto Hilpinen (ed.) - 1981 - Dordrecht, Netherland: Wiley-Blackwell.
    The present volume is a sequel to Deontic Logic: Introductory and Systematic Readings : its purpose is to offer a view of some of the main directions of research in contemporary deontic logic. Most of the articles included in Introductory and Systematic Readings represent what may be called the standard modal approach to deontic logic, in which de on tic logic is treated as a branch of modal logic, and the normative concepts of obligation, permission (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  12. Adaptationism and the Logic of Research Questions: How to Think Clearly About Evolutionary Causes.Elisabeth A. Lloyd - 2015 - Biological Theory 10 (4):DOI: 10.1007/s13752-015-0214-2.
    This article discusses various dangers that accompany the supposedly benign methods in behavioral evoltutionary biology and evolutionary psychology that fall under the framework of "methodological adaptationism." A "Logic of Research Questions" is proposed that aids in clarifying the reasoning problems that arise due to the framework under critique. The live, and widely practiced, " evolutionary factors" framework is offered as the key comparison and alternative. The article goes beyond the traditional critique of Stephen Jay Gould and Richard C. Lewontin, (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  13. 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  
  14. Russell and the universalist conception of logic.Ian Proops - 2007 - Noûs 41 (1):1–32.
    The paper critically scrutinizes the widespread idea that Russell subscribes to a "Universalist Conception of Logic." Various glosses on this somewhat under-explained slogan are considered, and their fit with Russell's texts and logical practice examined. The results of this investigation are, for the most part, unfavorable to the Universalist interpretation.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  15. 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  
  16. (1 other version)Foundations of Intensional Logic.David Kaplan - 1964 - Dissertation, Ucla
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  17. LF: a Foundational Higher-Order Logic.Zachary Goodsell & Juhani Yli-Vakkuri - manuscript
    This paper presents a new system of logic, LF, that is intended to be used as the foundation of the formalization of science. That is, deductive validity according to LF is to be used as the criterion for assessing what follows from the verdicts, hypotheses, or conjectures of any science. In work currently in progress, we argue for the unique suitability of LF for the formalization of logic, mathematics, syntax, and semantics. The present document specifies the language and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. 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  
  19. (1 other version)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  
  20. forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Could Evolution Explain Our Reliability about Logic.Joshua Schechter - 2005 - In Tamar Szabó Gendler & John Hawthorne (eds.), 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  
  22. 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   3 citations  
  23. Formality in Logic: From Logical Terms to Semantic Constraints.Gil Sagi - 2014 - Logique Et Analyse 57 (227).
    In this paper I discuss a prevailing view by which logical terms determine forms of sentences and arguments and therefore the logical validity of arguments. This view is common to those who hold that there is a principled distinction between logical and nonlogical terms and those holding relativistic accounts. I adopt the Tarskian tradition by which logical validity is determined by form, but reject the centrality of logical terms. I propose an alternative framework for logic where logical terms no (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  24. 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   12 citations  
  25. 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  
  26. 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  
  27. From Oughts to Goals: A Logic for Enkrasia.Dominik Klein & Alessandra Marra - 2020 - Studia Logica 108 (1):85-128.
    This paper focuses on the Enkratic principle of rationality, according to which rationality requires that if an agent sincerely and with conviction believes she ought to X, then X-ing is a goal in her plan. We analyze the logical structure of Enkrasia and its implications for deontic logic. To do so, we elaborate on the distinction between basic and derived oughts, and provide a multi-modal neighborhood logic with three characteristic operators: a non-normal operator for basic oughts, a non-normal (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Logic in service of philosophy of science: Reply to Isabella Burger and Johannes Heidema.Theo A. F. Kuipers - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):489-492.
    Download  
     
    Export citation  
     
    Bookmark  
  29. Higher-Order Evidence and the Normativity of Logic.Mattias Skipper - 2020 - In Scott Stapleford & Kevin McCain (eds.), 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  
  30. Non-reflexive Nonsense: Proof-Theory for Paracomplete Weak Kleene Logic.Bruno Da Ré, Damian Szmuc & María Inés Corbalán - forthcoming - Studia Logica:1-17.
    Our aim is to provide a sequent calculus whose external consequence relation coincides with the three-valued paracomplete logic `of nonsense' introduced by Dmitry Bochvar and, independently, presented as the weak Kleene logic K3W by Stephen C. Kleene. The main features of this calculus are (i) that it is non-reflexive, i.e., Identity is not included as an explicit rule (although a restricted form of it with premises is derivable); (ii) that it includes rules where no variable-inclusion conditions are attached; (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Misleading higher-order evidence, conflicting ideals, and defeasible logic.Aleks Https://Orcidorg Knoks - 2020 - Ergo: An Open Access Journal of Philosophy 8:141--74.
    Thinking about misleading higher-order evidence naturally leads to a puzzle about epistemic rationality: If one’s total evidence can be radically misleading regarding itself, then two widely-accepted requirements of rationality come into conflict, suggesting that there are rational dilemmas. This paper focuses on an often misunderstood and underexplored response to this (and similar) puzzles, the so-called conflicting-ideals view. Drawing on work from defeasible logic, I propose understanding this view as a move away from the default metaepistemological position according to which (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  32. Against S5: Impossible Worlds in the Logic of What Might Have Been.Nathan Salmon - manuscript
    The dogma that the propositional logic of metaphysical modality is S5 is rebutted in related installments (previously published and unpublished essays).
    Download  
     
    Export citation  
     
    Bookmark  
  33. Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.
    This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  34. A Phenomenology of Race in Frege's Logic.Joshua M. Hall - forthcoming - Humanities Bulletin.
    This article derives from a project attempting to show that Western formal logic, from Aristotle onward, has both been partially constituted by, and partially constitutive of, what has become known as racism. In the present article, I will first discuss, in light of Frege’s honorary role as founder of the philosophy of mathematics, Reuben Hersh’s What is Mathematics, Really? Second, I will explore how the infamous section of Frege’s 1924 diary (specifically the entries from March 10 to April 9) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. 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   32 citations  
  36. Quietism, Dialetheism, and the Three Moments of Hegel's Logic.G. Anthony Bruno - 2023 - In Robb Dunphy & Toby Lovat (eds.), Metaphysics as a Science in Classical German Philosophy. New York, NY: Routledge/Taylor & Francis Group.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  37. Note on 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks'.Nils Kürbis - 2021 - Journal of Applied Logics 7 (8):2259-2261.
    This brief note corrects an error in one of the reduction steps in my paper 'Normalisation for Bilateral Classical Logic with some Philosophical Remarks' published in the Journal of Applied Logics 8/2 (2021): 531-556.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  38. Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic.Nils Kürbis - 2019 - Bulletin of the Section of Logic 48 (4):299-317.
    Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which was presented (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  39. Proofnets for S5: sequents and circuits for modal logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), 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  
  40. The static model of inventory management without a deficit with Neutrosophic logic.Maissam Jdid, Rafif Alhabib & A. A. Salama - 2021 - International Journal of Neutrosophic Science 16 (1):42-48.
    In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal volume (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. 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   2 citations  
  42. Women and Logic: What Can Women’s Studies Contribute to the History of Formal Logic?Andrea Reichenberger & Karin Beiküfner - 2019 - Transversal. International Journal for the Historiography of Science 6:6-14.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. “In a certain sense we cannot make mistakes in logic”: Wittgenstein’s Anti-Psychologism and the Normativity of Logic.Gilad Nir - 2021 - Disputatio 10 (18):165-185.
    Wittgenstein’s Tractatus construes the nature of reasoning in a manner which sharply conflicts with the conventional wisdom that logic is normative, not descriptive of thought. For although we sometimes seem to reason incorrectly, Wittgenstein denies that we can make logical mistakes (5.473). My aim in this paper is to show that the Tractatus provides us with good reasons to rethink some of the central assumptions that are standardly made in thinking about the relation between logic and thought. In (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Abduction or the Logic of Surprise.Jaime Nubiola - 2005 - Semiotica 2005 (153 - 1/4):117-130.
    Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in the (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  45. On the translation from quantified modal logic to counterpart theory.Cristina Nencha - 2022 - Synthese 200 (5):1-15.
    Lewis (1968) claims that his language of Counterpart Theory (CT) interprets modal discourse and he adverts to a translation scheme from the language of Quantifed Modal Logic (QML) to CT. However, everybody now agrees that his original translation scheme does not always work, since it does not always preserve the ‘intuitive’ meaning of the translated QML-formulas. Lewis discusses this problem with regard to the Necessitist Thesis, and I will extend his discourse to the analysis of the Converse Barcan Formula. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. The Constituents of the Propositions of Logic.Kevin C. Klement - 2015 - In Donovan Wishon & Bernard Linsky (eds.), Acquaintance, Knowledge, and Logic: New Essays on Bertrand Russell's The Problems of Philosophy. Stanford: CSLI Publications. pp. 189–229.
    In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  47. Hypersequents and the proof theory of intuitionistic fuzzy logic.Matthias Baaz & Richard Zach - 2000 - In Clote Peter G. & Schwichtenberg Helmut (eds.), Computer Science Logic. 14th International Workshop, CSL 2000. Springer. pp. 187– 201.
    Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  48. The Role of Starting Points to Order Investigation: Why and How to Enrich the Logic of Research Questions.William C. Bausman - 2022 - Philosophy, Theory, and Practice in Biology 6 (14).
    What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  49. Logical Akrasia.Frederik J. Andersen - forthcoming - Episteme.
    The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second Incompleteness Theorem (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. On Three-Valued Presentations of Classical Logic.Bruno da Ré, Damian Szmuc, Emmanuel Chemla & Paul Égré - forthcoming - Review of Symbolic Logic:1-23.
    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 — 50 / 995