비우선순위화성

이 글은 대부분의 독자들이 이해하기에는 너무 기술적인 것일 수도 있다. 기술 세부 정보를 제거하지 않고 비전문가가 이해할 수 있도록 개선하십시오.(2016년 3월) (이 템플릿 메시지를 제거하는 방법 및 시기 학습)

형식 논리학에서, 우선 순서가 불가능한 것은 어떤 표현이 1차 순서의 논리학에서 특정 이론에서 적절하게 포착될 수 없는 것이다.선순서가 불가능한 문장은 자연어로 의미의 뉘앙스를 포착하기에 1순차 논리가 적절하지 않다는 증거로 제시되기도 한다.null

윌러드 콰인이 잘 알려진 논문 'Be is a Value of a Variable(또는 Be Some Values of Some Variables)'에서 만든 용어다.Quine은 이러한 문장이 구별되는 "2차적 객체"(속성, 집합 등)를 포스팅하지 않고 1차적 정량자가 사용하는 것과 동일한 영역에 걸쳐 복수적 정량화로 해석될 수 있는 2차적 기호화를 요구한다고 주장했다.null

예

• 정체성의 개념은 1차 언어로는 정의될 수 없으며, 단지 논거 불명의 개념일 뿐이다.^[1]
• 압축성 정리는 그래프 연결성이 1차 로직으로 표현될 수 없음을 시사한다.^{[clarification needed]}
• 실제 폐쇄된 필드 중 실제 숫자를 식별하는 데 사용될 수 있는 아르키메데스 속성.
• 표준적인 예로 Geach-Kaplan 문장이 있다: "일부 비평가들은 서로를 존경한다."

아크시가 "x admits y"를 의미하는 것으로 이해되고, 담론의 우주가 모든 비평가의 집합이라면, 문장을 제2의 순서로 논리적으로 합리적으로 번역하는 것은 다음과 같다.

$${\displaystyle \exists X,y(xx\land Xy\land Axy)\land \exists xx\land \forall x\,\ally y(xxx\land Axy\righrow Xy)}$$

이 공식에 일차 등가물이 없다는 것은 다음과 같이 볼 수 있다.Axy의 공식(y = x + 1 v x = y + 1)을 대체하십시오.결과는.

$$\displaystyle \exists X,y(xx\land Xy\land)(y=x+1\lor x=y+1)\land \exists x\nex Xx\land \forall x\,\ally(x\lor x=y+1)\rigrow Xy)}$$

전임자 및 후임자 업무에 따라 마감되지만 모든 숫자를 포함하지는 않는 비빈 집합이 있음을 명시한다.따라서 산술의 모든 비표준 모델에서는 사실이지만 표준 모델에서는 거짓이다.이 같은 재산은 1차 선고에서도 나오지 않기 때문에 그 결과가 뒤따른다.

참고 항목

• 수량사 분기식
• 일반화 계량기
• 복수 정량화
• 재화(언어학)

참조

• George Boolos (1984). "To Be is to Be a Value of a Variable (or to Be Some Values of Some Variables)". Journal of Philosophy. The Journal of Philosophy, Vol. 81, No. 8. 81 (8): 430–49. doi:10.2307/2026308. JSTOR 2026308. 다시 인쇄됨

외부 링크

• 프린터 친화적인 CSS와 Terrence Tao의 비선주문성