1차 논리 (First-Order Logic)

TL;DR

1차 논리(FOL)는 객체에 대한 진술을 상수·변수·술어·양화사로 구조화하여, 속성·관계·일반 규칙을 형식적으로 표현하고 추론할 수 있게 하는 논리 체계이다.

1차 논리 (First-Order Logic, FOL)

1. 명제 논리(Propositional Logic)의 한계

명제 논리는 문장 전체를 하나의 참·거짓 단위로 다루기 때문에 문장 내부의 세부 구조를 드러내지 못한다.

• 예시:
  • $P$: “소크라테스는 사람이다”
  • $Q$: “모든 사람은 죽는다”
• 한계: "소크라테스", "사람", "죽는다" 같은 개별 구성 요소를 분리해 다루거나, "모든", "어떤" 같은 양화적 일반 규칙을 직접 표현하기 어렵다. 즉, 추론의 재료가 되는 객체와 관계를 구조적으로 기술하는 데 한계가 있다.

2. 1차 논리(First-Order Logic)의 핵심 요소

1차 논리는 명제보다 더 작은 구조 단위로 지식을 표현함으로써 개별 대상과 그들 사이의 관계, 일반 규칙을 형식적으로 기술한다.

1. 항 (Terms): 대상을 가리키는 표현

   • 상수 (Constants): 특정한 개체 (예: Socrates, Naver)
   • 변수 (Variables): 임의의 개체 (예: x, y)
   • 함수 (Functions): 개체를 다른 개체에 대응시키는 표현 (예: FatherOf(x))

2. 술어 (Predicates): 대상의 속성이나 대상들 사이의 관계

   • $Person(x)$: $x$는 사람이다.
   • $Likes(x,y)$: $x$는 $y$를 좋아한다.

3. 논리 연결사 (Connectives): 여러 명제를 결합 (AND: $\wedge$, OR: $\vee$, NOT: $\neg$, IF-THEN: $\to$)

4. 양화사 (Quantifiers): 변수가 가리키는 범위를 지정

   • 보편 양화사 ($\forall$): 모든 $x$에 대하여 (예: $\forall x(Person(x)\to Mortal(x))$)
   • 존재 양화사 ($\exists$): 어떤 $x$가 존재한다 (예: $\exists x(Apple(x)\wedge Red(x))$)

3. 추론의 예시 (삼단논법의 수식화)

1차 논리는 개별 사실과 일반 규칙을 하나의 형식 체계 안에서 연결하여 새로운 결론을 도출하게 해준다.

1. 일반 규칙: $\forall x(Person(x)\to Mortal(x))$ (모든 사람은 죽는다)
2. 개별 사실: $Person(Socrates)$ (소크라테스는 사람이다)
3. 형식적 추론: $\therefore Mortal(Socrates)$ (따라서 소크라테스는 죽는다)

이처럼 1차 논리는 개별 사실과 일반 규칙을 연결하여 논리적 결론을 도출할 수 있는 구조를 제공한다.

4. 1차 논리의 의미

1차 논리의 핵심 가치는 자연어 속의 모호한 의미를 객체, 속성, 관계, 규칙으로 분해하여 형식 언어로 옮기는 데 있다. 이는 단순히 문장을 복잡하게 만드는 것이 아니라, 지식을 구조적으로 표현하고 추론 가능하게 만든다 는 데 있다.

---

Related Notes

• [[Propositional Logic]]
• [[Predicate]]
• [[Quantifier]]
• Neuro-Symbolic IR

References