2014年度通年京都学園大学(論理学入門)

(授業資料は「論理学入門A」「倫理学入門B」のウェブページをご覧ください。)

前半

1.論理学とは何か

2.日本語の論理1(文どうしの接続関係と論証構造)

3.日本語の論理2(演繹とは何か)

4.命題論理とは何か(文をまるごと記号に置き換える)

5.命題論理の自然演繹1(「かつ」「または」「ならば」を使った演繹)

6.命題論理の自然演繹2(「または」「でない」と必要十分条件を使った演繹)

7.練習

8.小テスト1

9.命題論理の課題(三段論法が扱えない!?)

10.述語論理とは何か(文の主語述語構造まで記号に置き換える)

11.「誰もが誰かを愛している」の受け身は「誰かが誰もから愛されている」ではない!?

12.述語論理の自然演繹(「すべての」と「少なくとも1つの」)

13.練習

14.小テスト2

15.自然演繹の課題(後半に向けて)

後半

16.論理学とは何か

17.日本語の論理1(文どうしの接続関係と論証構造)

18.日本語の論理2(文の意味とは何か)

19.命題論理とは何か(文をまるごと記号に置き換える)

20.命題論理の意味論1(「かつ」「または」「ならば」を含む文の意味)

21.命題論理の意味論2(「ならば」「でない」と必要十分条件を含む文の意味)

22.練習

23.小テスト3

24.命題論理の課題(三段論法が扱えない!?)

25.述語論理とは何か(文の主語述語構造まで記号に置き換える)

26.「誰もが誰かを愛している」の受け身は「誰かが誰もから愛されている」ではない!?

27.述語論理の意味論(「すべての」と「少なくとも1つの」)

28.練習

29.小テスト4

30.完全性定理(前半と後半で学んだことは実は同じ)