Modus meletakkan ponens

Aristotle, bapa logik falsafah

Apa itu Modus meletakkan ponens?

Dia Modus meletakkan ponens Ini adalah sejenis hujah logik, kesimpulan yang beralasan, yang dimiliki oleh sistem formal peraturan potongan logik proposisi yang diketahui. Struktur argumentatif ini adalah garis panduan awal yang dihantar dalam logik proposisi dan secara langsung berkaitan dengan hujah bersyarat.

Hujah Modus meletakkan ponens Ia dapat dilihat sebagai syllogisme dua, yang bukannya menggunakan istilah ketiga yang berfungsi sebagai pautan, sebaliknya menggunakan ayat bersyarat yang menghubungkan latar belakang unsur ke unsur akibatnya.

Meninggalkan konvensyen, kita dapat melihat Modus meletakkan ponens sebagai prosedur (modus) dari piawaian potongan, yang melalui pernyataan (meletakkan) dari antecedent atau rujukan (elemen terdahulu), berjaya menegaskan (Ponens) kepada akibat atau kesimpulan (elemen kemudian).

Perumusan yang munasabah dari dua cadangan atau premis. Ia bertujuan untuk dapat menyimpulkan kesimpulan ini bahawa, walaupun tersirat dan dikondisikan dalam hujah, memerlukan pernyataan berganda - kedua -dua istilah yang mendahului dirinya - untuk dapat dianggap sebagai akibatnya.

Asal

Mod afirmatif ini, sebagai sebahagian daripada penerapan logik deduktif, mempunyai asal -usulnya pada zaman purba. Muncul dari tangan ahli falsafah Yunani Aristotle of Estagira, dari abad keempat hingga. C.

Aristotle dibesarkan dengan Modus ponens -kerana ia juga dipanggil- untuk mendapatkan kesimpulan yang beralasan melalui pengesahan kedua-dua preseden dan akibatnya di premis. Dalam proses ini, antecedent dihapuskan, hanya akibatnya.

Pemikir Hellenic ingin meletakkan asas untuk penalaran logik deskriptif untuk menjelaskan dan mengkonseptualisasikan semua fenomena yang dekat dengan kewujudan manusia, produk interaksi dengan alam sekitar.

Boleh melayani anda: Pemikiran mitos: asal, ciri, contoh

Etimologi

Dia Modus meletakkan ponens mempunyai akarnya dalam bahasa Latin. Dalam bahasa Sepanyol maknanya adalah: "Kaedah yang mengesahkan (menegaskan), mengatakan (menegaskan)", kerana, seperti yang dinyatakan di atas, ia terdiri daripada dua elemen (yang terdahulu dan satu akibatnya) afirmatif dalam penstrukturannya.

Penjelasan

Secara umum, Modus meletakkan ponens Korelasi Dua Cadangan: Antecedent ke atas yang dipanggil "P" dan akibatnya dikondisikan yang dipanggil "Q".

Adalah penting bahawa premis 1 selalu membentangkan bentuk pengkondisian "Si-Even"; "Ya" sebelum ini terdahulu, dan "kemudian" adalah sebelum akibatnya.

Perumusannya adalah seperti berikut:

• Premis 1: Ya "P" Kemudian "Q".
• Premis 2: "P".
• Kesimpulan: "Q".

Contoh

Contoh pertama

• Premis 1: "Sekiranya anda ingin menghabiskan peperiksaan esok, maka anda mesti banyak belajar".
• Premis 2: "Anda mahu menghabiskan peperiksaan esok".
• Muktamad: "Oleh itu, anda mesti banyak belajar".

Contoh kedua

• Premis 1: "Sekiranya anda ingin bersekolah dengan cepat, maka anda mesti mengambil jalan itu".
• Premis 2: "Anda mahu bersekolah dengan cepat".
• Muktamad: "Oleh itu, anda mesti mengambil jalan itu".

Contoh ketiga

• Premis 1: "Sekiranya anda ingin makan ikan, maka anda mesti pergi membeli di pasaran".
• Premis 2: "Anda mahu makan ikan".
• Muktamad: "Oleh itu, anda mesti pergi membeli di pasaran".

Variasi dan contoh

Dia Modus meletakkan ponens boleh membentangkan varian kecil dalam perumusannya. Empat varian yang paling biasa akan dibentangkan di bawah dengan contoh masing -masing.

Varian 1

• Premis 1: Ya "P" Kemudian "¬q".
• Premis 2: "P".
• Kesimpulan: "¬q".

Dalam kes ini simbol "¬" menyerupai penafian "q".

Contoh pertama

• Premis 1: "Sekiranya anda terus makan dengan cara itu, maka anda tidak akan mencapai berat badan ideal anda".
• Premis 2: "Anda terus makan dengan cara itu".
• Kesimpulan: "Oleh itu, anda tidak akan mencapai berat ideal anda".

Dapat melayani anda: 13 contoh masalah etika di dunia

Contoh kedua

• Premis 1: "Jika anda terus makan garam begitu banyak, maka anda tidak akan dapat mengawal hipertensi".
• Premis 2: "Anda terus makan begitu banyak garam".
• Kesimpulan: "Oleh itu, anda tidak akan dapat mengawal hipertensi".

Contoh ketiga

• Premis 1: "Sekiranya anda sedang menunggu jalan, maka anda tidak akan terlepas".
• Premis 2: "Anda sedang menunggu jalan".
• Kesimpulan: "Oleh itu, anda tidak akan terlepas".

Varian 2

• Premis 1: ya "p"^"r" kemudian "q".
• Premis 2: "P"^.
• Kesimpulan: "Q".

Dalam kes ini simbol "^" merujuk kepada konjungsi copulative "y", sementara "r" datang untuk mewakili satu lagi antecedent yang ditambah untuk mengesahkan "q". Iaitu, kita berada di hadapan penyaman ganda.

Contoh pertama

• Premis 1: "Sekiranya anda pulang dan bawa popcorn, maka kami akan menonton filem".
• Premis 2: "Anda pulang dan membawa popcorn".
• Kesimpulan: "Oleh itu, kita akan menonton filem".

Contoh kedua

• Premis 1: "Jika anda memandu dan melihat telefon bimbit, maka anda akan bertembung".
• Premis 2: "Anda memandu mabuk dan menonton telefon bimbit".
• Kesimpulan: "Oleh itu, anda akan bertembung".

Contoh ketiga

• Premis 1: "Sekiranya anda minum kopi dan makan coklat, maka anda menjaga hati anda".
• Premis 2: "Anda mengambil kopi dan makan coklat".
• Kesimpulan: "Oleh itu, anda menjaga hati anda".

Varian 3

• Premis 1: Ya "¬p" Kemudian "Q"
• Premis 2: "¬P"
• Kesimpulan: "Q"

Dalam kes ini simbol "¬" menyerupai penafian "P".

Contoh pertama

• Premis 1: "Jika anda tidak mempelajari kesesuaian suara, maka anda akan menghina peperiksaan linguistik".
• Premis 2: "Anda tidak mempelajari kesesuaian suara".
• Kesimpulan: "Oleh itu, anda akan gagal peperiksaan linguistik".

Contoh kedua

• Premis 1: "Sekiranya anda tidak memberi makanan kepada burung nuri anda, maka mati".
• Premis 2: "Jangan berikan makanan kepada burung nuri anda".
• Kesimpulan: "Oleh itu, ia akan mati".

Boleh melayani anda: tanggungjawab etika

Contoh ketiga

• Premis 1: "Jika anda tidak minum air, maka anda akan dehidrasi".
• Premis 2: "Jangan minum air".
• Kesimpulan: "Oleh itu, anda akan dehidrasi".

Varian 4

• Premis 1: ya "p" kemudian "q"^"r"
• Premis 2: "P"
• Kesimpulan: "q"^"r".

Dalam kes ini, simbol "^" merujuk kepada konjungsi copulative "y", manakala "r" mewakili kedua -dua akibatnya dalam proposisi; Oleh itu, antecedent akan mengesahkan dua akibat pada masa yang sama.

Contoh pertama

• Premis 1: "Jika anda baik dengan ibu anda, maka ayah anda akan membawa anda gitar dan tali dia".
• Premis 2: "Anda baik dengan ibu anda".
• Kesimpulan: "Oleh itu, ayahmu akan membawa anda gitar dan rentetannya".

Contoh kedua

• Premis 1: "Sekiranya anda berlatih berenang, maka anda akan meningkatkan rintangan fizikal anda dan menurunkan berat badan".
• Premis 2: "Anda berlatih berenang".
• Kesimpulan: "Oleh itu, anda akan meningkatkan rintangan fizikal anda dan menurunkan berat badan".

Contoh ketiga

• Premis 1: "Jika anda telah membaca artikel ini di Lofede, maka anda telah belajar dan anda lebih bersedia".
• Premis 2: "Anda telah membaca artikel ini di Lofede".
• Kesimpulan: "Oleh itu, anda telah belajar dan anda lebih bersedia".

Modus ponens, Jalan menuju logik

Dia Modus ponens mewakili peraturan pertama logik proposisi. Ia adalah konsep yang, berdasarkan premis pemahaman yang mudah, membuka pemahaman yang mendalam.

Walaupun menjadi salah satu sumber yang paling banyak digunakan dalam dunia logik, ia tidak boleh dikelirukan dengan undang -undang logik; Ini hanyalah kaedah untuk menghuraikan bukti deduktif.

Dengan menindas hukuman kesimpulan, Modus ponens Elakkan aglutinasi dan penyambungan unsur -unsur yang luas semasa menyediakan potongan. Untuk kualiti itu, ia juga disebut "Peraturan Pemisahan".

Dia Modus meletakkan ponens Ia adalah sumber yang sangat diperlukan untuk pengetahuan penuh logik Aristotelia.