원어 강의 내용이라 해석이 상이할 수 있습니다.
영어로 쓰는 이유는 답안을 영어로 작성해야 해서 그렇습니다.
- Logic : 추론의 과학 ( the science of reasoning )
=> 철학의 언어 : 잘못된 추론과 올바른 추론을 구별 - Reasoning : 추정하는 정신적인 활동 = 추론 ( mental activity of inferring )
- Inference : 전제로부터 결론을 도출하는 것 ( drawing conclusions from premises )
- Statements : 전제, 결론와 같은 진술, T/F로 결론이 나와야 한다. ( premises, conclusion )
| infer != imply ( 연기가 보이면 불이 났다는 걸 추정 가능하지만, 불이 났다는 걸 암시하지는 않는다 ) - Argument : Statement의 집합, 주장
Inductive Logic vs Deductive Logic
Inductive argument : 사실이 되었으면 하는 진술 ( 연기가 나니까 불이 났을 거야 )
Deductive argument : 사실이여야만 하는 진술 ( 명단에 인원이 20명, 여기 있는 사람은 19명, 한 사람이 사라진 것이다 )
논리는 Deductive한 추론을 다룬다.
Statments vs Propositions
Statements를 바탕으로 Proposition(주장)을 만들 수 있다.
- 눈은 하얗다, snow is white, la nieve es blanca (눈이 하얗다는 각 나라의 말) -> 눈이 흰색이라는 주장
- 나는 배가 고프다 ( 화자에 따라 주장이 달라짐. 너가 배고픈건지, 내가 배고픈건지, 그가 배고픈건지)
Form vs Content
Logic은 content가 아니라 form에 의해서 분류된다.
- 사실적으로 올바른 argument은 정당한 content를 가진다. Factually correct
- 유효한 argument는 정당한 form을 가진다. Valid
- 타당한 argument는 정당한 form과 content를 가진다. Sound
ex) all cats are dogs, all dogs are reptiles, all cats are reptiles : Valid, unSound ( 형식이 유효하지만 내용이 사실이 아님)
Validity => 결론이 거짓이면, 전제도 거짓. 전제가 사실이면, 결론도 무조건적으로 사실. => 형식의 함수
- 만약 유효한 argument를 가진다면, 해당 형식의 모든 argument는 valid.
- 만약 유효하지 않은 argument를 가진다면, 해당 형식의 모든 argument는 invalid.
Syllogism : 삼단논법, All, Some, None 활용한 구문들
- 다이어그램을 통해 명확하게 반례를 찾을 수 있음. 반례가 있으면 Invalid, 없으면 valid.
Two priciple of Philosophy
- The principle of reason : 이유의 원칙
ex) Xenophanes : 종교의 첫번째 철학자
=> 신은 무한하지도 유한하지도 않고, 변화하지도 변화하지 않지도 않다.
( 이게 뭔 소리야? 철학과 종교 사이의 선을 넘은 것 같이 보임 )
그래서 Philosophy is bound by reason ( 철학은 이유에 의해 규제되어야 한다 ) - The principle of charity : 너그러움의 원칙
=> Philosophy is about truth, not about winning (철학은 사실에 관한 것이지, 이기는 것에 관한 것이 아니다.)
- 사람의 삶을 끝내는 것은 살인이다.
- 낙태는 태아의 삶을 끝낸다.
- 낙태는 살인이다.
- 그러므로 낙태는 옳지 않다.
=> 위 Argument는 유효하지 않다. 논리적으로 정확하려면 '4.살인은 옳지 않다 -> 5. 그러므로 낙태는 옳지 않다'가 되어야 한다.
=> 그러나 이래도 위 Argument는 유효하지 않다. 몇몇의 가정들이 아직 논란이 되고 있다. [enthymeme] (생략 삼단 논법)
( 태아는 언제부터 사람인가? 같은 )
Principle of charity는 의심되는 전제를 지원한다.
철학은 질문을 하고 우리가 보통하지 않는 질문인 가정들을 의심하는 것이다.
(asking questions and quenstioning assumption we don't usually question)