A logikai tér
Tekintettel ellentmondások (kontradiktornosti) között az SAP ítélet és SoP SEP és SIP. Úgy nem lehet egyszerre igaz és hamis. Ha egyikük igaz, a másik - hamis.
Példák. Ha a javaslatot a „Minden bálnák lélegezni könnyű” igaz, akkor az állítás „Néhány bálnák nem lélegezni könnyű” hamis. Ha a javaslat „Néhány medve - nem barna” igaz, akkor az állítás „Minden medve - barna” hamis.
Ami a szemközti (ellentétek) között az SAP ítélet és szept. Együtt lehet hamis, de ez nem lehet igaz együtt. Ha az egyik szemközti ítéletem igaz, a másik hamis.
Példák. Ítélet „Minden sportoló - nagymesterek” és „No sportoló nem GM” mind hamis. Mivel a javaslat „Minden embernek a fejüket” igaz, akkor a kifejezés „Nem egy személy nem rendelkezik a fejét,” hamis. Ha a javaslatot a „Minden fémek nem gáz” igaz, akkor az állítás „All fémek - gázok” hamis.
Ami átfedő (subkontrarnosti) lehetnek ítéletének SIP és SoP. Ezek nem mind hamis, de lehet egyszerre igaz.
Példák. Ha a javaslat „Néhány birka - ragadozók” hamis, akkor a nyilatkozat „(legalább) egy része a juhok nem ragadozók,” igaz. ítélet „Egyes sportolók - labdarúgók” és „Egyes sportolók nem a játékosok” egyaránt igaz.
Ezzel kapcsolatban alárendelés páronként ítélet SAP és a SIP SEP és SoP. Alárendeltségi ítélet logikusan következik alárendelt: SAP és SIP áramlik szept következik SoP. Ez azt jelenti, hogy az igazság az alárendelő értékelések logikusan következik az igazság a szolga és a szolga a hamisság hamisság engedelmeskednie kell.
Példák. Az ítélet „Minden bálna emlős” legyen az állítás „Néhány bálna emlős”, és az ítélet „All fémek nem préselhető” legyen az állítás „Egyes fémek nem összenyomható.”
A logikai elmélet ez a fajta érvelés nevű szillogizmus. Megállapítást nyert, Arisztotelész.
A szillogisztikus kifejezést „Mindent. ott. „” Néhány. ott. „” Minden. Nem így van. „És” néhány. Nem így van. „Kezelt logikai állandók. azaz egészét tekintve. Ez nem ítélet, hanem bizonyos logikai formája. ebből úgy kapjuk ítélet pontok néhány nevet. Soros nevek nevezik a feltételeket a szillogizmus.
Elengedhetetlen a következő hagyományos korlátozás: a szillogizmus szempontjából nem lehet üres, vagy negatív.
Minden folyadék rugalmas.
Minden szillogizmus kell három szempontból: egy kisebb, nagyobb és közepes.
Kisebb kifejezés arra hivatott, hogy bekerüljenek a témában.
Ilyen például az a kifejezés, „víz”.
Nagyobb távon hívják, hogy bekerüljenek a feltételnek.
Ebben a példában, a kifejezés a „rugalmas”.
A kifejezés van jelen a helyszínen, de nem a börtönben, az úgynevezett átlag.
Ebben a példában, a kifejezés a „folyékony”.
Kisebb távú jelöljük általában a S betűvel, a magasabb - a P betű és közepes - a levél M.
Készítése, amely magában foglalja a magasabb kifejezés, az úgynevezett bólshey. Így kisebb a kifejezés az úgynevezett kisebb.
Nagy kiküldetés felvett első, alsó - második.
Tehát, egy szillogizmus három szempontból:
S - kisebb távon: lép egy alany (szintén belefoglalhatok a kisebb csomag);
P - fő távú: megkötése egy predikátum (szintén szerepel a fő feltevést);
M - középtávon: része mind helyiségek, de nem szerepel a jelentésben.
A logikai formája a fenti szillogizmus:
A szillogizmus, mint bármely deduktív érvelés, hogy a következtetés nem tartalmaznak információkat, amelyek nem a helyszínen. Következtetés Az egyetlen telepít információs csomag, de nem hozza az új információkat, amelyek nem a számukra.
Attól függően, hogy a helyzet a középtávon a területet (ez tárgy vagy állítmány a nagyobb és kisebb helységek) különböznek a négy alak a szillogizmus.
Yafigura 1. 2. 3. ábra ábra 4. ábra
A fő feltevést: M-P P-M M-P P-M
Kisebb kiküldetés: S-M S-M M-S M-S
Következtetés: S-P S-P S-P S-P
Vázlatosan számadatok a következőképpen:
A program értelmében az első mintázatot szillogizmus:
Minden madár (M) szárnya van (F).
Minden strucc (S) - madarak (M).
Minden baglyok van szárnya.
A program értelmében a második szám épített szillogizmus:
Minden halat (F) légzési kopoltyúkat (M).
Bálnák (S) nem szabad belélegezni kopoltyúkat (M).
Minden bálna nem hal.
A program értelmében a harmadik alak van kialakítva szillogizmus:
Minden bambusz (M) virágzás egyszer az életében (P).
Minden bambusz (M) - évelő növények (S).
Néhány évelő virágzó egyszer az életben.
A program értelmében a negyedik alak van kialakítva szillogizmus:
Minden halat (F) float (M).
Minden lebegő (M) a vízben élnek (S).
Néhány a vízben élnek - hal.
Módok szillogizmus nevezett fajták formák, különböző feltételezések és következtetések a karaktert.
Mindezt a szempontból különböző kombinációi feltételezések és következtetések az egyes szám, vannak 64 modus. Az ábrákon négy 4 × 64 = 256 módok.
Szillogizmusokon, mint minden deduktív érvelés, vannak osztva szabályos és szabálytalan. A feladat a logikai elmélet a szillogizmus - rendszeresen szervezünk szillogizmusokon jelzik, hogy sajátosságait.
Az összes lehetséges módot a szillogizmus csak 19 módok helyességét.
Modus tanulmányozta a középkori iskolák logika, és a helyes mód az egyes szám találták beceneveket.
Az első szám a szillogizmus Arisztotelész tekinthető alap vagy haladó. A XIII században, hogy emlékezzen az összes tizenkilenc mód, és hogy azokat emlékeztető versek készültek az első szám. Az első sorban azokat a módokat a fő számokat.
Barbara, Celarent, Darii, Ferioque prioris;
Cesare, Camestres, Festino, Baroko, sekundae;
Tertia, Darapti, Disamis, Datisi. Felapton,
Bocardo, Ferison nincs más; quarta insuper gélek és.
Bramantip, Camenes, Dimaris, Fesapo, Fresison.
Kezdőbetűiből Ezen módok a fenti vers jelzi a mód az első szám, amelyre szükség van ahhoz, hogy a modus. Tehát Felapton csökken Ferio, Disamis - a Darii.
Példa. Név Celarent azt jelenti, hogy ebben a módban az első szám a fő premissza egyetemes negatív állítás (SEP), a - univerzális igenlő (SAP) és a következtetést - univerzális negatív állítás (SEP).
Minden szám megfelelnek bizonyos módok szillogizmus.
Annak megállapítására, a pontosság a szillogizmus lehet használni Euler diagram szemlélteti az összefüggést az a kötet nevét.
Példa. Vegyünk egy szillogizmus:
Minden fém (M) a kovácsolás (F).
Vas (S) - fém (M).
Vas (S) alakítható (P).
Közötti kapcsolatok három kifejezést a szillogizmus (modus Barbara) jelképezni három koncentrikus kör. Ez az áramkör az alábbiak szerint értelmezzük: ha az összes M (fém) hatálya alá tartozó P (képlékeny test), akkor a szükségességét S (vas) belép az összeg P (kovácsolható szervezetben), ami szerepel következtetést, „temperöntvény”.
Minden hal (F) nincs toll (M).
Minden madár (S) rendelkezik-ig (M).
Nem madár (S) nem hal (F).
A kapcsolat a jelen szillogizmus (modus Cesare) ábrán látható. Ő ezt úgy értelmezte, így: ha az összes S (madár) hatálya alá tartozó M (tollal) és M-nek semmi köze a P (hal), akkor az S (madár) semmi köze P (hal), amint őrizetbe.