Showing posts with label A. (subjects)-Humanities-Philosophy-Introduction to Logic. Show all posts
Showing posts with label A. (subjects)-Humanities-Philosophy-Introduction to Logic. Show all posts
2018-01-23
邏輯 Logic / 傅皓政
source: GET 臺灣通識網General Education TW-開放式課程 2015年11月24日
[課程] 邏輯 (http://get.aca.ntu.edu.tw/getcdb/hand...)本課程是以學習基本推理及日常論證為目標。在日常生活中，我們無可避免地需要和其他人溝通，而溝通當然也需要某些技巧。當然在溝通中不乏有人會如此說道：「你的思考邏輯很奇怪！」或者「這麼簡單的邏輯你都不懂嗎？」然而，什麼是邏輯呢？簡單地說邏輯正是研究推理過程的學科，經由系統化的處理，可以讓我們很有信心地說明那些推理是可以成立的，那些推理是不成立的等等。透過這些思考規則的學習，可以讓我們輕鬆面對並評斷一個人說話合理與否。更有趣的是，這些思考規則原本就在日常生活中被我們廣泛地運用，只是在運用時顯得凌亂不堪，本課程的學習目標，就是期望透過系統化的處理，使你更能掌握思考與溝通的樂趣。
1 41:35 Ch 1. 什麼是邏輯？ - ch0 / 傅皓政
2 21:46 Ch 1. 什麼是邏輯？ - ch1 / 傅皓政
3 1:31:34 Ch 2. 命題與論證 / 傅皓政
4 1:03:10 Ch 3. 命題邏輯語言 / 傅皓政
5 2:28:18 Ch 4. 語意學基本預設及語句連接詞 / 傅皓政
6 1:57:43 Ch 5. 真值表法 / 傅皓政
7 1:12:43 Ch 6. 真值樹系統 / 傅皓政
8 1:19:08 Ch 7. 公理法與自然演繹法 / 傅皓政
9 1:04:20 Ch 8. 傳統邏輯 / 傅皓政
10 49:26 Ch 9. 初階邏輯語言 / 傅皓政
11 1:23:07 Ch 10. 日常語言的翻譯 / 傅皓政
12 2:28:47 Ch 11. 真值樹系統 / 傅皓政
13 49:52 Ch 12. 自然演繹法 / 傅皓政
14 1:47:40 Ch 13. 邏輯謬誤 / 傅皓政
2016-09-27
PHIL 10 - Introduction to Logic by Rick Grush (UC San Diego)
# click the up-left corner to select videos from the playlist
source: Introduction to Logic, Philosophy 10, UC San Diego 2015年1月10日
Lectures of Introduction to Logic, Philosophy 10, UC San Diego.
0. Introductory Lecture 25:16
3. Ch. 1 (Part 3/3). BSLIF 27:57
2. Ch. 1 (Part 2/3). BSLIF 39:04
1. Ch. 1 (Part 1/3) BSLIF 39:56
10.Ch. 4, Sections 4.1-4.5.BSLIF 41:54
11. Ch. 4, Section 4.6. BSLIF 22:47
12. Ch. 4, Section 4.7. BSLIF 26:36
13. Ch. 4, Sections 4.8 & 4.9. BSLIF 22:44
9. Ch. 3, Sections 3.5 & 3.6. BSLIF 26:08
8b. Ch. 3, Section 3.4. BSLIF 22:27
7. Ch. 3, Sections 3.1 & 3.2. BSLIF 29:26
6. Ch. 2, Sections 2.4 & 2.5. BSLIF 43:33
5. Ch. 2, Sections 2.2 & 2.3. BSLIF 40:24
Practice Exam 1. 22:53
Practice Exam 2. 25:36
Practice Exam 3. 15:36
Practice Exam 4. 20:22
Practice Final (Part 2/3). 26:14
Practice Final (Part 3/3). 47:44
source: Introduction to Logic, Philosophy 10, UC San Diego 2015年1月10日
Lectures of Introduction to Logic, Philosophy 10, UC San Diego.
0. Introductory Lecture 25:16
3. Ch. 1 (Part 3/3). BSLIF 27:57
2. Ch. 1 (Part 2/3). BSLIF 39:04
1. Ch. 1 (Part 1/3) BSLIF 39:56
10.Ch. 4, Sections 4.1-4.5.BSLIF 41:54
11. Ch. 4, Section 4.6. BSLIF 22:47
12. Ch. 4, Section 4.7. BSLIF 26:36
13. Ch. 4, Sections 4.8 & 4.9. BSLIF 22:44
9. Ch. 3, Sections 3.5 & 3.6. BSLIF 26:08
8b. Ch. 3, Section 3.4. BSLIF 22:27
7. Ch. 3, Sections 3.1 & 3.2. BSLIF 29:26
6. Ch. 2, Sections 2.4 & 2.5. BSLIF 43:33
5. Ch. 2, Sections 2.2 & 2.3. BSLIF 40:24
Practice Exam 1. 22:53
Practice Exam 2. 25:36
Practice Exam 3. 15:36
Practice Exam 4. 20:22
Practice Final (Part 2/3). 26:14
Practice Final (Part 3/3). 47:44
2016-08-19
A. V. Ravishankar Sarma: Introduction to Logic (IIT Kanpur)
# playlist of the 44 videos (click the up-left corner of the video)
source: nptelhrd 2015年3月17日
Humanities - Introduction to Logic by Dr. A.V. Ravishankar Sarma, Department of Humanities and Social Sciences, IIT Kanpur. For more details on NPTEL visit http://nptel.ac.in
01 Identification of Arguments 54:41
02 Non- arguments 49:59
03 Types of Arguments: Deductive vs Inductive 49:55
04 Nature and Scope of Deductive and Inductive Arguments 44:34
05 Truth, Validity and Soundness 55:23
06 Strength of Inductive arguments, Counter example method 52:43
07 Toulmin’s Model of Argumentation 49:09
08 Identification of Formal and Informal Fallacies 56:38
09 Informal Fallacies: Fallacies of relevance 55:54
10 Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language 56:40
11 Introduction and motivation for Syllogistic Logic 57:57
12 Aristotle theory of Syllogisms-1 48:56
13 Syllogistic Poem, Reduction of Syllogisms 57:47
14 Syllogistic Poem, Reduction of Syllogisms 58:45
15 Nature and Scope of Propositional Logic 55:22
16 Syntax of Propositional Logic 57:10
17 Logical Connectives: Truth Tables 59:18
18 Truth Table Method: Validity, Consistency, Logical Equivalence 1:00:42
19 Semantic Tableaux Method for Propositional Logic 58:32
20 Knights and Knaves Puzzles 58:53
Lec-21 Semantic Tableaux Method: Further Examples 58:15
22 Natural Deduction Method 57:32
23 Natural Deduction: Examples 41:02
24 Conjunctive and Disjunctive Normal Forms 57:38
25 CNF, DNF and satisfiability and Validity 59:15
26 Resolution and refutation method 57:30
27 Resolution and refutation method: Examples 58:14
28 Axiomatic Propositional Logic 56:48
29 Hlbert Ackermann Axiomatic system 57:03
30 Proofs in the PM system 56:27
31 Hilbert and Ackermann System 58:20
32 Outlines of Predicate Logic 58:58
33 Outlines of Predicate Logic 50:05
34 Building blocks of Predicate Logic 54:17
35 Quantifiers, freedom, bondage 57:29
36 Translation in to predicate Logic 59:21
37 Semantics of Predicate Logic 54:23
38 Truth, satisfiability, validity in Predicate Logic 37:19
39 Formation Trees for wff’s in predicate Logic 44:25
40 Semantic Tableaux Method for Predicate Logic 45:24
41 Semantic Tableaux method: Satisfiability, Validity 57:33
42 Natural Deduction in Predicate Logic 53:56
43 Important theorems in First order Logic 45:43
44 Limitations of first order logic and Introduction to the course 58:11
source: nptelhrd 2015年3月17日
Humanities - Introduction to Logic by Dr. A.V. Ravishankar Sarma, Department of Humanities and Social Sciences, IIT Kanpur. For more details on NPTEL visit http://nptel.ac.in
01 Identification of Arguments 54:41
02 Non- arguments 49:59
03 Types of Arguments: Deductive vs Inductive 49:55
04 Nature and Scope of Deductive and Inductive Arguments 44:34
05 Truth, Validity and Soundness 55:23
06 Strength of Inductive arguments, Counter example method 52:43
07 Toulmin’s Model of Argumentation 49:09
08 Identification of Formal and Informal Fallacies 56:38
09 Informal Fallacies: Fallacies of relevance 55:54
10 Fallacies of Weak Induction and Fallacies arising out of ambiguity in Language 56:40
11 Introduction and motivation for Syllogistic Logic 57:57
12 Aristotle theory of Syllogisms-1 48:56
13 Syllogistic Poem, Reduction of Syllogisms 57:47
14 Syllogistic Poem, Reduction of Syllogisms 58:45
15 Nature and Scope of Propositional Logic 55:22
16 Syntax of Propositional Logic 57:10
17 Logical Connectives: Truth Tables 59:18
18 Truth Table Method: Validity, Consistency, Logical Equivalence 1:00:42
19 Semantic Tableaux Method for Propositional Logic 58:32
20 Knights and Knaves Puzzles 58:53
Lec-21 Semantic Tableaux Method: Further Examples 58:15
22 Natural Deduction Method 57:32
23 Natural Deduction: Examples 41:02
24 Conjunctive and Disjunctive Normal Forms 57:38
25 CNF, DNF and satisfiability and Validity 59:15
26 Resolution and refutation method 57:30
27 Resolution and refutation method: Examples 58:14
28 Axiomatic Propositional Logic 56:48
29 Hlbert Ackermann Axiomatic system 57:03
30 Proofs in the PM system 56:27
31 Hilbert and Ackermann System 58:20
32 Outlines of Predicate Logic 58:58
33 Outlines of Predicate Logic 50:05
34 Building blocks of Predicate Logic 54:17
35 Quantifiers, freedom, bondage 57:29
36 Translation in to predicate Logic 59:21
37 Semantics of Predicate Logic 54:23
38 Truth, satisfiability, validity in Predicate Logic 37:19
39 Formation Trees for wff’s in predicate Logic 44:25
40 Semantic Tableaux Method for Predicate Logic 45:24
41 Semantic Tableaux method: Satisfiability, Validity 57:33
42 Natural Deduction in Predicate Logic 53:56
43 Important theorems in First order Logic 45:43
44 Limitations of first order logic and Introduction to the course 58:11
Subscribe to:
Posts (Atom)