The enduring scandal of deduction. Is propositional logic really uninformative?
type: Item
instance of: scholarly article
title: The enduring scandal of deduction. Is propositional logic really uninformative?
zbMATH Open document ID: 1172.03003
author: Marcello D'Agostino
author: Luciano Floridi
published in: Synthese
publication date: 2009-08-11T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03F20
zbMATH DE Number: 5593770
zbMATH Keywords: Boolean logic
zbMATH Keywords: tractability
zbMATH Keywords: semantic information
zbMATH Keywords: analytical reasoning
zbMATH Keywords: natural deduction
MaRDI profile type: Publication
full work available at URL: s11229-008-9409-4
OpenAlex ID: W1557338616
Wikidata QID: Q56891579
cites work: Q5541281
cites work: Natural deduction, separation, and the meaning of logical operators
cites work: Tractable reasoning via approximation
cites work: The complexity of theorem-proving procedures
cites work: Q3007254
cites work: The Taming of the Cut. Classical Refutations with Analytic Cut
cites work: Anytime clausal reasoning
cites work: Logics in Artificial Intelligence
cites work: Advances in Artificial Intelligence – SBIA 2004
cites work: Cut and pay
cites work: Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control
cites work: Geometry and Empirical Science
cites work: Q5666510
cites work: Q4758661
cites work: The scandal of deduction. Hintikka on the information yield of deductive inferences
cites work: Q5801644
cites work: Analytic natural deduction
cites work: Q5610986
cites work: Q4001401
cites work: Classical harmony
DOI: 10.1007/S11229-008-9409-4
description: scientific article; zbMATH DE number 5593770