Abstract
There are 16 bivalent binary truth functions, but only two fundamental logical relations between propositions: implying and precluding. In addition, some higher-level concepts express the scope and nature of inferential relations. In this chapter, I will explain Frege’s treatment of these two notions, which are the semantic and pragmatic support for conditionality and negation. I will also offer an explanation of Frege’s semantic account of universal and existential quantifiers, and the relations between them. The richness and originality of Frege’s semantics manifest in his treatment of the role of logical notions and related expressions. Frege’s logic is nothing more (and nothing less) than his semantics for logical terms together with an appropriate method for representing inferential transitions. The deductive system that converts a language into a calculus is the representation of the commitments and entitlements that individuate concepts and propositional contents. The very notation that Frege introduces shows that logical notions do not affect judgeable contents, which systematically occur as arguments of the former. In this chapter, I will argue that Frege defended an expressivist approach to the meaning of logical notions. Frege’s insights at this point can help in the as-yet unfinished task of giving a satisfactory semantics for logical notions. I consider Frege’s views and suggestions entirely correct.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
As I will explain in the next section, Begriffsschrift explains the meaning of the conditional stroke (§5) and negation (§7) on expressivist lines. Some of Frege’s Logical Investigations, where he deals with generality (Frege, 1923) and negation (Frege, 1918–9b), also suggest this expressivist approach.
- 2.
In the Begriffsschrift, §5. One might retort at this point that the conditional and implication are different notions. In one case, the relation between the two propositions involved is contingent, and in the other it is necessary. This point will be discussed in the Chap. 6. But here it suffices to say that conditional terms (‘if’, ‘when’) are natural language tools for expressing implication (in a broad sense).
- 3.
For an up-to-date survey, see e.g. (Stanley & Szabó, 2003).
References
Ammereller, E., & Fischer, E. (2004). Wittgenstein at work. Method in the philosophical investigations. Routledge.
Ayer, A. (1936). Language, truth, and logic. Victor Gollanz Ltd.
Barwise, J., & Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4(2), 159–219.
Berto, F. (2015). A modality called ‘negation’. Mind, 124(495), 761–793.
Besson, C. (2019). Logical expressivism and Carroll’s regress. In M. J. Frápolli (Ed.), Expressivisms, knowledge and truth (Royal Institute of Philosophy Supplement 86) (pp. 35–62). Cambridge University Press.
Blakemore, D. (1987). Semantic constraints on relevance. Blackwell.
Brandom, R. (2000). Articulating reasons. An introduction to inferentialism. Harvard University Press.
Brandom, R. (2014). Analytic pragmatism, expressivism, and modality. The 2014 Nordic pragmatism lectures. www.nordprag.org
Brandom, R. (2019). A spirit of trust. A reading of Hege’s phenomenology. The Belknap Press of Harvard University Press.
Carnap, R. (1932). The elimination of metaphysics through logical analysis of language. Erkenntnis, 60–81.
Carston, R. (2002). Thoughts and utterances. The pragmatics of explicit communication. Blackwell Publishing.
Dummett, M. (1973). Frege (Philosophy of language). Haper and Row Publishers.
Dummett, M. (1991). The logical basis of metaphysics. Harvard University Press.
Frápolli, M. J. (2012). ¿Qué son las constantes lógicas? Crítica. Revista Hispanoamericana de Filosofía, 44(132), 65–99.
Frápolli, M. J. (2019). Propositions first. Biting Geachs bullet. In Expressivisms, knowledge and truth. Royal Institute of Philosophy supplement 86. Edited by María J. Frápolli. Cambridge University Press, 87–110.
Frege, G. (1879). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In Jean van Heijenoort (1967). From Frege to Gödel. A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, 1–82.
Frege, G. (1880–1). Booles logical Calculus and the Concept-script. In G. Frege (1979), Posthumous writings. Edited by Hans Hermes, Friedrich Kambarte, Friedrich Kaulbach. Basil Blackwell, 9–46.
Frege, G. (1884). The Foundations of Arithmetic. A logic-mathematical enquiry into the concept of number. Translated by J. L. Austin. Second Revised Edition. New York, Harper Torchbooks / The Science Library, Harper & Brothers.
Frege, G. (1891). Function and Concept. In G. Frege (1984), Collected papers on mathematics, logic, and philosophy. Edited by Brian McGuinness. Oxford, Basil Blackwell, 137–156.
Frege, G. (1892a). Concept and Object. In G. Frege (1984), Collected papers on mathematics, logic, and philosophy. Edited by Brian McGuinness. Basil Blackwell, 182–194.
Frege, G. (1892b). On Sense and Meaning. In G. Frege (1984), Collected papers on mathematics, logic, and philosophy. Edited by Brian McGuinness. Basil Blackwell, 157–177.
Frege, G. (1893–1903/2013). Basic laws of arithmetic. Volumes I and II. Oxford University Press.
Frege, G. (1897). On Mr. Peano’s conceptual notation and my own. In G. Frege (1984), Collected papers on mathematics, logic, and philosophy. Edited by Brian McGuinness. Basil Blackwell, 234–248.
Frege, G. (1918–19b). Negation. In G. Frege (1984), Collected papers on mathematics, logic, and philosophy. Edited by Brian McGuinness. Basil Blackwell, 373–389.
Frege, G. (1923). Logical generality. In G. Frege (1979), Posthumous writings. Edited by Hans Hermes, Friedrich Kambarte, Friedrich Kaulbach. Basil Blackwell, 258–262.
Frege, G. (1923–26). Compound thoughts. In G. Frege (1984), Collected papers on mathematics, logic, and philosophy. Edited by Brian McGuinness. Basil Blackwell, 390–406.
Geach, P. T. (1960). Ascriptivism. The Philosophical Review, 69(2), 221–225.
Hintikka, J. (1997). No scope for scope? Linguistics and Philosophy, 20(5), 515–544.
Kürbis, N. (2015a). Proof-theoretic semantics, a problem with negation and prospects for modality. Journal of Philosophical Logic, 44(6), 713–727.
Kürbis, N. (2015b). What is wrong with classical negation? Grazer Philosophische Studien, 92(1), 51–86.
Kürbis, N. (2019). Proof and falsity: A logical Investigation. Cambridge University Press.
Lindström, P. (1966). First order predicate logic with generalized quantifiers. Theoria, 32(3), 186–195.
Macbeth, D. (2005). Frege’s logic. Harvard University Press (kindle edition).
MacFarlane, J. (2014). Assessment sensitivity: Relative truth and its applications. Oxford University Press.
Montague, R. (1973). The proper treatment of quantification in ordinary English. In P. Suppes, J. Moravcsik, & J. Hintikka (Eds.), Approaches to natural language (pp. 221–242).
Mostowski, A. (1957). On a generalization of quantifiers. Fundamenta Mathematica, 44, 12–36.
Odgen, C. K., & Richards, I. A. (1923). The meaning of meaning. Harcourt Brace & Jovanovich.
Popper, K. (1935/2002). The logic of scientific discovery. Routledge Classics.
Prawitz, D. (2006). Meaning approached via proofs. Synthese, 148, 507–524.
Schiffrin, D. (1986). Functions of and in discourse. Journal of Pragmatics, 10, 41–66.
Schiffrin, D. (1987). Discourse markers. Cambridge University Press.
Schröder, E. (1880). Gottlob Frege, Begriffsschrift. Zeitschrift für Mathematik und Physik, 25, 81–94.
Sluga, H. (1987). Frege against the Boleans. Notre Dame Journal of Formal Logic, 28(1), 80–98.
Sperber, D., & Wilson, D. (1986). Relevance: Communication and cognition. Basil Blackwell.
Stanley, J., & Szabó, Z. G. (2003). On quantifier domain restriction. Mind and Language, 15, 219–261.
Stevenson, C. (1937). The emotive meaning of ethical terms. Mind, 46, 14–31.
Wittgenstein, L. (1914/1998). Notebooks 1914–1916. Blackwell Publishers.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2023 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Frápolli, M.J. (2023). Implying, Precluding, and Quantifying Over: Frege’s Logical Expressivism. In: The Priority of Propositions. A Pragmatist Philosophy of Logic. Synthese Library, vol 475. Springer, Cham. https://doi.org/10.1007/978-3-031-25229-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-25229-7_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-25228-0
Online ISBN: 978-3-031-25229-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)