- nguồn gốc
- Từ nguyên
- Giải trình
- Ví dụ
- Ví dụ đầu tiên
- Ví dụ thứ hai
- Ví dụ thứ ba
- Các biến thể và ví dụ
- Biến thể 1
- Ví dụ đầu tiên
- Ví dụ thứ hai
- Ví dụ thứ ba
- Biến thể 2
- Ví dụ đầu tiên
- Ví dụ thứ hai
- Ví dụ thứ ba
- Biến thể 3
- Ví dụ đầu tiên
- Ví dụ thứ hai
- Ví dụ thứ ba
- Biến thể 4
- Ví dụ đầu tiên
- Ví dụ thứ hai
- Ví dụ thứ ba
- Người giới thiệu
Các ponens modus ponendo là một loại lập luận logic, suy luận lý luận, thuộc hệ thống chính thức của quy tắc khấu trừ của logic mệnh đề nổi tiếng. Cấu trúc lập luận này là hướng dẫn ban đầu được truyền trong logic mệnh đề và có liên quan trực tiếp đến các đối số điều kiện.
Đối số modus ponendo ponens có thể được xem như là một chủ nghĩa hai chân, thay vì sử dụng thuật ngữ thứ ba đóng vai trò là một liên kết, thay vì sử dụng một câu điều kiện mà nó liên hệ thành tố tiền đề với thành tố hệ quả.
Aristotle, cha đẻ của logic triết học
Rời khỏi các quy ước, chúng ta có thể xem modus ponendo ponens như một thủ tục (modus) của các chỉ tiêu khấu trừ, bằng cách xác nhận (đưa) một tiền đề hoặc tham chiếu (một phần tử trước đó), quản lý để khẳng định (ponens) với một hậu 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 mệnh đề hoặc tiền đề. Nó tìm cách có thể suy luận qua những điều này một kết luận rằng, mặc dù được ngầm định và điều kiện hóa bên trong lập luận, đòi hỏi phải có một khẳng định kép - đối với thuật ngữ đứng trước nó và của chính nó - để được coi là một hệ quả.
nguồn gốc
Phương thức khẳng định này, như một phần của ứng dụng logic suy diễn, có nguồn gốc từ thời cổ đại. Nó xuất hiện từ bàn tay của nhà triết học Hy Lạp Aristotle de Estagira, từ thế kỷ thứ 4 trước Công nguyên. C.
Aristotle đề xuất với modus ponens - như nó cũng được gọi là - để có được một 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 một tiền đề. Trong quá trình này, tiền đề bị loại bỏ, chỉ để lại hậu quả.
Nhà tư tưởng Hy Lạp muốn đặt nền tảng của suy luận lôgic mô tả để giải thích và khái niệm hóa mọi 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 của anh ta với môi trường.
Từ nguyên
Modus ponendo ponens có nguồn gốc từ tiếng Latinh. Trong ngôn ngữ Tây Ban Nha, nghĩa của nó là: “một phương thức khẳng định (khẳng định), khẳng định (khẳng định)”, bởi vì, như đã nói ở trên, nó bao gồm hai yếu tố (một tiền đề và một hệ quả) khẳng định trong cấu trúc của nó.
Giải trình
Nói chung, modus ponendo ponens tương quan với hai mệnh đề: tiền đề điều hòa được gọi là "P" và hậu quả có điều kiện gọi là "Q".
Điều quan trọng là tiền đề 1 luôn có dạng điều kiện "if-then"; "if" là trước tiền đề và "sau đó" là trước hậu quả.
Công thức của nó 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 thi đỗ vào ngày mai, thì bạn phải học tập chăm chỉ."
Tiền đề 2: "Bạn muốn vượt qua kỳ thi vào ngày mai."
Kết luận: "Vì vậy, bạn phải học tập chăm chỉ."
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn muốn đến trường nhanh, thì bạn phải đi con đường đó."
Tiền đề 2: "Bạn muốn đến trường nhanh."
Kết luận: "Vì vậy, bạn phải đi con đường đó."
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn muốn ăn cá, sau đó bạn nên đi chợ mua sắm."
Tiền đề 2: "Bạn muốn ăn cá."
Kết luận: "Vì vậy, bạn phải đi mua ngoài chợ"
Các biến thể và ví dụ
Các ponendo ponens modus có thể có những biến thể nhỏ trong công thức của nó. 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 bên dưới.
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 với sự phủ định của "Q"
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn 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 cứ ăn theo cách đó."
Kết luận: "Do đó, bạn sẽ không đạt được cân nặng lý tưởng".
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn cứ ăn quá nhiều muối thì bạn sẽ không thể kiểm soát được bệnh tăng huyết áp của mình".
Tiền đề 2: "Bạn cứ ăn nhiều muối quá."
Kết luận: “Do đó, bạn sẽ không thể kiểm soát được bệnh tăng huyết áp”.
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn nhận thức được đường đi, thì bạn sẽ không bị lạc."
Tiền đề 2: "Bạn nhận thức được con đường."
Kết luận: "Do đó, bạn sẽ không bị lạc."
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 "^" đề cập đến kết hợp đồng tích "y", trong khi "R" đại diện cho một tiền đề khác được thêm vào để xác nhận "Q". Đó là, chúng tôi đang có sự hiện diện của một điều hòa kép.
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn về nhà và mang theo một ít bỏng ngô, sau đó chúng ta sẽ xem một bộ phim."
Tiền đề 2: "Bạn đến nhà và mang theo 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 trong tình trạng say xỉn và nhìn vào điện thoại di động của mình, thì bạn sẽ bị rơi."
Tiền đề 2: "Bạn lái xe trong tình trạng say xỉn 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: "Bạn 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 sự phủ định của "P".
Ví dụ đầu tiên
Tiền đề 1: "Nếu bạn không học đồng âm nguyên âm, thì bạn sẽ trượt bài kiểm tra ngôn ngữ học."
Tiền đề 2: "Bạn đã không học đồng âm nguyên âm."
Kết luận: "Vì vậy, bạn sẽ trượt bài kiểm tra ngôn ngữ học."
Ví dụ thứ hai
Tiền đề 1: "Nếu bạn không cho con vẹt của bạn ăn, thì nó sẽ chết."
Tiền đề 2: "Bạn không cho vẹt ă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: "Bạn 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 "^" đề cập đến kết hợp đồng biến "và", trong khi "R" đại diện cho hệ quả thứ hai trong mệnh đề; do đó, tiền đề sẽ 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ẹ bạn, thì cha bạn sẽ mang lại cho bạn một cây đàn guitar và dây của nó."
Tiền đề 2: "Bạn đã tốt với mẹ của bạn."
Kết luận: "Vì vậy, cha của bạn sẽ mang lại cho bạn một cây đàn guitar và dây của nó."
Ví dụ thứ hai
Tiền đề 1: "Đang tập bơi thì nâng cao sức đề kháng và giảm cân."
Tiền đề 2: "Bạn đang bơi."
Kết luận: “Do đó, bạn sẽ nâng cao được sức đề kháng và giảm cân”.
Ví dụ thứ ba
Tiền đề 1: "Nếu bạn đã đọc bài viết này trên Lifeder, nghĩa là bạn đã tìm hiểu và chuẩn bị kỹ càng hơn."
Tiền đề 2: "Bạn đã đọc bài báo này trên Lifeder."
Kết luận: "Do đó, bạn đã học và chuẩn bị kỹ càng hơn."
Modus ponens đại diện cho quy tắc đầu tiên của logic mệnh đề. Đó là một khái niệm, bắt đầu từ những tiền đề đơn giản để hiểu, mở ra sự hiểu biết đến lý luận sâu sắc hơ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, nó không thể bị nhầm lẫn với luật logic; nó chỉ đơn giản là một phương pháp tạo ra bằng chứng suy luận.
Bằng cách loại bỏ một câu khỏi phần kết luận, modus ponens tránh được sự ngưng kết và nối các phần tử khi thực hiện các phép suy luận. Đối với chất lượng này 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 để có kiến thức đầy đủ về lôgic học Aristotle.
Người giới thiệu
- Ferrater Mora, J. (1969). Từ điển Triết học. Buenos Aires: Hispanoteca. Đã khôi phục từ: hispanoteca.eu.
- Mô hình đặt ngựa con. (S. f.). Tây Ban Nha: Webnode. Được khôi phục từ: law-de-inferencia5.webnode.es.
- Mô hình đặt ngựa con. (S. f.). (n / a): Wikipedia. Khôi phục từ: wikipedia.org.
- Quy tắc suy luận và tương đương. (S. f.). Mexico: UPAV. Được khôi phục từ: Universalidadupav.edu.mx.
- Mazón, R. (2015). Đưa ngựa. Mexico: Siêu Mileto. Được khôi phục từ: supermileto.blogspot.com.