Liige : Kasutajanimi |Registreerimine |Laadi teadmisi
Otsing
Metalogic [Modifikatsioon ]
Metalogic on loogika metateooria uurimine. Kui loogilised uuringud, kuidas loogilisi süsteeme saab kasutada kehtivate ja usaldusväärsete argumentide loomisel, uurib metalloogiline loogiliste süsteemide omadusi. Logic puudutab tõdesid, mida võib tuletada loogilise süsteemi abil; metallogic puudutab tõdesid, mida võib tuletada keeltest ja süsteemidest, mida kasutatakse tõdete väljendamiseks.
Metalloogilise uuringu põhieesmärgid on ametlikud keeled, ametlikud süsteemid ja nende tõlgendused. Ametlike süsteemide tõlgendamise uurimus on matemaatilise loogika haru, mis on tuntud kui mudeli teooria, ja deduktiivsete süsteemide uurimine on haru, mida tuntakse tõenditeooria järgi.
[Loogika][Tundlikkus][Tõlgendamine: loogika][Mudel teooria]
1.Ülevaade
1.1.Ametlik keel
1.2.Formation rules
1.3.Formaalsed süsteemid
1.4.Ametlikud tõendid
1.5.Tõlgendused
2.Olulised eristused
2.1.Eesti keelest objekti keel
2.2.Süntaksi semantikat
2.3.Kasuta-maini
2.4.Tüüp-token
3.Ajalugu
4.Tulemused
[Täiendava Rohkem Sisu ]


Autoriõigus @2018 Lxjkh