$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

타르스키의 논리적 귀결 정의의 역사적 배경
The Background of Tarski's Definition of Logical Consequence 원문보기

논리연구= Korean journal of logic, v.17 no.1, 2014년, pp.33 - 70  

박우석 (한국과학기술원 인문사회과학과)

초록

그것이 지녀온 막강한 영향력에도 불구하고 우리는 타르스키류 논리적 귀결의 정의가 역사적/철학적으로 어떤 배경과 동기를 지닌 것인지를 알지 못하고 있다. 논리적 귀결 개념이 논리학과 논리철학의 핵심 개념이라는 점을 감안할 때, 이는 충격적이다. 그리고 이런 불만스러운 상황이 초래된 데에는 여러 가지 요인이 복합적으로 작용한 것으로 보인다. 분석철학과 현대 논리학의 역사에 관하여 최근 이루어진 성과는 고무적이다. 그러나 관련된 여러 논쟁들의 추이를 볼 때 불만을 해소하기까지는 상당한 세월이 요구되리라 예상된다. 이런 우울한 정황 속에서 극히 최근 더글라스 패터슨에 의해 수행된 타르스키의 언어철학 및 논리학 연구는 획기적인 업적으로 판명될 만한 잠재력을 지닌 것으로 여겨진다. [Patterson (2012)] 본 논문은 패터슨의 연구에서 미심쩍은 부분을 비판적으로 검토함으로써 이 문제 영역에서의 연구의 현주소와 후속 연구의 방향을 가늠해 보고자 한다.

Abstract AI-Helper 아이콘AI-Helper

We still do not know against what histocial/philosophical background and motivation was Tarski's definition of logical consequence introduced, even if it has had such a strong influence. In view of the centrality of the notion of logical consequence in logic and philosophy of logic, it is rather sho...

주제어

질의응답

핵심어 질문 논문에서 추출한 답변
의미론의 초기 발전은 어떤 작업이라 할 수 있는가? 타르스키는 의미론을 기본적 의미 이론으로서가 아니라 중요한 메타수학적 개념들에 직관주의적 형식주의의 취급법을 부여하려는 그의 프로젝트 안에서 다소 더 자세한 작업으로서 개발하였다. 이런 면에서, 의미론의 초기 발전은 단순히 1930년 경 도출적으로 이해된 귀결에 관한 그의 작업을 다소 확장하는 작업이다. [Patterson (2012), pp.
표현적 개념의 특징은? 두 견해 모두 추론을 주제로 삼는다. 표현적 개념은 하나의 논증을 우리가 어떤 것들을 믿을 때 다른 어떤 것을 믿을 이유를 우리에게 제공해주는 어떤 것으로 보려는 기본적인 아이디어와의 자연스럽고 직관적인 연결점을 제공한다: 한 타당한 논증에서, 전제들의 정당화는 결론으로 전이되고 그것을 믿는 데 대한 정당화가 된다. 표상적 개념은, 그것의 초점이 진술들이 무엇에 관한 것인가 하는 데에서의 정확성에 있는 까닭에, 한 논증이 타당한 것은 오직 만일 그것의 전제들이 참이면 그것의 결론 또한 그러할 경우뿐이라는 아이디어를 불러일으킨다.
패터슨의 직관주의적 형식주의의 주요한 주장 5가지는? 1. 화자의 의도를 통해 사고를 표현하는 매체로 언어를 이해함 2. 언어가 올바르게 사용될 때 어떤 주어진 문장의 사용에 의해 어떤 사고가 표현되는지를 결정하는 것으로서의 언어의 규약의 개념. 3. 공리들과 정리들을, 규약들이 주어졌을 때, 관계자들에게 참으로 여겨진다는 의미에서 주장 가능한 문장들로 보는 개념. 4. 한 용어의 직관적 의미나 내용을 전통 논리학의 내포로 보는 개념. 5. 이론 구성에서, 한 이론의 용어들에 직관적 의미를 부여하는 것을 제한하는 정리들의 함축을 통해 원초적인 것들의 해석을 가능한 한 크게 제한한다는 목표. [Patterson (2012), p. 43]
질의응답 정보가 도움이 되었나요?

저자의 다른 논문 :

LOADING...

관련 콘텐츠

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로