Logicism
Logicism je názor, že celá matematika je reducible k logice. Toto je obyčejně předpokládané k byli rozděleni smrtelná rána Gödel incompleteness teorém, ačkoli to není jasné proč.Co je matematika? Je to konstrukce matematických teorií. Matematická teorie začíná souborem axiómů, a pak pokračuje odvodit zajímavé důsledky těch axiómů přes logický závěr.
Nyní, Gödel teorém je teorém o matematice, ne o logice. To používá vynalézavý self-odkaz argument uvalit limity na možném scopes matematických teorií. Nicméně, to je možné používat stejný druh self-argument odkazu ukazovat tu logiku sám není podřízený takovým limitům. Pro zvážit to: předpokládat, že to tam je logický argument, který dokazuje, že tam jsou oblasti lidského myšlení nebo znalosti kde logika není platná. Ale ten argument převezme platnost logiky, dělá to ne? Proto, logika musí ještě platit dokonce v úvaze o těch oblastech.
Rozdíl mezi logikou a matematikou je ta matematika je vždy postavena na axiómech, zatímco logika není. Logika musí být nezávislá na nějakých axiómech, jinak to nemohlo být používáno volně k důvodu o důsledkách libovolných axiómů.
Viz též: