Documente Academic
Documente Profesional
Documente Cultură
In oricare tip de propoziție categorică, se consideră că, atunci când un termen este luat în întregul sferei
sale, el este distribuit, iar dacă este luat doar într-o parte a sferei sale, el este nedistribuit. Astfel,
subiectul este distribuit în propozițiile universale și nedistribuit în cele particulare, iar predicatul logic
este distribuit în propozițiile negative și nedistribuit în cele afirmative.
Notând cu plus distribuirea și cu minus nedistribuirea, vom obtine urmatorul tabel al distribuirii
termenilor.
Propoziția categorică s p
Universal afirmativå a + -
e + +
i - -
0 - +
Conversiunea și obversiunea
Tipurile fundamentale de inferențe imediate cu propoziții categorice se bazează pe două operații logice
fundamentale: conversiunea și obversiunea.
Conversiunea este operaţia logică prin care dintr-o propoziţie categorică se obţine o altă propoziţie
categorică în care subiectul propoziţiei iniţiale devine predicatul ei, iar predicatul propoziţiei iniţiale
devine subiectul ei. Se inversează rolul termenilor: dacă premisa este de forma S – P, concluzia
(CONVERSA premisei) este de forma P – S. Calitatea judecăţilor se păstrează neschimbată.
Toţi studenţii cartierului nostru merg la Facultatea de Arhitectură.-prin conversiune prin accident
devine: Unii din cei care merg la Facultatea de Informatică sunt studenţii cartierului nostru.
Toţi cei care merg la Facultatea de Arhitectură sunt studenţii cartierului nostru. (fals deoarece facultatea
poate avea şi elevi din alte cartiere).
Unii elevi şterg tabla.-prin conversiune simplă devine: Unii din cei care şterg tabla sunt elevi.
In cazul conversiunii simple premisa si concluzia sunt propozitii de acceasi calitate și cantitate, iar in
cazul conversiunii prin accident, concluzia este de aceeasi calitate cu premisa, dar de cantitate opusă.
Obversiunea este operația logică prin care, în trecere de la premisă la concluzie se schimbă calitatea
propoziției, iar predicatul premisei este negat în concluzie, altfel spus, plecând de la o premisă de forma
S—P, ajungem la concluzia de forma S—P.
S—P-------S---P
Aplicând această formulă generală pt.fiecare tip fundamental de propoziție categorică, vom obține
următoarele inferențe valide bazate pe obversiune:
Toţi elevii clasei noastre aşteaptă cu nerăbdare ora de logică. -prin obversiune devine: