Abstract
Contemporary philosophers generally conceive of consequence as necessary truth-preservation. They generally construe this necessity as logical, and operationalize it in substitutional, formal or model-theoretic terms as the absence of a counterexample. A minority tradition allows for grounding truth-preservation also on non-logical necessities, especially on the semantics of extra-logical constants. The present chapter reviews and updates the author’s previous proposals to modify the received conception of consequence so as to require truth-preservation to be non-trivial (i.e. not a mere consequence of a necessarily true implicatum or a necessarily untrue implicans) and to allow variants of the substitutional, formal and model-theoretic realizations of the received conception where the condition underwriting truth-preservation is not purely formal. Indeed, the condition may be contingent rather than necessary. Allowing contingent non-trivial truth-preservation as a consequence relation fits our inferential practices, but turns out to be subject to counterexamples. We are left with an unhappy choice between an overly strict requirement that non-trivial truth-preservation be underwritten by a necessary truth and an overly loose recognition of non-trivial truth-preservation wherever some truth underwrites it. We need to look for a principled intermediate position between these alternatives.
Bibliographical note: This chapter was originally published under the same title in Studies in Logic, Grammar and Rhetoric 16 (2009), 137–158.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
I write ‘untru e’ rather than ‘false’, in order to leave open the possibility of a conclusion’s being neither true nor false.
- 2.
For simplicity, I am taking sentences to be the relata of the consequence relation. Nothing in this article should depend on this decision. The same points about consequence could be made if one takes entities other than sentences to be the primary truth-bearers—e.g. utterances, statements or propositions.
- 3.
Here and elsewhere, I use the exact translation into English by Magda Stroińska and myself of the Polish version of Tarski ’s paper (Tarski 1936a), which I argued in (Tarski 2002) is more authoritative than the German version, also written by Tarski ( 1936b), which was used as the basis of the previous rather inexact translation of the paper into English (Tarski 1956 and 1983, pp. 409–423).
- 4.
At least, so we suppose. Research on aging may lead to techniques of preventing human aging, in which case human immortality would become physiologically possible. But the “may” here is epistemic. At the moment, as far as we know, it is physiologically inevitable that every human dies.
- 5.
- 6.
Correction in the present republication: The original article had a definition of the soundness of a formal system rather than of its completeness.
- 7.
The preceding paragraph summarizes and adapts (Hitchcock 1998, pp. 24–25).
- 8.
These revised conceptions adapt the conceptions found in Hitchcock (1998, p. 26), with the additional constraint that the set of content expressions is exhaustive.
- 9.
For a proof with respect to Bolzano ’s substitutional conception, applied to the language of classical propositional logic, see George (1983). The qualification that the implied sentence contains an extra-logical constant is needed to accommodate cases where the consequence relation obtains but the implied sentence contains no extra-logical constants. For example, the sentence ‘there is at least one object’ follows from the sentence ‘there are at least two objects’ on any of the three revised conceptions, even though it contains no extra-logical constants.
- 10.
Added in the present republication: Consider the following arguments: ‘Grass is green, so snow is white.’; ‘Grass is white, so snow is black; ‘Grass is black, so snow is white.’ None of these arguments has a true premiss and a false conclusion. Thus their associated material conditional is true. So, with respect to a set of content expressions that does not include any content expression in these arguments, such as the set consisting of the name ‘Jupiter’, the first condition is met, on any of the revised conceptions of consequence. However, one or other of the two remaining conditions is not met. The second and third arguments have no parallel in which the premiss is true; the first and third arguments have no parallel in which the conclusion is untrue.
- 11.
Correction in the present republication: The original article had ‘true’ and ‘untrue’ reversed.
- 12.
In testing the applicability of my conception of good inference to actual arguments that scholars advance, I used an even more expanded conception that allowed for probabilistic and presumptive inferences, underwritten respectively by for-the-most-part and ceteris paribus covering generalizations. In the present chapter, I do not discuss this further expansion of the concept of consequence.
- 13.
The reflections in the preceding paragraph were stimulated by an article by Pinto (2006) and by subsequent correspondence with Pinto and James B. Freeman .
- 14.
In the preceding sentence, I use the word ‘consequence’ in an inferential rather than a causal sense. To be a consequence of something in the inferential sense is to be legitimately inferable from it.
- 15.
Added in the present chapter: Examples of each type: every conditional with a true antecedent has a true consequent; every bachelor is unmarried; every physical object attracts every other physical object with a force proportional to the product of their masses and inversely proportional to the square of the distance between them; the square of the sum of any two numbers is the sum of the square of the first number and twice the product of the two numbers and the square of the second number; every bird is a theropod dinosaur; every president of the United States is a natural-born citizen.
References
Bolzano, Bernard. 1972. Theory of science. Attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authors, abridged translation by Rolf George. Berkeley: University of California Press. German original first published in 1837.
Brandom, Robert. 1994. Making it explicit: Reasoning, representing, and discursive commitment. Cambridge, MA: Harvard University Press.
Brandom, Robert. 2000. Articulating reasons: An introduction to inferentialism. Cambridge, MA: Harvard University Press.
Copi, Irving M., and Carl Cohen. 2001. Introduction to logic, 11th edition. Upper Saddle River, NJ: Prentice-Hall.
van Eemeren, Frans H., and Rob Grootendorst. 1992. Argumentation, communication and fallacies: A pragma-dialectical perspective. Hillsdale, NJ: Lawrence Erlbaum Associates.
Etchemendy, John. 1990. The concept of logical consequence. Cambridge, MA: Harvard University Press.
Forbes, Graeme. 1994. Modern logic. New York: Oxford University Press.
George, Rolf. 1972. Enthymematic consequence. American Philosophical Quarterly 9: 113–116.
George, Rolf. 1983. Bolzano’s consequence, relevance, and enthymemes. Journal of Philosophical Logic 12: 299–318.
Gentzen, Gerhard. 1969. Investigations into logical deduction. In The Collected Works of Gerhard Gentzen, ed. M.E. Szabo, 68–131. Amsterdam: North Holland. German original published in 1935.
Hitchcock, David. 1985. Enthymematic arguments. Informal Logic 7: 83–97.
Hitchcock, David. 1998. Does the traditional treatment of enthymemes rest on a mistake? Argumentation 12: 15–37.
Hitchcock, David. 2002. Sampling scholarly arguments: a test of a theory of good inference (plus ‘Appendix’). In Argumentation and its applications, ed. Hans V. Hansen, Christopher W. Tindale, J. Anthony Blair, Ralph H. Johnson and Robert C. Pinto, CD-ROM, pp. 1–10 and 1-58. Windsor, ON: OSSA. Available at http://scholar.uwindsor.ca/cgi/viewcontent.cgi?article=1640&context=ossaarchive.
Jeffrey, Richard. 2006. Formal logic: Its scope and limits, 4th edition edited, with a new supplement, by John P. Burgess. Indianapolis: Hackett.
Hurley, Patrick J. 2006. A concise introduction to logic, 9th edition. Belmont, CA: Wadsworth/Thomson.
Peirce, Charles Sanders. 1955. The fixation of belief. In Philosophical Writings of Peirce, ed. Justus Buchler, 5–22. New York: Dover. Revised version of an article first published in 1877.
Pinto, Robert C 2006. Evaluating inferences: the nature and role of warrants. In Arguing on the Toulmin model: New essays in argument analysis and evaluation, ed. David Hitchcock and Bart Verheij, 115–143. Dordrecht: Springer.
Quine, Willard Van Orman. 1960. Word and object. Cambridge, MA: MIT Press,.
Quine, Willard Van Orman. 1970. Philosophy of logic. Englewood Cliffs, NJ: Prentice-Hall.
Read, Stephen. 1994. Formal and material consequence. Journal of Philosophical Logic 23: 247–265.
Ryle, Gilbert. 1960. Formal and informal logic. In his Dilemmas, 111–129. Cambridge: Cambridge University Press. First published in 1954.
Salmon, Wesley C. 1963. Logic. Englewood Cliffs, NJ: Prentice-Hall.
Sellars, Wilfrid. 1953. Inference and meaning. Mind 62: 313–338.
Sher, Gila Y. 1996. Did Tarski commit “Tarski’s fallacy”? Journal of Symbolic Logic 61: 653–686.
Smiley, Timothy J. 1959. Entailment and deducibility. Proceedings of the Aristotelian Society 59: 233–254.
Tarski, Alfred. 1936a. O pojęciu wynikania logicznego. Przegląd Filozoficzny 39: 58–68. English translation in Tarski 2002.
Tarski, Alfred. 1936b. Über den Begriff der logischen Folgerung. In Actes du Congrès International de Philosophie Scientifique, Sorbonne, Paris, 1935 Actualités scientifiques et industrielles 394) VII, 1–11. Paris: Hermann. English translations in Tarski 1956, 1983, 2002.
Tarski, Alfred. 1956. Logic, semantics, metamathematics Papers from 1923 to 1938, trans. Joseph Henry Woodger. Oxford: Clarendon Press.
Tarski, Alfred. 1983. Logic, semantics, metamathematics. Papers from 1923 to 1938, trans. Joseph Henry Woodger, second edition edited and introduced by John Corcoran. Indianapolis: Hackett.
Tarski, Alfred. 1986. What are logical notions? History and Philosophy of Logic 7: 143–154. Delivered as a lecture in 1966 and 1973, and subsequently edited by John Corcoran.
Tarski, Alfred. 2002. On the concept of following logically, trans. Magda Stroińska and David Hitchcock. History and Philosophy of Logic 23: 155–196. Translations of Tarski 1936a and Tarski 1936b, with an introduction.
Toulmin, Stephen Edelston. 1958. The Uses of argument. Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this chapter
Cite this chapter
Hitchcock, D. (2017). Non-logical Consequence. In: On Reasoning and Argument. Argumentation Library, vol 30. Springer, Cham. https://doi.org/10.1007/978-3-319-53562-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-53562-3_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-53561-6
Online ISBN: 978-3-319-53562-3
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)