Begriffsschrift

Begriffsschrift (alemanez, gutxi gorabehera, "kontzeptuen idazketa") Gottlob Fregeren logika-liburua da, 1879an argitaratua, eta bertan azaltzen den logika formal sistemaren izena.

Begriffsschrift kontzeptuak idazteko edo kontzeptuak notatzeko erabiltzen da; liburuaren izenburu osoak honela identifikatzen du: "formula-hizkuntza, aritmetikaren gainean modelatua, pentsamendu garbirako". Fregek logikaren ikuspegi formala garatzeko zuen motibazioa Leibnizek calculus ratiocinator zuen motibazioaren antzekoa zen (hala ere, Frege hitzaurrean argi eta garbi ukatu zuen helburu hori lortu izana, eta helburu nagusia Leibnizena bezalako hizkuntza ideala eraikitzea zela, eta Fregek adierazi zuen zeregin hori nahiko zaila eta idealista dela, baina ez ezinezkoa). Fregek kalkulu logikoa erabili zuen matematikaren oinarriei buruzko ikerketetan, hurrengo mendearen laurdenean. Filosofia analitikoaren lehen lana da, etorkizuneko filosofo britainiar eta anglosaxoiek, hala nola Bertrand Russellek, garatzen jarraitu zuten eremua.

Kanpo estekak 

Filosofia analitikoa
Logikaren filosofia
Logika klasikoa
Predikatuen logika