Modus Ponone Ponens Spiegazione ed esempi
ilmodus 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'argomentomodus ponendo ponens può essere visto come un sillogismo a due gambe, che invece di usare un terzo termine come collegamento, usa piuttosto una frase condizionale con la quale collega l'elemento antecedente all'elemento conseguente.
Lasciando i convenzionalismi, possiamo vedere il modus ponendo ponens come una procedura (modus) delle regole di detrazione, che mediante l'asserzione (ponendo) di un antecedente o riferimento (un elemento precedente), riesce ad affermare (ponens) a una conseguenza o conclusione (un elemento successivo).
Questa formulazione ragionevole parte da due proposizioni o premesse. Cerca di dedurre attraverso questi una conclusione che, pur essendo implicita e condizionata all'interno della discussione, richiede una doppia affermazione - sia del termine che la precede sia di se stessa - per poter essere considerata una conseguenza.
indice
- 1 Origini
- 1.1 Etimologia
- 2 Spiegazione
- 3 esempi
- 3.1 Primo esempio
- 3.2 Secondo esempio
- 3.3 Terzo esempio
- 4 Varianti ed esempi
- 4.1 Variante 1
- 4.2 Variante 2
- 4.3 Variante 3
- 4.4 Variante 4
- 5 Modus ponens, un percorso verso la logica
- 6 riferimenti
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, il quarto secolo aC. C.
Aristotele cresciuto con il modus ponens - come viene anche chiamato - per 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. Nella lingua spagnola 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 relazione due proposizioni: un condizionale antecedente al quale si chiama "P" e un conseguente 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 duro."
Premessa 2: "Vuoi passare l'esame domani".
Concludendo: "Pertanto, devi studiare molto".
Secondo esempio
Premessa 1: "Se vuoi andare a scuola velocemente, 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, dovresti fare shopping nel 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 ti perderai."
Variante 2
Premessa 1: se "P" ^ "R" quindi "Q"
Premessa 2: "P" ^
Conclusione: "Q"
In questo caso il simbolo "^" allude 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: "Quindi 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 hai studiato 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 "^" si riferisce alla congiunzione copulativa "e", mentre la "R" rappresenta un secondo conseguente nella proposizione; pertanto, 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 perderai 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 comprendere, 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.
Cancellando un giudizio dalle conclusioni, il modus ponens evita l'agglutinazione e l'estesa concatenazione di elementi quando si effettuano detrazioni. Per quella qualità è anche chiamata "regola di separazione".
il modus ponendo ponens è una risorsa indispensabile per la piena conoscenza della logica aristotelica.
riferimenti
- Ferrater Mora, J. (1969). Dizionario della filosofia. Buenos Aires: Hispanoteca. Estratto da: hispanoteca.eu.
- Modus mettendo ponens. (S. f.). Spagna: Webnode. Estratto da: ley-de-inferencia5.webnode.es.
- Modus mettendo ponens. (S. f.). (n / a): Wikipedia. Estratto da: wikipedia.org.
- Regole di inferenza e equivalenza. (S. f.). Messico: UPAV. Estratto da: universidadupav.edu.mx.
- Mazón, R. (2015). Mettendo ponens. Messico: Super Mileto. Estratto da: supermileto.blogspot.com.