Repository | Book | Chapter
(2000) A Boole anthology, Dordrecht, Springer.
It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun-termodels are studied in formal semantics (model theory).
Publication details
DOI: 10.1007/978-94-015-9385-4_7
Full citation:
Corcoran, J. (2000)., Boole's criteria for validity and invalidity, in J. Gasser (ed.), A Boole anthology, Dordrecht, Springer, pp. 101-128.
This document is unfortunately not available for download at the moment.