The enduring scandal of deduction. Is propositional logic really uninformative?

DOI10.1007/s11229-008-9409-4zbMath1172.03003OpenAlexW1557338616WikidataQ56891579 ScholiaQ56891579MaRDI QIDQ833033

Marcello D'Agostino, Luciano Floridi

Publication date: 11 August 2009

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-008-9409-4

zbMATH Keywords

natural deductiontractabilityBoolean logicsemantic informationanalytical reasoning

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Complexity of proofs (03F20)

Related Items

Informational semantics, non-deterministic matrices and feasible deduction ⋮ Information gain and approaching true belief ⋮ A modal view on resource-bounded propositional logics ⋮ The paradox of inference and the non-triviality of analytic information ⋮ Semantics and proof-theory of depth bounded Boolean logics ⋮ Depth-bounded belief functions ⋮ An informational view of classical logic ⋮ Information, possible worlds and the cooptation of scepticism ⋮ Information closure and the sceptical objection ⋮ Normality, non-contamination and logical depth in classical natural deduction ⋮ Strongly Semantic Information as Information About the Truth

Cites Work

• Cut and pay
• Classical harmony
• Natural deduction, separation, and the meaning of logical operators
• Anytime clausal reasoning
• Tractable reasoning via approximation
• The scandal of deduction. Hintikka on the information yield of deductive inferences
• The Taming of the Cut. Classical Refutations with Analytic Cut
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Advances in Artificial Intelligence – SBIA 2004
• Logics in Artificial Intelligence
• Analytic natural deduction
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item