- origini
- Etimologia
- Spiegazione
- Esempi
- Primo esempio
- Secondo esempio
- Terzo esempio
- Varianti ed esempi
- Variante 1
- Primo esempio
- Secondo esempio
- Terzo esempio
- Variante 2
- Primo esempio
- Secondo esempio
- Terzo esempio
- Variante 3
- Primo esempio
- Secondo esempio
- Terzo esempio
- Variante 4
- Primo esempio
- Secondo esempio
- Terzo esempio
- Riferimenti
Il modus ponendo ponens è un tipo di argomento logico, di inferenza ragionata, appartenente al sistema formale di regole di deduzione della ben nota logica proposizionale. Questa struttura argomentativa è la linea guida iniziale che viene trasmessa nella logica proposizionale ed è direttamente correlata agli argomenti condizionali.
L'argomento modus ponendo ponens può essere visto come un sillogismo a due gambe, che invece di usare un terzo termine che funge da collegamento, utilizza piuttosto una frase condizionale con la quale mette in relazione l'elemento antecedente con l'elemento conseguente.
Aristotele, padre della logica filosofica
Lasciando i convenzionalismi, possiamo vedere il modus ponendo ponens come una procedura (modus) delle regole di deduzione, che attraverso l'affermazione di un antecedente o di un riferimento (un elemento precedente), riesce ad affermare (ponens) a un conseguente o conclusione (un elemento successivo).
Questa ragionevole formulazione parte da due proposizioni o premesse. Cerca di poter dedurre attraverso queste una conclusione che, pur essendo implicita e condizionata all'interno dell'argomento, richiede una doppia affermazione - sia del termine che la precede che di se stessa - per essere considerata conseguente.
origini
Questa modalità affermativa, come parte dell'applicazione della logica deduttiva, ha le sue origini nell'antichità. Apparve dalla mano del filosofo greco Aristotele de Estagira, del IV secolo a.C. C.
Aristotele proponeva con il modus ponens -come viene anche chiamato- di ottenere una conclusione ragionata attraverso la convalida sia di un precedente sia di un conseguente in una premessa. In questo processo, l'antecedente viene eliminato, lasciando solo il conseguente.
Il pensatore ellenico ha voluto porre le basi del ragionamento logico descrittivo per spiegare e concettualizzare tutti i fenomeni vicini all'esistenza dell'uomo, prodotto della sua interazione con l'ambiente.
Etimologia
Il modus ponendo ponens ha le sue radici in latino. Nella lingua spagnola il suo significato è: "un metodo che affermando (asserendo), affermando (asserendo)", perché, come precedentemente affermato, si compone di due elementi (un antecedente e un conseguente) affermativo nella sua strutturazione.
Spiegazione
In termini generali, il modus ponendo ponens mette in correlazione due proposizioni: un antecedente condizionante chiamato "P" e un conseguente condizionato chiamato "Q".
È importante che la premessa 1 abbia sempre la forma condizionante "se-allora"; il "se" è precedente all'antecedente, e il "allora" è prima del conseguente.
La sua formulazione è la seguente:
Premessa 1: se "P" poi "Q".
Premessa 2: "P".
Conclusione: "Q".
Esempi
Primo esempio
Premessa 1: "Se vuoi superare l'esame domani, devi studiare molto".
Premessa 2: "Vuoi superare l'esame domani".
Conclusione: "Pertanto, devi studiare duramente".
Secondo esempio
Premessa 1: "Se vuoi andare a scuola velocemente, devi prendere quella strada".
Premessa 2: "Vuoi andare a scuola velocemente".
Conclusione: "Quindi, devi prendere quella strada".
Terzo esempio
Premessa 1: "Se vuoi mangiare pesce, dovresti andare a fare la spesa al mercato".
Premessa 2: "Vuoi mangiare pesce".
Conclusione: "Pertanto, devi andare a comprare al mercato"
Varianti ed esempi
Il modus ponendo ponens può presentare piccole variazioni nella sua formulazione. Di seguito verranno presentate le quattro varianti più comuni con i rispettivi esempi.
Variante 1
Premessa 1: se "P" poi "¬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: "Continui a mangiare in questo modo".
Conclusione: "Pertanto, non raggiungerai il tuo peso ideale".
Secondo esempio
Premessa 1: "Se continui a mangiare tanto sale, non sarai in grado di controllare la tua ipertensione".
Premessa 2: "Continui a mangiare tanto sale".
Conclusione: "Pertanto, non sarai in grado di controllare l'ipertensione".
Terzo esempio
Premessa 1: "Se sei consapevole della strada, non ti perderai".
Premessa 2: "Sei consapevole della strada".
Conclusione: "Pertanto, non ti perderai".
Variante 2
Premessa 1: se "P" ^ "R", "Q"
Premessa 2: "P" ^
Conclusione: "Q"
In questo caso il simbolo "^" si riferisce alla congiunzione copulativa "e", mentre la "R" arriva a rappresentare un altro antecedente che viene aggiunto per convalidare "Q". Cioè siamo in presenza di un doppio balsamo.
Primo esempio
Premessa 1: "Se torni a casa e porti dei popcorn, allora vedremo un film".
Premessa 2: "Torni a casa e porti i popcorn".
Conclusione: "Pertanto, vedremo un film".
Secondo esempio
Premessa 1: "Se guidi ubriaco e guardi il tuo cellulare, andrai in crash".
Premessa 2: "Guidi ubriaco e guardi il cellulare".
Conclusione: "Pertanto, andrai in crash".
Terzo esempio
Premessa 1: "Se bevi caffè e mangi cioccolato, allora ti prendi cura del tuo cuore".
Premessa 2: "Bevi caffè e mangi cioccolato".
Conclusione: "Pertanto, ti stai prendendo cura del tuo cuore".
Variante 3
Premessa 1: se "¬P", "Q"
Premessa 2: "¬P"
Conclusione: "Q"
In questo caso il simbolo "¬" assomiglia alla negazione di "P".
Primo esempio
Premessa 1: "Se non hai studiato le concomitanze vocaliche, fallirai il test di linguistica".
Premessa 2: "Non hai studiato le concomitanze vocaliche".
Conclusione: "Pertanto, non supererai il test di linguistica".
Secondo esempio
Premessa 1: "Se non dai da mangiare al tuo pappagallo, morirà".
Premessa 2: "Non dai cibo ai tuoi pappagalli".
Conclusione: "Pertanto, morirà".
Terzo esempio
Premessa 1: "Se non bevi acqua, diventerai disidratato".
Premessa 2: "Non bevi acqua".
Conclusione: "Pertanto, diventerai disidratato".
Variante 4
Premessa 1: se "P" poi "Q" ^ "R"
Premessa 2: "P"
Conclusione: "Q" ^ "R"
In questo caso il simbolo "^" si riferisce 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, tuo padre ti porterà una chitarra e le sue corde".
Premessa 2: "Sei stato buono 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 nuotando".
Conclusione: "Pertanto, migliorerai la tua resistenza fisica e perderai peso".
Terzo esempio
Premessa 1: "Se hai letto questo articolo su Lifeder, hai imparato e sei più preparato".
Premessa 2: "Hai letto questo articolo su Lifeder."
Conclusione: "Pertanto, hai imparato e sei più preparato".
Il modus ponens rappresenta la prima regola della logica proposizionale. È un concetto che, partendo da semplici premesse da comprendere, apre la comprensione a ragionamenti più profondi.
Nonostante sia una delle risorse più utilizzate nel mondo della logica, non può essere confusa con una legge logica; è semplicemente un metodo per produrre prove deduttive.
Rimuovendo una frase dalle conclusioni, il modus ponens evita l'agglutinazione e la concatenazione estese di elementi durante le deduzioni. Per questa qualità è anche chiamata "regola di separazione".
Il modus ponendo ponens è una risorsa indispensabile per una piena conoscenza della logica aristotelica.
Riferimenti
- Ferrater Mora, J. (1969). Dizionario di filosofia. Buenos Aires: Hispanoteca. Estratto da: hispanoteca.eu.
- Modus mettendo i pony. (S. f.). Spagna: Webnode. Estratto da: law-de-inferencia5.webnode.es.
- Modus mettendo i pony. (S. f.). (n / a): Wikipedia. Estratto da: wikipedia.org.
- Regole di inferenza ed equivalenza. (S. f.). Messico: UPAV. Recupero da: universidadupav.edu.mx.
- Mazón, R. (2015). Mettere i pony. Messico: Super Mileto. Estratto da: supermileto.blogspot.com.