Ero sivun ”Logisismi” versioiden välillä

Wikipediasta
Siirry navigaatioon Siirry hakuun
[arvioimaton versio][arvioimaton versio]
Poistettu sisältö Lisätty sisältö
SieBot (keskustelu | muokkaukset)
p Botti lisäsi: sr:Логицизам
p Botti lisäsi: nl:Logicisme
Rivi 29: Rivi 29:
[[fr:Logicisme]]
[[fr:Logicisme]]
[[it:Logicismo]]
[[it:Logicismo]]
[[nl:Logicisme]]
[[ja:論理主義 (数学)]]
[[ja:論理主義 (数学)]]
[[pt:Logicismo]]
[[pt:Logicismo]]

Versio 15. kesäkuuta 2009 kello 04.05

Logisismi on matematiikan filosofian suuntaus, joka näki matematiikan logiikan laajennoksena ja pyrki palauttamaan osan tai kaiken matematiikasta logiikkaan. Ohjelman isänä voidaan pitää Gottlob Fregeä, ja sitä toteuttivat ennen kaikkea Bertrand Russell (Principles of Mathematics, 1903) ja Alfred North Whitehead. Frege luopui ohjelmasta Russellin havaittua niin sanotun Russellin paradoksin, joka todisti niin sanotun naiivin joukko-opin ristiriitaisuuden. Russell ja Whitehead jatkoivat logisismin kehittämistä teoksessaan Principia Mathematica (1910-1913).

Kurt Gödelin epätäydellisyyslauseen on usein katsottu romuttaneen ohjelman lopullisesti. Uutta pyrkimystä logisismin jatkamiseen on kutsuttu uuslogisismiksi. Uuslogisismia on kannattanut ennen kaikkea Crispin Wright.

Logisismi oli keskeisessä osassa analyyttisen filosofian kehityksessä 1900-luvullla.

Katso myös

Aiheesta muualla

Tämä filosofiaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.