Gottlob Frege
Z Wikipedie, otevřené encyklopedie
Friedrich Ludwig Gottlob Frege (8. listopadu 1848, Wismar – 26. července 1925, Bad Kleinen) byl německý matematik, logik a filosof.
Studoval matematiku, fyziku a filosofii v Jeně a Göttingenu a po celou svou akademickou kariéru pak působil na univerzitě v Jeně.
Je pokládán za zakladatele moderní logiky. Kritizoval psychologismus, tj. názor, že matematické objekty mají psychologický původ a že logika je „věda o správném myšlení“. Jeho práce ustanovují logiku jako vědu o vyplývání.
Obsah |
[editovat] Dílo
[editovat] Pojmové písmo (1879)
V roce 1879 publikuje Frege Pojmové písmo (Begriffschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens). V tomto díle chtěl nalézt takové prostředky, které by umožnily vyjádřit matematické důkazy tak jasně, aby nevznikaly žádné pochybnosti o jejich správnosti. (Tím připomíná Leibnizovu myšlenku mathesis universalis.)
Hlavním přínosem díla je systematické používání symbolů (i když notace navrhovaná Fregem se ukázala málo praktická). Dílo také zavádí všechny dnes přijímané axiomy predikátové logiky.
[editovat] Základy aritmetiky (1884)
Základy aritmetiky (Die Grundlagen der Arithmetik), 1884
[editovat] Základní zákony aritmetiky (1893, 1903)
Základní zákony aritmetiky (Die Grundgesetze der Arithmetik), I. díl 1893, II. díl 1903
[editovat] O smyslu a významu (1892)
Článek O smyslu a významu (Über Sinn und Bedeutung) se zabývá problematikou vlastních jmen. Frege vychází z toho, že věty formy „a = a“ a „a = b“ mají odlišnou poznávací hodnotu. Například věta „Večernice je Večernice“ nepřináší žádnou zajímavou informaci, zatímco věta „Večernice je Jitřenka“ vyjadřuje nesamozřejmý astronomický fakt.
[editovat] Odkazy
[editovat] Literatura
- Jaroslav Peregrin: Úvod do analytické filosofie, Herrmann a synové 1992 (podstatně přepracováno jako Kapitoly z analytické filosofie, Filosofia 2005).
- Vojtěch Kolman: Logika Gottloba Frega. Filosofia 2005.
[editovat] Externí odkazy
- Plné texty některých Fregových děl (ve formátu ASCII)
- Prokop Sousedík: Problematika vlastních jmen u G. Fregeho (obsahuje analýzu článku O smyslu a významu)
- Co je to (Fregovská) logika? (pdf) – krátký článek Jaroslava Peregrina nejen o matematickém důkazu ve Fregově pojetí
