Modus menempatkan ponens

Aristoteles, bapak logika filosofis

Apakah yang Modus menempatkan ponens?

Dia Modus menempatkan ponens Ini adalah jenis argumen logis, inferensi yang beralasan, milik sistem formal aturan pengurangan logika proposisional yang diketahui. Struktur argumentatif ini adalah pedoman awal yang ditransmisikan dalam logika proposisional dan secara langsung terkait dengan argumen bersyarat.

Argumen Modus menempatkan ponens Itu dapat dilihat sebagai silogisme dua -legged, yang alih -alih menggunakan istilah ketiga yang berfungsi sebagai tautan, bukan menggunakan kalimat bersyarat yang menghubungkan latar belakang elemen dengan elemen konsekuensi.

Meninggalkan konvensi, kita bisa melihat Modus menempatkan ponens Sebagai prosedur (modus) dari standar pengurangan, yang melalui pernyataan (menempatkan) dari anteseden atau referensi (elemen sebelumnya), berhasil menegaskan (Ponens) ke konsekuensi atau kesimpulan (elemen selanjutnya).

Perumusan dua proposisi atau tempat yang wajar ini. Ia berusaha untuk dapat menyimpulkan melalui kesimpulan ini bahwa, meskipun tersirat dan dikondisikan dalam argumen, membutuhkan pernyataan ganda - baik istilah yang mendahului dirinya sendiri - untuk dapat dianggap sebagai akibatnya.

asal

Mode afirmatif ini, sebagai bagian dari penerapan logika deduktif, memiliki asal -usulnya di zaman kuno. Muncul dari tangan filsuf Yunani Aristoteles dari Estagira, dari abad keempat ke. C.

Aristoteles dibesarkan dengan Modus ponens -karena juga dipanggil- untuk mendapatkan kesimpulan yang beralasan melalui validasi preseden dan akibatnya dalam suatu premis. Dalam proses ini anteseden dihilangkan, hanya menjadi akibatnya.

Pemikir Hellenic ingin meletakkan dasar untuk penalaran logis deskriptif untuk menjelaskan dan mengkonseptualisasikan semua fenomena yang dekat dengan keberadaan manusia, produk interaksinya dengan lingkungan.

Dapat melayani Anda: pemikiran mitos: asal, karakteristik, contoh

Etimologi

Dia Modus menempatkan ponens berakar pada bahasa Latin. Dalam bahasa Spanyol, maknanya adalah: "Metode yang menegaskan (menegaskan), mengatakan (menegaskan)", karena, seperti yang dinyatakan di atas, terdiri dari dua elemen (anteseden dan satu akibatnya) afirmatif dalam penataannya.

Penjelasan

Secara umum, Modus menempatkan ponens Korelasi Dua Proposisi: Anteseden Ke atas yang disebut "P" dan akibatnya dikondisikan yang disebut "Q".

Penting bahwa premis 1 selalu menyajikan bentuk pengkondisian "Si-Even"; "Ya" adalah sebelum anteseden, dan "lalu" sebelum konsekuensinya.

Formulasinya adalah sebagai berikut:

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

Contoh

Contoh pertama

• Premis 1: "Jika Anda ingin menghabiskan ujian besok, maka Anda harus belajar banyak".
• Premis 2: "Anda ingin menghabiskan ujian besok".
• Konklusif: "Oleh karena itu, Anda harus belajar banyak".

Contoh kedua

• Premis 1: "Jika Anda ingin pergi ke sekolah dengan cepat, maka Anda harus mengambil jalan itu".
• Premis 2: "Anda ingin pergi ke sekolah dengan cepat".
• Konklusif: "Oleh karena itu, Anda harus mengambil jalan itu".

Contoh ketiga

• Premis 1: "Jika Anda ingin makan ikan, maka Anda harus pergi membeli di pasar".
• Premis 2: "Anda ingin makan ikan".
• Konklusif: "Oleh karena itu, Anda harus pergi membeli di pasar".

Varian dan contoh

Dia Modus menempatkan ponens dapat menghadirkan varian kecil dalam formulasinya. Empat varian yang paling umum akan disajikan di bawah ini dengan contoh masing -masing.

Varian 1

• Premis 1: Ya "P" Lalu "¬Q".
• Premis 2: "P".
• Kesimpulan: "¬Q".

Dalam hal ini simbol "¬" menyerupai penolakan "Q".

Contoh pertama

• Premis 1: "Jika Anda terus makan seperti itu, maka Anda tidak akan mencapai berat badan ideal Anda".
• Premis 2: "Anda terus makan seperti itu".
• Kesimpulan: "Karena itu, Anda tidak akan mencapai berat badan ideal Anda".

Dapat melayani Anda: 13 contoh masalah etika di dunia

Contoh kedua

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

Contoh ketiga

• Premis 1: "Jika Anda menunggu jalan, maka Anda tidak akan ketinggalan".
• Premis 2: "Anda sedang menunggu jalan".
• Kesimpulan: "Karena itu, Anda tidak akan ketinggalan".

Varian 2

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

Dalam hal ini simbol "^" menyinggung konjungsi kopulatif "y", sedangkan "r" datang untuk mewakili anteseden lain yang ditambahkan untuk memvalidasi "q". Yaitu, kita berada di hadapan pengkondisian ganda.

Contoh pertama

• Premis 1: "Jika Anda pulang dan membawa popcorn, maka kita akan menonton film".
• Premis 2: "Anda pulang dan membawa popcorn".
• Kesimpulan: "Karena itu, kita akan menonton film".

Contoh kedua

• Premis 1: "Jika Anda mengemudi dan melihat ponsel, maka Anda akan bertabrakan".
• Premis 2: "Anda mengemudi mabuk dan menonton ponsel".
• Kesimpulan: "Karena itu, Anda akan bertabrakan".

Contoh ketiga

• Premis 1: "Jika Anda minum kopi dan makan cokelat, maka Anda menjaga hatimu".
• Premis 2: "Anda minum kopi dan makan cokelat".
• Kesimpulan: "Karena itu, Anda menjaga hatimu".

Varian 3

• Premis 1: ya "¬p" lalu "q"
• Premis 2: "¬p"
• Kesimpulan: "Q"

Dalam hal ini simbol "¬" menyerupai penolakan "p".

Contoh pertama

• Premis 1: "Jika Anda tidak mempelajari konkurensi vokal, maka Anda akan mencabut ujian linguistik".
• Premis 2: "Anda tidak mempelajari kesesuaian vokal".
• Kesimpulan: "Karena itu, Anda akan gagal dalam ujian linguistik".

Contoh kedua

• Premis 1: "Jika Anda tidak memberikan makanan kepada burung beo Anda, maka mati".
• Premis 2: "Jangan berikan makanan untuk burung beo Anda".
• Kesimpulan: "Karena itu, itu akan mati".

Dapat melayani Anda: tanggung jawab etis

Contoh ketiga

• Premis 1: "Jika Anda tidak minum air, maka Anda akan mengalami dehidrasi".
• Premis 2: "Jangan minum air".
• Kesimpulan: "Karena itu, Anda akan mengalami dehidrasi".

Varian 4

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

Dalam hal ini, simbol "^" mengacu pada konjungsi kopulatif "y", sedangkan "r" mewakili konsekuensi kedua dalam proposisi; Oleh karena itu, anteseden akan menegaskan dua konsekuensi pada saat yang sama.

Contoh pertama

• Premis 1: "Jika Anda baik dengan ibumu, maka ayahmu akan membawakanmu gitar dan senarnya".
• Premis 2: "Kamu baik -baik saja dengan ibumu".
• Kesimpulan: "Karena itu, ayahmu akan membawakanmu gitar dan senar".

Contoh kedua

• Premis 1: "Jika Anda berlatih berenang, maka Anda akan meningkatkan ketahanan fisik Anda dan menurunkan berat badan".
• Premis 2: "Anda berlatih berenang".
• Kesimpulan: "Karena itu, Anda akan meningkatkan ketahanan fisik Anda dan menurunkan berat badan".

Contoh ketiga

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

Modus ponens, Jalan menuju logika

Dia Modus ponens mewakili aturan pertama logika proposisional. Ini adalah konsep yang, berdasarkan premis pemahaman yang sederhana, membuka pemahaman yang paling dalam.

Meskipun menjadi salah satu sumber daya yang paling banyak digunakan di dunia logika, itu tidak dapat disamakan dengan hukum logis; Ini hanyalah metode untuk elaborasi bukti deduktif.

Dengan menekan kalimat kesimpulan, Modus ponens Hindari aglutinasi dan gabungan elemen yang luas saat menyiapkan pengurangan. Untuk kualitas itu juga disebut "aturan pemisahan".

Dia Modus menempatkan ponens Ini adalah sumber yang sangat diperlukan untuk pengetahuan penuh tentang logika Aristotelian.