Begriffsschrift

Frege himself says, speaking of the higher-order language in his "Begriffsschrift", that through formalization (in the third sense above) "we arrive at a small number of laws in which, if we add those contained in the rules, the content of all the laws is included, albeit in an undeveloped state" (Frege 1879, §13).

Logical Truth Gómez-Torrente, Mario 2006

On this view, the logical form of a proposition is made manifest by the structure of a sentence in an ideal formal language ” what Frege called a Begriffsschrift

Logical Form Pietroski, Paul 2009

Frege's own Begriffsschrift supplements the first steps towards this goal, which can be found in the formula languages of arithmetic and chemistry (Frege 1879, VI).

Leibniz's Influence on 19th Century Logic Peckhaus, Volker 2009

Begriffsschrift, distinct from the languages we naturally speak, in order to depict (and help us discern) the structures of the propositions we express by using natural languages.

Logical Form Pietroski, Paul 2009

Frege, G. [1879] 1976: Begriffsschrift in van Heijenoort (ed.)

Saving Prostitutes in Sevilla 2009

In his Begriffsschrift, Frege wrote that the idea of a general characteristic, of a calculus philosophicus or ratiocinator was too ambitious to be achieved by Leibniz alone.

Leibniz's Influence on 19th Century Logic Peckhaus, Volker 2009

Begriffsschrift are so severe that one cannot formulate general rules for associating the sentences we ordinarily use with propositions.

Logical Form Pietroski, Paul 2009

Alternatively, one might suspect that in the end, talk of propositions is just convenient shorthand for talking about the semantic properties of sentences: perhaps sentences of a Begriffsschrift, or sentences of mentalese, or sentences of natural languages (abstracting away from their logically/semantically irrelevant properties).

Logical Form Pietroski, Paul 2009

But Frege did not specify an algorithm that would associate each sentence of his Begriffsschrift with its truth-condition.

Logical Form Pietroski, Paul 2009

Frege's Begriffsschrift, recall, was designed to capture the Dedekind-Peano axioms for arithmetic, including the axiom of induction; see the entry on

Logical Form Pietroski, Paul 2009