Filosofia:tyyppiteoria
tyyppiteoria
| tyyppiteoria |
Määritelmä
Russellilla yleinen logiikka, joka on vapaa paradokseista
Selite
Bertrand Russellin (1872-1970) tyyppiteoriassa käsitteillä on oma rajattu mielekkyysalueensa, ja tunnetut paradoksit ovat kieliopin vastaisia. Tämän ilmiön innoittamana mm. loogiset positivistit ajattelivat, että ainakin jotkut filosofian ratkeamattomilta vaikuttavat ikuisuusongelmat paljastuisivat loogisessa analyysissa kieliopin vastaisiksi ja näin merkityksettömiksi. Tämä haave on keskeisesti vaikuttanut siihen, että formaalisesta logiikasta tuli niin olennainen osa nykyfilosofiaa.
Erikieliset vastineet
| type theory | englanti (English) |
Lähikäsitteet
- logiikka (yläkäsite)
- looginen positivismi (vieruskäsite)
- paradoksi (vieruskäsite)
Käytetyt lähteet
Alaviitteet
Lähdeviittaus tähän sivuun:
Tieteen termipankki 3.12.2024: Filosofia:tyyppiteoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:tyyppiteoria.)