How to classify varieties of consequence

DOI10.1007/978-3-031-52411-0_7MaRDI QIDQ7032564zbMATH OpenFDO

Authors Jaroslav Peregrin

Publication date 4 February 2025

Full work available at URL https://doi.org/10.1007/978-3-031-52411-0_7

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites work

• Faithfulness for naive validity
• Implication and algebra of logic.
• Is inferentialism circular?
• Logical formalization and the formation of logic(s)
• Proof-theoretic semantics
• The idea of a proof-theoretic semantics and the meaning of the logical operations
• The neglect of epistemic considerations in logic: the case of epistemic assumptions
• Tractatus logico-philosophicus. With an introduction by B. Russell.
• Untersuchungen über das logische Schließen. I.
• Untersuchungen über das logische Schließen. II.
• Validity as a primitive
• What is the logic of inference?
• ``Inference versus consequence revisited: inference, consequence, conditional, implication

This page was built for publication: How to classify varieties of consequence

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