Logic  Paper

 

논리와 정리 증명 (Logic and theorem proving) : Patrick Henry Winston

명제논리 (The Propositional Calculus)    명제논리에서의 논리융합 (Resolution in the Propositional Calculus)     술어논리 (The Predicate Calculus)    술어논리 논리융합 (Resolution in the Predicate Calculus) : Nils J.Nilsson

표상과 논리 (Representation and logic) : Thomas Dean. James Allen. John Aloimonos

서술 논리를 이용한 지식의 표기   기타 논리를 사용한 지식의 표기 : Elaine Rich

논리란 무엇인가? : 소광희

논리학 : Rudy Rucker

두가지의 논리 : Donald G. Fink

AI using C : 논리와 불확실성 : Herbert Schildt

기호 논리학 : Rudy Rucker

기호논리학 : 머리말  기호의 범위와 논리적 구두점 : 소광희

계산가능성과 논리 : George S. Boolos   Richard C. Jeffrey

20세기 수리논리학의 사상과 흐름 : 김상문, 현우식, 한국수학사학회, 1995

반시대적 고찰 : 비트겐슈타인과 하이데거의 수리논리학 비판 : 이승종, 한국현상학회, 1999

허구론적 수리철학의 허구적 메타논리학 (The Fictional Metalogic of the Fictionalist Philosophy of Mathematics) : 박우석, 한국철학회, 1993

역수학 계획에서 힐버트의 계획으로 : 힐버트의 실증주의적 수리철학 (From Reverse Mathematics Program To Hilbert`s Program - Hilbert`s Positivistic Philosophy of mathematics) : 최병일, 한국논리학회, 1997

청년 비트겐슈타인의 수리철학 (Young Wittgenstein`s Philosophy of Mathematics) : 이승종, 한국분석철학회, 2000

수학의 적용 (The Application of Mathematics) : 이승종, 한국분석철학회, 2001

모순에 관한 튜링/비트겐슈타인 논쟁 (Turing / Wittgenstein Debate on Contradiction) : 이승종, 철학연구회, 1993

튜링의 다리와 비트겐슈타인의 수학철학 (Turing`s Bridge and Wittgenstein`s Philosophy of Mathematics) : 박정일, 한국논리학회, 2002