A는 B다 라는 이론이 있다면 그 이름을 좀 알려주세요.

Question

말 그대로.

1. A는 B다. 라는 이론이 있다면 그 이론의 이름이 뭔가요?

또,

2. A에 근거하여 B가 성립된다. 라는 이론이 있다면 그 이론의 이름이 뭘까요.

그리고 이런 기본적인 내용을 '이론'이라고 칭하기가 모호하다면,

다르게 표현하는 방법이 있을까요?

Answer 1

안녕하세요.

말씀하신 “A는 B다”라는 표현은 일반적으로 어떤 대상 또는 개념 A가 B라는 성질을 가진다고 진술하는 형태이며, 논리학에서는 이를 서술 명제라고 부르는데요, 만약 이 표현이 단순한 설명이 아니라 “A라는 용어의 의미는 곧 B이다”라는 식으로 용어의 뜻을 규정하는 경우에는 정의라고 하고, A와 B가 서로 완전히 동일하다는 의미를 가진다면 동치 또는 동일명제라고 부릅니다. 즉, 같은 형태의 문장이더라도 문맥에 따라 정의, 서술 명제, 동치 중 하나로 이해될 수 있습니다.

반면, “A에 근거하여 B가 성립된다”라는 표현은 A가 참이라면 B도 참이 된다는 논리적 함의 관계를 의미합니다. 이는 기호로 A → B로 나타나며, 전제(A)로부터 결론(B)이 도출된다는 점에서 추론 또는 연역의 구조를 갖습니다. 즉, 여기서는 A와 B가 ‘같다’고 말하는 것이 아니라, A가 성립할 때 B가 필연적으로 따라서 성립한다는 관계를 설명하는 것입니다.

따라서 이러한 형태의 문장을 통틀어 이론이라고 부르는 것은 범위가 너무 넓어 다소 모호할 수 있기 때문에, 보통은 문장의 역할에 따라 명제, 정의, 원리, 법칙, 정리 등의 용어를 구분하여 사용합니다. 특히 설명의 목적만 있다면 명제라고 하고, 의미를 규정한다면 정의, 전제로부터 증명된 결과라면 정리, 반복적 검증을 통해 보편성을 갖는다면 법칙으로 부릅니다. 감사합니다.