담론의 영역
Domain of discourse |
형식 과학에서, 담론의 세계, 보편적인 집합, 또는 단순히 우주라고도 불리는 담론의 영역은 어떤 형식적 취급에 대한 특정 관심 변수가 존재할 수 있는 실체들의 집합이다.
개요
담론의 영역은 보통 예비에서 식별되므로, 관련 [1]변수의 범위를 지정할 때마다 추가 처리가 필요하지 않다.많은 논리학자들은 과학의 영역과 과학의 [2]공식화 담론의 세계를 암묵적으로 구분한다.
예
예를 들어, 1차 논리의 해석에서, 담론의 영역은 수량화자들이 범위를 갖는 개인의 집합이다.담론의 영역이 확인되지 않은 경우, δx(x2 2 2)와 같은 명제는 모호하다.어떤 해석에서는 담론의 영역은 실수의 집합이 될 수 있고, 다른 해석에서는 자연수의 집합이 될 수 있다.담화 영역이 실수의 집합이라면, x = δ2를 반례로 하는 명제는 거짓이다. 만약 도메인이 자연수의 집합이라면, 2는 자연수의 제곱이 아니기 때문에 명제는 참이다.
담론의 세계
"담론의 세계"라는 용어는 일반적으로 특정 담론에서 논의되는 객체의 집합을 가리킨다.모델 이론의 의미론에서, 담론의 세계는 모델이 기초가 되는 실체의 집합이다.담론의 개념적 세계는 일반적으로 아우구스투스 드 모건(1846년)에 기인하지만, 조지 불(1854년)이 그의 생각의 법칙 42페이지에서 처음으로 사용했다.Boole의 정의는 다음과 같습니다.아마도 1847년에 Boole에 의해 독립적으로 발견되었을 그 개념은 그의 논리 철학, 특히 그의 총체적 참조 원칙에서 결정적인 역할을 했다.
불의 1854 정의
마음이 자신의 생각과 대화하는 것이든 개인이 다른 사람과 교제하는 것이든 모든 대화에는 그 작동의 대상이 제한되는 가정된 한계나 표현된 한계가 있다.가장 제약이 없는 담론은 우리가 사용하는 단어들이 가능한 한 폭넓게 적용되어 이해되고, 그들에게 담론의 한계는 우주 그 자체와 함께 확장된다는 것이다.하지만 보통 우리는 덜 넓은 들판에만 국한된다.때때로 우리는 인간을 논할 때 (제한을 표현하지 않고) 우리가 말하는 것은 특정한 상황과 조건, 문명인, 삶의 활력 있는 사람, 또는 다른 조건이나 친척에 있는 사람뿐이라는 것을 암시한다.자, 우리의 담론의 모든 대상이 발견되는 영역의 범위가 무엇이든 간에, 그 영역은 담론의 세계라고 적절히 불릴 수 있습니다.게다가, 이 담론의 세계는 가장 엄격한 의미에서 담론의 궁극적인 주제이다.
--
