최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기논리연구= Korean journal of logic, v.17 no.1, 2014년, pp.71 - 109
셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. 이 글에서 나는 타르스키의 정의를 정당화하려는 셔어의 시도는 반만 성공한 것임을 보이려 한다. 나는 논리적인 것이 동형 구조 내의 불변적인 것이라는 셔어의 생각은 논리적 귀결의 형식적 특징을 보이기에 충분하다는 점을 인정한다. 반면 나는 용어의 의미에 대한 셔어의 생각은 외연이 빈 술어의 문제를 제대로 다루기에는 아주 부적합해서, 결국 셔어는 논리적으로 필연적인 진리들과 그 밖의 진리들을 구별하는 데 실패하였다고 생각한다.
Gila Sher believes that Tarskian definition of logical consequence is a conceptually and extensionally adequate explanation. She has tried to show this on the basis of Mostowskian conceptions of generalized quantifiers as being invariant under isomorphic structures and her own conceptions of models....
핵심어 | 질문 | 논문에서 추출한 답변 |
---|---|---|
논리상항은 어떠한 특징을 갖는가? | 셔어는 논리상항을 정의하기 위해 그것이 갖는 특징을 몇 가지로 요약한다. 우선 논리상항은 동형 구조 내의 불변성을 갖는다. 그리고 논리상항이 이런 특징을 갖기 위해서는 우선 구조적 특징을 가져야 한다. | |
셔어는 타르스키의 논리적 귀결 정의에 대해 어떻게 생각하는가? | 셔어는 타르스키의 논리적 귀결 정의가 개념적으로나 외연적으로 적합한 설명이라고 믿는다. 셔어는 모스토프스키의 동형 구조 내의 불변적인 것으로서 일반화된 양화사 개념, 그리고 자신의 모형 이론에 근거해서 그 믿음을 정당화하려 하였다. | |
셔어의 전략을 크게 둘로 요약하면? | 셔어의 전략은 크게 둘로 요약된다. 첫째는 모형 장치가 논리적 귀결의 필연성을 반영할 수 있게 의미론을 구성하는 것이고, 둘째는 논리적 귀결의 형식적 특징을 반영할 수 있게 적절한 논리상항의 기준을 마련하는 것이다. 둘째 작업은 이미 이전의 논리학의 발전에서 대부분 제시되었다. |
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.