Results for 'LOGIC'

980 found
Order:
  1. 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   118 citations  
  2. Reading the Philosophy of Right in light of the Logic: Hegel on the Possibility of Multiple Modernities.Arash Abazari - 2022 - In Dean Moyar, Kate Padgett Walsh & Sebastian Rand, Hegel's philosophy of right: critical perspectives on freedom and history. New York, NY: Routledge.
    Broadly speaking, two views of modernity are prevalent in contemporary debates. According to the first view, i.e. “modernization theory,” there is one single form of modernity, which is tantamount to liberal, capitalist modernity. The West has already and fully achieved modernity; non-Western societies have lagged behind and must simply catch up with the West. In contrast, according to the second view, “post-colonial theory,” there is no such thing as modernity. What the West erroneously calls “modernity” is nothing but a highly (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. 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  
  4. The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  5. 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   4 citations  
  6. 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  
  7. 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  
  8. 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   34 citations  
  9. 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  
  10. 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  
  11. 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   6 citations  
  12. 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   20 citations  
  13. 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  
  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. 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  
  16. 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  
  17. Base-extension Semantics for Modal Logic.Eckhardt Timo & Pym David - forthcoming - Logic Journal of the IGPL.
    In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal systems K, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  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. Virtual Mathematics: the logic of difference.Simon Duffy (ed.) - 2006 - Clinamen.
    Of all twentieth century philosophers, it is Gilles Deleuze whose work agitates most forcefully for a worldview privileging becoming over being, difference over sameness; the world as a complex, open set of multiplicities. Nevertheless, Deleuze remains singular in enlisting mathematical resources to underpin and inform such a position, refusing the hackneyed opposition between ‘static’ mathematical logic versus ‘dynamic’ physical world. This is an international collection of work commissioned from foremost philosophers, mathematicians and philosophers of science, to address the wide (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  20. 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  
  21.  65
    Is There a Countable Omega-Universal Logic?Alexander C. Paseau & Felix Weitkämper - forthcoming - Review of Symbolic Logic.
    Some informal arguments are valid, others are invalid. A core application of logic is to tell us which is which by capturing these validity facts. Philosophers and logicians have explored how well a host of logics carry out this role, familiar examples being propositional, first-order and second-order logic. Since natural language and standard logics are countable, a natural question arises: is there a countable logic guaranteed to capture the validity patterns of any language fragment? That is, is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. 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  
  23. 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  
  24. Neutrosophic overset, neutrosophic underset, and neutrosophic offset: similarly for neutrosophic over-/under-/off-logic, probability, and statistics.Florentin Smarandache - 2016 - Brussels: Pons Editions.
    Neutrosophic Over-/Under-/Off-Set and -Logic were defined for the first time by Smarandache in 1995 and published in 2007. They are totally different from other sets/logics/probabilities. He extended the neutrosophic set respectively to Neutrosophic Overset {when some neutrosophic component is > 1}, Neutrosophic Underset {when some neutrosophic component is < 0}, and to Neutrosophic Offset {when some neutrosophic components are off the interval [0, 1], i.e. some neutrosophic component > 1 and other neutrosophic component < 0}. This is no surprise (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. 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  
  26. The Metaphysics and Logic of Psychology: Peirce's Reading of James's Principles.Mathias Girel - 2003 - Transactions of the Charles S. Peirce Society 39 (2):163-203.
    The present paper deals thus with some fundamental agreements and disagreements between Peirce and James, on crucial issues such as perception and consciousness. When Peirce first read the Principles, he was sketching his theory of the categories, testing its applications in many fields of knowledge, and many investigations were launched, concerning indexicals, diagrams, growth and development. James's utterances led Peirce to make his own views clearer on a wide range of topics that go to the heart of the foundations of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. 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  
  28. 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  
  29. 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  
  30. 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   21 citations  
  31. 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  
  32. The Reliability Challenge and the Epistemology of Logic.Joshua Schechter - 2010 - Philosophical Perspectives 24 (1):437-464.
    We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I (...)
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  33. 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  
  34. Varieties of Reflection in Kant's Logic.Melissa McBay Merritt - 2015 - British Journal for the History of Philosophy 23 (3):478-501.
    For Kant, ‘reflection’ is a technical term with a range of senses. I focus here on the senses of reflection that come to light in Kant's account of logic, and then bring the results to bear on the distinction between ‘logical’ and ‘transcendental’ reflection that surfaces in the Amphiboly chapter of the Critique of Pure Reason. Although recent commentary has followed similar cues, I suggest that it labours under a blind spot, as it neglects Kant's distinction between ‘pure’ and (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  35. 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  
  36. On the Logic of Values.Manuel Dries - 2010 - Journal of Nietzsche Studies 39 (1):30-50.
    ABSTRACT This article argues that Nietzsche’s transvaluation project refers not to a mere inversion or negation of a set of nihilism-prone, Judeo-Christian values but, instead, to a different conception of what a value is and how it functions. Traditional values function within a standard logical framework and claim legitimacy and “bindingness” based on exogenous authority with absolute extension. Nietzsche regards this framework as unnecessarily reductive in its attempted exclusion of contradiction and real opposition among competing values. I propose a nonstandard, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  37. JTB Epistemology and the Gettier problem in the framework of topological epistemic logic.Thomas Mormann - 2023 - Review of Analytic Philosophy 3 (1):1 - 41.
    Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. The Promise of Ideo-logic, the Psycho-Epistemic Organization of Socio-Symbolic Systems.Piercosma Bisconti & Valeria Cesaroni - 2024 - International Journal of Žižek Studies 18 (1):1-15.
    The aim of this work is to develop a comparative analysis of the discursive structures that underlie the socialized formation of the interpretative paradigms of reality. We analyse how both political ideologies and the so-called “conspiracy theories” can be understood starting from the structure and functioning of Marc Augè's ideo-logic, namely the systemic-discursive device that defines the field of all possible sentences defining the real. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  39. 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  
  40. 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  
  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. (1 other version)Canguilhem and the Logic of Life.Arantza Etxeberria & Charles T. Wolfe - 2018 - Transversal: International Journal for the Historiography of Science 4:47.
    In this paper we examine aspects of Canguilhem’s philosophy of biology, concerning the knowledge of life and its consequences on science and vitalism. His concept of life stems from the idea of a living individual, endowed with creative subjectivity and norms, a Kantian view which “disconcerts logic”. In contrast, two different approaches ground naturalistic perspectives to explore the logic of life and the logic of the living individual in the 1970s. Although Canguilhem is closer to the second, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Extensions of Priest-da Costa Logic.Thomas Macaulay Ferguson - 2014 - Studia Logica 102 (1):145-174.
    In this paper, we look at applying the techniques from analyzing superintuitionistic logics to extensions of the cointuitionistic Priest-da Costa logic daC (introduced by Graham Priest as “da Costa logic”). The relationship between the superintuitionistic axioms- definable in daC- and extensions of Priest-da Costa logic (sdc-logics) is analyzed and applied to exploring the gap between the maximal si-logic SmL and classical logic in the class of sdc-logics. A sequence of strengthenings of Priest-da Costa logic (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  44. 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  
  45. 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  
  46. Parts and Moments. Studies in Logic and Formal Ontology.Barry Smith (ed.) - 1982 - Philosophia Verlag.
    A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  47. Rosenkranz’s Logic of Justification and Unprovability.Jan Heylen - 2020 - Journal of Philosophical Logic 49 (6):1243-1256.
    Rosenkranz has recently proposed a logic for propositional, non-factive, all-things-considered justification, which is based on a logic for the notion of being in a position to know, 309–338 2018). Starting from three quite weak assumptions in addition to some of the core principles that are already accepted by Rosenkranz, I prove that, if one has positive introspective and modally robust knowledge of the axioms of minimal arithmetic, then one is in a position to know that a sentence is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  49. A Deontic Logic for Programming Rightful Machines: Kant’s Normative Demand for Consistency in the Law.Ava Thomas Wright - 2023 - Logics for Ai and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence (Lingai) and the International Workshop on Logic, Ai and Law (Lail).
    In this paper, I set out some basic elements of a deontic logic with an implementation appropriate for handling conflicting legal obligations for purposes of programming autonomous machine agents. Kantian justice demands that the prescriptive system of enforceable public laws be consistent, yet statutes or case holdings may often describe legal obligations that contradict; moreover, even fundamental constitutional rights may come into conflict. I argue that a deontic logic of the law should not try to work around such (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Moore’s paradox and the logic of belief.Andrés Páez - 2020 - Manuscrito 43 (2):1-15.
    Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more accurate (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 980