Difference between r1.5 and the current
@@ -8,6 +8,12 @@
[[의미,meaning]]
----
''//from https://terms.naver.com/entry.naver?docId=3778917&cid=40942&categoryId=31528''
일반적 '''의미론'''에 따르면 '플라톤은 사람이다'의 문장의 의미, 곧 [[내포,intension]]는
----
Sub: 가능세계의미론
MKL
[[내포,intension]] - curr [[내포,naepo]]
[[외연,extension]]
일반적 '''의미론'''에 따르면 '플라톤은 사람이다'의 문장의 의미, 곧 [[내포,intension]]는
@@ -16,7 +22,7 @@
반면 ( 가능세계의미론 [[possible_world_semantics]] / possible_worlds_semantics )은 주어와 술어의 내포를 [[가능세계,possible_world]]와 관련된 함수로서 규정한다.
즉 [[고유명사,proper_noun]] '플라톤'의 내포는 '어떤 가능세계에서 플라톤을 산출하는 함수'가 되며,
술어 '사람이다'의 내포는 '주어진 가능세계에서의 술어 "사람이다"를 술어의 특정한 [[외연,extension]]{ Ndict:외연 }과 연관시키는 함수'가 된다.
술어 '사람이다'의 내포는 '주어진 가능세계에서의 술어 "사람이다"를 술어의 특정한 [[외연,extension]]{ Ndict:외연 ... cmp [[내포,intension]] }과 연관시키는 함수'가 된다.
i.e.
가능세계의미론에서의 내포란, 다양한 가능세계들로부터 외연으로의 함수로 규정된다.
Sub: 가능세계의미론
일반적 의미론에 따르면 '플라톤은 사람이다'의 문장의 의미, 곧 내포,intension는
반면 ( 가능세계의미론 possible_world_semantics / possible_worlds_semantics )은 주어와 술어의 내포를 가능세계,possible_world와 관련된 함수로서 규정한다.
즉 고유명사,proper_noun '플라톤'의 내포는 '어떤 가능세계에서 플라톤을 산출하는 함수'가 되며,
술어 '사람이다'의 내포는 '주어진 가능세계에서의 술어 "사람이다"를 술어의 특정한 외연,extension{ 외연 ... cmp 내포,intension }과 연관시키는 함수'가 된다.
반면 ( 가능세계의미론 possible_world_semantics / possible_worlds_semantics )은 주어와 술어의 내포를 가능세계,possible_world와 관련된 함수로서 규정한다.
즉 고유명사,proper_noun '플라톤'의 내포는 '어떤 가능세계에서 플라톤을 산출하는 함수'가 되며,
술어 '사람이다'의 내포는 '주어진 가능세계에서의 술어 "사람이다"를 술어의 특정한 외연,extension{ 외연 ... cmp 내포,intension }과 연관시키는 함수'가 된다.
i.e.
가능세계의미론에서의 내포란, 다양한 가능세계들로부터 외연으로의 함수로 규정된다.
가능세계의미론에서의 내포란, 다양한 가능세계들로부터 외연으로의 함수로 규정된다.
https://wiki.haskell.org/Strict_semantics
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된 함수값,function_value를 이끌어내는?
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된 함수값,function_value를 이끌어내는?
non-strict_semantics =,non-strict_semantics . non-strict_semantics
nonstrict_semantics =,nonstrict_semantics . nonstrict_semantics
{
nonstrict semantics
non-strict semantics
nonstrict_semantics =,nonstrict_semantics . nonstrict_semantics
{
nonstrict semantics
non-strict semantics
semantic *
MKL
의미,meaning 뜻,meaning
단어,word
의미값,semantic_value
심벌,symbol - 기호,symbol
semantic_resolution_tree - curr 트리,tree?action=highlight&value=semantic_resolution_tree
프래그매틱스,pragmatics - 어용론 / 화용론
의미,meaning 뜻,meaning
단어,word
의미값,semantic_value
심벌,symbol - 기호,symbol
semantic_resolution_tree - curr 트리,tree?action=highlight&value=semantic_resolution_tree
프래그매틱스,pragmatics - 어용론 / 화용론
Twins: