오버스버전

Obversion

전통적인 논리학에서, 전복은 "주어진 명제에서 다른 명제를 추론하는 유형으로, 누구의 주제가 원래 주제와 같으며, 그 술어가 원래 명제의 모순이며, 원래 명제의 질이 부정적이라면 그 질이 긍정적이다"라고 말한다.[1] 추론된 범주형 명제의 질은 변경되지만 진실은 원래 명제와 동일하다. 즉시 유추된 명제는 원래 명제의 "반대"라고 불리며, 모든 유형(A, E, I, O)의 범주형 명제에 대한 유효한 추론 형식이다.

보편적 긍정과 보편적 부정 명제에서 주어서술어는 둘 다 부정된 명제로 대체된다.

보편적 찬성("A" 명제)은 보편적 부정("E" 명제)으로 귀결된다.

"All S is P", "No S is non P"
"고양이는 모두 동물이다" "고양이는 동물도 아니다"

보편적 부정("E" 명제)은 보편적 긍정("A" 명제)으로 귀속된다.

"No S is P""All S is non P"
"고양이는 친하지 않다" "모든 고양이는 친하지 않다"

특히 찬성에서는 주어지는 용어의 수량은 변하지 않지만, 추론된 명제의 술어 용어는 원래 명제의 술어 용어의 보약을 부정한다. 특정 찬성("I" 명제)은 특정 반대("O" 명제)로 귀착된다.

"일부 S는 P""일부 S는 비 P"
"어떤 동물들은 친절한 동물이다" "어떤 동물들은 불친절한 동물이 아니다."

특정한 음의 반대에서 특정한 긍정의 대상의 수량도 변하지 않고, 술어적 용어는 단순한 부정에서 보완적 등급의 용어로 바뀐다. 특정 부정적("O") 명제는 특정 긍정적("I" 명제)으로 귀착된다.

"일부 S는 P가 아니다" "일부 S는 P가 아니다"
"어떤 동물은 친근한 동물이 아니다" "어떤 동물은 비우호적인 동물이다"

원본 진술의 진실-값은 결과적인 반대 형식으로 보존된다는 점에 유의하십시오. 이 때문에, 질이나 양에 관계없이 모든 범주형 명제의 즉각적인 추론을 결정하는 데 오버전을 사용할 수 있다.

또한, 전복은 "A" 제안에서 "E" 제안으로, 그리고 "I" 제안에서 "O" 제안으로, 그리고 그 반대의 경우도 "A" 제안에서 "E" 제안으로 진행할 수 있는 수단을 제공함으로써 논리적인 반대라는 전통적인 광장을 헤쳐나갈 수 있게 해준다. 그러나, 오버전의 결과적 명제는 진리 가치 측면에서 원문과 논리적으로 동등하지만, 표준형식의 원문과 의미론적으로 동등하지는 않다.

원본 진술의 진실-가치가 변절 수술에 의해 보존된다는 증거

다음 집합을 사용하여 표시되는 제목(S)과 술어(P) 사이의 가능한 모든 관계를 고려하십시오.

사례 1: S = P(S와 P가 완벽하게 겹침)

사례 2: S는 P의 하위 집합이다.

사례 3: P는 S의 하위 집합이다.

사례 4: S와 P는 겹치는 두 집합이다.

사례 5: S와 P는 이음매 세트임

사례 6: S는 P가 P의 부분집합인 우주다.

사례 7: P는 S가 S의 부분집합인 우주다.

Obversion 후 진술의 유효성:

전위 연산은 문장의 품질을 변경하고 술어를 그 보완으로 대체하여 수행된다.

1. 진술: 모든 S는 P(사례 1, 2, 6 및 7에 적용 가능)

반대: No S is non-P

유효성: 예

2. 진술: No S is P (사례 5에 해당)

반대: 모든 S는 비 P이다.

유효성: 예

3. 진술: 일부 S는 P(사례 1, 2, 3, 4, 6, 7에 해당)

반대: 일부 S는 비 P가 아니다.

유효성: 예

4. 진술: 일부 S는 P가 아니다 (사례 3, 4, 5, 7에 해당)

반대: 일부 S는 비P이다.

유효성: 예

참고 항목

각주

  1. ^ 인용된 정의는 브로디, 보부치 A. "논리적 용어들의 영광"에서 유래한다. 철학 백과사전. 제5권-6, 페이지 70. 맥밀런, 1973년 그리고 Stebbing, L. Susan. 논리의 현대적 도입. 제7판, 페이지 65-66. 1961년 하퍼, 그리고 어빙 코피의 논리 소개, 맥밀런, 1953년 141쪽. 모든 출처는 사실상 동일한 설명을 한다. 코피(1953)와 스테빙(1931)은 둘 다 범주적 명제에 적용을 제한하고, 심볼 로직(Symbolic Logic, 1979년)에서 코피는 그 '흡수'를 정량화의 대체 규칙과 계급대수의 공리에 언급하면서 프로세스의 사용을 제한한다.
  2. ^ "Syllogism: Syllogism Meaning, Syllogism Questions, Tricks".

참고 문헌 목록

  • 브로디, 보부치 A. "논리적인 용어의 영광" 철학 백과사전. 제5권-6호 맥밀런, 1973년
  • 코피, 어빙 로직 소개. 맥밀런, 1953년
  • 코피, 어빙 상징 논리학. 맥밀런, 1979년 5판
  • 스테빙, 수잔 논리의 현대적 도입. 크롬웰 컴퍼니, 1931.