선험성 (A priori): 선험적 명제는 경험이나 경험에 기반한 사실이 아닌, 사전에 알고 있는 지식에 의존하는 명제를 의미합니다. 선험적 명제는 경험적 검증을 거치지 않고도 참이거나 거짓임이 확정되어 있는 경우입니다. 예를 들어, "모든 사람은 존재한다"는 명제는 선험적이라고 할 수 있습니다. 이 명제는 경험을 거치지 않고서도 참이라고 인정할 수 있기 때문입니다.
분석성 (Analytic): 분석적 명제는 내부 논리적인 구조에 기반하여 참인지 거짓인지를 결정할 수 있는 명제입니다. 이러한 명제는 참이기 때문에 경험적인 검증이 필요하지 않습니다. 예를 들어, "모든 무먼은 삼각형이다"라는 명제는 분석적 명제입니다. 삼각형은 세 개의 각을 갖는 도형을 의미하므로, 무먼이라는 용어를 삼각형과 동의어로 사용하는 것이므로 참입니다.
필연성 (Necessary): 필연적 명제는 어떤 상황이나 사건이 반드시 발생한다는 것을 의미합니다. 필연적 명제는 반드시 참이지만, 이를 알기 위해서는 경험적인 검증이 필요할 수 있습니다. 예를 들어, "모든 인간은 죽는다"는 명제는 필연적이지만 경험적인 검증을 통해 알 수 있습니다. 이 명제는 모든 사람이 한 번씩은 죽는다는 인간의 성질을 나타냅니다.
따라서, 예시를 제시해보면:
선험적이면서 분석적이지 않은 명제: "모든 도시는 인구가 있다"라는 명제입니다. 이 명제는 선험적이지만 분석적이지 않습니다. 즉, 이 명제는 경험을 통해 확인할 필요가 있으며, 모든 도시가 인구를 갖고 있는지 여부를 알기 위해서는 경험적인 조사나 데이터 수집이 필요합니다.
선험적이면서 필연적이지 않은 명제: "모든 사람은 행복하다"라는 명제입니다. 이 명제는 선험적이지만 필연적이지 않습니다. 선험적으로는 사람들이 행복하다는 것을 알 수 있지만, 실제로는 모든 사람이 항상 행복한 것은 아닙니다. 따라서 이 명제는 필연적인 참임을 나타내지 않습니다.
선험적이 아니면서 필연적인 명제: "매일 해가 떠올라야 한다"라는 명제입니다. 이 명제는 선험적이 아니지만 필연적입니다. 이 명제는 자연의 법칙에 기반하여 매일 해가 떠오르는 현상을 설명하며, 경험을 통해 확인될 수 있습니다.
