The Content of Deduction

Journal of Philosophical Logic 42 (2):317-334 (2013)
Download Edit this record How to cite View on PhilPapers
For deductive reasoning to be justified, it must be guaranteed to preserve truth from premises to conclusion; and for it to be useful to us, it must be capable of informing us of something. How can we capture this notion of information content, whilst respecting the fact that the content of the premises, if true, already secures the truth of the conclusion? This is the problem I address here. I begin by considering and rejecting several accounts of informational content. I then develop an account on which informational contents are indeterminate in their membership. This allows there to be cases in which it is indeterminate whether a given deduction is informative. Nevertheless, on the picture I present, there are determinate cases of informative (and determinate cases of uninformative) inferences. I argue that the model I offer is the best way for an account of content to respect the meaning of the logical constants and the inference rules associated with them without collapsing into a classical picture of content, unable to account for informative deductive inferences.
PhilPapers/Archive ID
Revision history
First archival date: 2011-11-06
Latest version: 2 (2011-11-06)
View upload history
References found in this work BETA
Truth and Other Enigmas.Dummett, Michael A. E.
Knowledge and Belief.Hintikka, Jaakko

View all 17 references / Add more references

Citations of this work BETA
Metalogic and the Overgeneration Argument.Florio, Salvatore & Incurvati, Luca

View all 6 citations / Add more citations

Added to PP index

Total views
823 ( #2,346 of 39,699 )

Recent downloads (6 months)
49 ( #9,746 of 39,699 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.