논리적 귀결의 본질

결론이 전제로부터 진정으로 도출된다는 것은 무엇을 의미하는가? 이 주제는 논리의 핵심에 있는 귀결 관계에 대한 경쟁적인 분석들을 탐구합니다.

Definition

논리적 귀결은 일련의 전제와 결론 사이에 성립하는 관계로, 필연적으로 그리고 형식에 따라 모든 전제가 참일 때 결론도 참이 됩니다.

Scope

이 주제는 논리적 귀결에 대한 개념적 분석을 다룹니다. 즉, 타당성이 모든 해석에 걸쳐 진리를 보존하는 것으로 보는 모형 이론적 설명, 타당성이 도출 가능성으로 보는 증명 이론적 설명, 그리고 이들 중 어느 것이 '따라 나옴'의 명백히 필연적이고 형식적이며 선험적인 특성을 포착하는지에 대한 철학적 질문을 다룹니다. 또한 고전 1차 논리에 대한 두 분석을 연결하는 건전성 및 완전성 정리의 상호 작용도 다룹니다.

Core questions

• 귀결은 모형 전반에 걸친 진리 보존으로 이해하는 것이 가장 좋은가, 아니면 증명 체계에서의 도출 가능성으로 이해하는 것이 가장 좋은가?
• 논리적 귀결에 직관적으로 속하는 필연성과 형식성은 무엇에 근거하는가?
• 건전성 및 완전성 결과가 두 분석이 동일한 관계를 나타냄을 보여주는가?
• 순전히 외연적인 정의가 본질적으로 양상적인 개념을 포착할 수 있는가?

Key concepts

• 진리 보존
• 필연성과 형식성
• 모형 이론적 귀결
• 증명 이론적 귀결
• 건전성 및 완전성
• 논리적 형식

Key theories

타르스키의 모형 이론적 분석

문장은 일련의 문장들의 논리적 귀결이다. 만약 그 문장들의 모든 모형이 그 문장의 모형이라면; 귀결은 비논리적 상수들의 모든 재해석에서 진리로 환원된다.

양상 반론

에체멘디는 모형 이론적 설명이 실제 해석들을 양화함으로써 귀결의 진정한 필연성을 포착할 수 없으며, 영역이 얼마나 풍부한지에 따라 우연적으로만 올바른 판단을 내린다고 주장한다.

History

타르스키(Tarski)의 1936년 논문은 모형 이론의 중반기 발전 이후 정설이 된 모형 이론적 정의를 도입했습니다. 에체멘디(Etchemendy)의 1990년 비판은 형식적 정의가 직관적인 개념을 추적하는지에 대한 지속적인 재평가를 촉발했으며, 이후의 연구(예: 샤피로(Shapiro))는 양상(modality)과 논리 상수의 선택이 분석에 어떻게 개입하는지 탐구했습니다.

Debates

외연적 적절성과 개념적 분석

모형 이론적 정의가 단지 타당한 논증의 올바른 외연을 제공하는 것인지, 아니면 관계의 양상적 힘을 생략하는 것처럼 보이는 점을 고려할 때 귀결이 무엇인지를 진정으로 분석하는 것인지에 대한 논의.

Key figures

• Alfred Tarski
• John Etchemendy
• Stewart Shapiro
• Gottlob Frege

Seminal works

• tarski1936
• etchemendy1990

Frequently asked questions

모형 이론적 설명과 증명 이론적 설명은 동등한가?

고전 1차 논리의 경우, 건전성 및 완전성 정리는 두 설명이 외연적으로 일치함을 보여줍니다. 즉, 결론은 전제로부터 도출될 수 있는 경우에만 전제의 모든 모형에서 참입니다. 그러나 그것들이 개념적으로 동일한 관계인지는 철학적으로 여전히 논쟁의 여지가 있습니다.