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

DOI10.1007/S11229-008-9409-4MaRDI QIDQ833033zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• An informational view of classical logic
• Informational semantics, non-deterministic matrices and feasible deduction
• Tractable depth-bounded logics and the problem of logical omniscience
• The scandal of deduction. Hintikka on the information yield of deductive inferences
• Propositional information systems

Cites work

• scientific article; zbMATH DE number 50995 (Why is no real title available?)
• scientific article; zbMATH DE number 3015360 (Why is no real title available?)
• scientific article; zbMATH DE number 3254847 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3399180 (Why is no real title available?)
• scientific article; zbMATH DE number 3062467 (Why is no real title available?)
• Advances in Artificial Intelligence – SBIA 2004
• Analytic natural deduction
• Anytime clausal reasoning
• Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
• Classical harmony
• Classical natural deduction
• Cut and pay
• Geometry and Empirical Science
• Logics in Artificial Intelligence
• Natural deduction, separation, and the meaning of logical operators
• The Taming of the Cut. Classical Refutations with Analytic Cut
• The complexity of theorem-proving procedures
• The scandal of deduction. Hintikka on the information yield of deductive inferences
• Tractable reasoning via approximation

Cited in

(15)

• Strongly semantic information as information about the truth
• Normality, non-contamination and logical depth in classical natural deduction
• Informational semantics, non-deterministic matrices and feasible deduction
• Semantics and proof-theory of depth bounded Boolean logics
• A modal view on resource-bounded propositional logics
• Information gain and approaching true belief
• The scandal of deduction. Hintikka on the information yield of deductive inferences
• The content of deduction
• An informational view of classical logic
• Information closure and the sceptical objection
• Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate
• Depth-bounded belief functions
• Does Advice Help to Prove Propositional Tautologies?
• Information, possible worlds and the cooptation of scepticism
• The paradox of inference and the non-triviality of analytic information

This page was built for publication: The enduring scandal of deduction. Is propositional logic really uninformative?

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