Home What Logicians Do (and What They Ought to do)
Article
Licensed
Unlicensed Requires Authentication

What Logicians Do (and What They Ought to do)

  • Bruce E. R. Thompson ORCID logo EMAIL logo
Published/Copyright: August 9, 2025

Abstract

Grammarians have come to think of their discipline as a descriptive science, not as a set of prescriptive rules. This paper explores the ways in which logic, sometimes called “the grammar of argumentation,” can also be considered a descriptive science. Logic is a natural science that describes a set of observable facts, namely facts about the nature of successful reasoning, but logicians have been remiss in failing to recognize abductive reasoning as an observable mode of successful reasoning. Logic also offers descriptive definitions of words that structure arguments in common speech. But here logicians have made a “prescriptivist error,” offering a definition of the ‘if…then…’ relation that has no basis in common usage. The paper prescribes (to logicians) that they should (a) accept abduction as a third mode of reasoning, and (b) adopt a definition of the consequence relation commensurate with the connexivist school of logic.


Corresponding author: Bruce E. R. Thompson, Department of Behavioral Sciences, Palomar College, San Marcos, USA, E-mail:

References

Angell, R. B. 1962. “A Propositional Logic with Subjunctive Conditionals.” The Journal of Symbolic Logic 27 (2): 327–43.10.2307/2964651Search in Google Scholar

Aristotle. 1984. “Prior Analytics.” A. J. Jenkinsen, trans. In The Complete Works of Aristotle, edited by Jonathan Barnes, 39–113. Princeton: Princeton University Press.10.1515/9781400835843-006Search in Google Scholar

Bennett, Jonathan. 2003. A Philosophical Guide to Conditionals. Oxford: Clarendon.10.1093/0199258872.001.0001Search in Google Scholar

Bochenski, I. M. 1970. A History of Formal Logic, 2nd ed. New York: Chelsea.Search in Google Scholar

Chomsky, Noam. 1957. Syntactic Structures. The Hague: Mouton.10.1515/9783112316009Search in Google Scholar

Doyle, Arthur Conan. 1892. “The Adventure of the Noble Bachelor.” In The Strand Magazine. Reprinted in, The Complete Sherlock Holmes. Garden City, N.Y.: Doubleday.Search in Google Scholar

Etchemendy, John. 1990. The Concept of Logical Consequence. Cambridge, Ma: Harvard University Press.Search in Google Scholar

Goodman, Nelson. 1979. Fact, Fiction, and Forecast. Indianapolis: Hackett.Search in Google Scholar

Jackson, Frank. 1991. Conditionals. Oxford: Oxford University Press.Search in Google Scholar

Kant, Immanual. 1781. Critique of Pure Reason. F. Max Müller, Trans. New York, Macmillan, 1966.Search in Google Scholar

Kneale, William, and Martha Kneale. 1966. The Development of Logic. Oxford: Oxford University Press.Search in Google Scholar

Lewis, David. 1973. Counterfactuals. Cambridge, Ma: Harvard University Press.Search in Google Scholar

Lewis, C. I., and C. H. Langford. 1932. Symbolic Logic. New York: Century Company.Search in Google Scholar

Liddell, H. G., and Robert Scott. 1983. An Intermediate Greek-English Lexicon. Oxford: Clarendon.Search in Google Scholar

Martin, Christopher J. 1991. “Boethius and the Logic of Negation.” Pronesis 36 (3): 277–304, https://doi.org/10.1163/156852891321052705.Search in Google Scholar

Mates, Benson. 1965. Elementary Logic. New York: Oxford University Press.Search in Google Scholar

McCall, Storrs. 1963. Non-classical Propositional Calculi. Unpublished Ph.D. Dissertation. Oxford University.Search in Google Scholar

McCall, Storrs. 1967. “Connexive Implication and the Syllogism.” Mind 76 (3): 346–56.10.1093/mind/LXXVI.303.346Search in Google Scholar

Mortensen, Christopher. 1984. “Aristotle’s Thesis in Consistent and Inconsistent Logics.” Studia Logica 43 (1–2): 107–16, https://doi.org/10.1007/bf00935744.Search in Google Scholar

Nelson, Everett J. 1930. “Intensional Relations.” Mind 39 (156): 440–53.10.1093/mind/XXXIX.156.440Search in Google Scholar

Peirce, Charles S. 1867. “On the Natural Classification of Arguments.” Proceedings of the American Academy of Arts and Sciences 7: 261–87. In Collected Papers, 2.461–516. https://doi.org/10.2307/20179566.Search in Google Scholar

Peirce, Charles S. 1877. “The Fixation of Belief.” Popular Science Monthly 12: 1–15. In Collected Papers, 5.358–387.Search in Google Scholar

Peirce, Charles S. 1905. “Issues in Pragmaticism.” The Monist 15 (4): 481–99. In Collected Papers, 5.438–463. https://doi.org/10.5840/monist19051544.Search in Google Scholar

Peirce, Charles S. 1906. MS 876. An Unpublished Manuscript Available by Request from the Institute for Studies in Pragmaticism of Texas Tech University. Lubbock, Texas: Institute for Studies in Pragmaticism.Search in Google Scholar

Peirce, Charles S. 1960. The Collected Papers of Charles Sanders Peirce, edited by Charles Hartshorne and Paul Weiss, Cambridge, Belknap Press.Search in Google Scholar

Pietarinen, Ahti-Veikko, and Francesco Bellucci. 2014. “New Light on Peirce’s Conception of Retroduction, Deduction, and Scientific Reasoning.” International Studies in the Philosophy of Science 28 (4): 353–73. https://doi.org/10.1080/02698595.2014.979667.Search in Google Scholar

Pinker, Steven. 1999. Words and Rules: The Ingredients of Language. New York: Basic Books.Search in Google Scholar

Pinker, Steven. 2021. Rationality: What it Is, Why it Seems So Scarce, Why it Matters. New York: Viking.Search in Google Scholar

Priest, Graham. 1999. “Negation as Cancellation and Connexive Logic.” Topoi 18 (2): 141–8, https://doi.org/10.1023/a:1006294205280.10.1023/A:1006294205280Search in Google Scholar

Priest, Graham. 2001. An Introduction to Non-classical Logic. Cambridge, U. K.: Cambridge University Press.Search in Google Scholar

Queiroz, Ruy J. G. B. de. 2023. “From Tractatus to Later Writings and Back.” SATS – Northern European Journal of Philosophy 24 (2): 167–203.10.1515/sats-2022-0016Search in Google Scholar

Routley, Richard. 1978. “Semantics for Connexive Logics. I.” Studia Logica 37 (4): 393–410. https://doi.org/10.1007/bf02176171.Search in Google Scholar

Routley, Richard, and H. Montgomery. 1968. “On Systems Containing Aristotle’s Thesis.” The Journal of Symbolic Logic 33 (1): 82–96. https://doi.org/10.2307/2270055.Search in Google Scholar

Routley, Richard, Val Plumwood, Robert K. Meyer, and Ross T. Brady. 1982. Relevant Logics and Their Rivals. Atascadero, California: Ridgeview.Search in Google Scholar

Sanford, David H. 1989. If P, Then Q: Conditionals and the Foundations of Reasoning. London and New York: Routledge.Search in Google Scholar

Strawson, P. F. 1952. Introduction to Logical Theory. London: Methuen.Search in Google Scholar

Thompson, B. E. R. 1991. “Why Is Conjunctive Simplification Invalid?” Notre Dame Journal of Formal Logic 32 (2): 248–54. https://doi.org/10.1305/ndjfl/1093635749.Search in Google Scholar

Thompson, B. E. R. 2024. “The Principle of Ecthesis in Hypothetical Reasoning.” In Proceedings of the Ninth International Conference on Model-Based Reasoning in Science and Technology. New York: Springer-Verlag.10.1007/978-3-031-69300-7_17Search in Google Scholar

Wansing, H. 2006. “Connexive Logic.” The Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/logic-connexive (accessed 8, 2024).Search in Google Scholar

Received: 2024-05-20
Accepted: 2025-03-20
Published Online: 2025-08-09
Published in Print: 2025-07-28

© 2025 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 27.10.2025 from https://www.degruyterbrill.com/document/doi/10.1515/sats-2024-0010/html
Scroll to top button