가능성,possibility

subpage를 나열하기 위해 string '가능성' 을 내 db들에서 찾아보니
미분가능성,differentiabilitypossibility의 subpage? 생각해보니 아님. (반드시 가능하다 vs 가능할 수도 있다)의 차이.
i.e. 미분가능성 :
'미분가능' 하다는 '성'질 (o)
'미분'의 '가능성' (x)
즉 '-가능성' suffix가 보인다고 해서 저것을 possibility처럼 착각하면 곤란.

how about 충족가능성,satisfiability?


그럼...
반드시 가능하다 - ability ?
{
math에서
미분가능성,differentiability
가측성,measurability ....측정,measurement과? 측도,measure와? mkl. ....(직역하면) '측정가능성'? '측도화가능성'??




(논리학)
가능세계,possible_world w
WtEn:possible_world
possible world 가능세계
possible_universe
possible universe 가능우주??
이것은 modal_logic 관련. Srch:possible_
tmp video ko
{
가장 쉽게 이해하는 '가능세계' 이해황 - YouTube https://www.youtube.com/watch?v=L3PxAVJBy4E
보면 철학자들이 같은 표현을 두 가지로 하는 것이라고. "현실세계의 가능성" - "가능세계의 존재성"
}

modal_logic =,modal_logic . modal_logic
{
에서
□ 필연성 - necessity
개연성 가능성 ... - possibility
(misc. delme. 위 두 기호 ㅁ+한자키로 입력했는데 크기가 너무 차이난다. 어떻게 하는게 최선? TeX 기호 사용하면 $\displaystyle \qed \diamond$ 도 별로인데 어떻게 하는게 최선일지)

위 둘은 modal_logic 의 unary_operator s. (we)

//we:{
대부분의 epistemic_logic { https://ko.wikipedia.org/wiki/인식_논리 } s들에서
the formula ㅁP can be used to represent the 문장,statement that "P is known"
ㅁP→P 는 tautology.
다음 modal_formula 를 이렇게 읽는다고.
ㅁP : necessarily P - 명제가 반드시 참임(필연성)
◇P : possibly P - 명제가 참일 수 있음(가능성)
//}

modality: // 번역은 양상(modality), 명제,proposition의 필연성·가능성·불가능성 같은 것. ... 언어학에서는 WpKo:양태_(문법)
necessity
possibility
https://ncatlab.org/nlab/show/necessity and possibility
https://encyclopediaofmath.org/wiki/Modality

accessibility =,accessibility . accessibility
{
접근,access가능성?
}
accessibility_relation =,accessibility_relation .
{
accessibility 관계,relation
https://en.wikipedia.org/wiki/Accessibility_relation
}

Sub:


epistemic_modal_logic
인식론,epistemology =인식론,epistemology =,epistemology . epistemology { http://www.aistudy.com/philosophy/epistemology.htm https://everything2.com/title/epistemology WpKo:인식론 }
MKCLEAR: epistemic_modal_logic epistemic_logic 관계. 둘이 같은 것 같은데(일단 wk만 보면)
https://en.wikipedia.org/wiki/Epistemic_modal_logic
https://ncatlab.org/nlab/show/epistemic modal logic
Ggl:epistemic modal logic
epistemic+modal+logic

provability_logic (wr) =,provability_logic . provability_logic
"Provability logic is a modal_logic that is used to investigate what arithmetical theories can express in a restricted_language{ 언어,language with 리스트릭션,restriction{규제 제한 제약 구속 ... NdEn:restriction Ndict:restriction } about their provability_predicate (wr) s. { 증명가능성을 표기하는 술어,predicate? }" (sep)
Inter:
WtEn:provability_logic
https://plato.stanford.edu/entries/logic-provability/

Up:
modal_logic[1]
provability

Ggl:provability logic
provability+logic


modal_connective = modal_operator
modal connective modal operator
modal connective (or modal operator)
https://en.wikipedia.org/wiki/Modal_operator
logical_connective for modal logic


MKL

doxastic_logic
doxastic_logic =,doxastic_logic . doxastic_logic
doxastic logic
WtEn:doxastic_logic
믿음,belief? =믿음,belief =,belief . { Cmp: faith(신앙, 저것도 믿음으로 번역) ... MKL likelihood 진리,truth ... https://simple.wikipedia.org/wiki/Belief }
의견,opinion?
https://en.wikipedia.org/wiki/Doxastic_logic
https://ncatlab.org/nlab/show/doxastic logic
doxastic+logic




MKL
표현들 - mode ( 모드,mode ? ) logic ( 논리,logic 논리학,logic 로직,logic )
}


Cmp: 필연성,necessity
필연성,necessity =필연성,necessity =,necessity . 필연성 necessity
{



}

비슷한단어 가능도,likelihood
----