nastavit jako výchozí stránku
   
   kultura

Adamová
 Jaroslava, *15.3.1925 (Praha, Československo) – †16.6.2012 (Praha, Česká republika), česká...

Wood
 [Vúd], Elijah, *28.1.1981 (Cedar Rapids, Iowa, USA), vlastním jménem Elijah Jordan Wood, americký...

Moskalyk
 Antonín, *11.11.1930 (Chust, Podkarpatská Rus, dnešní Ukrajina) – †27.1.2006 (Brno), významný...

Gibson
 [Gibsn], Mel, *3.1.1956 (Peekskill, stát New York, USA), vlastním jménem Mel Columcille Gerard...

Wyler
 [Vajlr], William, *1.7.1902 (Mulhausen, tehdy německé Alsasko) – † 27.7.1981 (Beverly Hills...


logicismus
[Logicizmus], směr v oblasti základní matematiky redukující celou matematiku na logiku, tj. chápající matematiku jako součást logiky. Navazuje na myšlenky G. W. Leibnize, tvůrcem logicismu byl G. Frege a hlavními představiteli B. RussellA. N. Whitehead, zejména v díle Principia mathematica. Logicismus byl často spojován s novopozitivistíckou tezí o výlučně analytickém charakteru matematických vět a v této krajní formě tvořil opak intuicionismu. Protože Logicismus tvrdí, že všechny matematické pojmy lze explicitně definovat z logiky a všechny matematické věty lze odvodit z logických axiomů a definic čistě logickou dedukcí, dostává se do úzké závislosti na chápání významu pojmu logika, který je trojí: buď jako název jisté vědy (běžné chápání), nebo název jistého formalizovaného jazyka, v němž jsou stanovena pravidla logického kalkulu, anebo název určitého logického systému kalkulu, který obsahuje pouze pravidla usuzování, takže na jeho půdě ize dospět pouze k tautologiím. Zatímco dnes se za správný považuje pouze třetí význam, logistika vycházel z druhého a musel přijmout některé axiómy, které v současném smyslu nepatří do logiky, ale do teorie množin. Dnes se proto v souvislosti s jiným chápáním pojmu logilry modifikovala teze logicismu a lze hovořit o redukovatelnosti matematiky na teorii množin.


 

Odkazující hesla: Frege, Whitehead
Vytvořeno: 14.3.2000
Aktualizováno: 31.8.2006
Autor:





Texty encyklopedických hesel mohou obsahovat slova nebo slovní spojení, která mohou
být ochrannými známkami nebo registrovanými ochrannými známkami příslušných vlastníků.

© 1999 - 2018, OPTIMUS s.r.o.