파깨비의 철학자료실:1차 술어 논리의 세 기원

1차 술어 논리의 세 기원

Wilfrid Hodges, "Elementary Predicate Logic", in Handbook of Philosophical Logic(Vol I)의 서론 요약.

1차 술어 논리: 가장 단순하고 가장 강력하며, 가장 응용 가능성이 많은 논리체계.
많은 연구자들, 연구 분야의 성과가 집대성된 산출 결과.
- 특히 다음의 세 분야의 연구가 집대성 됨.

<선조들>
1) 전통논리학자들 : 아리스토텔레스, 부울(George Boole), 드 모르간(Augustus de Morgan), C.S 퍼스(C.S.Peirce).
- 논리의 목적: 타당한 논변의 형식을 찾아내는 것 - 도식화하는 것.

○ 논변의 구성 형식

전제1.
전제2.
…
----------
그러므로 결론.

○ 타당한 논변의 특징: 전제들이 모두 참인데 결론이 거짓일 수는 없다.

아리스토텔레스: 24가지 도식들(아리스토텔레스 자신은 19가지 제시)
부울: 무한히 많은 타당한 논변을 산출하는 논리연산 연구 → 명제 논리.

2) 증명이론가들: 프레게(Gottlob Frege), 페아노(Giuseppe Peano), 힐버트(David Hilbert), 러셀(Bertrand Russell), 허브랜트(Jacques Herbrand), 겐쩬(Gerhard Gentzen) 등.
- 연구목적: 수학적 추론을 체계화해서 모든 전제들을 명시화하고 모든 단계를 엄격화하는 것.
→ 1차 술어 논리의 개념들과 증명 이론을 고안해 냄.

3) 모형 이론가들: 슈뢰더(Ernst Schroder), 뢰벤하임(Leopold Lowenheim), 스콜렘(Thoralf Skolem), 랭포드(C.H.Langford), 괴델(Kurt Godel), 타르스키(Alfred Tarski).
- 연구 목적: 수학적 구조들에 대한 연구. 이 구조가 준수하는 법칙의 관점에서.
1차 술어 논리에 대한 현행의 이해는 1915-1935까지의 이들의 연구에 의해 구축됨.

1차 술어 논리와 관련된 기타의 연구 집단: 최근에 나타남.
1) 컴퓨터 과학자들.
2) 의미론자들.

<영화로 읽는 윤리학>

공지 사항

제가 인문학 공개 강좌를 하게 되었습니다.^^

홈피의 게시판들을 정리합니다.

이건, 공지사항이라기보다는 선전인데...^^

공부 자료실

언어분석철학의 한계와 실패

언어분석철학: 언어에 대한 그림이론에서 규약으로의 관...

언어적 절대주의(linguistic absolutism): 논...