논리학

연역논증_특칭명제

투니_ 2024. 1. 2. 22:16

정언논리는 단순명제를 다음과 같이 구분한다.

  긍정 부정
전칭명제 모든 F는 G이다 모든 F는 G가 아니다
특칭명제 어떤 F는 G이다 어떤 F는 G가 아니다
단칭명제 a는 F이다 a는 F가 아니다

 

 

특칭명제

 

특칭명제는 ‘어떤 ~’으로 표현되는 명제이다.

 

이러한 전칭명제는 연언명제로 읽힌다

 

어떤 F는 G이다 : 어떤 것이 존재하여, 그것이 F이고 G이다

어떤 F는 G가 아니다 : 어떤 것이 존재하여, 그것이 F이고 G가 아니다

 

‘어떤 F는 G이다’라는 명제는 어떤 F가 존재하고 그것은 G이다고 말하고 있다.

즉, <어떤 동물은 물 속에 산다>라는 명제는 어떤 동물이 존재하고 그것이 물 속에 산다는 것을 말한다.

 

이것을 이해한다면 특칭긍정명제는 다양하게 표현될 수 있다

 

어떤 동물은 물 속에 산다

어떤 것이 존재하여, 그것은 동물이고 물 속에 산다

몇몇 동물은 물 속에 산다

동물이면서 물 속에 사는 것이 있다

물 속에 사는 동물이 있다

 

 

주의할 점

 

특칭명제는 ‘어떤~’으로 표현되는 명제이지만, ‘어떤’이라는 표현이 있다고 해서 무조건 특칭명제는 아니다

 

다음의 명제를 보자

어떤 동물은 물 속에 살지 않는다

 

이 명제는 <어떤 것이 존재하는데, 이것은 동물이고 물 속에 살지 않는다>로 특칭부정명제이다

 

 

그러나 다음의 명제는 특칭부정명제가 아니다

어떤 동물도 물 속에 살지 않는다

 

이 명제는 어떤 동물이 존재하고 그것이 물 속에 살지 않는다고 말하는 것이 아니라, <모든 동물은 물 속에 살지 않는다>고 말하고 있다. 즉 전칭부정명제이다. (전칭부정명제 : 모든 F는 G가 아니다)