Ero sivun ”Logisismi” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Ak: Uusi sivu: '''Logisismi''' on matematiikanfilosofinen suuntaus, joka näki matematiikan logiikan laajennoksena ja pyrki redusoimaan osan ... |
Thi (keskustelu | muokkaukset) Ei muokkausyhteenvetoa |
||
| Rivi 1: | Rivi 1: | ||
'''Logisismi''' on [[matematiikan filosofia |
'''Logisismi''' on [[matematiikan filosofia]]n suuntaus, joka näki [[matematiikka|matematiikan]] [[logiikka|logiikan]] laajennoksena ja pyrki palauttamaan osan tai kaiken matematiikasta logiikkaan. Ohjelman isänä voidaan pitää [[Gottlob Frege]]ä, ja sitä toteuttivat ennen kaikkea [[Bertrand Russell]] ja [[Alfred North Whitehead]]. Frege luopui ohjelmasta Russellin havaittua niin sanotun [[Russellin paradoksi]]n, joka todisti niin sanotun [[naiivi joukko-oppi|naiivin joukko-opin]] ristiriitaisuuden. Russell ja Whitehead jatkoivat logisismin kehittämistä teoksessaan ''[[Principia Mathematica]]''. |
||
[[Kurt Gödel]]in [[Gödelin epätäydellisyysteoreema|epätäydellisyysteoreeman]] on usein katsottu romuttaneen ohjelman lopullisesti. Uutta pyrkimystä logisismin jatkamiseen on kutsuttu '''uuslogisismiksi'''. Uuslogisismia on kannattanut ennen kaikkea [[Crispin Wright]]. |
[[Kurt Gödel]]in [[Gödelin epätäydellisyysteoreema|epätäydellisyysteoreeman]] on usein katsottu romuttaneen ohjelman lopullisesti. Uutta pyrkimystä logisismin jatkamiseen on kutsuttu '''uuslogisismiksi'''. Uuslogisismia on kannattanut ennen kaikkea [[Crispin Wright]]. |
||
Logisismi oli keskeisessä |
Logisismi oli keskeisessä osassa [[analyyttinen filosofia|analyyttisen filosofian]] kehityksessä 1900-luvullla. |
||
== Aiheesta muualla == |
== Aiheesta muualla == |
||
Versio 22. helmikuuta 2007 kello 21.39
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 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.
Kurt Gödelin epätäydellisyysteoreeman 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.
Aiheesta muualla
- Logicism (englanniksi)