Ero sivun ”Logisismi” versioiden välillä

[arvioimaton versio][katsottu versio]
Poistettu sisältö Lisätty sisältö
EmausBot (keskustelu | muokkaukset)
p r2.6.4) (Botti lisäsi: kk:Логицизм
Ei muokkausyhteenvetoa
Rivi 1:
'''Logisismi''' on [[matematiikan filosofia]]n suuntaus, joka näkipiti [[matematiikka|matematiikan]]a [[logiikka|logiikan]] laajennoksenalaajennuksena ja pyrki palauttamaan osan matematiikasta tai kaikenkoko matematiikastamatematiikan 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 paradoksi]]n, joka todisti niin sanotun [[naiivi joukko-oppi|naiivin joukko-opin]] ristiriitaisuuden. Russell ja Whitehead jatkoivat logisismin kehittämistä teoksessaan ''[[Principia Mathematica]]'' (1910-19131910–1913).
 
[[Kurt Gödel]]in [[Gödelin epätäydellisyyslause|epätäydellisyyslauseen]] on usein katsottu romuttaneen ohjelman lopullisesti. Uutta pyrkimystä logisismin jatkamiseen on kutsuttu '''uuslogisismiksi'''. Uuslogisismia on kannattanut ennen kaikkea [[Crispin Wright]].
Rivi 6:
 
== Katso myös ==
 
* [[Looginen atomismi]]
* [[Looginen empirismi|Looginen positivismi]] tai looginen empirismi
 
== Aiheesta muualla ==
 
* {{SEP | Id=philosophy-mathematics/#Log | Tekijä=Horsten, Leon | Nimeke=Philosophy of Mathematics: Logicism}}
* Jones, Roger Bishop (toim.): [http://www.rbjones.com/rbjpub/philos/maths/faq001.htm Logicism] {{en}}