논리철학
Philosophy of logic19세기 후반의 상징논리와 20세기의 수학논리를 가진 형식논리의 철학연구의 발달에 따라, 전통적으로 형식논리의 일부가 아닌 논리로 취급되는 주제들은 더 이상 단순한 논리가 아니라면 논리철학이나 철학논리학 중 하나로 불리는 경향이 있었다.
논리의 역사에 비해 논리의 철학과 철학적 논리의 구분은 최근의 동전이며 항상 완전히 명확한 것은 아니다. 특징에는 다음이 포함된다.
- 논리철학은 논리의 범위와 성질을 살피는 데 전념하는 철학의 영역이다.[1]
- 논리철학은 논리에서 발생하는 문제에 대한 조사, 비판적 분석, 지적 반영이다. 그 분야는 철학적 논리와는 구별되는 것으로 여겨진다.
- 철학적 논리는 참고, 포식, 정체성, 진리, 계량화, 존재, 수반, 양태성, 필요성에 관한 문제를 다루는 학문 분야다.[2]
- 철학적 논리는 철학적 문제에 형식적 논리 기법을 적용하는 것이다.[3]
이 글은 논리철학상의 이슈를 개략적으로 설명하거나 관련 기사 또는 두 가지 모두에 대한 링크를 제공한다.
소개
이 글에서는 다음과 같은 용어와 개념을 사용한다.
진실
아리스토텔레스는 '그것이 아니다' 또는 '그것이 아니다'라고 말하는 것은 거짓이다. 그리고 '그것이 있다'와 '그렇지 않다'라고 말하는 것은 사실이다[4].
이 명백한 진실은 논란의 여지가 없는 것으로 증명되지 않았다.
진실규명자
논리는 참, 거짓, 모순, 타당성, 자기 모순과 같은 용어를 사용한다. 문제는 스트로슨(1952)이[5] 글을 쓰면서 발생한다.
(a) 이러한 논리적 평가 단어를 사용할 때, 우리가 정확히 평가하고 있는 것은 무엇인가? 그리고 (b) 논리적 평가가 어떻게 가능해지는가?
타르스키의 진리의 정의
참조:
분석적 진실, 논리적 진실, 타당성, 논리적 결과 및 수반
관련 정의는 다음과 같다.
- 필요한 진리는 세상의 어떤 상태든, 때로는 그것이 놓이듯이, 가능한 모든 세계에서 진실된 진리다.[6]
- 논리 진리는 그 논리 상수의 의미 때문에 필연적으로 참된 필요한 진리들이다.[7]
- 형식 논리학에서 논리 진실은 단지 "표현"(변수가 자유롭게 발생하지 않는 기호 문자열)일 뿐, 가능한 모든 해석에서 진실이다.
- 분석적 진리는 서술적 개념이 주제 개념에 포함된 것을 말한다.
논리적 진리의 개념은 타당성, 논리적 결과 및 수반(자기 모순, 필요한 거짓 등)의 개념과 밀접하게 연관되어 있다.
- 만약 q가 논리적인 진실이라면 p 따라서 q는 유효한 주장이 될 것이다.
- 따라서 p1, p2, p3 ...pn이 유효한 주장이라면 그에 상응하는 조건이 논리적인 진리가 될 것이다.
- p1 & p2 & p3 ...pn이 q를 수반한다면 if (p1 & p2 & p3 ... pn) q는 논리적 진리다.
- if q가 p1 & p2 & p3 ...p1 & p3의 논리적인 결과인 경우, if & p2 & p3 ...pn이 q를 수반하는 경우에만, if와 if (p1 & p2 & p3)의 논리적 결과인 경우.pn) 그렇다면 q는 논리적 진리다.
발생하는 문제에는 다음이 포함된다.
- 반드시 진실이어야 할 진실이 있다면, 무엇이 진실들을 그렇게 만드는가?
- 논리적인 진실이 아닌 분석적인 진실이 있는가?
- 분석적 진실이 아닌 필요한 진실이 있는가?
- 논리적인 진실이 아닌 필요한 진실이 있는가?
- 분석적 진리와 합성적 진리의 구별이 거짓인가?
참고 항목 [1]
역설
의미와 참조
참조
- 감지 및 참조
- 참고 이론
- 매개 참조 이론
- 직접참고이론
- 참조의 원인 이론(섹션 참조)
- 이름 설명론(섹션 참조)
- Saul Kripke(섹션 참조)
- 프레지의 퍼즐 (새로운 참조 이론과 프레지의 퍼즐의 귀환)
- Gottlob Frege(섹션 참조)
- 참조 실패(섹션 참조)
- 강체 지정자(단면 인과-사적 기준 이론)
- 언어 철학(섹션 참조)
- 언어철학지수
- 가정 이론(섹션 참조)
- 참조표현
- 의미(언어의 철학)
- 데노테이션과 함축
- 연장 및 인텐션
- 확장 정의
- 강도 정의
- 메타커뮤니케이션 능력
이름 및 설명
- 참조하지 않음
- 고유명(철학)
- 확정설명
- 명칭의 서술론
- 서술 이론
- 단수항
- 용어 논리 § 단수 용어
- 빈 이름
- Bas van Frassen § 단수 항, 진실-가치 격차 및 자유 논리
- 산술의 기초 § Frege의 숫자관 개발
- 언어철학 § 참조 자료
- 직접참조
- 매개 참조 이론
형식 및 물질적 결과
- 재료 조건부의 문제: 재료 조건부 참조
논리 상수 및 커넥티브
정량자와 정량 이론
모달 논리학
일탈 로직
클래식 대 비클래식 로직
논리학의 철학 이론
기타 항목
- 라이프니츠의 법칙: 불분명한 것의 정체성 참조
- 빈 이름
- 술어에 속성이 있는가?: 2차 논리 참조
- 감지, 참조, 함축, 변음, 확장, 인텐션
- 논리학의 법칙의 현황
- 고전 논리학
- 직감주의
- 리얼리즘: 플라토닉 리얼리즘, 철학적 리얼리즘을 보라.
- 제외된 중간의 법칙: 제외된 중간의 법칙 참조
- 모달리티, 인텐시티 및 제안적 태도
- 반사실
- 심리학
참고 항목
중요 인물
논리철학상의 수치에는 다음이 포함된다(그러나 이에 국한되지는 않는다).
논리철학자
|
참조
- ^ Audi, Robert, ed. (1999). The Cambridge Dictionary of Philosophy (2nd ed.). CUP.
- ^ 로위, E. J. 사상의 형식: 철학적 논리에 관한 연구 뉴욕: 케임브리지 대학 출판부, 2013.
- ^ 러셀, 길시언 생각, 논쟁, 그리고 랜츠 Jc 칼럼.
- ^ 아리스토텔레스, 형이상학, 책 γ, Δ, ε 2판 1011b25 (1993) trans Kirwan,: OUP
- ^ Strawson, P.F. (1952). Introduction to Logical Theory. Methuen: London. p. 3.
- ^ 울프람(1989) 페이지 80
- ^ 울프람(1989), 페이지 273
원천
- 해크, 수잔 1978년 로직스의 철학. 케임브리지 대학 출판부 (ISBN 0-521-29329-4)
- 퀴네, 2004년 W. V. O. 논리의 철학. 2부. 하버드대 프레스 (ISBN 0-674-66563-5)
- 알프레드 타르스키. 1983. 공식화된 언어에서의 진리의 개념, 152-278페이지, 논리학, 변성학, 1923년부터 1938년까지의 논문, 에드. 존 코코란(논리학자), 해켓,인디애나폴리스 1983.
추가 읽기
- 피셔 제니퍼, Thomson Wadworth, 2008, ISBN 978-0-495-00888-0
- 고블, 루, 에드 2001. (Blackwell Guide to) 철학적 논리학. 옥스퍼드: 블랙웰. ISBN 0-631-20693-0.
- 그레이링, A. C. 1997. 철학적 논리에 대한 소개. 제3판 옥스퍼드: 블랙웰. ISBN 0-631-19982-9
- 재켓, 데일, 에드, 2002년 철학적 논리의 동반자. 옥스퍼드 블랙웰. ISBN 1-4051-4575-7
- Kneale, W&M (1962). The development of logic. Oxford. ISBN 9780198247739.
- 맥긴, 콜린, 2000년 논리 속성: 정체성, 존재, 약탈, 필요성, 진실. 옥스퍼드: 옥스퍼드 대학 출판부 ISBN 0-19-9263-2.
- Quine, Willard Van Orman (1970). Philosophy Of Logic. Prentice Hall: New JerseyUSA.
- 세인즈베리, 마크 2001 논리적 형식: 철학적 논리에 대한 소개. 2부. 옥스퍼드: 블랙웰. ISBN 0-631-21679-0
- Strawson, PF (1967). Philosophical Logic. OUP.
- 알프레드 타르스키, 1983년 공식화된 언어에서의 진리의 개념, 152-278페이지, 논리학, 변성학, 1923년부터 1938년까지의 논문들, 에드. 존 코코란(논리학자), 해켓,인디애나폴리스 1983.
- 울프람, 시빌 1989년 철학 논리학: 소개. 런던: 루트리지. 290쪽. ISBN 0-415-02318-1, ISBN 978-0-415-02318-4
- 철학적 논리학 저널 Springer SBM