진리,truth

Difference between r1.8 and the current

@@ -4,7 +4,9 @@

[[참,truth]]을 만들까 말까... tbd

MKL
Rel. [[참,true]] ... opp [[거짓,false]]. -> [[불_대수,Boolean_algebra]] ( rel [[불_논리,Boolean_logic]] [[불_식,Boolean_expression]] )
[[공리,axiom]] - [[형식체계,formal_system]]에서 무조건 '''진리,truth'''로 간주됨? chk

----
Sub:


TODO CHK BACKLINK

참,truth을 만들까 말까... tbd



Sub:
필연적진리,necessary_truth =필연적진리,necessary_truth =,necessary_truth 필연적진리 necessary_truth
{
necessary truth
필연적 참, 필연적 진리

문장,sentence은 그 자신을 결론으로 갖는 부당한 논증,argument이 존재하지 않을 경우에 오직 그 경우에만 필연적으로 참이다.
i.e.
필연적으로 참인 문장은 모든 전제 집합의 귀결이며, ///// QQQ 전제집합 원어
모든 전제 집합의 귀결인 어떠한 문장도 필연적으로 참이다.
(이유를 살펴보자)
문장 S가 필연적 참이라고 상정하고, 그 S를 결론,conclusion으로 가지는 논증을 고려해 보자.
그 논증은 전제,premise들이 참이고 결론이, 즉 S가, 거짓인 것이 불가능한 경우에 오직 그 경우에만 타당하다. // 타당성,soundness
그러나 S는 필연적 참이므로 S가 거짓이 되는 것은 불가능하다.
따라서 전제가 참이면서 동시에 S가 거짓이 되는 것도 불가능하다는 것은 명백하다.
(소가 달 위로 뛰어오르는 것이 불가능하다면 작은 개가 그것을 보며 웃는 동안 소가 달 위로 뛰어오르는 것도 역시 불가능하다.)
그러므로 그 논증은 타당하다.
다른 한편으로,
S가 모든 전제 집합의 귀결이면 그것은 필연적 참인 것으로만 이루어진 전제 집합의 귀결이기도 하다.
따라서 이 전제들이 참인 모든 상황 하에서 S는 참이다.
그런데 필연적으로 참인 전제들이 참이 되는 모든 상황이란,
바로 우리가 상상할 수 있는 모든 상황을 다 망라하고 있는 것이므로 S는 필연적 참이다.
따라서, S는 필연적 참일 경우에 오직 그 경우에만 모든 전제 집합의 귀결이다.
예: 앞에서 주어진 필연적 조건문은
잔디는 녹색이다.
의 귀결이다. ∵ 그 조건문이 거짓인 상황은 존재하지 않으므로 이 문장이 참이면서 그 조건문이 거짓인 상황도 존재할 수 없기 때문이다.