영단어
시맨틱스,semantics
의 아마도 최선인 번역.
aka 어의론 ?
어의론 semantics
어의론
MKL
문장,sentence
의미,meaning
Sub: 가능세계의미론
MKL
내포,intension
- curr
내포,naepo
외연,extension
//from
https://terms.naver.com/entry.naver?docId=3778917&cid=40942&categoryId=31528
일반적
의미론
에 따르면 '플라톤은 사람이다'의 문장의 의미, 곧
내포,intension
는
'플라톤'이라는
주어,subject
의 의미,
그리고 '사람이다'라는
술어,predicate
의 의미가 합성되어 구성된다.
반면 ( 가능세계의미론
possible_world_semantics
/ possible_worlds_semantics )은 주어와 술어의 내포를
가능세계,possible_world
와 관련된 함수로서 규정한다.
즉
고유명사,proper_noun
'플라톤'의 내포는 '어떤 가능세계에서 플라톤을 산출하는 함수'가 되며,
술어 '사람이다'의 내포는 '주어진 가능세계에서의 술어 "사람이다"를 술어의 특정한
외연,extension
{
외연
... cmp
내포,intension
}과 연관시키는 함수'가 된다.
i.e.
가능세계의미론에서의 내포란, 다양한 가능세계들로부터 외연으로의 함수로 규정된다.
strictness
??
strictness
strictness of strictness
? 에 따라 //
strict semantics vs non-strict semantics
strict_semantics
=,strict_semantics . strict_semantics
{
strict semantics
https://wiki.haskell.org/Strict_semantics
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된
함수값,function_value
를 이끌어내는?
xxx
strict_semantics
x 2024-01
} // strict semantics
strict semantics
non-strict_semantics
=,non-strict_semantics . non-strict_semantics
nonstrict_semantics
=,nonstrict_semantics . nonstrict_semantics
{
nonstrict semantics
non-strict semantics
} // nonstrict semantics
nonstrict semantics
formal_semantics
=,formal_semantics . formal_semantics
{
formal semantics
https://en.wiktionary.org/wiki/formal_semantics
https://proofwiki.org/wiki/Definition:Formal_Semantics
https://en.wikipedia.org/wiki/Formal_semantics
} // formal semantics
formal semantics
semantic *
semantic_relation
=,semantic_relation . semantic_relation
{
의미관계 ?
뜻관계 ?
https://www.gabormelli.com/RKB/Semantic_Relation
Up:
관계,relation
}
MKL
의미,meaning
뜻,meaning
단어,word
의미값,semantic_value
심벌,symbol
-
기호,symbol
semantic_resolution_tree
- curr
트리,tree?action=highlight&value=semantic_resolution_tree
프래그매틱스,pragmatics
- 어용론 / 화용론
Twins:
Semantics
=
https://simple.wikipedia.org/wiki/Semantics
Semantics_(computer_science)
=
https://en.wikipedia.org/wiki/Semantics_(computer_science)
https://ncatlab.org/nlab/show/semantics
...
semantics
Retrieved from http://www.red-ruby.com/wiki/wiki.php/의미론,semantics
last modified 2024-03-16 17:35:10