논리학
연역논증_특칭명제
투니_
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가 아니다)