În ceea ce privește contradicțiile (kontradiktornosti) sunt judecata sevă și SoP, SEP și SIP. Ele nu pot fi atât de adevărat și fals. Dacă unul dintre ele este adevărat, celălalt - fals.
Exemple. Dacă propoziția „Toate balene respira ușor“ este adevărat, atunci propoziția „Unele balene nu respira ușor“ este falsă. Dacă propoziția „Unii urși - nu maro“ este adevărat, atunci propoziția „Toți urșii bruni -“ este falsă.
În ceea ce privește opuse (contrariilor) sunt judecata Sap și SEP. Împreună, ele pot fi false, dar nu poate fi adevărat împreună. Dacă una din hotărârea opusă este adevărată, cealaltă false.
Exemple. Judecata de Apoi „Toți sportivii - maestri“ si „Nici atlet nu este modificat genetic“, ambele false. Din moment ce propunerea „Toți oamenii au capul lor“, este adevărat, atunci afirmația „Nu o singură persoană nu are un cap,“ este falsă. Dacă propoziția „Toate metalele nu sunt gaze“ este adevărată, atunci propoziția „Toate metalele - Gaze“ este falsă.
În ceea ce privește suprapunere (subkontrarnosti) poate fi în sorbiți judecată și SOP. Ele nu pot fi ambele false, dar poate fi în același timp adevărat.
Exemple. Dacă propoziția „Unele oi - animale de pradă“ este falsă, atunci afirmația „(cel puțin) o parte dintre oi nu sunt animale de pradă,“ este adevărat. judecata ca „Unii sportivi - jucători de fotbal“ și „Unii sportivi nu sunt jucătorii“ sunt ambele adevărate.
În ceea ce privește subordonarea sunt judecata Pairwise Sap si SIP, SoP și SEP. Subordonarii hotărârea decurge în mod logic subordonate: de la Sap și curge de la SIP urmează SoP PES. Acest lucru înseamnă că adevărul judecăților decurge în mod logic subordonarea adevărul slave și sclavul falsitatea falsității trebuie să se supună.
Exemple. Judecății „Toate balenele sunt mamifere“ ar trebui să fie propoziția „Unele balene sunt mamifere,“ și a judecății „Toate metalele nu sunt compresibile“ ar trebui să fie propoziția „Unele metale nu sunt compresibile.“
Teoria logică a acestui tip de raționament numit silogism. Acesta a fost stabilit de către Aristotel.
În expresia silogistice „Totul. acolo. „“ Unii. acolo. „“ Totul. Nu este. „Și“ unii. Nu este. „Tratată ca și constante logice. și anume luate în ansamblu. Aceasta nu este o judecată, ci anumită formă logică. din care sunt obținute prin substituirea puncte de judecată unele nume. Numele inline se numesc termenii silogismului.
Este esențial următoarea limitare tradițională: termenii silogismului nu ar trebui să fie gol sau negativ.
Toate lichid elastic.
În fiecare silogism trebuie să aibă trei termeni: o mai mică, mai mare și de mijloc.
Termenul minor este chemat să intre în subiect.
Într-un astfel de exemplu este termenul „apă“.
Termenul mai mare este chemat să intre în predicatul.
În acest exemplu, termenul este termenul „elastic“.
Termenul este prezent în incinta, dar nu și în închisoare, numită media.
In acest exemplu, termenul este termenul „lichid“.
Termenul mai mic notat în general cu litera S, o mai mare - litera P și mediul - litera M.
Pregătire, care include un termen mai mare, numit bólshey. Efectuarea mai mici pe termen numit mai mici.
postare mare a înregistrat primul, mai mic - a doua.
Deci, într-un silogism este format din trei termeni:
S - termen minor: intră într-un subiect (de asemenea, incluse în pachet mai mic);
P - termen majore: încheierea unui predicat (de asemenea, incluse în premisa majoră);
M - pe termen mediu: o parte din ambele premise, dar care nu sunt incluse în raport.
Forma logică a silogismului de mai sus este:
Silogismul, la fel ca în orice rationament deductiv, la concluzia nu poate conține informații care nu se află în incinta. Concluzie implementează doar pachete de informații, dar nu pot aduce noi informații, care nu se află în ele.
În funcție de poziția termenului de mijloc în incinta (este subiectul sau predicat în majore și minore premisele) diferă în cele patru figuri ale silogismului.
Yafigura 1 2-a treia figura figura 4a figura
Premiza majoră: M-P-P M M P P-M
Postare mai mici: S-M S-M M-S M-S
Concluzie: S-P S-P S-P S-P
descrise schematic cifrele după cum urmează:
În cadrul schemei de primul model construit silogismul:
Toate păsările (M) au aripi (F).
Toate struți (S) - păsări (M).
Toate bufnițe au aripi.
În conformitate cu schema de-a doua cifră construită silogismul:
Toți peștii (F) branhii respirație (M).
Balenele (S) nu respira branhii (M).
Toate balenele nu sunt pești.
În cadrul schemei de-a treia cifră este construit silogism:
Toate bambusul (M) floare o dată în viața lor (P).
Toate bambuși (M) - plante perene (S).
Unele plante perene infloresc o dată în viață.
În cadrul schemei celei de a patra cifra este construit silogism:
Toți peștii (F) float (M).
Toate plutitoare (M) trăiesc în apă (S).
Unii trăiesc în apă - pește.
Moduri de silogism numite soiuri de forme, diferite ipoteze și concluzii ale caracterului.
Toate din punct de vedere al diferitelor combinații de ipoteze și concluzii în fiecare figură, există 64 de operare. In figurile patru 4 x 64 = 256 moduri.
Silogisme, la fel ca toate deductivă, sunt împărțite în mod regulat și neregulat. Sarcina teoriei logică a silogismului - organizarea silogisme regulate, indică caracteristicile lor distinctive.
Dintre toate modurile posibile ale silogismului numai 19 moduri sunt corecte.
Modus a studiat școlile medievale ale logicii, și pentru modurile corecte de fiecare figură au fost inventate porecle.
Prima cifră silogism Aristotel a considerat de bază sau avansate. În secolul al XIII-lea, să-și amintească toate modurile nouăsprezece, și pentru a le aduce versete mnemonice au fost făcute pentru prima cifră. Prima lor linie listează modurile de cifrele principale.
Barbara, Celarent, Darii, prioris Ferioque;
Cesare, Camestres, Festino, Baroko, sekundae;
Tertia, Darapti, Disamis, Datisi. Felapton,
Bocardo, Ferison habet; quarta insuper addit.
Bramantip, Camenes, Dimaris, Fesapo, Fresison.
Literele inițiale ale acestor moduri de versetele de mai sus indică modul de prima cifră la care este necesară pentru a aduce modus. Deci, Felapton redus la Ferio, Disamis - la Darii.
Exemplu. Numele Celarent înseamnă că, în acest mod de prima cifră premisa majoră este universală declarație negativă (SEP), la - universal afirmative (Sap) și concluzia - declarația negativă universală (SEP).
Fiecare cifră corespunde anumitor moduri de silogism.
Pentru a evalua acuratețea silogismului poate fi folosită diagrama Euler care ilustrează relația dintre numele de volum.
Exemplu. Ia un silogism:
Toate metalele (M) de forjare (F).
Fier (S) - metalic (M).
Fier (S) maleabil (P).
Relațiile dintre cei trei termeni ai silogismului (modus Barbara), reprezentat de trei cercuri concentrice. Acest circuit este interpretat după cum urmează: în cazul în care toate M (metal) în sfera P (corp maleabil), apoi necesitatea S (fier) intră cantitatea P (corp maleabil), care se afirmă în concluzie, „fier maleabil“.
Toți peștii (F) nu au pene (M).
Toate păsările (S) are aripioare (M).
Nici o pasăre (S) nu este un pește (F).
Relația dintre termenii acestui silogism (modus Cesare) este prezentat în Fig. El a interpretat în acest fel: dacă toate S (păsări) în domeniul de aplicare al M (cu pene) și M nu are nimic de-a face cu P (pește), atunci S (păsări) nu au nimic în comun cu P (pește), după cum se menționează în custodie.