Bài giảng Logoc học đại cương - Chương 6: Chứng minh và bác bỏ

Nội dung chính: Định nghĩa về phép chứng minh, phép

bác bỏ. Cấu tạo của phép chứng minh và cấu tạo của

phép bác bỏ. Các phương pháp chứng minh và các

phương pháp bác bỏ. Các quy tắc cho luận đề, luận cứ,

luận chứng của phép chứng minh và bác bỏ.

18

5

Mục đích: Giúp sinh viên:

- Hiểu và trình bày được thế nào là phép chứng minh, thế

nào là phép bác bỏ.

- Phân tích được cấu trúc của một phép chứng minh gồm

những thành phần nào?

- Trình bày được nội dung của phương pháp chứng minh

trực tiếp và phương pháp chứng minh gián tiếp.

- Trình bày chính xác nội dung của các phép bác bỏ và nắm

được phép bác bỏ nào là hiệu quả nhất.

- Trình bày được các quy tắc dùng trong chứng minh và

bác bỏ. Phát hiện lỗi chứng minh bác bỏ trong một số

trường hợp của bản thân và bạn bè.

- Vận dụng kiến thức lý thuyết để làm bài tập cuối chương

và các bài tập khác.

18

6

1.1. Định nghĩa

Chứng minh là thao tác logic dùng để lập luận tính chân

thực của một luận điểm hay lý thuyết nào đó nhờ đã

biết tính chân thực của những luận điểm hay lý thuyết

khác mà nó có mối liên hệ logic với luận điểm và lý

thuyết ấy.

18

7

- Luận đề là phán đoán hay luận điểm mà tính chân thực

của nó cần phải chứng minh. Luận đề đặt ra nhiệm vụ

cụ thể cho chứng minh, trả lời câu hỏi “chứng minh cái

gì?”

- Luận cứ là một hay những phán đoán, nguyên lý, mệnh

đề đã được thừa nhận về tính chân thực và làm căn cứ

để chứng minh luận đề, luận cứ trả lời câu hỏi: dựa vào

đâu để chứng minh? hoặc chứng minh bằng cái gì?

18

8

Luận cứ:

+ Các dữ kiện thực tế là các tri thức có được bằng quan

sát, miêu tả hiện thực, đây là các sự thật hiển nhiên nên

có giá trị chứng minh rất lớn.

+ Các tiên đề, định đề là những phán đoán thông qua hoạt

động thực tiễn của con người tích luỹ qua sự lặp lại

nhiều lần đã khái quát lên và được thừa nhận chân thực

không đòi hỏi chứng minh

+ Các định nghĩa, khái niệm khoa học, định luật... là các

luận cứ vững chắc trong chứng minh.

18

9

- Luận chứng (lập luận) là mối liên hệ logic giữa luận cứ

và luận đề, nó bao gồm một chuỗi liên tiếp các phép

suy luận khác nhau được liên kết lại theo một trật tự

logic nhất định các sự kiện trong hiện thực khách quan,

nó trả lời câu hỏi: chứng minh như thế nào? Chứng

minh bằng cách nào? Cách chứng minh đó có hợp logic

không?

19

0

1.3.1. Chứng minh trực tiếp

Chứng minh trực tiếp là phép chứng minh trong đó tính

chân thực của luận đề được trực tiếp rút ra từ tính chân

thực của các luận cứ.

 Có thể biểu diễn phép chứng minh trực tiếp theo sơ đồ

sau:

x, y, z  (lập luận 1) m, n, p

m, n, p  (lập luận 2) k, l, s

k, l, s  (lập luận 3) A

19

1

1.3.2. Chứng minh gián tiếp

Chứng minh gián tiếp là phép chứng minh trong đó tính

chân thực của luận đề được rút ra trên cơ sở chứng

minh tính giả dối của phản luận đề. Phản luận đề là

phán đoán mâu thuẫn với luận đề, nếu luận đề được

biểu thị bằng a thì phản luận đề làa.

- Chứng minh phản chứng: là phép chứng minh đi từ

thừa nhận giả định tính chân thực của phản luận đề rồi

thông qua lập luận trên cơ sở liên kết các luận cứ quy

về sự mâu thuẫn dẫn đến bác bỏ phản luận đề (chứng

minh tính giả dối của phản luận đề) và công nhận luận

đề. Ưu điểm lớn nhất của chứng minh phản chứng là

khó bị chệch hướng.

19

2

- Chứng minh phân liệt (phương pháp loại trừ) là chứng

minh gián tiếp trong đó lập luận về tính chân thực của

luận đề được thực hiện bằng cách xác lập tính giả dối

của tất cả các thành phần của phán đoán phân liệt trừ

một thành phần là luận đề.

 Sơ đồ của phép chứng minh phân liệt:

a  b  c  d

b c d

a

19

3

2.1. Định nghĩa

 Bác bỏ là thao tác logic nhằm xác lập tính giả dối hay

không có căn cứ của việc khẳng định tính chân thực

của luận đề đã được nêu ra.

 Bác bỏ gồm 3 bộ phận: luận đề, luận cứ và lập luận.

19

4

- Bác bỏ luận đề là cách chứng minh tính giả dối hay tính

không xác định của luận đề, đây là cách bác bỏ đúng

đắn nhất, hiệu quả nhất vì nó trực tiếp loại bỏ luận đề.

+ Bác bỏ luận đề thông qua dữ kiện, sự kiện, chứng cứ

thực tế

+ Bác bỏ luận đề thông qua chứng minh tính giả dối của

hệ quả rút ra từ luận đề. Suy luận theo MT: ((a  b) 

(~ b))  ~ a.

+ Bác bỏ luận đề thông qua chứng minh phản luận đề

chân thực.

+ Bác bỏ luận đề thông qua vạch ra tính không chính xác

của luận đề.

19

5

- Bác bỏ luận cứ: là phủ định hoặc hoài nghi một cách có

cơ sở phép chứng minh luận đề nào đó trên cơ sở vạch

ra tính không xác định, tính chưa được chứng minh,

tính mâu thuẫn hay không đầy đủ của luận cứ.

+ Vạch ra tính giả dối của luận cứ

+ Vạch ra mâu thuẫn nội tại giữa các luận cứ

+ Vạch ra sự thiếu căn cứ của luận cứ hay tính chưa được

chứng minh của luận cứ

+ Vạch ra sự thiếu hụt, không đầy đủ của luận cứ dẫn đến

tính thiếu chặt chẽ của phép chứng minh.

+ Vạch ra tính không rõ ràng, không xác định của luận cứ

+ Vạch ra sự không ăn nhập của luận cứ vào điều kiện cụ

thể mà luận đề được khẳng định.

19

6

- Bác bỏ lập luận: là phương pháp vạch ra tính thiếu

logic, tính không đúng đắn của lập luận khi sử dụng

chứng minh một luận đề nào đó.

-> Để bác bỏ lập luận cần phải nhanh chóng xác định đối

phương chứng minh luận đề bằng dạng lập luận nào,

trên cơ sở đó phát hiện các lỗi logic.

19

7

3.1. Các quy tắc luận đề

- Luận đề phải phát biểu rõ ràng chính xác về nội dung và

hình thức, không được mập mờ không rõ nghĩa.

- Luận đề phải được giữ nguyên trong suốt quá trình lập

luận.

19

8

3.2. Các quy tắc luận cứ

- Luận cứ sử dụng trong chứng minh và bác bỏ phải chân

thực và không mâu thuẫn nhau.

- Luận cứ phải là cơ sở đầy đủ để chứng minh luận đề.

- Luận cứ phải được chứng minh độc lập với luận đề.

19

9

3.3. Các quy tắc lập luận

- Luận chứng phải tuân theo mọi quy tắc và quy luật của

suy luận.

- Luận chứng phải đảm bảo tính hệ thống.

20

0

Bài giảng Logoc học đại cương - Chương 6: Chứng minh và bác bỏ - Trần Thị Hà Nghĩa