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)

• 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
• Logic Diagrams in the Weigel and Weise Circles
• DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
• Time and determinism
• 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
• Beyond syllogisms: Carroll's (marked) quadriliteral diagram
• Modal Boolean connexive logics: semantics and tableau approach
• From Euler diagrams to Aristotelian diagrams
• A more general general proof theory
• Vom Universum des Denkens
• Kilwardby's 55\(^{\text{th}}\) lesson
• Lewis Carroll’s Almost Diagrammatic Logic Notation
• A poly-connexive logic
• On the logical form of concessive conditionals
• On Frege's \textit{Begriffsschrift} notation for propositional logic: design principles and trade-offs
• An infinity of intuitionistic connexive logics
• 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
• `Horrent with mysterious spiculæ'. Augustus De Morgan's logic notation of 1850 as a `calculus of opposite relations'
• Gödel's natural deduction
• An analysis of poly-connexivity
• Historical dictionary of logic
• Relevant connexive logic
• The nature of entailment: an informational approach
• Concept diagrams and the context principle
• Metalogic, Schopenhauer and universal logic
• Variable sharing in connexive logic
• Euler-type diagrams and the quantification of the predicate
• Schopenhauer's Eulerian diagrams
• Disentangling contradiction from contrariety via incompatibility
• Boolean connexive logics: semantics and tableau approach
• Tabular Notations
• From paraconsistent logic to dialetheic logic
• On the methodology of paraconsistent logic
• Axiomatization of some basic and modal Boolean connexive logics
• The phenomenology of second-level inference: perfumes in the deductive garden
• Substructural logics, pluralism and collapse
• Round squares are no contradictions (tutorial on negation contradiction and opposition)
• A Critical Examination of the Historical Origins of Connexive Logic
• Arthur Schopenhauer on naturalness in logic
• Reprint of: ``A more general general proof theory
• Poly-connexivity: connexive conjunction and disjunction
• Probabilistic pragmatics explains gradience and focality in natural language quantification
• Interpreting connexive principles in coherence-based probability logic
• The peripatetic program in categorical logic: Leibniz on propositional terms
• Strong Three-Valued Paraconsistent Logics
• Connexive Variants of Modal Logics Over FDE
• Title not available (Why is that?)

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)