Modus Ponone Ponens: Giải thích và ví dụ
Modus ponendo ponens là một loại lập luận logic, suy luận hợp lý, thuộc hệ thống chính thức của các quy tắc suy luận của logic mệnh đề nổi tiếng. Cấu trúc lập luận này là mẫu ban đầu được truyền trong logic mệnh đề và liên quan trực tiếp đến các đối số có điều kiện.
Đối số pusens modus ponendo có thể được xem như là một tam đoạn luận hai chân, thay vì sử dụng một thuật ngữ thứ ba để phục vụ như một liên kết, thay vì sử dụng một câu có điều kiện liên quan đến yếu tố tiền đề với yếu tố hậu quả.
Từ bỏ các quy tắc thông thường, chúng ta có thể thấy phương thức đặt ponens là một thủ tục ( phương thức ) của các quy tắc khấu trừ, bằng cách khẳng định ( đặt ) một tiền lệ hoặc tham chiếu (một yếu tố trước đó), quản lý để khẳng định ( ponens ) một kết quả hoặc kết luận (một yếu tố sau).
Công thức hợp lý này bắt đầu từ hai đề xuất hoặc tiền đề. Nó tìm cách suy luận thông qua những kết luận này, mặc dù được ngầm định và có điều kiện trong cuộc tranh luận, đòi hỏi phải có một sự khẳng định kép - bởi vì thuật ngữ đi trước nó và của chính nó - để có thể được coi là hậu quả.
Nguồn gốc
Chế độ khẳng định này, như là một phần của ứng dụng logic suy diễn, có nguồn gốc từ thời cổ đại. Xuất hiện dưới bàn tay của triết gia Hy Lạp Aristotle của Estagira, thế kỷ thứ 4 trước Công nguyên. C.
Aristotle đề xuất với modus ponens - cũng được gọi là - để có được kết luận hợp lý thông qua việc xác nhận cả tiền lệ và hậu quả trong tiền đề. Trong quá trình này, tiền lệ được loại bỏ, chỉ để lại hậu quả.
Nhà tư tưởng Hy Lạp muốn đặt nền móng cho lý luận logic mô tả để giải thích và khái niệm hóa tất cả các hiện tượng gần với sự tồn tại của con người, sản phẩm của sự tương tác với môi trường.
Từ nguyên
Modus ponendo ponens có nguồn gốc từ tiếng Latin. Trong ngôn ngữ Tây Ban Nha, ý nghĩa của nó là: "một phương pháp khẳng định (khẳng định), khẳng định (khẳng định)", bởi vì, như đã nêu ở trên, nó bao gồm hai yếu tố (một tiền lệ và một hệ quả) khẳng định trong cấu trúc của nó.
Giải thích
Nói chung, modus ponendo ponens tương quan với hai mệnh đề: một tiền đề điều hòa được gọi là "P" và một điều kiện có điều kiện nhận được tên của "Q".
Điều quan trọng là tiền đề 1 luôn thể hiện dạng điều hòa "nếu-thì"; "nếu" đi trước tiền đề và "sau đó" đi trước hậu quả.
Công thức của nó là như sau:
Tiền đề 1: Nếu "P" thì "Q".
Tiền đề 2: "P".
Kết luận: "Q".
Ví dụ
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn muốn vượt qua kỳ thi vào ngày mai, thì bạn phải học rất nhiều."
Tiền đề 2: "Bạn muốn vượt qua kỳ thi vào ngày mai".
Kết luận: "Do đó, bạn phải học rất nhiều."
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn muốn đến trường nhanh chóng, thì bạn phải đi theo con đường đó."
Tiền đề 2: "Bạn muốn đến trường nhanh chóng."
Kết luận: "Do đó, bạn phải đi theo con đường đó."
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn muốn ăn cá, thì bạn nên đi mua ở chợ".
Tiền đề 2: "Bạn muốn ăn cá."
Kết luận: "Do đó, bạn phải đi mua ngoài chợ"
Các biến thể và ví dụ
Các ponens modus ponendo có thể trình bày các biến thể nhỏ trong công thức của nó. Tiếp theo, bốn biến thể phổ biến nhất với các ví dụ tương ứng của chúng sẽ được trình bày.
Biến thể 1
Tiền đề 1: Nếu "P" thì "Q"
Tiền đề 2: "P"
Kết luận: "Q"
Trong trường hợp này, ký hiệu "" giống như từ chối "Q"
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn tiếp tục ăn theo cách đó, thì bạn sẽ không đạt được cân nặng lý tưởng."
Tiền đề 2: "Bạn vẫn ăn như vậy."
Kết luận: "Do đó, bạn sẽ không đạt được cân nặng lý tưởng của mình."
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn tiếp tục ăn quá nhiều muối, thì bạn sẽ không thể kiểm soát được bệnh cao huyết áp."
Tiền đề 2: "Bạn vẫn đang ăn quá nhiều muối."
Kết luận: "Do đó, bạn sẽ không thể kiểm soát tăng huyết áp."
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn đang xem đường, thì bạn sẽ không bị lạc."
Tiền đề 2: "Bạn đang xem đường."
Kết luận: "Do đó, bạn sẽ không mất".
Biến thể 2
Tiền đề 1: Nếu "P" ^ "R" thì "Q"
Tiền đề 2: "P" ^
Kết luận: "Q"
Trong trường hợp này, ký hiệu "^" dùng để chỉ tổ hợp tích lũy "và", trong khi "R" đại diện cho một tiền đề khác được thêm vào để xác thực "Q". Đó là, chúng tôi đang có sự hiện diện của một điều kiện kép.
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn về nhà và mang bỏng ngô, thì chúng ta sẽ xem một bộ phim."
Tiền đề 2: "Bạn về nhà và mang bỏng ngô."
Kết luận: "Do đó, chúng ta sẽ xem một bộ phim."
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn lái xe say rượu và nhìn thấy điện thoại di động, thì bạn sẽ gặp nạn".
Tiền đề 2: "Bạn lái xe say rượu và xem điện thoại di động".
Kết luận: "Do đó, bạn sẽ sụp đổ".
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn uống cà phê và ăn sô cô la, thì bạn đang chăm sóc trái tim của mình".
Tiền đề 2: "Uống cà phê và ăn sô cô la."
Kết luận: "Do đó, bạn đang chăm sóc trái tim của bạn".
Biến thể 3
Tiền đề 1: Nếu "P" thì "Q"
Tiền đề 2: "P"
Kết luận: "Q"
Trong trường hợp này, ký hiệu "" giống với phủ định của "P".
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn không học các nguyên âm đồng âm, thì bạn sẽ trượt kỳ thi ngôn ngữ học".
Tiền đề 2: "Bạn đã không nghiên cứu các nguyên âm đồng quy".
Kết luận: "Do đó, bạn sẽ trượt kỳ thi ngôn ngữ học".
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn không đưa thức ăn cho chú vẹt của mình thì nó sẽ chết".
Tiền đề 2: "Bạn không đưa thức ăn cho chú vẹt của bạn".
Kết luận: "Do đó, anh ta sẽ chết."
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn không uống nước, thì bạn sẽ bị mất nước."
Tiền đề 2: "Không uống nước."
Kết luận: "Do đó, bạn sẽ bị mất nước."
Biến thể 4
Tiền đề 1: Nếu "P" thì "Q" ^ "R"
Tiền đề 2: "P"
Kết luận: "Q" ^ "R"
Trong trường hợp này, ký hiệu "^" ám chỉ kết hợp tích lũy "và", trong khi "R" đại diện cho hệ quả thứ hai trong mệnh đề; do đó, một tiền lệ sẽ được xác nhận hai hệ quả cùng một lúc.
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn tốt với mẹ của bạn, thì bố bạn sẽ mang cho bạn một cây đàn guitar và dây đàn của ông ấy".
Tiền đề 2: "Bạn đã tốt với mẹ của bạn."
Kết luận: "Do đó, cha của bạn sẽ mang cho bạn một cây đàn guitar và dây của nó".
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn đang tập bơi, thì bạn sẽ cải thiện sức bền thể chất và giảm cân."
Tiền đề 2: "Bạn đang tập bơi."
Kết luận: "Do đó, bạn sẽ cải thiện sức bền thể chất và giảm cân."
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn đã đọc bài viết này trong Lifeder, thì bạn đã học và bạn đã chuẩn bị nhiều hơn".
Tiền đề 2: "Bạn đã đọc bài viết này trong Lifeder."
Kết luận: "Do đó, bạn đã học và bạn đã chuẩn bị nhiều hơn".
Modus ponens, một con đường dẫn đến logic
Các modon ponens đại diện cho quy tắc đầu tiên của logic mệnh đề. Đó là một khái niệm mà, bắt đầu từ những tiền đề đơn giản để hiểu, mở ra sự hiểu biết sâu sắc hơn lý luận.
Mặc dù là một trong những tài nguyên được sử dụng nhiều nhất trong thế giới logic, nhưng nó không thể bị nhầm lẫn với một định luật logic; nó chỉ đơn giản là một phương pháp để xây dựng bằng chứng suy diễn.
Khi loại bỏ một câu kết luận, modus ponens tránh sự kết tụ và kết hợp rộng rãi các yếu tố khi đưa ra các khoản khấu trừ. Đối với chất lượng đó, nó còn được gọi là "quy tắc phân tách".
Modus ponendo ponens là một nguồn tài nguyên không thể thiếu cho kiến thức đầy đủ về logic Aristoteles.
