Begriffsschrift

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání
Begriffsschrift
Begriffsschrift Titel.png
Autor Gottlob Frege
Jazyk němčina
Datum vydání 1879
Některá data mohou pocházet z datové položky.

Begriffsschrift, česky pojmové písmo, je název tenké knížky o logice od Gottloba Fregeho, vydané v roce 1879. Plný název knihy zní "jazyk formulí, napodobený na tom aritmetickém, čistého myšlení." Kniha zavádí logický kalkul obsahující jako novinku kvantifikaci proměnných.

Zavedený kalkul[editovat | editovat zdroj]

Ve Fregeho kalkulu je devět axiomů, jež obhájil neformální argumentací: vzhledem k zamýšlenému významu vyjadřují intuitivní pravdy. Přeformulováno v současné notaci, axiomy jsou tyto:

Externí odkazy[editovat | editovat zdroj]