정언삼단논법의 타당성 증명(256가지)

소개글

정언삼단논법의 타당성 증명(256가지)에 대한 보고서 자료입니다.

본문내용

is M
{MP}=Ф
{SM}=Ф
부당
some S is P
{SP}≠Ф
EAO
all M isnot P
all S is M
{MP}=Ф
{SM}=Ф
부당
some S isnot P
{SP}≠Ф
논식
형태
전제의 벤다이어 그램
결론의 벤다이어그램
타당여부
2
격
EAE
all P isnot M
all S is M
{PM}=Ф
{SM}=Ф
타당
all S isnot P
{SP}=Ф
AEE
all P is M
all S isnot M
{PM}=Ф
{SM}=Ф
s
타당
all S isnot P
{SP}=Ф
EIO
all P isnot M
some S is M
{PM}=Ф
{SM}≠Ф
타당
some S isnot P
{SP}≠Ф
AOO
all P is M
some S isnot M
{PM}=Ф
{SM}≠Ф
타당
some S isnot P
{SP}≠Ф
EAO
all P isnot M
all S is M
{PM}=Ф
{SM}=Ф
부당
some S isnot P
{SP}≠Ф
AEO
all P is M
all S isnot M
{PM}=Ф
{SM}=Ф
부당
some S isnot P
{SP}≠Ф
논식
형 태
전제의 벤다이어 그램
결론의 벤다이어그램
타당여부
3
격
IAI
some M is P
all M is S
{MP}≠Ф
{MS}=Ф
타당
some S is P
{SP}≠Ф
AII
all M is P
some M is S
{MP}=Ф
{MS}≠Ф
타당
some S is P
{SP}≠Ф
OAO
some M isnot P
all M is S
{MP}≠Ф
{MS}=Ф
타당
some S isnot P
{SP}≠Ф
EIO
all M isnot P
some M is S
{MP}=Ф
{MS}≠Ф
타당
some S isnot P
{SP}≠Ф
AAI
all M is P
all M is S
{MP}=Ф
{MS}=Ф
부당
some S is P
{SP}≠Ф
EAO
all M isnot P
all M is S
{MP}=Ф
{MS}=Ф
부당
some S isnot P
{SP}≠Ф
논식
형태
전제의 벤다이어 그램
결론의 벤다이어그램
타당여부
4
격
AEE
all P is M
all M isnot S
{PM}=Ф
{MS}=Ф
타당
all S isnot P
{SP}=Ф
IAI
some P is M
all M is S
{PM}≠Ф
{MS}=Ф
타당
some S is P
{SP}≠Ф
EIO
all P isnot M
some M is S
{PM}=Ф
{MS}≠Ф
타당
some S isnot P
{SP}≠Ф
AEO
all P is M
all M isnot S
{PM}=Ф
{MS}=Ф
부당
some S isnot P
{SP}≠Ф
EAO
all P isnot M
all M is S
{PM}=Ф
{MS}=Ф
부당
some S isnot P
{SP}≠Ф
AAI
all P is M
all M is S
{PM}=Ф
{MS}=Ф
부당
some S is P
{SP}≠Ф
위 벤다이어그램의 타당성 판정에서 부분명제가 경계선을 중심으로 한, 두 영역들 중 어디에 X를 표시해야 하는지 언급하고 있지 않은 때는 경계선상에 X표시를 하도록 한다. 이 X는 두 영역 각각 원소들이 적어도 하나 존재한다는 의미가 아니라 두 영역에 걸쳐서 적어도 한 개의 원소가 존재한다는 것을 의미한다.
이로써 앞서 언급했든 아리스토텔레스의 24가지 타당한 논식 중 부울의 논리에 의해 다시 타당성을 검증한 결과, 24개중 15개만이 타당한 논식으로 증명 되었다. 이는 처음의 규칙(1)~(7)에 새로운 규칙(8)이 더해짐으로써, 9개는 부당한 논식으로 판정되었다. 현대논리학에서는 이 9개의 부당한 논식을 제외한 15개의 논식을 타당한 논식으로 보고 있다.

키워드

정언삼단논법,   부울의 해석,   벤다이어그램,   타당성 검토,   전칭긍정,   전칭부정,   특칭긍정,   특칭부정