Documente Academic
Documente Profesional
Documente Cultură
Inferenţă= operaţia logică de derivare din cel puţin o propoziţie dată a unei noi
propoziţii cu valoarea de adevăr determinată de valoarea de adevăr a
propoziţiei/propoziţiilor date și de relația noii propoziții cu aceasta/acestea.
Distribuirea termenilor
Termenul este distribuit/ nedistribuit relativ la propoziţia categorică în care apare cu
funcţie de subiect sau predicat.
Raporturile dintre propoziţii, stabilite pe baza corelaţiilor dintre valorile lor de adevăr,
sunt reprezentate sintetic cu ajutorul pătratului lui Boethius (adică al lui Anicius
Manilus Severinus Boethius, un filosof roman de la mijlocul mileniului I d. Ch.):
Raportul de contrarietate (între propoziţiile SaP şi SeP) are următoarele
caracteristici:
dacă SaP este adevărată (=1), atunci SeP este falsă (=0)
dacă SaP este falsă (=0), atunci nu se cunoaşte valoarea de adevăr a SeP
(SeP=?)
dacă SeP este adevărată (=1), atunci SaP este falsă (=0)
dacă SeP este falsă (=0), atunci nu se cunoaşte valoarea de adevăr a SaP
(SaP=?)
dacă SiP este adevărată (=1), atunci nu se cunoaşte valoarea de adevăr a SoP
(SoP=?)
dacă SiP este falsă (=0), atunci SoP este adevărată (=1)
dacă SoP este adevărată (=1), atunci nu se cunoaşte valoarea de adevăr a SiP
(SiP=?)
dacă SoP este falsă (=0), atunci SiP este adevărată (=1)
dacă SaP este adevărată (=1), atunci SoP este falsă (=0)
dacă SaP este falsă (=0), atunci SoP este adevărată (=1)
dacă SoP este adevărată (=1), atunci SaP este falsă (=0)
dacă SoP este falsă (=0), atunci SaP este adevărată (=1)
dacă SeP este adevărată (=1), atunci SiP este falsă (=0)
dacă SeP este falsă (=0), atunci SiP este adevărată (=1)
dacă SiP este adevărată (=1), atunci SeP este falsă (=0)
dacă SiP este falsă (=0), atunci SeP este adevărată (=1)
Raporturile de subalternare (între propoziţiile SaP şi SiP, SeP şi SoP) sunt relații
asimetrice şi au următoarele caracteristici:
dacă SaP este adevărată (=1), atunci SiP este adevărată (=1)
dacă SaP este falsă (=0), atunci nu se cunoaşte valoarea de adevăr a SiP (SiP=?)
dacă SiP este adevărată (=1), atunci nu se cunoaşte valoarea de adevăr a SaP
(SaP=?)
dacă SiP este falsă (=0), atunci SaP este falsă (=0)
dacă SeP este adevărată (=1), atunci SoP este adevărată (=1)
dacă SeP este falsă (=0), atunci nu se cunoaşte valoarea de adevăr a SoP
(SoP=?)
dacă SoP este adevărată (=1), atunci nu se cunoaşte valoarea de adevăr a SeP
(SeP=?)
dacă SoP este falsă (=0), atunci SeP este falsă (=0).
Inferenţa prin opoziţie valorifică relaţiile logice existente între propoziţiile categorice
SaP, SeP, SiP, SoP cu acelaşi subiect şi acelaşi predicat. Cunoscând valoarea de
adevăr a uneia dintre aceste propoziţii, se inferează cu privire la valorile de adevăr
ale celorlalte propoziţii (date).
O propoziţie SaP ar da prin conversiune directă propoziţia PaS. Dar SaP şi PaS sunt
propoziţii logic independente (exemplu: Toate păpădiile sunt galbene e propoziţie
adevărată, în timp ce Toate lucrurile galbene sunt păpădii e propoziţie falsă) Din
acest motiv, SaP nu se nu se poate converti direct ( SaP(c)PaS).
În schimb,
SaP(ca) PiS (pentru exemplul anterior, Toate păpădiile sunt galbene. (ca) Unele
lucruri galbene sunt păpădii.). Dacă SaP este adevărată, şi PiS este adevărată.
Propoziţia PiS este conversa prin accident a propoziţiei SaP.
Propoziţia SeP suportă atât conversiune simplă cât şi conversiune prin accident:
SeP(c ) PeS (Nicio păpădie nu e bujor./ Niciun bujor nu e păpădie.)
SeP(ca ) PoS (Nicio păpădie nu e bujor./ Unii bujori nu sunt păpădii.)
Propoziţia SiP nu suportă decât conversiunea simplă. (întrucât SiP are ambii termeni
nedistribuiţi şi într-o inferenţă validă un termen nu poate apărea ca distribuit în
concluzie dacă nu a fost distribuit în premise).
SiP(c ) PiS (Unele pisici zgârie rău./ Unele fiinţe care zgârie rău sunt pisici.)
Aşadar,
SaP(c )
SaP(ca ) PiS
SeP(c ) PeS
SeP(ca ) PoS
SiP(c ) PiS
SoP(c )
Astfel,
Astfel,
SaP(o ) Se¬P (c ) ¬PeS(o ) ¬Pa¬S
SeP(o ) Sa¬P (c ) ¬PiS(o ) ¬Po¬S
SiP(o ) So¬P (c )
și, începând cu o conversiune:
SiP(c) PiS(o) Po¬S(c )
SoP(o ) Si¬P (c ) ¬PiS (o ) ¬Po¬S
Rezumând,
inferenţe/ conversiune obversiune contrapoziţie inversiune
propoziţii parţială totală parţială totală
SaP PiS Se¬P ¬PeS ¬Pa¬S ¬SoP ¬Si¬P
SeP PeS (PoS) Sa¬P ¬PiS ¬Po¬S ¬SiP ¬So¬P
SiP PiS So¬P - - - -
SoP - Si¬P ¬PiS ¬Po¬S - -