Filosofia:tyyppiteoria

Tieteen termipankista

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 theoryenglanti (English)

Lähikäsitteet

Käytetyt lähteet

RaatikainenP2014a, Logos2007

Alaviitteet

Lähdeviittaus tähän sivuun:
Tieteen termipankki 21.1.2025: Filosofia:tyyppiteoria. (Tarkka osoite: https://tieteentermipankki.fi/wiki/Filosofia:tyyppiteoria.)