Ero sivun ”Logisismi” versioiden välillä
[katsottu versio] | [katsottu versio] |
p r2.7.2+) (Botti lisäsi: ky:Логицизим |
|||
Rivi 19: | Rivi 19: | ||
[[Luokka:Logiikka]] |
[[Luokka:Logiikka]] |
||
[[Luokka:Matematiikan filosofia]] |
[[Luokka:Matematiikan filosofia]] |
||
[[ar:منطقانية]] |
|||
[[de:Logizismus]] |
|||
[[et:Logitsism]] |
|||
[[el:Λογικισμός]] |
|||
[[en:Logicism]] |
|||
[[es:Logicismo]] |
|||
[[fr:Logicisme]] |
|||
[[ko:논리주의]] |
|||
[[it:Logicismo]] |
|||
[[kk:Логицизм]] |
|||
[[ky:Логицизим]] |
|||
[[nl:Logicisme]] |
|||
[[ja:論理主義 (数学)]] |
|||
[[pms:Logicism]] |
|||
[[pl:Logicyzm]] |
|||
[[pt:Logicismo]] |
|||
[[ru:Логицизм]] |
|||
[[sk:Logicizmus (filozofia)]] |
|||
[[sr:Логицизам]] |
|||
[[sv:Logicism]] |
|||
[[zh:邏輯主義]] |
Versio 15. maaliskuuta 2013 kello 15.56
Logisismi on matematiikan filosofian suuntaus, joka piti matematiikkaa logiikan laajennuksena ja pyrki palauttamaan osan matematiikasta tai koko matematiikan 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 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
- Looginen atomismi
- Looginen positivismi tai looginen empirismi
Aiheesta muualla
- Horsten, Leon: Philosophy of Mathematics: Logicism The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab. Stanford University. (englanniksi)
- Jones, Roger Bishop (toim.): Logicism (englanniksi)