Logic: a history of its central concepts

zbMATH Open1348.03006MaRDI QIDQ487555FDOQ487555

Authors:

Publication date: 22 January 2015

Published in: Handbook of the History of Logic (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/handbooks/18745857/11

Recommendations

• Vom Universum des Denkens
• Historical dictionary of logic
• Logic and the modalities in the twentieth century
• scientific article; zbMATH DE number 5832443
• Thinking and calculating. Essays in logic, its history and its philosophical applications in honour of Massimo Mugnai

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophy of mathematics (00A30) History of mathematical logic and foundations (03-03) General histories, source books (01A05) General logic (03Bxx) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to history and biography (01-00)

Cited In (75)

• Boolean Connexive Logics: Semantics and tableau approach
• Logic Diagrams in the Weigel and Weise Circles
• DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
• Time and determinism
• ‘Horrent with Mysterious Spiculæ’. Augustus De Morgan’s Logic Notation of 1850 as a ‘Calculus of Opposite Relations’
• Beyond Syllogisms: Carroll’s (Marked) Quadriliteral Diagram
• Normality, non-contamination and logical depth in classical natural deduction
• Rewriting the history of connexive logic
• Diversification of object-languages for propositional logics
• Three ways of being non-material
• Many-valuedness from a universal logic perspective
• From Euler diagrams to Aristotelian diagrams
• Concept Diagrams and the Context Principle
• Metalogic, Schopenhauer and Universal Logic
• A more general general proof theory
• Schopenhauer’s Eulerian Diagrams
• Vom Universum des Denkens
• The Phenomenology of Second-Level Inference: Perfumes in The Deductive Garden
• Lewis Carroll’s Almost Diagrammatic Logic Notation
• From Paraconsistent Logic to Dialetheic Logic
• On the Methodology of Paraconsistent Logic
• On the logical form of concessive conditionals
• An infinity of intuitionistic connexive logics
• Arthur Schopenhauer on Naturalness in Logic
• Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Book review of: Yaroslav Shramko and Heinrich Wansing, Truth and falsehood. An inquiry into generalized logical values
• Subatomic negation
• Connexive restricted quantification
• Stanisław Jaśkowski and Natural Deduction Systems
• Gödel's natural deduction
• An analysis of poly-connexivity
• Historical dictionary of logic
• THE PERIPATETIC PROGRAM IN CATEGORICAL LOGIC: LEIBNIZ ON PROPOSITIONAL TERMS
• The nature of entailment: an informational approach
• Variable sharing in connexive logic
• Euler-type diagrams and the quantification of the predicate
• Disentangling contradiction from contrariety via incompatibility
• Tabular Notations
• Axiomatization of some basic and modal Boolean connexive logics
• Substructural logics, pluralism and collapse
• A Critical Examination of the Historical Origins of Connexive Logic
• Reprint of: ``A more general general proof theory
• Modal Boolean Connexive Logics: Semantics and Tableau Approach
• Poly-connexivity: connexive conjunction and disjunction
• Probabilistic pragmatics explains gradience and focality in natural language quantification
• Interpreting connexive principles in coherence-based probability logic
• Relevant Connexive Logic
• Kilwardby's 55th Lesson
• A Poly-Connexive Logic
• Strong Three-Valued Paraconsistent Logics
• On Frege's Begriffsschrift Notation for Propositional Logic: Design Principles and Trade-Offs
• Connexive Variants of Modal Logics Over FDE
• Title not available (Why is that?)
• A Variant of Material Connexive Logic
• Connexivity meets Church and Ackermann
• Mortensen logics
• An analysis of existential graphs. II: Beta
• The implicative conditional
• Revisiting Reichenbach's logic
• Syllogistic with Jigsaw Puzzle Diagrams
• Turnstile figures of opposition
• Ex incompatibilitate sequitur quodlibet (The explosiveness of incompatibility and the compatibility of negation)
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• A Pragmatic-Semiotic Defence of Bivalence
• Russell on negative judgement
• The substitutional analysis of logical consequence
• Superconnexivity reconsidered
• A simple way to overcome hyperconnexivity
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Connexive logic, probabilistic default reasoning, and compound conditionals
• Connexivity in the logic of reasons
• Difference-making conditionals and connexivity
• Intuitionistic logic is a connexive logic
• Stalnakerian connexive logics

This page was built for publication: Logic: a history of its central concepts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487555)