의미론,semantics

Difference between r1.1 and the current

@@ -2,24 +2,81 @@
##=의미론,semantics =,semantics 의미론 semantics // Ndict:의미론 Naver:의미론 Ggl:semantics /// cf. KmsK:의미 KmsE:semant
'''영단어 [[시맨틱스,semantics]]의 아마도 최선인 번역.'''
aka 어의론 ? Ggl:"어의론 semantics" Ndict:어의론
 
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]]{ Ndict:외연 ... cmp [[내포,intension]] }과 연관시키는 함수'가 된다.
 
i.e.
가능세계의미론에서의 내포란, 다양한 가능세계들로부터 외연으로의 함수로 규정된다.
 
----
[[strictness]]?? WtEn:strictness Ggl:"strictness of strictness" ? 에 따라 // Ggl:"strict semantics vs non-strict semantics"

[[strict_semantics]] =,strict_semantics . strict_semantics
{
WtEn:strict_semantics ? jjjjjjjjj
----
'''strict semantics'''
https://wiki.haskell.org/Strict_semantics
"undefined argument of a function leads to an undefined function value."
비정의된 인수값이 비정의된 [[함수값,function_value]]를 이끌어내는?
...
Ggl:"strict semantics"
}
xxx
WtEn:strict_semantics x 2024-01
} // strict semantics Ggl:"strict semantics"

[[non-strict_semantics]] =,non-strict_semantics . non-strict_semantics
[[nonstrict_semantics]] =,nonstrict_semantics . nonstrict_semantics
{
Ggl:"nonstrict semantics"
nonstrict semantics
non-strict semantics
 
} // nonstrict semantics Ggl:"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 Ggl:"formal semantics"
 
semantic *
 
[[semantic_relation]] =,semantic_relation . semantic_relation
{
의미관계 ?
뜻관계 ?
 
https://www.gabormelli.com/RKB/Semantic_Relation
 
Up: [[관계,relation]]
}
----
MKL
@@ -39,4 +96,6 @@
[[WpEn:Semantics_(computer_science)]]
= https://en.wikipedia.org/wiki/Semantics_%28computer_science%29

Ndict:semantics
https://ncatlab.org/nlab/show/semantics
 
... Ndict:semantics


영단어 시맨틱스,semantics의 아마도 최선인 번역.
aka 어의론 ? Ggl:어의론 semantics Ndict:어의론


Sub: 가능세계의미론



일반적 의미론에 따르면 '플라톤은 사람이다'의 문장의 의미, 곧 내포,intension는
'플라톤'이라는 주어,subject의 의미,
그리고 '사람이다'라는 술어,predicate의 의미가 합성되어 구성된다.

반면 ( 가능세계의미론 possible_world_semantics / possible_worlds_semantics )은 주어와 술어의 내포를 가능세계,possible_world와 관련된 함수로서 규정한다.
즉 고유명사,proper_noun '플라톤'의 내포는 '어떤 가능세계에서 플라톤을 산출하는 함수'가 되며,
술어 '사람이다'의 내포는 '주어진 가능세계에서의 술어 "사람이다"를 술어의 특정한 외연,extension{ Ndict:외연 ... cmp 내포,intension }과 연관시키는 함수'가 된다.

i.e.
가능세계의미론에서의 내포란, 다양한 가능세계들로부터 외연으로의 함수로 규정된다.



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
WtEn:strict_semantics x 2024-01
} // strict semantics Ggl:strict semantics


non-strict_semantics =,non-strict_semantics . non-strict_semantics
nonstrict_semantics =,nonstrict_semantics . nonstrict_semantics
{
nonstrict semantics
non-strict semantics

} // nonstrict semantics Ggl:nonstrict semantics


formal_semantics =,formal_semantics . formal_semantics
{
formal semantics






} // formal semantics Ggl:formal semantics

semantic *

semantic_relation =,semantic_relation . semantic_relation
{
의미관계 ?
뜻관계 ?



Twins:




의미론,semantics Modified on 5:35 pm, March 16, 2024.
🎲 Random