| ชื่อเรื่อง | : | Can a Many-Valued Language Functionally Represent its own Semantics? |
| นักวิจัย | : | Ketland, Jeffrey |
| คำค้น | : | philosophy , philosophy of mathematics |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | Analysis 63/4, 292-297. , http://hdl.handle.net/1842/1341 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | - |
| บทคัดย่อ/คำอธิบาย | : | Tarski’s Indefinability Theorem can be generalized so that it applies to many-valued languages. We introduce a notion of strong semantic self-representation applicable to any (sufficiently rich) interpreted many-valued language L. A sufficiently rich interpreted many-valued language L is SSSR just in case it has a function symbol n(x) such that, for any f Sent(L), the denotation of the term n(“f”) in L is precisely ||f||L, the semantic value of f in L. By a simple diagonal construction (finding a sentence l such that l is equivalent to n(“l”) T), it is shown that no such language strongly represents itself semantically. Hence, no such language can be its own metalanguage. |
| บรรณานุกรม | : |
Ketland, Jeffrey . (2546). Can a Many-Valued Language Functionally Represent its own Semantics?.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Ketland, Jeffrey . 2546. "Can a Many-Valued Language Functionally Represent its own Semantics?".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Ketland, Jeffrey . "Can a Many-Valued Language Functionally Represent its own Semantics?."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Ketland, Jeffrey . Can a Many-Valued Language Functionally Represent its own Semantics?. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
