최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기논리연구= Korean journal of logic, v.17 no.1, 2014년, pp.33 - 70
그것이 지녀온 막강한 영향력에도 불구하고 우리는 타르스키류 논리적 귀결의 정의가 역사적/철학적으로 어떤 배경과 동기를 지닌 것인지를 알지 못하고 있다. 논리적 귀결 개념이 논리학과 논리철학의 핵심 개념이라는 점을 감안할 때, 이는 충격적이다. 그리고 이런 불만스러운 상황이 초래된 데에는 여러 가지 요인이 복합적으로 작용한 것으로 보인다. 분석철학과 현대 논리학의 역사에 관하여 최근 이루어진 성과는 고무적이다. 그러나 관련된 여러 논쟁들의 추이를 볼 때 불만을 해소하기까지는 상당한 세월이 요구되리라 예상된다. 이런 우울한 정황 속에서 극히 최근 더글라스 패터슨에 의해 수행된 타르스키의 언어철학 및 논리학 연구는 획기적인 업적으로 판명될 만한 잠재력을 지닌 것으로 여겨진다. [Patterson (2012)] 본 논문은 패터슨의 연구에서 미심쩍은 부분을 비판적으로 검토함으로써 이 문제 영역에서의 연구의 현주소와 후속 연구의 방향을 가늠해 보고자 한다.
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] |
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.