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

DOI10.1007/S11229-008-9409-4zbMATH Open1172.03003OpenAlexW1557338616WikidataQ56891579 ScholiaQ56891579MaRDI QIDQ833033FDOQ833033

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

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

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)

Cites Work

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

Cited In (15)

• 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
• The scandal of deduction. Hintikka on the information yield of deductive inferences
• Information gain and approaching true belief
• 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
• Strongly semantic information as information about the truth

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)