Logic: a history of its central concepts

MaRDI QIDQ487555zbMATH OpenFDO

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

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)

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

Cited in

(75)

• 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
• A Variant of Material Connexive Logic
• Time and determinism
• Logic Diagrams in the Weigel and Weise Circles
• DIFFERENCE-MAKING CONDITIONALS AND THE RELEVANT RAMSEY TEST
• Connexivity meets Church and Ackermann
• Normality, non-contamination and logical depth in classical natural deduction
• Mortensen logics
• Rewriting the history of connexive logic
• Diversification of object-languages for propositional logics
• Three ways of being non-material
• Beyond syllogisms: Carroll's (marked) quadriliteral diagram
• An analysis of existential graphs. II: Beta
• The implicative conditional
• Many-valuedness from a universal logic perspective
• Revisiting Reichenbach's logic
• 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
• Syllogistic with Jigsaw Puzzle Diagrams
• Turnstile figures of opposition
• On the logical form of concessive conditionals
• On Frege's \textit{Begriffsschrift} notation for propositional logic: design principles and trade-offs
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• An infinity of intuitionistic connexive logics
• Ex incompatibilitate sequitur quodlibet (The explosiveness of incompatibility and the compatibility of negation)
• 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
• Aristotelian and Boolean properties of the Keynes-Johnson octagon of opposition
• An analysis of poly-connexivity
• `Horrent with mysterious spiculæ'. Augustus De Morgan's logic notation of 1850 as a `calculus of opposite relations'
• Historical dictionary of logic
• Relevant connexive logic
• The nature of entailment: an informational approach
• Variable sharing in connexive logic
• Concept diagrams and the context principle
• Metalogic, Schopenhauer and universal logic
• Euler-type diagrams and the quantification of the predicate
• Disentangling contradiction from contrariety via incompatibility
• Schopenhauer's Eulerian diagrams
• Boolean connexive logics: semantics and tableau approach
• A Pragmatic-Semiotic Defence of Bivalence
• Axiomatization of some basic and modal Boolean connexive logics
• Tabular Notations
• From paraconsistent logic to dialetheic logic
• On the methodology of paraconsistent logic
• Russell on negative judgement
• The substitutional analysis of logical consequence
• 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)
• Reprint of: ``A more general general proof theory
• A Critical Examination of the Historical Origins of Connexive Logic
• Superconnexivity reconsidered
• Arthur Schopenhauer on naturalness in logic
• Poly-connexivity: connexive conjunction and disjunction
• Interpreting connexive principles in coherence-based probability logic
• Probabilistic pragmatics explains gradience and focality in natural language quantification
• The peripatetic program in categorical logic: Leibniz on propositional terms
• Strong Three-Valued Paraconsistent Logics
• Connexive Variants of Modal Logics Over FDE
• scientific article; zbMATH DE number 1120140 (Why is no real title available?)

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)