tyyp­pi­te­o­ri­a

substantiivi/ˈtyːpːiˌteoriɑ/
Jaa

sisältää sanat: tyyppi + teoria

Merkitys

  1. (Filosofia)Russellilla yleinen logiikka, joka on vapaa paradokseista

Liittyvät sanat

Käännökset

  • engl.type theory

Esimerkkilauseet

Kirjoitus käsittelee ajatusta siitä, että Russellin tyyppiteorian voisi tehdä tarpeettomaksi kehittämällä sopivan symbolijärjestelmän, ja ennakoi näin Wittgensteinin Tractatus logico -philosophicus - teoksessaan tekemää erottelua näyttämisen ja sanomisen välillä.
Wikipedia: Ludwig Wittgensteinin elämäkerta
Hän kehitti teorian yleisestä logiikasta, jota hän kutsui tyyppiteoriaksi.
Wikipedia: Analyyttinen filosofia

Englanninkieliset vastineet

  • type theory

Esiintymistiheys

19 esiintymää · 0.0 / milj.

Suomi24
0.0
Sanomalehdet
0.0
Aikakauslehdet
0.0
Wikipedia
0.2
Reddit
0.0
Tekstitykset
0.0

Taivutustiedot

Taivutusluokka 12

SijamuotoYksikkö
Nominatiivityyppiteoria
Genetiivityyppiteorian
Partitiivityyppiteoriaa
Essiivityyppiteoriana
Translatiivityyppiteoriaksi
Inessiivityyppiteoriassa
Elatiivityyppiteoriasta
Illatiivityyppiteoriaan
Adessiivityyppiteorialla
Ablatiivityyppiteorialta
Allatiivityyppiteorialle
Abessiivityyppiteoriatta

Riimit

-iɑ

Kaikki riimit

Lähteet