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ä.
Hän kehitti teorian yleisestä logiikasta, jota hän kutsui tyyppiteoriaksi.
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
| Nominatiivi | tyyppiteoria |
| Genetiivi | tyyppiteorian |
| Partitiivi | tyyppiteoriaa |
| Essiivi | tyyppiteoriana |
| Translatiivi | tyyppiteoriaksi |
| Inessiivi | tyyppiteoriassa |
| Elatiivi | tyyppiteoriasta |
| Illatiivi | tyyppiteoriaan |
| Adessiivi | tyyppiteorialla |
| Ablatiivi | tyyppiteorialta |
| Allatiivi | tyyppiteorialle |
| Abessiivi | tyyppiteoriatta |
Riimit
-iɑ
Kaikki riimit