제 1 장 논리와 합리성

(1)

제 1 장 논리와 합리성

이계식

한경대학교 컴퓨터웹정보공학과

(2)

내용 소개

1

과목 소개

2

논리와 합리성

3

논리의 역할

4

논리와 인공언어

이계식 (한경대학교 컴퓨터웹정보공학과) 논리와 합리성 2 / 30

(3)

내용 소개

1

과목 소개

2

논리와 합리성

3

논리의 역할

4

(4)

강의내용

합리성의 원칙이란 무엇인가?

옳거나 타당한 논거와 정확하지 않거나 타당하지 않은 논거를 어떤 방식으로 구분할 수 있는가?

주어진 정보로부터 어떤 주장은 논리적으로 이끌어낼 수 있으며, 어떤 주장은 그럴 수 없도록 만드는 것은 무엇인가?

(5)

강의내용

앞서 언급된 질문들에 대한 상세하고 체계적인 대답을 제공한다.

논릭법칙들이 우리가 무언가 주장하고자 할 때 사용하는 표현들의 의미에서 저절로 따라오는 것임을 이해한다.

(6)

강의목표

아래의 두 가지를 습득하는 것이 주 목표이다.

I 1차 논리 언어(FOL(에프오엘) = First-Order Languages)를 습득하여

I 논리적 결과logical consequences의 의미와, 어떤 주장이 다른 주장의 논리적 결과인지 어떻게 보이는지를 배운다.

(7)

연습문제 및 관련 소프트웨어

4개의 프로그램으로 구성됨

I Tarski’s World

I Fitch

I Boole

I Submit - 책을 사야만 사용할 수 있는 프로그램임. (본 강의에서는 사용하지 않음.)

(8)

연습문제 및 관련 소프트웨어

아래 사이트에서 관련 프로그램 다운 받아 설치 http:

//formal.hknu.ac.kr/lectures/LPL-2_7-setup.exe 많은 연습문제는 특정 소프트웨어를 이용해야만 풀 수 있음.

각 프로그램의 사용법은 수업시간을 통해 터득함.

(9)

연습문제 및 관련 소프트웨어

연습문제 별로 첨가된 기호 의미:

프로그램을 이용하여 해답 문서를 작성할 경우 문서이름 작성 요령: 연습문제 번호가 n.m이면 아래와 같이 사용 프로그램에 따라 작성한다.

I Tarski’s World의 경우: World n.m 또는 Sentence n.m

I Fitch의 경우: Proof n.m

I Boole의 경우: Table n.m

(10)

연습문제 및 관련 소프트웨어

화살표(ö): 프로그램을 이용하여 문제 해결 후 제출 연필기호(.): 종이와 연필을 이용하여 문제 해결 후 제출

화살표 및 연필기호(ö|.): 프로그램을 이용할 것인지또는종이와 연필을 이용할 것인지 판단하여 문제 해결 후 제출

(11)

연습문제 및 관련 소프트웨어

별표(?, ??, ? ? ?)의 갯수는 난이도 의미함.

You try it이란 문장이 표시된 연습문제는 반드시 풀어보아야 한다.

그렇지 않으면 진도를 나갈 수 없다.

(12)

You try it 연습문제

강의 및 실습시간에 언급되는 You try it으로 시작하는 연습문제는 반드시 풀어보아야 함.

You try it 연습문제를 통해 제공되는 프로그램들의 사용법을 익힌다.

(13)

내용 소개

1

과목 소개

2

논리와 합리성

3

논리의 역할

4

(14)

과학과 합리성

천문학, 경제학, 재정, 법률, 수학, 의학, 물리, 사회학 등의 과학분야에 공통적으로 내재하는 것은 무엇인가?

주제는 확실히 아니다.

방법론도 아니다.

(15)

과학과 합리성

(16)

과학과 합리성

(17)

합리성의 역할

모든 과학이 바로합리성에 의존한다.

(18)

합리성

합의된 원칙과 증거에 근거하는 합리적 논거를추정과 불합리한 추론으로부터 구분할 수 있는 능력이 모든 분야에서 요구됨.

(19)

합리적 질문과 논리

모든 합리적 질문은 논리에 의존한다.

I 합리적 논거를 펼칠 수 있거나

I 논거의 오류를 지적할 수 있는 능력이 요구됨.

(20)

합리성의 원칙

무엇보다도 주어진 정보로부터 어떤 정보를 합리적으로 이끌어낼 수 있는가가 모든 분야에서 기본적으로 요구되는합리성의 원칙principles of rationality이다.

(21)

합리성의 원칙이란?

합리성의 원칙이란 무엇인가?

옳고 정당한 논거와틀리고 타당하지 않은 논거를 어떻게 기술적으로 구분할 것인가?

주어진 정보로부터 원하는 결론을 어떻게논리적으로 유추할 것인가?

(22)

논리와 관습

논리의 법칙은 단순히 관습에 불과하다고 말하기도 한다.

만약 그렇다면 파란불에 주행하는 관습을 빨간불에 주행하는 관습으로 바꿀 수 있듯이 논리의 법칙도 바꿀 수 있다.

(23)

논리와 관습

하지만 논리의 법칙은 일상적인 것보다는 훨씬 근본적인 요소를 갖고있다.

왜냐하면 빨간불에 주행하는 관습을 갖는 사회라 해도 빨간불이 주행과 정지를 동시에 뜻하는 관습은 상상하기 어렵기 때문이다.

(논리적(?)으로 너무 이상하지 않은가?)

(24)

내용 소개

1

과목 소개

2

논리와 합리성

3

논리의 역할

4

(25)

논리의 중요성

논리의 중요성은 고대로부터 인식되어왔다.

어떤 과학도 논리 없이는 어떤 의미도 가질 수 없기 때문이다.

논리가 어떤 임의성을 내포한다면 합리적 질문 또한 임의성을 내포한다.

(26)

논리의 중요성

따라서 논리법칙을 이해하는 것이 중요하다.

더 나아가, 왜 논리법칙이 논리의 법칙이 되었는지를 이해할 필요가 있다.

논리를 공부한다는 것은 합리성에 대해 합리적 질문을 던지는 것이다.

(27)

논리법칙과 합리성

합리성의 원칙을 논리법칙을 통해 이해할 수 있다.

논리를 공부한다는 것은 합리성에 관한 합리적 질문의 방식을 이용하는 것을 의미한다.

논리는 지난 20세기를 통해 비약적으로 발전하였다. 특히 전산학에서의 역할은 매우 크다.

(28)

학습목표

논리에서 가장 중요한 개념도 도구를 익힌다.

앞서 언급된 질문들에 대해 상세하고 체계적인 해답을 제시한다.

논리법칙이 일상적으로 사용되는 주장으로부터 필수불가결하게 따라옴을 이해한다.

(29)

내용 소개

1

과목 소개

2

논리와 합리성

3

논리의 역할

4

(30)

인공어란?

인공어(Artificial Languages)

I 특정 목적을 위해 개발된 언어.

I 한국어, 영어, 중국어, 일어, 독일어 등의 자연어(natural languages) 와 대비됨.

(31)

논리와 전산학

전산학에서의 FOL의 역할은 매우 크다.

프로그램 코드를 작성하기 위해 사용되는 C, Java, Python 등등의 인공적인 언어들 모두 FOL과 비슷하게 개발되었다.

심지어 Prolog, Coq, Isabelle 등의 논리프로그래밍언어도 존재한다.

(32)

논리와 일상언어

전문적인 일을 이해하는 데 도움이 된다.

우리들의 일상 언어의 중요한 속성들을 보다 쉽게 이해할 수 있다.

일상언어 표현을 FOL 표현으로 번역하는 과정을 통해 일상언어의 섬세함 또는 미묘함을 느낄 수 있다.

일상언어의 모호함을 알게 된다.