범주 적 명제

범주 적 명제는”품질”및”수량”또는”용어 분포”를 기준으로 네 가지 유형으로 분류 할 수 있습니다. 이것은 라틴어 긍정(나는 긍정)을 기반으로,긍정 명제를 참조 에이 과 나,그리고 네고(나는 거부),부정적인 명제를 참조 전자 과 오.

수량 및 품질편집

수량 명제에 사용되는 주제 클래스의 구성원 수를 나타냅니다. 이 명제가 주제 클래스의 모든 구성원을 지칭하는 경우,그것은 보편적입니다. 명제가 주제 클래스의 모든 구성원을 고용하지 않는 경우,그것은 특별하다. 예를 들어,나-명제(“일부 에스 이다 피”)는 주제 클래스의 구성원 중 일부만을 지칭하기 때문에 특별합니다.

품질 그것은 명제가 술어의 클래스 내에 주체의 포함을 확인하거나 거부하는지 여부로 설명됩니다. 가능한 두 가지 특성을 긍정 및 부정이라고합니다. 예를 들어,ㅏ-명제(“모두 에스 이다 피”)는 주체가 술어 내에 포함되어 있다고 명시하기 때문에 긍정적입니다. 다른 한편으로,영형-명제(“일부 에스 피”)는 술어에서 주제를 제외하기 때문에 부정적입니다.

중요한 고려사항은 낱말 어떤의 정의 이다. 논리에서 일부는”모두”와 일치하는”하나 이상”을 나타냅니다. 따라서”일부 에스 이다 피”는”일부 에스 아니다 피”라는 진술도 사실임을 보장하지 않습니다.

분포편집

범주적 명제의 두 용어(주체 및 술어)는 각각 분산 또는 분산되지 않은 것으로 분류될 수 있다. 용어의 클래스의 모든 구성원이 명제에 의해 영향을받는 경우,해당 클래스는 배포됩니다;그렇지 않으면 배포되지 않습니다. 따라서 모든 제안에는 네 가지 가능한 용어 분포 중 하나가 있습니다.

네 가지 정식 형식 각각은 용어 분포와 관련하여 차례로 검토 될 것입니다. 여기에 개발되지 않지만,네 가지 형태의 용어의 분포를 이해하려고 할 때 벤 다이어그램은 때때로 도움이된다.

양식 편집

-명제는 주체를 술어에 분배하지만 그 반대는 분배하지 않는다. 다음과 같은 범주 적 제안을 고려하십시오:”모든 개는 포유류입니다”. 모든 개는 실제로 포유류이지만 모든 포유류가 개라고 말하는 것은 거짓입니다. 모든 개는 포유류의 클래스에 포함되어 있기 때문에,”개”는”포유류”에 배포 할 수 있다고한다. 모든 포유류가 반드시 개가 아니기 때문에”포유류”는”개”에 배포되지 않습니다.

전자 양식 편집

전자 제안은 주체와 술어 사이에 양방향으로 분배합니다. “딱정벌레는 포유류가 없다”는 범주 적 명제에서 우리는 포유류가 딱정벌레가 아니라는 것을 추론 할 수 있습니다. 모든 딱정벌레는 포유류가 아닌 것으로 정의되고 모든 포유류는 딱정벌레가 아닌 것으로 정의되기 때문에 두 클래스 모두 분포됩니다.

나는 폼편집

나-명제의 두 용어 모두 배포되지 않는다. 예를 들어,”일부 미국인은 보수 주의자입니다”. 어느 용어도 다른 용어에 완전히 배포 될 수 없습니다. 이 명제에서 모든 미국인이 보수 주의자이거나 모든 보수 주의자가 미국인이라고 말할 수는 없습니다.이 예제에서는 술어만 배포됩니다. 다음을 고려하십시오:”일부 정치인은 부패하지 않습니다”. 이 규칙에 의해 모든 정치인이 정의되는 것은 아니기 때문에 주제는 배포되지 않습니다. 그러나 술어는”부패한 사람들”의 모든 구성원이”일부 정치인”으로 정의 된 사람들 그룹과 일치하지 않기 때문에 배포됩니다. 이 규칙은 부패한 사람들 그룹의 모든 구성원,즉”모든 부패한 사람들은 일부 정치인이 아닙니다”에 적용되기 때문에 술어가 배포됩니다.

오-명제에 있는 술어의 분포는 모호함으로 인해 종종 혼란스럽다. “일부 정치인은 부패하지 않다”와 같은 진술이”부패한 사람들”그룹을”일부 정치인”에게 배포한다고 말하면 그룹”일부 정치인”이 정의되지 않았기 때문에 정보가 거의 중요하지 않은 것 같습니다. 그러나 예를 들어,이”일부 정치인”그룹이 한 사람,알버트를 포함하도록 정의 된 경우 관계가 명확 해집니다. 이 성명서는 부패한 사람들 그룹에 나열된 모든 항목 중”모든 부패한 사람들은 앨버트가 아닙니다”라는 것을 의미합니다. 이 정의는”부패한 사람들”그룹의 모든 구성원에게 적용되므로 배포됩니다.

요약편집

비판편집

피터 기치와 다른 사람들은 논증의 타당성을 결정하기 위해 배포의 사용을 비판했다.

“일부 ㄱ은 ㄴ이 아니다”라는 형식의 진술은”모든 ㄴ은 ㄴ이 아니다”라고 표현한다면 덜 문제가 될 것이라고 제안되어 왔으며,이는 아마도 이러한 유형의 진술에 대한 아리스토텔레스의 원래 형식과 더 가까운 번역일 것이다.