Modus Ponone Ponens: Spiegazione ed esempi

Il modus ponendo ponens è un tipo di argomento logico, di inferenza ragionata, appartenente al sistema formale delle regole di deduzione della ben nota logica proposizionale. Questa struttura argomentativa è il modello iniziale che viene trasmesso nella logica proposizionale ed è direttamente correlato agli argomenti condizionali.

L'argomento modus ponendo ponens può essere visto come un sillogismo a due gambe, che invece di usare un terzo termine per fungere da collegamento, usa piuttosto una frase condizionale con cui si relaziona all'elemento antecedente con l'elemento conseguente.

Lasciando i convenzionalismi, possiamo vedere il modus mettere ponens come una procedura ( modus ) delle regole di deduzione, che mediante l'asserzione ( put ) di un precedente o riferimento (un elemento precedente), riesce ad asserire ( ponens ) un conseguente o conclusione (un elemento successivo).

Questa formulazione ragionevole parte da due proposizioni o premesse. Si cerca di dedurre attraverso questi una conclusione che, pur essendo implicita e condizionata all'interno dell'argomento, richiede una doppia affermazione - sia del termine che la precede sia di se stessa - per poter essere considerata una conseguenza.

inizio

Questa modalità affermativa, come parte dell'applicazione della logica deduttiva, ha le sue origini nell'antichità. Apparso per mano del filosofo greco Aristotele di Estagira, IV secolo aC. C.

Aristotele propose con il modus ponens - come viene anche chiamato - ottenere una conclusione ragionata attraverso la convalida sia di un precedente sia di una conseguenza in una premessa. In questo processo l'antecedente viene eliminato, lasciando solo il conseguente.

Il pensatore greco voleva porre le basi del ragionamento logico descrittivo per spiegare e concettualizzare tutti i fenomeni vicini all'esistenza dell'uomo, prodotto della loro interazione con l'ambiente.

etimologia

Il modus ponendo ponens ha le sue radici in latino. In spagnolo il suo significato è: "un metodo che afferma (affermando), afferma (afferma)", perché, come detto sopra, è composto da due elementi (un precedente e un conseguente) affermativo nella sua strutturazione.

spiegazione

In termini generali, il modus ponendo ponens mette in correlazione due proposizioni: un condizionale antecedente al quale si chiama "P" e un condizionale condizionato che riceve il nome di "Q".

È importante che la premessa 1 presenti sempre la forma condizionata "se-allora"; il "se" precede l'antecedente, e "allora" precede il conseguente.

La sua formulazione è la seguente:

Premessa 1: se "P" quindi "Q".

Premessa 2: "P".

Conclusione: "Q".

Esempi

Primo esempio

Premessa 1: "Se vuoi passare l'esame domani, devi studiare molto".

Premessa 2: "Vuoi passare l'esame domani".

Concludendo: "Pertanto, devi studiare molto".

Secondo esempio

Premessa 1: "Se vuoi andare a scuola velocemente, allora devi seguire quella strada".

Premessa 2: "Vuoi andare a scuola velocemente."

Concludendo: "Pertanto, devi intraprendere questa strada".

Terzo esempio

Premessa 1: "Se vuoi mangiare pesce, allora dovresti comprare sul mercato."

Premessa 2: "Vuoi mangiare pesce".

Concludendo: "Pertanto, devi andare a comprare sul mercato"

Varianti ed esempi

Il modus ponendo ponens può presentare piccole varianti nella sua formulazione. Successivamente, verranno presentate le quattro varianti più comuni con i rispettivi esempi.

Variante 1

Premessa 1: se "P" quindi "Q"

Premessa 2: "P"

Conclusione: "Q"

In questo caso il simbolo "" assomiglia alla negazione di "Q"

Primo esempio

Premessa 1: "Se continui a mangiare in questo modo, non raggiungerai il tuo peso ideale."

Premessa 2: "Stai ancora mangiando così."

Conclusione: "Pertanto, non raggiungerai il tuo peso ideale."

Secondo esempio

Premessa 1: "Se continui a mangiare così tanto sale, allora non sarai in grado di controllare l'ipertensione".

Premessa 2: "Stai ancora mangiando così tanto sale".

Conclusione: "Pertanto, non sarai in grado di controllare l'ipertensione".

Terzo esempio

Premessa 1: "Se stai guardando la strada, non ti perderai".

Premessa 2: "Stai guardando la strada".

Conclusione: "Pertanto, non perderai".

Variante 2

Premessa 1: se "P" ^ "R" quindi "Q"

Premessa 2: "P" ^

Conclusione: "Q"

In questo caso il simbolo "^" si riferisce alla congiunzione copulativa "e", mentre la "R" viene a rappresentare un altro antecedente che viene aggiunto per convalidare "Q". Cioè, siamo in presenza di una doppia condizione.

Primo esempio

Premessa 1: "Se torni a casa e porti i popcorn, vedremo un film".

Premessa 2: "torni a casa e porti i popcorn".

Conclusione: "Pertanto, vedremo un film".

Secondo esempio

Premessa 1: "Se si guida ubriaco e si vede il cellulare, si bloccherà".

Premessa 2: "Guida ubriaco e vedi il cellulare".

Conclusione: "Pertanto, si arresta".

Terzo esempio

Premessa 1: "Se bevi caffè e mangi cioccolato, allora ti prendi cura del tuo cuore".

Premessa 2: "Bevi caffè e mangia cioccolato."

Conclusione: "Perciò ti prendi cura del tuo cuore".

Variante 3

Premessa 1: se "P" quindi "Q"

Premessa 2: "P"

Conclusione: "Q"

In questo caso il simbolo "" assomiglia alla negazione di "P".

Primo esempio

Premessa 1: "Se non studi le concomitanze vocaliche, allora fallirai l'esame linguistico".

Premessa 2: "Non hai studiato le concomitanze vocaliche".

Conclusione: "Pertanto, fallirai l'esame di linguistica".

Secondo esempio

Premessa 1: "Se non dai da mangiare al pappagallo, allora morirà".

Premessa 2: "Non dai da mangiare al pappagallo".

Conclusione: "Pertanto, morirà".

Terzo esempio

Premessa 1: "Se non bevi acqua, allora diventerai disidratato".

Premessa 2: "Non bere acqua".

Conclusione: "Pertanto, diventerai disidratato".

Variante 4

Premessa 1: se "P", quindi "Q" ^ "R"

Premessa 2: "P"

Conclusione: "Q" ^ "R"

In questo caso il simbolo "^" allude alla congiunzione copulativa "e", mentre la "R" rappresenta un secondo conseguente nella proposizione; quindi, un antecedente affermerà due conseguenti allo stesso tempo.

Primo esempio

Premessa 1: "Se sei stato buono con tua madre, allora tuo padre ti porterà una chitarra e le sue corde".

Premessa 2: "Sei stata brava con tua madre".

Conclusione: "Quindi, tuo padre ti porterà una chitarra e le sue corde".

Secondo esempio

Premessa 1: "Se pratichi il nuoto, migliorerai la tua resistenza fisica e perderai peso."

Premessa 2: "Stai praticando il nuoto."

Conclusione: "Pertanto, migliorerai la tua resistenza fisica e perdi peso."

Terzo esempio

Premessa 1: "Se hai letto questo articolo su Lifeder, allora hai imparato e sei più preparato".

Premessa 2: "Hai letto questo articolo su Lifeder".

Conclusione: "Quindi hai imparato e sei più preparato".

Modus ponens, un percorso verso la logica

Il modus ponens rappresenta la prima regola della logica proposizionale. È un concetto che, partendo da semplici premesse per capire, apre la comprensione a un ragionamento più profondo.

Nonostante sia una delle risorse più utilizzate nel mondo della logica, non può essere confuso con una legge logica; è semplicemente un metodo per l'elaborazione di prove deduttive.

Quando si sopprime una frase delle conclusioni, il modus ponens evita l'agglutinazione e l'estesa concatenazione degli elementi quando si effettuano le detrazioni. Per quella qualità è anche chiamata "regola di separazione".

Il modus ponendo ponens è una risorsa indispensabile per la piena conoscenza della logica aristotelica.