This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
About this topic
Summary Propositional logic is the simpler of the two modern classical logics.  It ignores entirely the structure within propositions.  In classical propositional logic, molecular or compound propositions are built up from atomic propositions by means of the connectives, whose meaning is given by their truth tables.  The principle by which the meaning or truth conditions of compound propositions can be recovered by this "building up" process is known as compositionality. This leaf node is a sub-category of classical logic.  As such, non-standard propositional logics are not normally classified in this category—unless a comparison between classical logic and another logic is being drawn or one is reduced to the other—although restrictions of propositional logic in which nothing not a theorem in ordinary propositional logic is a theorem in the restriction do fit here.  Also appropriate here are modest extensions of propositional logic, provided that Boole's three laws of thought are not violated, viz. a proposition is either true or false, not neither, and not both. Meta-theoretical results for propositional logic are also generally classified as "proof theory," "model theory," "mathematical logic," etc.
Key works See below.
Introductions Because of the age of propositional logic there are literally hundreds of introductions to logic which cover this subject reasonably well.   Instructors will have their own favorites. In selecting a book for classroom use, I recommend checking one thing: how much meta-theory is included, so that the book is neither below nor above the level students can handle.
Related categories

254 found
Order:
1 — 50 / 254
  1. Proof Terms for Classical Derivations.Restall Greg - manuscript
    I give an account of proof terms for derivations in a sequent calculus for classical propositional logic. The term for a derivation δ of a sequent Σ≻Δ encodes how the premises Σ and conclusions Δ are related in δ. This encoding is many–to–one in the sense that different derivations can have the same proof term, since different derivations may be different ways of representing the same underlying connection between premises and conclusions. However, not all proof terms for a sequent Σ≻Δ (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Logic: A Primer.Erich Rast - manuscript
    This text is a short introduction to logic that was primarily used for accompanying an introductory course in Logic for Linguists held at the New University of Lisbon (UNL) in fall 2010. The main idea of this course was to give students the formal background and skills in order to later assess literature in logic, semantics, and related fields and perhaps even use logic on their own for the purpose of doing truth-conditional semantics. This course in logic does not replace (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Some Strong Conditionals for Sentential Logics.Jason Zarri - manuscript
    In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment one’s language (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Normalisation for Bilateral Classical Logic with Some Philosophical Remarks.Nils Kürbis - 2021 - Journal of Applied Logics 2 (8):531-556.
    Bilateralists hold that the meanings of the connectives are determined by rules of inference for their use in deductive reasoning with asserted and denied formulas. This paper presents two bilateral connectives comparable to Prior's tonk, for which, unlike for tonk, there are reduction steps for the removal of maximal formulas arising from introducing and eliminating formulas with those connectives as main operators. Adding either of them to bilateral classical logic results in an incoherent system. One way around this problem is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Choice-Free Stone Duality.Nick Bezhanishvili & Wesley H. Holliday - 2020 - Journal of Symbolic Logic 85 (1):109-148.
    The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Traits essentiels d'une formalisation adéquate.Gheorghe-Ilie Farte - 2020 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 18 (1):163-174.
    In order to decide whether a discursive product of human reason corresponds or not to the logical order, one must analyze it in terms of syntactic correctness, consistency, and validity. The first step in logical analysis is formalization, that is, the process by which logical forms of thoughts are represented in different formal languages or logical systems. Although each thought can be properly formalized in different ways, the formalization variants are not equally adequate. The adequacy of formalization seems to depend (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. The Accident of Logical Constants.Tristan Grøtvedt Haze - 2020 - Thought: A Journal of Philosophy 9 (1):34-42.
    Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. The Power of Logic, 6th Edition.Daniel Howard-Snyder, Frances Howard-Snyder & Ryan Wasserman - 2020 - New York: McGraw-Hill.
    This is a basic logic text for first-time logic students. Custom-made texts from the chapters is an option as well. And there is a website to go with text too.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Calculus CL as a Formal System.Jens Lemanski & Ludger Jansen - 2020 - In Ahti Veikko Pietarinen, Peter Chapman, Leonie Bosveld-de Smet, Valeria Giardino, James Corter & Sven Linker (eds.), Diagrammatic Representation and Inference. Diagrams 2020. Lecture Notes in Computer Science, vol 12169. 2020. 93413 Cham, Deutschland: pp. 445-460.
    In recent years CL diagrams inspired by Lange’s Cubus Logicus have been used in various contexts of diagrammatic reasoning. However, whether CL diagrams can also be used as a formal system seemed questionable. We present a CL diagram as a formal system, which is a fragment of propositional logic. Syntax and semantics are presented separately and a variant of bitstring semantics is applied to prove soundness and completeness of the system.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10. Dynamic Non-Classicality.Matthew Mandelkern - 2020 - Australasian Journal of Philosophy 98 (2):382-392.
    I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of ‘epistemic non-contradicti...
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  11. Algebraic and Topological Semantics for Inquisitive Logic Via Choice-Free Duality.Nick Bezhanishvili, Gianluca Grilletti & Wesley H. Holliday - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. WoLLIC 2019. Lecture Notes in Computer Science, Vol. 11541. Springer. pp. 35-52.
    We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the ¬¬-fixpoints of the algebra. We show how inquisitive algebras arise from Boolean algebras: for a given Boolean algebra B, we define its inquisitive extension H(B) and prove that H(B) is the unique inquisitive algebra having B as its algebra of ¬¬-fixpoints. We also show that inquisitive algebras determine Medvedev’s logic (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  12. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13. Two-Sided Trees for Sentential Logic, Predicate Logic, and Sentential Modal Logic.Jesse Fitts & David Beisecker - 2019 - Teaching Philosophy 42 (1):41-56.
    This paper will present two contributions to teaching introductory logic. The first contribution is an alternative tree proof method that differs from the traditional one-sided tree method. The second contribution combines this tree system with an index system to produce a user-friendly tree method for sentential modal logic.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  14. A Note on Carnap’s Result and the Connectives.Tristan Haze - 2019 - Axiomathes 29 (3):285-288.
    Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15. Oskari Kuusela, Wittgenstein on Logic as the Method of Philosophy: Re‐Examining the Roots and Development of Analytic Philosophy . Xi + 297, £55.00 Hb. [REVIEW]Alessio Persichetti - 2019 - Philosophical Investigations 42 (4):424-427.
  16. Bilateralism, Independence and Coordination.Gonçalo Santos - 2018 - Teorema: International Journal of Philosophy 37 (1):23-27.
    Bilateralism is a theory of meaning according to which assertion and denial are independent speech acts. Bilateralism also proposes two coordination principles for assertion and denial. I argue that if assertion and denial are independent speech acts, they cannot be coordinated by the bilateralist principles.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  17. Wordmorph!: A Word Game to Introduce Natural Deduction.Ian Stoner - 2018 - Teaching Philosophy 41 (2):199-204.
    Some logic students falter at the transition from the mechanical method of truth tables to the less-mechanical method of natural deduction. This short paper introduces a word game intended to ease that transition.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  18. How May the Propositional Calculus Represent?Tristan Haze - 2017 - South American Journal of Logic 3 (1):173-184.
    This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early analytic philosophy (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. On the Concept of a Notational Variant.Alexander W. Kocurek - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction (LORI 2017, Sapporo, Japan). pp. 284-298.
    In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Bilateralist Detours: From Intuitionist to Classical Logic and Back.Nils Kürbis - 2017 - Logique Et Analyse 60 (239):301-316.
    There is widespread agreement that while on a Dummettian theory of meaning the justified logic is intuitionist, as its constants are governed by harmonious rules of inference, the situation is reversed on Huw Price's bilateralist account, where meanings are specified in terms of primitive speech acts assertion and denial. In bilateral logics, the rules for classical negation are in harmony. However, as it is possible to construct an intuitionist bilateral logic with harmonious rules, there is no formal argument against intuitionism (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. An Arithmetization of Logical Oppositions.Fabien Schang - 2016 - In Jean-Yves Beziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Bâle, Suisse: pp. 215-237.
    An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Logical Squares for Classical Logic Sentences.Urszula Wybraniec-Skardowska - 2016 - Logica Universalis 10 (2-3):293-312.
    In this paper, with reference to relationships of the traditional square of opposition, we establish all the relations of the square of opposition between complex sentences built from the 16 binary and four unary propositional connectives of the classical propositional calculus. We illustrate them by means of many squares of opposition and, corresponding to them—octagons, hexagons or other geometrical objects.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. The Logic Game: A Two-Player Game of Propositional Logic.Daniel J. Hicks & John Milanese - 2015 - Teaching Philosophy 38 (1):77-93.
    This paper introduces The Logic Game, a two-player strategy game designed to help students in introductory logic classes learn the truth conditions for the logical operators. The game materials can be printed using an ordinary printer on ordinary paper, takes 10-15 minutes to play, and the rules are fairly easy to learn. This paper includes a complete set of rules, a URL for a website hosting all of the game materials, and the results of a study of the effectiveness of (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24. What is Wrong with Classical Negation?Nils Kürbis - 2015 - Grazer Philosophische Studien 92 (1):51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  25. On Hilbert's Axiomatics of Propositional Logic.V. Michele Abrusci - 2014 - Perspectives on Science 22 (1):115-132.
    Hilbert's conference lectures during the year 1922, Neuebegründung der Mathematik. Erste Mitteilung and Die logischen Grundlagen der Mathematik (both are published in (Hilbert [1935] 1965) pp. 157-195), contain his first public presentation of an axiom system for propositional logic, or at least for a fragment of propositional logic, which is largely influenced by the study on logical woks of Frege and Russell during the previous years.The year 1922 is at the beginning of Hilbert's foundational program in its definitive form. The (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  26. Inférences traditionelles comme n-lemmes.Gheorghe-Ilie Farte - 2014 - Argumentum. Journal of the Seminar of Discursive Logic, Argumentation Theory and Rhetoric 12 (2):136-140.
    In this paper we propose to present from a new perspective some loci comunes of traditional logic. More exactly, we intend to show that some hypothetico-disjunctive inferences (i.e. the complex constructive dilemma, the complex destructive dilemma, the simple constructive dilemma, the simple destructive dilemma) and two hypothetico-categorical inferences (namely modus ponendo-ponens and modus tollendo-tollens) particularize two more abstract inferential structures: the constructive n-lemma and the destructive nlemma.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  27. Łukasiewicz Negation and Many-Valued Extensions of Constructive Logics.Thomas Macaulay Ferguson - 2014 - In Proc. 44th International Symposium on Multiple-Valued Logic. IEEE Computer Society Press. pp. 121-127.
    This paper examines the relationships between the many-valued logics G~ and Gn~ of Esteva, Godo, Hajek, and Navara, i.e., Godel logic G enriched with Łukasiewicz negation, and neighbors of intuitionistic logic. The popular fragments of Rauszer's Heyting-Brouwer logic HB admit many-valued extensions similar to G which may likewise be enriched with Łukasiewicz negation; the fuzzy extensions of these logics, including HB, are equivalent to G ~, as are their n-valued extensions equivalent to Gn~ for any n ≥ 2. These enriched (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. Partiality and Adjointness in Modal Logic.Wesley H. Holliday - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 313-332.
    Following a proposal of Humberstone, this paper studies a semantics for modal logic based on partial “possibilities” rather than total “worlds.” There are a number of reasons, philosophical and mathematical, to find this alternative semantics attractive. Here we focus on the construction of possibility models with a finitary flavor. Our main completeness result shows that for a number of standard modal logics, we can build a canonical possibility model, wherein every logically consistent formula is satisfied, by simply taking each individual (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  29. Znaczenie pojęcia odrzucania we współczesnej logice.Karolina Rożko - 2014 - Diametros 41:115-126.
    The main aim of this article is to show how the notion of refutation has been changing in logic for the last few years. The idea of refutation was known to Aristotle, but the formal concept was introduced by Jan Łukasiewicz. Afterwards this notion was investigated by the Polish group of logicians headed by Jerzy Słupecki. Several interesting articles about refutation have appeared in the last years. In this article, I present in outline the history of the notion of refutation (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. A Carnapian Approach to Counterexamples to Modus Ponens.Constantin C. Brîncuș & Iulian D. Toader - 2013 - Romanian Journal of Analytic Philosophy 7:78-85.
    This paper attempts to motivate the view that instead of rejecting modus ponens as invalid in certain situations, one could preserve its validity by associating such situations with non-normal interpretations of logical connectives.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Why Hypothetical Syllogism is Invalid for Indicative Conditionals.Moti Mizrahi - 2013 - Thought: A Journal of Philosophy 2 (1):40-43.
    In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32. Conditionals Are Material: The Positive Arguments.Adam Rieger - 2013 - Synthese 190 (15):3161-3174.
    A number of papers have argued in favour of the material account of indicative conditionals, but typically they either concentrate on defending the account from the charge that it has counterintuitive consequences, or else focus on some particular positive argument in favour of the theory. In this paper, I survey the various positive arguments that can be given, presenting simple versions where possible and showing the connections between them. I conclude with some methodological considerations.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  33. Revising Up: Strengthening Classical Logic in the Face of Paradox.David Ripley - 2013 - Philosophers' Imprint 13.
    This paper provides a defense of the full strength of classical logic, in a certain form, against those who would appeal to semantic paradox or vagueness in an argument for a weaker logic. I will not argue that these paradoxes are based on mistaken principles; the approach I recommend will extend a familiar formulation of classical logic by including a fully transparent truth predicate and fully tolerant vague predicates. It has been claimed that these principles are not compatible with classical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  34. Propositional Logic Card Games.Anthony Shiver - 2013 - Teaching Philosophy 36 (1):51-58.
    In this paper I discuss card games designed to supplement or replace exercise sets on derivability and entailment in propositional logic. I present rules for two propositional logic card games that introduce chance and competition into discussions of propositional logic. The latter sections provide brief practical and theoretical notes on this kind of game, including ways courses that use these games can be more effective than courses that do not.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  35. On Löb Algebras, II.Majid Alizadeh & Mohammad Ardeshir - 2012 - Logic Journal of the IGPL 20 (1):27-44.
    We study the variety of Löb algebras, the algebraic structures associated with Formal Propositional Calculus. Among other things, we show that there exist only two maximal intermediate logics in the lattice of intermediate logics over Basic Propositional Calculus. We introduce countably many locally finite sub-varieties of the variety of Löb algebras and show that their corresponding intermediate logics have the interpolation property. Finally, we characterize all chain basic algebras with empty set of generators, and show that there are continuum many (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Peirce's Truth-Functional Analysis and the Origin of the Truth Table.Irving H. Anellis - 2012 - History and Philosophy of Logic 33 (1):87 - 97.
    We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of Ludwig (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  37. What's Wrong with Logic?Rani Lill Anjum - 2012 - Argumentos 4 (8).
    The truth functional account of conditional statements ‘if A then B’ is not only inadequate; it eliminates the very conditionality expressed by ‘if’. Focusing only on the truth-values of the statements ‘A’ and ‘B’ and different combinations of these, one is bound to miss out on the conditional relation expressed between them. All approaches that treat conditionals as functions of their antecedents and consequents will end up in some sort of logical atomism where causal matters simply are reduced to the (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. The Immersion Method II (Logic & Malcolm X).Virgil W. Brower - 2012 - Inside Higher Ed, May 3.
  39. Austinian Ifs Revisited – And Squared Away with the Equivalence Thesis and the Theory of Conditional Elements.Joseph S. Fulda - 2012 - RASK 36:51-71.
    This paper deals with Austinian ifs of every stripe within classical logic. It is argued that they are truth-functional and the theory of conditional elements is used. Ellipsis is key. Corrects an error in Fulda (2010) in translation and therefore scope. -/- The PDF is made available gratis by the Publisher.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. Strengthening the Antecedent, Concessive Conditionals, Conditional Rhetorical Questions, and the Theory of Conditional Elements.Hector Hernandez Ortiz & Joseph S. Fulda - 2012 - Journal of Pragmatics 44 (3):328-331.
    Extends the theory of conditional elements in three ways. The critical way, primarily due to the senior author, is the solution to the fallacy of the strengthened antecedent within classical logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  41. A System of Relational Syllogistic Incorporating Full Boolean Reasoning.Nikolay Ivanov & Dimiter Vakarelov - 2012 - Journal of Logic, Language and Information 21 (4):433-459.
    We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: $$\begin{array}{ll}\mathbf{Some}\, a \,{\rm are} \,R-{\rm related}\, {\rm to}\, \mathbf{some} \,b;\\ \mathbf{Some}\, a \,{\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{some}\, b;\\ \mathbf{All}\, a\, {\rm are}\,R-{\rm related}\, {\rm to}\, \mathbf{all} \,b.\end{array}$$ Such primitives formalize sentences from natural language like ‘ All students read some textbooks’. Here a, b denote arbitrary sets (of objects), and R denotes an (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Indicative Conditionals, Conditional Probabilities, and the “Defective Truth-Table”: A Request for More Experiments.Peter Milne - 2012 - Thinking and Reasoning 18 (2):196 - 224.
    While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the ?defective truth-table? in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  43. Logic, Models, and Paradoxical Inferences.Isabel Orenes & P. N. Johnson-Laird - 2012 - Mind and Language 27 (4):357-377.
    People reject ‘paradoxical’ inferences, such as: Luisa didn't play music; therefore, if Luisa played soccer, then she didn't play music. For some theorists, they are invalid for everyday conditionals, but valid in logic. The theory of mental models implies that they are valid, but unacceptable because the conclusion refers to a possibility inconsistent with the premise. Hence, individuals should accept them if the conclusions refer only to possibilities consistent with the premises: Luisa didn't play soccer; therefore, if Luisa played a (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  44. Logic: The Laws of Truth.Nicholas J. J. Smith - 2012 - Princeton University Press.
    Logic is essential to correct reasoning and also has important theoretical applications in philosophy, computer science, linguistics, and mathematics. This book provides an exceptionally clear introduction to classical logic, with a unique approach that emphasizes both the hows and whys of logic. Here Nicholas Smith thoroughly covers the formal tools and techniques of logic while also imparting a deeper understanding of their underlying rationales and broader philosophical significance. In addition, this is the only introduction to logic available today that presents (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  45. Logic: The Drill.Nicholas J. J. Smith & John Cusbert - 2012 - Princeton University Press.
    Contains exercises and solutions to accompany Logic: The Laws of Truth by Nicholas J. J. Smith (Princeton University Press, 2012).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  46. Introduction to Mathematical Logic.Michał Walicki - 2012 - World Scientific.
    A history of logic -- Patterns of reasoning -- A language and its meaning -- A symbolic language -- 1850-1950 mathematical logic -- Modern symbolic logic -- Elements of set theory -- Sets, functions, relations -- Induction -- Turning machines -- Computability and decidability -- Propositional logic -- Syntax and proof systems -- Semantics of PL -- Soundness and completeness -- First order logic -- Syntax and proof systems of FOL -- Semantics of FOL -- More semantics -- Soundness and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  47. Failures of Categoricity and Compositionality for Intuitionistic Disjunction.Jack Woods - 2012 - Thought: A Journal of Philosophy 1 (4):281-291.
    I show that the model-theoretic meaning that can be read off the natural deduction rules for disjunction fails to have certain desirable properties. I use this result to argue against a modest form of inferentialism which uses natural deduction rules to fix model-theoretic truth-conditions for logical connectives.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Pragmatics, Mental Models and One Paradox of the Material Conditional.Jean-françois Bonnefon & Guy Politzer - 2011 - Mind and Language 26 (2):141-155.
    Most instantiations of the inference ‘y; so if x, y’ seem intuitively odd, a phenomenon known as one of the paradoxes of the material conditional. A common explanation of the oddity, endorsed by Mental Model theory, is based on the intuition that the conclusion of the inference throws away semantic information. We build on this explanation to identify two joint conditions under which the inference becomes acceptable: (a) the truth of x has bearings on the relevance of asserting y; and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49. Intuitionistic Logic and Elementary Rules.Lloyd Humberstone & David Makinson - 2011 - Mind 120 (480):1035-1051.
    The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results concerning intuitionistic propositional logic that bear on that perspective, and discuss their significance. First, for a range of connectives including both negation and the falsum, there are no classically or intuitionistically correct introduction rules. Second, irrespective of the choice of negation or the falsum as a primitive connective, classical and intuitionistic consequence satisfy exactly the (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50. The Mathematics of Patent Claim Analysis.Zsófia Kacsuk - 2011 - Artificial Intelligence and Law 19 (4):263-289.
    In patent law most of the crucial legal questions such as patentability and infringement are linked to the patent claims. The European Patent Office regards patent claims as a set of independent features which are examined separately in a more or less formal way. The author has found that this approach allows for developing a simple mathematical model which treats patent claim features as logical statements and patent claims as compound statements wherein the individual statements are connected by logical connectives. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 254