History and Philosophy of Logic 30 (1):21-48 (2009)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340802113531
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,855
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Situations and Attitudes.Jon Barwise & John Perry - 1981 - Journal of Philosophy 78 (11):668-691.
Knowlegde and the Flow of Information.F. Dretske - 1989 - Trans/Form/Ação 12:133-139.
Logical Foundations of Probability.Rudolf Carnap - 1950 - Chicago]University of Chicago Press.
Content Preservation.Tyler Burge - 1993 - Philosophical Review 102 (4):457.

View all 68 references / Add more references

Citations of this work BETA

A New–Old Characterisation of Logical Knowledge.Ivor Grattan-Guinness - 2012 - History and Philosophy of Logic 33 (3):245 - 290.

Add more citations

Similar books and articles


Added to PP index

Total views
28 ( #353,034 of 2,342,954 )

Recent downloads (6 months)
1 ( #515,062 of 2,342,954 )

How can I increase my downloads?


My notes