Begriffsschrift

Begriffsschrift
Autor	Gottlob Frege
Původní název	Begriffsschrift
Jazyk	němčina
Datum vydání	1879
	multimediální obsah na Commons
	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í 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.

Zavedený kalkul

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:

$\vdash \ \ A\rightarrow \left(B\rightarrow A\right)$
$\vdash \ \ \left[\ A\rightarrow \left(B\rightarrow C\right)\ \right]\ \rightarrow \ \left[\ \left(A\rightarrow B\right)\rightarrow \left(A\rightarrow C\right)\ \right]$
$\vdash \ \ \left[\ D\rightarrow \left(B\rightarrow A\right)\ \right]\ \rightarrow \ \left[\ B\rightarrow \left(D\rightarrow A\right)\ \right]$
$\vdash \ \ \left(B\rightarrow A\right)\ \rightarrow \ \left(\lnot A\rightarrow \lnot B\right)$
$\vdash \ \ \lnot \lnot A\rightarrow A$
$\vdash \ \ A\rightarrow \lnot \lnot A$
$\vdash \ \ \left(c=d\right)\rightarrow \left(f(c)\rightarrow f(d)\right)$
$\vdash \ \ c=c$
$\vdash \ \ \left(\ \forall a:f(a)\ \right)\ \rightarrow \ f(c)$

Externí odkazy

Obrázky, zvuky či videa k tématu Begriffsschrift na Wikimedia Commons

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.