Modus ponens és működési Tollens- - logika
Modus ponens és működési Tollens-
„Modus” logikai nevezzük egyfajta általános formában az érvelés. Tovább fog szerepelni négy egymáshoz közel modus ismert középkori logika.
Modus ponens, néha hipotetikus szillogizmus, ez lehetővé teszi, hogy a jóváhagyást a feltételes állítások és jóváhagyása alapítása megy az állítás a következménye ennek nyilatkozata:
Itt, a nyilatkozat "ha A, akkor B" és "A" - küld, mondván: "B" - a következtetést. A vízszintes vonal jelöli a szó „ezért”. Tovább bejegyzés:
Ha A, akkor B. A. Ezért, V.
Ennek köszönhetően a modus küldését „ha A, akkor B”, a „A” csomag, úgy tűnik, hogy külön megkötésére „B”. Ezen az alapon a mód néha a „szabály elkülönülés.” Például:
Ha egy személy cukorbetegség, ő beteg.
Az emberek, a cukorbetegség.
Az érvelés szerint a szabály elkülönülés az alapja a valódi nyilatkozatok feltételes állítások jóváhagyására, annak következményeit. Ez logikailag helyes mozgás a gondolat néha zavaros egy hasonló, de logikailag hibás mozgását a következménye, hogy a valódi feltételes állítás, hogy az alapító nyilatkozatot. Például, a megfelelő következtetés:
Ha tallium - fém, ez vezeti az elektromosságot.
Tallium vezeti az elektromosságot.
De külsőleg hasonlít rá következtetés:
Ha az elektrolit a fém, akkor meg hogy vezeti az elektromos áramot.
Az elektrolit vezeti az elektromosságot.
Logikátlan. Azzal érvelt, hogy az utóbbi rendszer, lehetséges, hogy jöjjön a valódi helyiségek hamis következtetést. Against összekeveri a jogot arra, hogy elszakadjanak ez hibás érvelés rendszer figyelmeztet tanácsot a bázis megerősíteni a validációs vizsgálat megengedett vitatkozni, a visszaigazoló a vizsgálat, hogy érvényesítse a bázis - nincs.
Modus Tollens- a következő érvelés:
Ha A, akkor B; B helytelen
Itt, a nyilatkozat „ha A, akkor B” és a „rossz B” a feltevést, és a nyilatkozatot: „A nem igaz” - a következtetést. Tovább bejegyzés:
Ha A, akkor B. Nem-In. Ennek megfelelően, nem-A.
Ezzel a kör jóváhagyásáról és tagadása feltételes állítások hatásai az átmenet, amely tagadja a bázis. Például: „Ha egy hélium - fém, ez elektromosan vezető. Hélium neelektroprovoden. Következésképpen, a hélium - nem fém. "
A program keretében a manipulált modus Tollens- meghatározásának folyamata a hamis az az elmélet, vagy hipotézis eredményeként empirikus ellenőrzést. Az elmélet tesztelt T bemutatta empirikus állítás A, azaz meghatározott feltételes utasítást „ha T, akkor A”. Empirikus módszerek ismerete (megfigyelés, mérés vagy kísérlet) A javaslat összehasonlítjuk a valós helyzetet. Kiderült, hogy egy hamis és igaz ajánlat nem-A. A helyiségek „ha T, A” és „nem-A” kell „nem-T”, vagyis a hamis az az elmélet T.
A modus Tollens- gyakran keverik külsőleg hasonló érvelés vele:
Ha A, akkor B; Egy rossz
Az utóbbi következtetés a nyilatkozat feltételes állítás és annak tagadásával alap mozog a tagadása annak következményei, hogy logikailag hibás lépés. Az ok, amiért ezt a rendszert eredhet igaz hamis következtetést parcellák. Például:
Ha agyag fém lenne alakítható. De agyag - nem fém.
Nem igaz, hogy az agyag műanyag.
Minden fémek képlékeny, és ha az agyag volt fém, ez is lenne egy műanyag. De agyag nem fém. De ez természetesen nem jelenti azt, hogy az agyag nem műanyag. Emellett fémek is vannak más műanyagból és agyag köztük.
Ellen keverés modus Tollens- ezzel hibás rendszer érvelés figyelmeztet tanácsot megfosztja a feltételes utasítást arra következtetni, hogy a vizsgálatot azon megtagadása az alapja ennek a kijelentésnek lehet, és az alaptól a tagadás tagadása a vizsgálat - nincs.