Egyszerű kategorikus szillogizmus

Reakcióvázlat: Vce M jelentése P - fő előfeltétele

M jelentése S - kisebb kiküldő

Fogalmak, része a szillogizmus, az úgynevezett a feltételeket a szillogizmus: P - a nagy távon ez a következtetés az állítmány; $ - kisebb távon a következtetéseket a témában; M- középtávon kötelező helyiségek alany és állítmány és hiányzik a következtetést.

Speciális szabályok számok.

Ábra I. A nagy feltevést kell lennie összesen kevesebb - igenlő.

2. ábra: A leggyakoribb feltevést, mint az egyik a helyszínen, valamint a negatív következtetést.

3. ábra igenlő kisebb feltevést és megkötése - magán.

A 4. ábra az egyetemes igenlő következtetéseket.

I. ábra: AAA, EAE, A11. E1O

2. ábra: AEE, AOS, EAE E1O.

3. ábra; AA1, EAO. 1A1, Inc., A11, E1O.

4. ábra: AA1, AEE, 1A1, EAO E1O.

I. Minden szillogizmus kell csak három szempontból (S, F, M). Megszegése jár hiba - „téves négy szempontból.”

3. Középtávú kell elosztani legalább az egyik parcellák.

3. A kifejezés eloszlik a következtetést, akkor és csak akkor, ha van elosztva a csomagolásban (különben nem lenne szempontjából a következtetésre többet mond, mint szempontjából a csomagokat).

1. nem tud semmilyen fogoly két negatív területek,

2. Ha az ablak a parcellák negatív, akkor arra a következtetésre kell negatív.

3, akkor nem tud semmilyen következtetést a két privát parcellák.

4. Ha az egyik magán parcellák, a jelentés legyen magán.

Amikor helyreállítása entiméma befejezni a szillogizmus szükséges: a) meghatározzák, milyen ítéletet küld

Polisillogizm (bonyolult szillogizmus) nevű két vagy több egyszerű szillogizmus, összekapcsolt, annyira, hogy a következtetés egyikük válik előfeltétele egy másik.

Elkülönített. progresszív és regresszív polisillogizm.

A következtetés az előző progresszív polisillogizm szillogizmus nagyobb lesz, elküldi a következő szillogizmus.

Vezetési progresszív polisillogizm:

Itt van egy következtetés az általánosabb, hogy a kevésbé általános.

Összefoglalva, a korábbi regressziós polisillogizm szillogizmus kisebb lesz küldését későbbi szillogizmus.

Vezetési regresszív polisillogizm:

Itt van egy következtetés a kevésbé általános az általánosabb.

Progresszív és regresszív polisillogizm gondolkodás leggyakrabban használt rövidített formában - formájában sorit.

Progresszív almot nyert progresszív polisillogizm kiveszi a következtetéseket az előző szillogizmusokon és az azt követő nagy parcellák.

Vezetési progresszív Zorita:

Ez kezdődik küldő alom tartalmazó kötni az állítmány, és a ház végekkel, hogy bekerüljenek a témában (goklenievsky alom)

Regresszív almok származó regressziós polisillogizm kiveszi a következtetést az előző szillogizmus és az azt követő kisebb parcellák.

Reakcióvázlat Zorita regresszió.

Ez kezdődik a feltevést almok tartalmazó a következtetést a témában, és végződik tartalmazó csomagokat a következtetést a predikátum (az arisztotelészi almok).

Epiheyremoy slozhnosokraschenny úgynevezett szillogizmus, a két parcellák, amelyeket rövidített egyszerű szillogizmus (entiméma).

Minden, ki C, hiszen A Bs

Minden D A, D jelentése az E

Epiheyremu helyreállítása a lehető legteljesebben, a helyreállítási szabályok entiméma.

Következtetések alapuló logikai kapcsolat értékelések (következtetései propozicionális logika)

A propozicionális logika ítéletben nem bontják alany és állítmány, és kezelésük egyszerű ítéletek, melyek segítségével a logikai kapcsolatok (logikai konstans) kialakított új ítéletet.

Tisztán feltételes következtetés az úgynevezett közvetett következtetés, amelyben mindkét helyiségek ideiglenes ítéletek (feltételes állítás szerkezete: „Ha p, akkor q”).

Vezetési tisztán feltételes érvelés:

A képlet ennek az érvelésnek a törvény a logika (tautológia).

I. Jóváhagyó modus (Modus ponens)

Formula ((p ® q) Ù p) ®q - egy törvény a logika.

Akkor stroy megbízható következtetések az alaptól a jóváhagyást a következménye.

Ha p. akkor Q jelentése nem-Q - p

p®q, OQ OP

Formula ((p ® q) ÙOQ) ®- p egy törvény a logika. Meg lehet építeni egy megbízható következtetéseket a vizsgálat a tagadás tagadása miatt.

Ha p. Valószínűleg a q q, p

p®q, q Valószínűleg, p

Ha p. akkor q-p nem valószínű, nem-Q

p®q, op Valószínűleg OQ

Egyszerű romboló dilemma az, két csomag, az első (feltételezett) azt jelzi, hogy egy és ugyanaz a bázis kövesse két különböző vizsgálók; második premissza egy diszjunkcióját mind negatívok ezeket a következményeket; bebörtönzött tagadta bázis.

Bonyolult destruktív dilemma annyiban különbözik az egyszerű pusztító dilemma első kamra, amely két feltételes értékelések különböző bázisokkal és különböző következményei.

Trilemma azonos fajú dilemma eltér az utolsó első burkolat, amely három feltételes ítéletek és egy második kamrát tartalmaz három bázis szétválasztás feltételes ítélet az első csomagot.

Közvetett (indirekt) A következő következtetéseket változatai; a) az érv beadási kihatással szabály; b) olyan információk, "abszurd"; c) érvek „ellentmondást” (ellentétben);

Az érvelés a szabály bevezetése a vonzata. ha a helyiségek, G (gamma) és a küldő kerület kötött q. hogy egyes parcellák D megjeleníti, hogy a p azt jelenti, q .A szabály van egy másik neve: tétel a levonás "

Szabály információt az abszurd (egyébként - a bevezetése egy szabály elutasítást.): Ha Mr. al és csomagok jelennek meg az ellentmondást. azaz az. hogy egyes parcellák D jeleníti nem-p. Ez a szabály azt mondja, hogy az ítéletet meg kell tagadni, ha p p következik ellentmondás.

Tipikusan az az érv, hogy az ellentétes (ellentmondó):

Indirekt bizonyítás olyan esetekre vonatkozik, ahol nincs érv közvetlen bizonyíték arra sor kerül létrehozásával hamisságát ellentétes az értekezés az ítélet. (Legyen p - a tézist, hogy bizonyítani kell, azt feltételezik, hogy p hamis, ez igaz nem-p; feltételezve nem körzeti levezetni következményekkel, amelyek ellentétesek a valósággal iszap korábban ismert törvényei, amelyek eredményeként már p és nem-p meg. ez nem-p hamis, akkor igaz p).