Silogismul

Silogismul este inferența deductivă mediată în care, din două premise care
au un termen comun, extragem o concluzie care unește ceilalți doi termeni.
Adică, pe baza relației care există între 2 termeni și un al treilea putem
preciza, în concluzie, relația dintre respectivii 2 termeni. De fapt noi vom
studia silogismul simplu categoric și la el ne vom referi în continuare sub
denumirea de silogism.
Structura.
Pe baza concluziei denumim atât termenii cât și cele două premise, după
cum urmează:
Termenii
I extremi - care apar în concluzie și o premisă, ei vor denumi premisa în
care apar
1. predicatul concluziei, numit termen major, notat în general cu P,
apare în premisa majoră, care se scrie prima
2. subiectul concluziei, notat în general cu S, numit termen minor,
apare în premisa minoră, care se scrie a doua

II. Mediul, notat în general cu M, care apare în ambele premise, mijlocind

relația dintre ceilalți 2 termeni, relație ce va fi exprimată clar în concluzie.
Figuri silogistice: În funcție de poziția termenilor în premise există 4
combinați posibile, numite figuri silogistice:
I II III IV
MP PM MP PM
SM SM MS MS
------ ------ ---- -------
SP SP SP SP
Figura I este numită și figură perfectă pentru că
a) S și P își păstrează pozițiile în premise față de concluzie
b)Este singura figură în care putem extrage drept concluzie orice
propoziție categorică (BARBARA, CELARENT, DARII, FERIO)
Figura a IV-a este oglinda figurii I, S și P își inversează pozițiile din
premisă față de concluzie
Figurile a II-a și a III-a sunt în oglindă, cu M la mijloc

Un mod silogistic este o schemă de inferență, un raționament, un silogism.

Orice mod silogistic se va scrie sub forma 3 vocale linie cifră, unde prima
vocală este premisa majoră, a doua vocală este minora, a treia concluzia
iar cifra este figura
de exemplu iai-3 este
MiP
MaS
----
SiP

Verificarea silogismelor prin diagrame Venn

I
Reprezentăm premisele
1. Începemcu universala
2. Dacă x-ul unei particulare poate fi pus în 2 zone, îl punem pe graniță iar
silogismul este nevalid
3. Dacă un termen are o singură zonă nehașurată acolo punem x

II
verificăm dacă a rezultat concluzia
dacă da=>valid, dacă nu=>nevalid