ABSTRACT

This chapter aims to note that Gottlob Frege discerns the following syntactical categories in his logical language: proper names, predicates, declarative sentences, sentential connectives, and quantifiers. The most influential figure in the history of the project of systematising the notion of meaning is Frege, a German philosopher, mathematician, and logician, who spent his entire career as a professor of mathematics at the University of Jena. Frege's work in the philosophy of language builds on what is usually regarded as his greatest achievement, the invention of the language of modern symbolic logic. A syntax or grammar for a language consists, roughly, of two things: a specification of the vocabulary of the language and a set of rules which determine which sequences of expressions constructed from that vocabulary are grammatical. The semantics which Frege provides for the connectives, predicates, and quantifiers stems from an analogy with mathematical functions.