프레게-교회 존재론

프레게-교회 존재론은 존재론, 존재론입니다. 모든 것은 사물(참조, 표시), 이름 또는 개념(감각)의 세 가지 범주에 있는 것으로 간주됩니다. 온톨로지는 Alonzo Church가^[1] 일부 역설을 해결하기 위해^[2][3] Gottlob Frege의 아이디어를 바탕으로 개발했습니다. 온톨로지는 특정 모드 로직과 관련이 있습니다.

이름 관계의 역설

• 우리가 1995년에 있다고 가정해 보세요. 메리가 명왕성이 태양에서 가장 멀리 떨어진 행성이라고 생각한다고 가정해봅시다. 명왕성의 불규칙한 궤도 때문에 명왕성의 궤도는 해왕성의 궤도를 넘었고, 그래서 1995년에는 태양에서 가장 먼 행성이 해왕성입니다. Mary가 이 사실을 모른다고 가정해 보세요.

x = y이고 y = z이면 z를 y, x = z로 대체합니다.

(1) Mary는 명왕성=태양에서 가장 먼 행성이라고 믿습니다.

(2) 해왕성 = 태양에서 가장 먼 행성.

따라서 (1)의 '태양에서 가장 먼 행성'을 '해왕성'으로 바꾸면 우리는

(3) 메리는 명왕성 = 해왕성이라고 믿고 있습니다.

하지만, 메리는 명왕성이 해왕성이라는 역설을 믿지 않습니다.

프레게-교회 온톨로지는 믿음이 "집중적인 맥락"을 도입한다고 말함으로써 이를 해결합니다. "믿는다"는 단어 뒤에 오는 용어는 단어의 표시가 아니라 신자를 위한 단어와 관련된 개념을 가리키는 맥락입니다. 각 단어에는 이름, 표시 및 관련 개념이 있습니다.

용어.

명제, 속성 및 관계

• 개체에 속성이 있습니다. 바나나는 노란색의 성질을 가지고 있습니다.
• 명제는 참이거나 거짓인 문장입니다. 명제는 함수로 간주될 수 있으며, 그 안에 있는 객체들이 변수로 고려되고 함수의 값은 진리 또는 거짓, 진리 함수입니다. 예를 들어 "x는 노란색"을 Y(x)로 써서 "x는 노란색"이 참이면 Y(x) = 참, "x는 노란색"이 참이면 Y(x) = 거짓이면 Y(x) = 거짓입니다. 예를 들어 Y(바나나) = 참, 바나나는 노란색이기 때문입니다. 그러나 Y(사과) = 진실 또한 일부 사과는 노란색이기 때문입니다.
• 마찬가지로 두 물체 사이의 관계를 표현하는 문장은 두 변수의 진리함수, 즉 두 물체 사이의 관계는 두 변수의 진리함수라고 볼 수 있습니다. 예를 들어, S(x, y) = "x는 y보다 작습니다"라고 가정합니다. 그래서 S(쥐, 코끼리) = 진실, 쥐는 코끼리보다 작기 때문에 그러나 S(쥐, 개미) = 거짓, 쥐는 개미보다 작지 않기 때문에.

개체, 이름, 개념

• 개체(참조, 표시)에는 개체의 이름인 이름이 있습니다. 개체에는 개체의 이름과 연관된 개체의 개념인 개념(센스)이 있습니다. 이름 또는 개념은 그 자체로 개체이며, 이름, 개체 이름 및 개체 개념 이름이 있습니다. 마찬가지로 그들은 다른 물체로서 개념을 가지고 있습니다. 이름은 이름의 대상을 나타내는 것이라고 합니다.

프레게-교회 온톨로지를 이용한 상호관계의 역설 해결

보통 언어의 모호성은 혼란을 초래합니다.

• 영어의 일반적인 언어는 우리가 때때로 단어를 가진 물체, 예를 들어 고양이를 언급하기 때문에 명확하게 할 필요가 있는 모호성을 가지고 있습니다. 우리는 "고양이"라는 단어와 같이 고양이의 이름인 허수아비 어록을 사용하여 이름을 나타냅니다. 고양이를 개념으로, 고양이를 객체로 지칭하는 것에 대해 언어에 모호성이 있습니다.

인텐시브 콘텍스트

• "그것을 믿는다"와 같은 표현은 집중적인 맥락을 도입한다고 합니다. 집중적인 맥락에서 발생하는 이름은 신자를 위한 대상의 개념을 나타냅니다. 그들은 물체 자체를 나타내는 것이 아닙니다.

결의안

명제 (1)에 등장하는 "태양에서 가장 먼 행성"은 마리아의 "태양에서 가장 먼 행성" 개념이므로 (2)에 등장하는 것처럼 태양에서 가장 먼 실제 행성에 관한 것이 아니므로 대체가 이루어질 수 없습니다. 이것에 대한 더 엄격하고 공식적인 대우는 교회에 의해 주어집니다.^[1]

참고문헌

외부 링크

• Fitting, Melvin. "Intensional Logic". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy.