TRƯỜNG ĐẠI HỌC KINH TẾ TÀI CHÍNH Môn học: Logic học Khoa Kinh Tế ThS. Lương Xuân Vinh

TRƯỜNG ĐẠI HỌC KINH TẾ TÀI CHÍNH Mơn học: Logic học Khoa Kinh Tế ThS Lương Xuân Vinh 8/14/2018 Nội dung        Chương Đại cương logic học Chương Khái niệm Chương Phán đoán Chương Những quy luật tư logic Chương Suy luận Chương Giả thuyết, chứng minh, bác bỏ ngụy biện Chương Ôn tập, câu hỏi tập 8/14/2018 Tài liệu tham khảo Giáo trình chính:  Giáo trình Logic học, Trường Đại Học Kinh Tế - Tài Chính, Tp Hồ Chí Minh  Giảng viên: ThS Lương Xuân Vinh – Khoa Kinh Tế, email: vinhlx@uef.edu.vn 8/14/2018 Mục tiêu chương  Nắm kiến thức liên đến suy luận, diễn dịch loại suy, đồng thời bước đầu vận dụng vào giải vấn đề có liên quan 8/14/2018 Chương – Suy luận Nội dung nghiên cứu  Khái quát suy luận Định nghĩa, kết cấu, phân loại Phép diễn dịch Phép quy nạp Phép loại suy 8/14/2018 II Diễn dịch 5.2.2 Diễn dịch gián tiếp – tam đoạn luận  Tam đoạn luận suy luận diễn dịch dựa hai phán đoán cho sẵn làm tiền đề có liên hệ logic với để rút phán đoán làm kết luận  Căn vào phán đoán tiền đề mà tam đoạn luận chia thành tam đoạn luận với tiền đề phán đoán đơn tam đoạn luận có tiền đề phán đốn phức 8/14/2018 II Diễn dịch 5.2.2 Diễn dịch gián tiếp – tam đoạn luận a) Tam đoạn luận với tiền đề phán đốn đặc tính  Định nghĩa: Tam đoạn luận với tiền đề phán đốn đặc tính suy luận diễn dịch gián tiếp có mệnh đề phán đốn đặc tính (A, E, I, O) Ví dụ: - Mọi số lẻ không số chia hết cho (E); - Có vài số 3, 5, số lẻ (I); - Vậy thì, vài số không số chia hết cho (O) 8/14/2018 II Diễn dịch 5.2.2 Diễn dịch gián tiếp – tam đoạn luận a) Tam đoạn luận với tiền đề phán đốn đặc tính  Cấu trúc: Mỗi tam đoạn luận gồm thuật ngữ (khái niệm) mệnh đề (phán đoán)  Ba thuật ngữ: tiểu từ (S); đại từ (P); trung từ (M) S P gọi thuật ngữ biên  Ba mệnh đề: đại tiền đề, tiểu tiền đề kết luận; chúng có liên hệ với thơng qua sở logic tam đoạn luận 8/14/2018 II Diễn dịch 5.2.2 Diễn dịch gián tiếp – tam đoạn luận a) Tam đoạn luận với tiền đề phán đốn đặc tính - Đại tiền đề: mệnh đề chứa P M; - Tiểu tiền đề: mệnh đề chứa S M; - Kết luận: mệnh đề có S ln làm chủ từ, P làm vị từ - S P diện lần hai tiền đề M có mặt hai tiền đề khơng có mặt kết luận 8/14/2018 II Diễn dịch 5.2.2 Diễn dịch gián tiếp – tam đoạn luận a) Tam đoạn luận với tiền đề phán đốn đặc tính - Trong ví dụ trên: - Trung từ M: Mọi số lẻ - Đại từ P: Số không chia hết cho - Tiểu từ S: vài số 3, 5, - Đại tiền đề: Mọi số lẻ không số chia hết cho - Tiểu tiền đề: Có vài số 3, 5, số lẻ - Kết luận: Vậy thì, vài số khơng số chia hết cho 8/14/2018 10 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đoán phức  Kiểu tam đoạn luận kéo theo (tam đoạn luận điều kiện):  Hình thức khẳng định: Có đại tiền đề phán đốn kéo theo, tiểu tiền đề kết luận tiền đề hậu đề đại tiền đề  Công thức:  p  q   p   q  Ví dụ: Nếu Anh nhà tư đích thực anh ln khao khát lợi nhuận; mà anh nhà tư đích thực; vậy, anh ln khao khát lợi nhuận 8/14/2018 32 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đoán phức  Kiểu tam đoạn luận kéo theo (tam đoạn luận điều kiện):  Hình thức phủ định: có đại tiền đề phán đốn kéo theo, tiểu tiền đề kết luận phủ định hậu đề phủ định tiền đề đại tiền đề  Công thức:  p  q   ~ q  ~ p  Ví dụ: Nếu Anh nhà tư đích thực anh ln khao khát lợi nhuận; mà không khao khát lợi nhuận khơng nhà tư đích thực 8/14/2018 33 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đốn phức  Kiểu tam đoạn luận lựa chọn: suy luận có đại tiền đề phán đốn lựa chọn, tiểu tiền đề kết luận phán đoán thành phần đại tiền đề  Hình thức khẳng định – phủ định: có đại tiền đề phán đoán lựa chọn gạt bỏ, tiểu tiền đề phán đoán khẳng định, kết luận phán đoán phủ định – thành phần đại tiền đề Công thức:  pq   p  ~ q 8/14/2018 34 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đoán phức  Kiểu tam đoạn luận lựa chọn: suy luận có đại tiền đề phán đoán lựa chọn, tiểu tiền đề kết luận phán đoán thành phần đại tiền đề  Hình thức khẳng định – phủ định: Ví dụ: Hoặc bạn ăn cam, bạn ăn chuối; mà bạn ăn chuối; bạn khơng ăn cam 8/14/2018 35 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đốn phức  Hình thức phủ định – khẳng định: Cơng thức:  pq   ~ p   q Ví dụ: Hoặc bạn ăn cam, bạn ăn chuối; mà bạn khơng ăn cam; bạn ăn chuối Ví dụ: Hơm chủ nhật thứ bảy; mà hôm chủ nhật hôm thứ bảy 8/14/2018 36 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đoán phức  Kiểu tam đoạn luận De Moorgan: Công thức:   a  b   c   ~ c    ~ a  ~ b  Ví dụ: Nếu biết tiếng Anh hay tiếng Pháp đọc thông tin đầy đủ vấn đề công nghệ, không đọc đầy đủ thông tin Như anh tiếng Anh tiếng Pháp 8/14/2018 37 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đốn phức  Kiểu tam đoạn luận De Moorgan: Công thức:   a  b   c   ~ c    ~ a ~ b  Ví dụ: Nếu đủ vốn kinh nghiệm kinh doanh doanh nhân Việt Nam khơng thua doanh nhân nước khác Thế dễ nhận thấy nhà kinh doanh thua nước Nên, họ thiếu vốn thiếu kinh nghiệm 8/14/2018 38 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đốn phức  Kiểu song quan luận:  Hình thức khẳng định:  p  q    r  s    p  r    q  s  Ví dụ: Nếu nhà triết học thừa nhận vật chất mang tính thứ ông ta nhà vật, nhà triết học thừa nhận tinh thần mang tính thứ ông ta nhà tâm Nhà triết học buộc phải thừa nhận vật chất tinh thần mang tính thứ Vậy, nhà triết học vật tâm 8/14/2018 39 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đốn phức b) Các kiểu tam đoạn luận có tiền đề phán đốn phức  Kiểu song quan luận:  Hình thức phủ định:  p  q    r  s    ~ q ~ s    ~ p ~ r  Ví dụ: Nếu tam giác ABC tam giác có ba cạnh nhau, ABC tam giác cân có hai cạnh Tam giác ABC khơng có ba cạnh khơng có hai cạnh ; vậy, ABC khơng phải tam giác tam giác cân 8/14/2018 40 II Diễn dịch 5.2.2.1 Tam đoạn luận có tiền đề phán đoán phức b) Các kiểu tam đoạn luận có tiền đề phán đốn phức  Tam đoạn luận có tiền đề phán đốn phức rút gọn: - Thông thường, người ta bỏ bớt tiền đề - Ví dụ: - Nó học giỏi; thưởng Đại tiền đề: Nếu học giỏi thưởng bị rút gọn 8/14/2018 41 II Diễn dịch 5.2.2.3 Cách xác định tính hợp logic lập luận suy luận - Bước 1: Chuyển câu thơng thường đoạn văn thành nhựng phán đốn viết chúng dạng kí hiệu - Bước 2: Chuyển liên từ công cụ ngôn ngữ khác biểu mối quan hệ câu thành liên từ logic thích hợp Viết lại đoạn vạn dạng kí hiệu - Bước 3: Áp dụng quy tắc logic bảng giá trị chân trị 8/14/2018 42 II Diễn dịch 5.2.2.3 Cách xác định tính hợp logic lập luận suy luận Ví dụ: Theo truyền thuyết, người đốt thư viện Alecxandre Omar suy luận sau: Nếu sách ngài với kinh Koran sách ngài thừa Nếu sách ngài khơng với kinh Koran sách ngài có hại Sách thừa có hại cần phải đốt bỏ Vậy sách ngài cần phải đốt bỏ 8/14/2018 43 II Diễn dịch 5.2.2.3 Cách xác định tính hợp logic lập luận suy luận Bước 1: - Sách ngài với kinh Koran: p - Sách ngài thừa: q - Sách ngài có hại: r - Sách ngài cần phải đốt: t Bước 2: Chuyển thành công thức Logic:  p  q    ~ p  r    q  r   t   t 8/14/2018 44 II Diễn dịch 5.2.2.3 Cách xác định tính hợp logic lập luận suy luận Bước 3: Nếu công thức vừa dẫn quy luật logic lập luận Omar đúng; cịn ngược lại suy luận Omar sai Ta lập bảng chân trị hay dùng công thức biến đổi đại số Boole để chứng minh điều 8/14/2018 45 CHƯƠNG THANK YOU 8/14/2018 46 ... liệu tham khảo Giáo trình chính:  Giáo trình Logic học, Trường Đại Học Kinh Tế - Tài Chính, Tp Hồ Chí Minh  Giảng viên: ThS Lương Xuân Vinh – Khoa Kinh Tế, email: vinhlx@uef.edu.vn 8/14/2018... Chương Đại cương logic học Chương Khái niệm Chương Phán đoán Chương Những quy luật tư logic Chương Suy luận Chương Giả thuyết, chứng minh, bác bỏ ngụy biện Chương Ôn tập, câu hỏi tập 8/14/2018 Tài. .. đoán phủ định) rút kết luận hợp logic Ví dụ: • Sinh viên UEF khơng học mơn sinh học • Bạn tơi khơng phải sinh viên UEF • Rõ ràng, rút kết luận bạn tơi có học mơn sinh học hay khơng chưa đủ sở 8/14/2018