Logica propozițiilor

Download Report

Transcript Logica propozițiilor

CURS XI
Teoria
inferențelor
Partea A II-a
Asist dr. Mihai BURLACU
Inferența prin Opoziție
(Concluzii)
o 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.
o 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.
Inferența Conversiune (I)
o Conversiunea este operaţia logică prin care
dintr-o propoziţie adevărată dată se derivează
altă propoziţie adevărată de aceeaşi calitate
schimbând funcţiile logice ale termenilor.
o Premisa conversiunii se numeşte propoziţie
convertendă.
Concluzia
conversiunii
se
numeşte conversă.
Inferența Conversiune (II)
o Dacă premisa şi concluzia sunt propoziţii de
aceeaşi cantitate, conversiunea se numeşte
simplă.
o Dacă cele două propoziţii sunt de cantităţi
diferite (premisă universală şi concluzie
particulară), conversiunea se numeşte prin
accident.
Observație: Nu toate tipurile de propoziţii
categorice suportă (ambele tipuri de) conversiuni.
Inferența Conversiune (III)
o O propoziţie SaP ar da prin conversiune directă
propoziţia PaS.
Observație: SaP şi PaS sunt propoziţii logic independente
Exemplu: Toate pătratele sunt figuri geometrice cu laturi
egale. (Adevărată)

Toate figurile geometrice cu laturi egale sunt pătrate.(Falsă)
SaP nu poate fi convertită direct.
(SaP (c ) PaS)
Inferența Conversiune (IV)
o Lucrurile nu stau la fel pentru conversiunea
prin accident a lui SaP.
SaP(c ) PiS
Exemplu: Toate pătratele sunt figuri geometrice
cu laturi egale. (Adevărată)
(c )
Unele figuri geometrice cu laturi egale sunt
pătrate. (Adevărată)
Inferența Conversiune (V)
o Propoziţia SeP suportă atât conversiune simplă
cât şi conversiune prin accident:
SeP(c ) PeS
Niciun pătrat nu are laturi inegale.
(c )
Nicio figură geometrică ce are laturi inegale nu este pătrat.
SeP(c ) PoS
Niciun pătrat nu are laturi inegale.
(c )
Unele figuri geometrice cu laturi inegale nu sunt pătrate.
Inferența Conversiune (VI)
o Propoziţia SiP nu suportă decât conversiunea
simplă:
Observație: SiP are ambii termeni nedistribuiţi şi, vă
amintiţ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 pătrate sunt figuri geometrice cu laturi egale.
(c )
Unele figuri geometrice cu laturi egale sunt pătrate.
Inferența Conversiune (VII)
o Propoziţiile SoP şi PoS sunt logic independente.
Unele figuri geometrice nu sunt figuri geometrice cu laturi
inegale. (Adevărată)

Unele figuri geometrice cu laturi inegale nu sunt figuri
geometrice. (Falsă)
SoP(c )
Inferența Conversiune (VIII)
SaP(c ) PaS
SaP(c ) PiS
SeP(c ) PeS
SeP(c ) PoS
SoP(c )
Inferența Conversiune (IX)
o Dacă simţiţi nevoia verificării rezultatelor
inferenţelor
prin
conversiune
pe
care
intenţionaţi să le utilizaţi în argumentare,
utilizaţi distribuirea termenilor în propoziţiile
categorice.
o Dacă un termen e distribuit în concluzie fără
să fi fost distribuit în premise, inferenţa nu e
corectă.
Inferența Conversiune
(Sinteză)
SaP SeP SiP SoP PaS PeS PiS PoS Observaţii
S
+
+
-
-
-
+
-
+
S nedistribuit în
SoP şi distribuit în
PoS
P
-
+
-
+
+
+
-
-
P nedistribuit în
SaP şi distribuit în
PaS
Inferența Obversiune (I)
o Obversiunea este operaţia logică prin care
dintr-o propoziţie adevărată dată se obţine o
propoziţie adevărată de calitate opusă care are
acelaşi subiect şi ca predicat contradictoriul
predicatului propoziţiei iniţiale.
o Premisa obversiunii se numeşte propoziţie
obvertendă. Concluzia obversiunii se numeşte
propoziţie obversă.
Inferența Obversiune (II)
o Toate cele patru tipuri de propoziţii categorice
pot fi obvertite cu respectarea restricţiilor
privind distribuirea termenilor.
o Obversiunea reprezintă o dublă negaţie
(schimbarea calităţii propoziţiei şi negare a
predicatului acesteia).
o Predicatul obversei îşi păstrează distribuirea
din obvertendă.
o Păstrându-şi funcţia, subiectul obvertendei îşi
păstrează şi distribuirea în obversă.