조건정량기
Conditional quantifier논리학에서 조건부 정량자는 고전적 모델 A에 비해 다음과 같은 조건의 일부 또는 전부를 만족하는 린드스트룀(또는 일반화된 정량자) Q의A 일종이다("X"와 "Y" 범위는 하나의 자유 변수에서 임의 공식에 비해").
| QA X X | [오피니언] | ||
| QA X Y | ⇒ | QA X(Y∧X) | [정당한 보수성] |
| QA X(Y∧X) | ⇒ | QA X Y | [좌측 보수성] |
| QA X Y | ⇒ | QA X(Y∨Z) | [긍정적인 확인] |
| QA X(Y∧Z) | ⇒ | QA (X∧Y) Z | |
| QA X Y | ⇒ | QA(X∨Z)(Y∨Z) | [긍정적이고 부정적인 확인] |
| QA X Y | ⇒ | QA(수평X) (수평Y) | [연락] |
| QA X Y ∧ Q YA Z | ⇒ | QA X Z | [투명성] |
| QA X Y | ⇒ | QA (X∧Z) Y | [weakening] |
| QA X Y ∧ Q XA Z | ⇒ | QA X(Y∧Z) | [conjunction] |
| QA X Z ∧ Q YA Z | ⇒ | QA (X∨Y) Z | [분열] |
| QA X Y | ⇒ | QA Y X | [美] |
(의미 화살표는 금속구조에 물질적 함의를 나타낸다.)최소 조건부 논리 M은 처음 6개의 속성으로 특징지어지며, 더 강한 조건부 로직은 다른 것들의 일부를 포함한다.예를 들어, 설정-이론적 포함으로 볼 수 있는 정량자 ∀A은 [대칭]을 제외한 위의 모든 것을 만족한다.확실히 [대칭성]은 Afor을 유지하는 반면, (예: [대칭성]은 실패한다.
조건부 정량자의 의미 해석은 주어진 구조물의 하위 집합들 사이의 관계, 즉 구조물에 정의된 속성들 사이의 관계를 포함한다.자세한 내용은 린드스트룀 정량화 기사에서 확인할 수 있다.
조건부 정량자는 추상적 수준에서 조건부 추론과 관련된 특정 속성을 포착하기 위한 것이다.일반적으로 접속사 또는 분리 등 다른 커넥티브와 관련되기 때문에 1차 언어에서 조건자의 역할을 명확히 하기 위한 것이다.그들은 내포된 조건들을 다룰 수 있지만, 공식이 복잡할수록, 특히 조건부 내포 횟수가 많을수록, 적어도 어떤 의미에서는 조건들을 이해하기 위한 방법론적 도구로서 도움이 덜 된다.조건의 이 방법론적 전략을 1급 수반 로직의 방법과 비교한다.
참조
세르게이 라피에르조건 및 정량자, 스탠포드 대학교의 Quantifiers, Logic and Language, 페이지 237–253, 1995.
