Difference between r1.2 and the current
@@ -1,3 +1,5 @@
#noindex
##====논리일관성,logical_consistency =,logical_consistency 논리일관성 logical_consistency
'''논리적 일관성'''어떤 논리체계가 '''일관성'''을 가진다는 것은,
@@ -8,18 +10,21 @@
고전적 연역논리(classical deductive logic)에서, '''일관적'''인 [[이론,theory]]은 논리적 모순에 이르지 않는다.
(wpen)
''그럼 logical consistency는 logical system, axiomatic system의 성질?''
= equiconsistent and equiconsistecy =
= https://en.wikipedia.org/wiki/Equiconsistency
... https://www.google.com/search?q=equiconsistency
----
(wpen)
'''무모순적(=일관적)''' 이론에서는 스스로와 그 [[부정,negation]]을 모두 증명할 수 있는 문장이 없다.
'''무모순적(=일관적)''' 이론에서는 스스로와 그 [[부정,negation]]을 모두 [[증명,proof]]할 수 있는 [[문장,sentence]]이 없다.
(wpko)한 [[axiomatic_system]]에서 contradiction의 부존재(absence)가 '''일관성'''이라고 알려져 있다.
한 [[axiomatic_system]]에서 [[모순,contradiction]]의 부존재(absence)가 '''일관성'''이라고 알려져 있다.
(WM)''그럼 logical consistency는 logical system, axiomatic system의 성질?''
= equiconsistent and equiconsistecy =
WpEn:Equiconsistency
[[WpEn:Equiconsistency]]
= https://en.wikipedia.org/wiki/Equiconsistency
[[WtEn:equiconsistency]] = ?
----
@@ -27,17 +32,22 @@
[[https://terms.naver.com/entry.naver?docId=510331&cid=42126&categoryId=42126 교육학용어사전: 논리적 일관성]]
https://mathworld.wolfram.com/Consistency.html
WpEn:Consistency
= https://en.wikipedia.org/wiki/Consistency
corresp. ko interwiki:
WpKo:무모순적_이론
= https://ko.wikipedia.org/wiki/무모순적_이론
논리학에선 '''무모순성 = 일관성'''이라 함.
Up: [[논리학,logic]] [[일관성,consistency]]
... Naver:논리적+일관성
... Google:논리적+일관성
... Google:logical.consistency
https://mathworld.wolfram.com/Consistency.html
= https://en.wikipedia.org/wiki/Consistency
= https://ko.wikipedia.org/wiki/무모순적_이론
(consistent theory)논리학에선 '''무모순성 = 일관성'''이라 함.
... Google:논리적+일관성
... Google:logical.consistency
Up: [[논리학,logic]] [[일관성,consistency]]
논리적 일관성
어떤 논리체계가 일관성을 가진다는 것은,
서로 모순,contradiction되는 두 명제,proposition가 동시에 그 체계속에서 용납되는 일이 없다는,
즉 명제 A와 ~A가 모두 그 체계 속에서 공리,axiom 혹은 정리,theorem일 수 없다는 것.
(교육학용어사전)
서로 모순,contradiction되는 두 명제,proposition가 동시에 그 체계속에서 용납되는 일이 없다는,
즉 명제 A와 ~A가 모두 그 체계 속에서 공리,axiom 혹은 정리,theorem일 수 없다는 것.
(교육학용어사전)
그럼 logical consistency는 logical system, axiomatic system의 성질?
equiconsistent and equiconsistecy ¶
corresp. ko interwiki:
무모순적_이론
= https://ko.wikipedia.org/wiki/무모순적_이론
... 논리적 일관성
... logical.consistency
= https://ko.wikipedia.org/wiki/무모순적_이론
(consistent theory)
논리학에선 무모순성 = 일관성이라 함.
... 논리적 일관성논리학에선 무모순성 = 일관성이라 함.
... 논리적 일관성
... logical.consistency