Begriffsschrift

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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]