Abstract
The method of counterexample is a proof procedure, combined with a semantic approach, which may be used for deciding whether an argument is valid or not. The method can be applied in sentence logic and in predicate logic, though in the latter it must sometimes fail, as predicate logic does not possess the property of decidability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Marciszewski, W. (1981). Counterexample, the Method of. In: Marciszewski, W. (eds) Dictionary of Logic as Applied in the Study of Language. Nijhoff International Philosophy Series, vol 9. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1253-8_16
Download citation
DOI: https://doi.org/10.1007/978-94-017-1253-8_16
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-8257-2
Online ISBN: 978-94-017-1253-8
eBook Packages: Springer Book Archive