Tag Archives: Theory

일계논리와 Peano 산술

일계논리 문장의 집합 \(\varSigma\)가 완전하다(complete)는 것은 임의의 문장 \(\alpha\)에 대하여 \(\alpha\) 또는 \((\lnot \alpha )\) 중 하나가 \(\varSigma\)의 논리적 귀결인 것이다. 완전성 정리에서는 형식계의 완전성을 말하기 때문에 완전성이라는 용어를 조금 다르게 사용한다. 그러나 두 상황에서 완전성이라는 개념은 서로 깊은 연관이 있다. 왜냐하면 \(\varSigma\)가 완전할 때 임의의 문장 \(\alpha\)에 대하여 \(\alpha\) 또는 \((\lnot \alpha )\)가 \(\varSigma\)로부터 증명될 수 있기… Read More »

일계논리의 의미론

일계논리의 구문론을 소개하면서 일계논리에서 사용하는 기호에 'not', 'if and only if', 'for all'과 같은 이름을 붙였다. 이것은 구문론에서 비록 의미를 부여하지 않은 기호의 나열을 논하지만, 실은 그러한 기호로 이루어진 문장이 어떠한 의미를 갖는지를 방법을 암시한 것이다. 이 글에서는 그러한 방법을 명확하게 밝힌 의미론(semantics)을 살펴본다. \(\mathcal{L}\)-구조 \(\mathcal{L}\)이 일계논리언어라고 하자. \(\mathcal{L}\)은 그것이 가지고 있는 관계기호, 함수기호, 상수기호에 의하여 완전히 결정된다.… Read More »