Modus Ponone Ponens: Objaśnienie i przykłady

Modus ponendo ponens jest rodzajem logicznego argumentu, rozumowanego wnioskowania, należącego do formalnego systemu reguł dedukcji znanej logiki zdaniowej. Ta argumentacyjna struktura jest początkowym wzorem, który jest przekazywany w logice zdaniowej i jest bezpośrednio związany z argumentami warunkowymi.

Argument modus ponendo ponens można postrzegać jako sylogizm dwunożny, który zamiast używać trzeciego terminu, aby służyć jako link, używa raczej zdania warunkowego, z którym odnosi się do elementu poprzedzającego z następnym elementem.

Pozostawiając konwencjonalizm, widzimy, jak modus stawia ponens jako procedurę ( modus ) reguł dedukcji, że za pomocą twierdzenia ( umieszczenia ) precedensu lub odniesienia (poprzedni element) udaje się potwierdzić ( ponens ) konsekwencję lub wniosek (późniejszy element).

Ta rozsądna formuła zaczyna się od dwóch propozycji lub przesłanek. Stara się wydedukować na ich podstawie wniosek, który pomimo bycia ukrytym i uwarunkowanym wewnątrz argumentu, wymaga podwójnej afirmacji - zarówno terminu, który go poprzedza, jak i samego siebie - aby można było uznać go za konsekwencję.

Początki

Ten tryb afirmatywny, jako część zastosowania logiki dedukcyjnej, ma swoje początki w starożytności. Pojawił się ręką greckiego filozofa Arystotelesa z Estagiry, IV w pne. C.

Arystoteles zaproponował z modus ponens - ponieważ jest on również nazywany - aby uzyskać uzasadniony wniosek poprzez zatwierdzenie zarówno precedensu, jak i konsekwencji w przesłance. W tym procesie poprzednik jest eliminowany, pozostawiając tylko następnik.

Grecki myśliciel chciał położyć podstawy opisowego rozumowania logicznego w celu wyjaśnienia i konceptualizacji wszystkich zjawisk bliskich istnieniu człowieka, produktu ich interakcji z otoczeniem.

Etymologia

Modus ponendo ponens ma swoje korzenie w języku łacińskim. W języku hiszpańskim jego znaczenie to: „metoda, która potwierdza (afirmuje), potwierdza (zapewnia)”, ponieważ, jak stwierdzono powyżej, składa się z dwóch elementów (precedensu i konsekwentnego) afirmatywnego w jego strukturze.

Wyjaśnienie

Ogólnie rzecz biorąc, modus ponendo ponens koreluje dwa twierdzenia: poprzednik warunkujący, który nazywa się „P” i warunkowy warunkowy, który otrzymuje nazwę „Q”.

Ważne jest, aby przesłanka 1 zawsze przedstawiała formę warunkującą „jeśli-wtedy”; „if” idzie przed poprzednikiem, a „wtedy” idzie przed następcą.

Jego sformułowanie jest następujące:

Przesłanka 1: Jeśli „P” to „Q”.

Przesłanka 2: „P”.

Wniosek: „Q”.

Przykłady

Pierwszy przykład

Przesłanka 1: „Jeśli chcesz zdać egzamin jutro, musisz się dużo uczyć”.

Przesłanka 2: „Chcesz zdać egzamin jutro”.

Podsumowując: „Dlatego musisz się dużo uczyć”.

Drugi przykład

Przesłanka 1: „Jeśli chcesz szybko dostać się do szkoły, musisz iść tą ścieżką”.

Przesłanka 2: „Chcesz szybko dojść do szkoły”.

Podsumowując: „Dlatego musisz iść tą ścieżką”.

Trzeci przykład

Przesłanka 1: „Jeśli chcesz jeść ryby, powinieneś iść kupić na rynku”.

Przesłanka 2: „Chcesz jeść ryby”.

Podsumowując: „Dlatego musisz iść kupić na rynku”

Warianty i przykłady

Modus ponendo ponens może przedstawiać małe warianty w swoim składzie. Następnie zostaną przedstawione cztery najczęściej spotykane warianty z ich odpowiednimi przykładami.

Wariant 1

Przesłanka 1: Jeśli „P” to „Q”

Przesłanka 2: „P”

Wniosek: „Q”

W tym przypadku symbol „” przypomina odmowę „Q”

Pierwszy przykład

Przesłanka 1: „Jeśli będziesz jadł w ten sposób, nie osiągniesz swojej idealnej wagi”.

Przesłanka 2: „Wciąż tak jesz”.

Wniosek: „Dlatego nie osiągniesz idealnej wagi”.

Drugi przykład

Przesłanka 1: „Jeśli będziesz jadł tak dużo soli, nie będziesz w stanie kontrolować nadciśnienia”.

Przesłanka 2: „Nadal jesz tyle soli”.

Wniosek: „Dlatego nie będziesz w stanie kontrolować nadciśnienia”.

Trzeci przykład

Przesłanka 1: „Jeśli patrzysz na drogę, nie zgubisz się”.

Przesłanka 2: „Obserwujesz drogę”.

Wniosek: „Dlatego nie stracisz”.

Wariant 2

Przesłanka 1: Jeśli „P” ^ „R” to „Q”

Przesłanka 2: „P” ^

Wniosek: „Q”

W tym przypadku symbol „^” odnosi się do spójnika kopulacyjnego „i”, podczas gdy „R” reprezentuje inny poprzednik, który jest dodawany do sprawdzenia poprawności „Q”. Oznacza to, że jesteśmy w obecności podwójnego warunku.

Pierwszy przykład

Przesłanka 1: „Jeśli wrócisz do domu i przyniesiesz popcorn, zobaczymy film”.

Przesłanka 2: „Wracasz do domu i przynosisz popcorn”.

Wniosek: „Dlatego zobaczymy film”.

Drugi przykład

Przesłanka 1: „Jeśli pojedziesz pijany i zobaczysz telefon komórkowy, to się rozbijesz”.

Przesłanka 2: „Jedziesz pijany i widzisz telefon komórkowy”.

Wniosek: „Dlatego upadniesz”.

Trzeci przykład

Przesłanka 1: „Jeśli pijesz kawę i jesz czekoladę, dbasz o swoje serce”.

Przesłanka 2: „Pij kawę i jedz czekoladę”.

Wniosek: „Dlatego dbasz o swoje serce”.

Wariant 3

Przesłanka 1: Jeśli „P” to „Q”

Przesłanka 2: „P”

Wniosek: „Q”

W tym przypadku symbol „” przypomina negację „P”.

Pierwszy przykład

Przesłanka 1: „Jeśli nie studiowałeś równań samogłoskowych, to nie zdasz egzaminu lingwistycznego”.

Przesłanka 2: „Nie studiowałeś równań samogłosek”.

Wniosek: „Dlatego nie zdasz egzaminu z lingwistyki”.

Drugi przykład

Przesłanka 1: „Jeśli nie podasz jedzenia papudze, umrze”.

Przesłanka 2: „Nie dajesz jedzenia papudze”.

Wniosek: „Dlatego umrze”.

Trzeci przykład

Przesłanka 1: „Jeśli nie pijesz wody, staniesz się odwodniony”.

Przesłanka 2: „Nie pij wody”.

Wniosek: „Dlatego staniesz się odwodniony”.

Wariant 4

Przesłanka 1: Jeśli „P” to „Q” ^ „R”

Przesłanka 2: „P”

Wniosek: „P” ^ „R”

W tym przypadku symbol „^” odnosi się do kopulatywnej koniunkcji „i”, podczas gdy „R” reprezentuje drugi wynik w twierdzeniu; dlatego poprzednik potwierdzi jednocześnie dwa następniki.

Pierwszy przykład

Przesłanka 1: „Jeśli byłeś dobry dla swojej matki, wtedy twój ojciec przyniesie ci gitarę i sznurki”.

Przesłanka 2: „Byłeś dobry ze swoją matką”.

Wniosek: „Dlatego twój ojciec przyniesie ci gitarę i jej struny”.

Drugi przykład

Przesłanka 1: „Jeśli ćwiczysz pływanie, poprawisz swoją wytrzymałość fizyczną i schudniesz”.

Przesłanka 2: „Ćwiczysz pływanie”.

Wniosek: „Dlatego poprawisz swoją wytrzymałość fizyczną i schudniesz”.

Trzeci przykład

Przesłanka 1: „Jeśli przeczytałeś ten artykuł w Lifederze, to nauczyłeś się i jesteś bardziej przygotowany”.

Przesłanka 2: „Przeczytałeś ten artykuł w Lifederze”.

Wniosek: „Dlatego nauczyłeś się i jesteś bardziej przygotowany”.

Modus ponens, ścieżka do logiki

Modus ponens reprezentuje pierwszą zasadę logiki zdaniowej. Jest to koncepcja, która, zaczynając od prostych przesłanek do zrozumienia, otwiera głębsze rozumowanie.

Pomimo tego, że jest jednym z najczęściej używanych zasobów w świecie logiki, nie można go mylić z prawem logicznym; jest to po prostu metoda opracowywania dowodów dedukcyjnych.

Podczas tłumienia zdania wniosków modus ponens unika aglutynacji i rozległego połączenia elementów podczas dokonywania dedukcji. Dla tej jakości nazywany jest także „regułą separacji”.

Modus ponendo ponens jest niezbędnym źródłem pełnej wiedzy o logice Arystotelesa.