INFERENE DEDUCTIVE IMEDIATE CU PROPOZIII CATEGORICE

Conversiunea este inferena prin care se schimb funciile termenilor unei propozitii categorice, prin trecerea de la SIMPL premis la concluzie. Ex.: Dac unii poei buni sunt studeni serioi, atunci unii studeni serioi sunt poei buni. Inferenta este valid dac respect legea distribuirii termenilor: Niciun termen nu poate aprea distribuit n concluzie dac nu este distribuit n premis. Ex.: Dac toi poeii buni sunt studeni serioi, atunci toi SaPPaS - incorect P studenii serioi sunt poei buni. + - + Conversiunea prin accident este inferena prin care, prin trecerea de la premis la concluzie, se schimb funciile termenilor unei propozitii categorice i cantitatea acesteia.
Ex.: Dac toi poeii buni sunt studeni serioi, atunci unii studeni serioi sunt poei buni.

PRIN ACCIDENT

SaPPiS - corect + - -

SePPeS + + + +

- corect

Ex.: Dac niciun poet bun nu este student serios, atunci niciun student serios nu este poet bun.

SiPPiS - - - -

- corect

Ex.: Dac unii poei buni sunt studeni serioi, atunci unii studeni serioi sunt poei buni

SoPPoS - incorect - + - + SoPPeS - incorect - + + +

Obversiunea este inferena prin care se schimb n concluzie calitatea copulei i a predicatului premisei. Ex. Dac Toate mamiferele sunt vertebrate, aunci niciun mamifer nu este nevertebrat. Iat cele patru obversiuni: SaP SeP Dac toi S sunt P, atunci niciun S nu esteP.

Ex. Daca toate mamiferele sunt vertebrate, aunci niciun mamifer nu este nevertebrat. SeP SaP

SiP SoP
SoP SiP

Combinnd cele doua operatii putem ajunge la alte doua tipuri de inferente: contrapoziia i inversiunea. c) Prin contrapozitie se nlocuieste n concluzie subiectul premisei cu contradictoriul predicatului si predicatul cu subiectul (n contrapozitia partiala) sau cu contradictoriul subiectului (n contrapozitia totala). Contrapozitia este obversa convertita : SaP SeP PeS P aS (obversiune, conversiune, obversiune) Iata contrapozitiile: pariale SaP PeS SeP PiS SiP ---SoP PiS

totale PaS PoS ----PoS

d) Inversiunea este inferenta prin care din propozitia data se deriva o propozitie care are ca subiect negatia subiectului dat si ca predicat, fie predicatul dat, (inversiunea partiala), fie negatia predicatului (inversiunea totala)
Inversiunile sunt: partiale SaP SoP SeP SiP

totale SiP SoP

APLICAII

Deducei toate propoziiile adevarate, respectiv false, care deriv logic corect din adevrul propozitiei "Toate cartile interesante sunt vechi"
CERINE a) aducerea propozitiei la forma standard; b) identificarea subiectului si a predicatului logic; c) identificarea formei logice a propozitiei; d) identificarea formulei propozitiei; f) reprezentarea propozitiei prin diagrame Venn; g) stabilirea distribuirii subiectului si a predicatului propozitiei; h) stablirea propozitiilor corespunzatoare relatiilor din patratul logic; i) stabilirea valorilor de adevar al acestor propozitii stiind ca propozitia data este adevarata; j) derivarea propozitiilor adevarate prin succesiunea conversiunilor si obversiunilor: SaP PiS PoS SaP SePPeS PaS SiP SoP

S= carti interesante; P= carti vechi

n limbaj natural am obtinut urmatoarele prpozitii adevarate: Unele carti vechi sunt interesante; PiS Unele carti vechi nu sunt neinteresante; PoS Nici carte interesanta nu este noua; SeP Nicio carte noua nu este interesanta; PeS Toate cartile noi sunt neinteresante; Pa S Unele carti neinteresante sunt noi; S iP Unele carti neinteresante nu sunt vechi; SoP

k) derivarea propozitiilor false presupune utilizarea raporturilor de opozitie ntre propozitiile categorice. Daca SaP este adevarata, atunci contradictoria ei, SoP si contrara, SeP, vor fi false; echivalentele propozitiilor false sunt, evident, false si ele: (SaP=1)(SoP=0) (SeP=0)
Echivalentele celor doua propozitii le aflam prin conversiuni si obversiuni: SoP SiPPiSPoS SePPeSPaSSiPSoP SiPPiSPoS SePSaPPiSPoS PiSSiPSoP

APLICATII SI TEME DE EVALUARE

1. Derivati toate propozitiile adevarate, respectiv false, din adevarul propozitiei Nici un mamifer nu este nevertebrat. 2. Derivati toate propozitiile adevarate, respectiv false, care deriva logic corect din falsitatea propozitiei Nici un adevar nu este nedureros.

3. Fiind data ca adevarata propozitia: "Majoritatea pictorilor sunt cunoscuti", aratati ce se poate spune despre valoarea de adevar a urmatoarelor propozitii:
a) Unii pictori nu sunt cunoscuti b) Unii pictori sunt necunoscuti c) Toti pictorii sunt cunoscuti d) Toti pictorii sunt necunoscuti e) Unii oameni cunoscuti sunt pictori f) Unii oameni necunoscuti nu sunt pictori g) Putini dintre cei care nu sunt pictori sunt necunoscuti