Begriffsschrift

kniha Gottloba Fregea

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í Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (Jazyk formulí čistého myšlení, vystavěný podle jazyka aritmetiky. Kniha zavádí logický kalkul obsahující jako novinku kvantifikaci proměnných.

Begriffsschrift
AutorGottlob Frege
Původní názevBegriffsschrift
ZeměNěmecko
Jazykněmčina
Datum vydání1879
Logo Wikimedia Commons multimediální obsah na Commons
Některá data mohou pocházet z datové položky.

Zavedený kalkul

editovat

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:

  1.  
  2.  
  3.  
  4.  
  5.  
  6.  
  7.  
  8.  
  9.  

Externí odkazy

editovat