어빙코피, <논리학 입문 - 제13판> 원서 요약 : 대당사각형과 다른 직접추리

소개글

어빙코피, <논리학 입문 - 제13판> 원서 요약 : 대당사각형과 다른 직접추리에 대한 보고서 자료입니다.

본문내용

n of the inference is called the obverse.
환질은 그것의 여집합에 의해 술어가 교체되고 명제의 질이 변경됨으로써 형성되는 추론이다. 환질은 정언명제의 모든 표준 형식의 정언명제가 타당하다. 환질의 전제 역할을 하는 명제는 원래 명제라고 부른다. 그 추론의 결론은 환질이라고 부른다.
Obvertend
Obverse
원래명제
환질명제
A : All S is P.
E : No S is non-P.
A : 모든 S는 P이다.
E : 어떤 S도 비P가 아니다.
E : No S is P.
A : All S is P.
E : S가 아닌 것은 P이다.
A : 모든 S는 비P이다.
I : Some S is P.
O : Some S is not non-P
I : 어떤 S는 P이다.
O : 어떤 S는 비P가 아니다.
O : Some S is not P.
I : Some S is non-P.
O : 어떤 S는 P가 아니다.
I : 어떤 S는 비P이다.
D. Contraposition
D. 이환
Contraposition is an inference formed by replacing the subject term of a proposition with the complement of its predicate term, and replacing the predicate term by the complement of its subject term. Not all contrapositions are valid.
이환은 주어의 여집합에 의해 술어가 대체되고 그것의 술어의 여집합과 함께 주격명제가 교체됨으로써 형성되는 추론이다. 모든 이환은 타당하지 않다.
Premise
Contrapositive
원래명제
환질명제
A : All S is P.
A : All non-P is non-S.
A : 모든 S는 P이다.
E : 어떤 비P는 비S이다
E : No S is P.
O : Some non-P is not non-S
(by limitation)
E : S가 아닌 것은 P이다.
A : 어떤 비P는 비S가 아니다. (제한이환)
I : Some S is P.

I : 어떤 S는 P이다.
<부당>
O : Some S is not P.
O : Some S is not non-P
O : 어떤 S는 P가 아니다.
O : 어떤 비P는 비S가 아니다.

키워드

논리학의 이해,   대당사각형,   직접추리 ,   어빙코피,   논리학 입문,   Introduction to Logic,   Irving M. Cop,   제13판