Begriffsschrift love

Begriffsschrift

Definitions

Sorry, no definitions found. You may find more data at begriffsschrift.

Etymologies

Sorry, no etymologies found.

Support

Help support Wordnik (and make this page ad-free) by adopting the word Begriffsschrift.

Examples

  • 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

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.