보편적 인스턴스화

변환 규칙
명제 미적분학
추론 규칙
시사 소개/제거(모더스 폰) 바이콘드 도입/제거 접속사 도입/제거 분리 도입/제거 이절 / 가상 삼단논법 건설적/파괴적 딜레마 흡수/모더스 톨렌스/모더스 폰도 톨렌스 부정소개
교체규칙
연관성 동시성 분배성 이중 부정 드 모건의 법칙 전치 물질적 함축성 수출 토토로지
술어 논리학
추론 규칙
보편적 일반화/인스턴시 실존적 일반화 / 인스턴스화

술어 논리학에서 보편적 인스턴스화^[1][2][3](UI, 보편적 규격 또는 보편적 제거라고도 하며, 때때로 받아쓰기 드 옴니와 혼동)는 한 개인 클래스의 각 구성원에 대한 진리에서 해당 클래스의 특정 개인에 대한 진실로 추론하는 유효한 규칙이다. 일반적으로 범용 계량기에 대한 계량 규칙으로 주어지지만 공리 스키마로 인코딩할 수도 있다. 양자화 이론에 사용되는 기본 원리 중 하나이다.

예: "모든 개는 포유동물이다. 피도는 개다. 그러므로 피도는 포유류다."

기호에서 공리 스키마로서의 규칙은

${\displaystyle \forall x\,A\Rightarrow A\{x\mapsto a\}}$

모든 공식 ${\displaystyle A}$와 매 용어 ${\displaystyle a}$에 대해, 여기서 $A$는 ${\displaystyle \}}$ ${\displaystyle$ A$\{x\mapsto a\}}$는 A에서 x가 자유롭게 발생할 때마다 a를 대체한 결과물이다$$. ${\displaystyle A}${ ${\displaystyle x}$ ${\displaystyle \mapsto }$ ${\displaystyle a\}}$ ${\displaystyle \,A\{x\mapsto a\}}$은(는) $\forall {\displaystyle \mathrm{}}$ ${\displaystyle x}$ ${\displaystyle A.}$ ${\displaystyle \forall$ x$\,A.}$의 인스턴스다.

그리고 추론의 법칙으로서 그것은

⊢ xx A 추론 ⊢ {{x{a}.

어빙 코피는 보편적 인스턴스화는 "1934년 게르하르트 겐첸과 스타니스와프 자코프스키가 독자적으로 고안한 '자연 추리'에 대한 여러 가지 규칙에서 따온 것"이라고 지적했다.^[4]

퀴네

윌러드 반 오르만 콰인에 따르면 보편적 인스턴스화와 실존적 일반화는 단일 원리의 두 가지 측면인데, 이는 "exx x = x"가 "소크라테스 = 소크라테스"를 의미한다고 말하는 대신 "소크라테스 ≠ 소크라테스"를 부정하는 것이 "ex x x x"를 의미한다고 말할 수도 있을 것이다. 이 두 가지 연산에 내재된 원칙은 정량화와 그것과 관련된 단수문 사이의 연결고리다. 그러나 그것은 예의에 의해서만 원칙이다. 그것은 용어 이름 및 더 나아가 참조적으로 발생하는 경우에만 보유한다.^[5]

참고 항목

• 실존적 인스턴스화
• 실존적 일반화
• 실존적 정량화
• 추론 규칙

참조