Pe scurt
Logica operează cu trei elemente fundamentale ale gândirii: termenul (conceptul mental al unui obiect), judecata (afirmarea sau negarea unei relații între doi termeni) și propoziția logică (exprimarea verbală a judecății, cu valoare de adevăr). Propozițiile se clasifică după calitate (afirmative/negative) și cantitate (universale/particulare/singulare), iar înțelegerea distribuției termenilor și a relațiilor dintre propoziții (contrare, subcontrare, contradictorii) este esențială pentru analiza corectă a raționamentelor.
Elementele fundamentale ale gândirii
Cele trei elemente fundamentale ale gândirii sunt termenul, judecata și propoziția.
- Termenul este reprezentarea mentală a unui obiect, exprimată prin cuvinte sau grupuri de cuvinte (de exemplu, 'om', 'animal rațional').
- Termenii pot fi simpli sau complecși, abstracti sau concreți, și constituie materia primă a gândirii.
- Judecata este operația logică prin care se afirmă sau se neagă o relație între doi termeni (de exemplu: 'Toți oamenii sunt muritori').
- Judecata are o structură internă:
-
Subiect (S) - termenul despre care se spune ceva
- Predicat (P) - ceea ce se spune despre subiect
- Copula - verbul 'a fi' (sau echivalentul său) care leagă S și P
- Propoziția logică (sau enunț) este exprimarea verbală a unei judecăți, având valoare de adevăr (adevărat sau fals).
- De exemplu, propoziția 'Toți câinii sunt mamifere' este
adevărată, iar 'Toate mamiferele sunt câini' este
falsă.
Clasificarea propozițiilor logice
În logica formală, propozițiile se clasifică după calitate și cantitate:
-
Afirmative
- Negative
-
Universale
- Particulare
- Singulare
Tipurile standard de propoziții sunt
- A - universal afirmativă: 'Toți S sunt P'
- E - universal negativă: 'Niciun S nu este P'
- I - particular afirmativă: 'Unii S sunt P'
- O - particular negativă: 'Unii S nu sunt P'
Termenul distribuit și nedistribuit
Un termen este distribuit dacă în propoziție se referă la toți membrii clasei respective.
- În 'Toți S sunt P', S este distribuit
- În 'Niciun S nu este P', ambii termeni sunt distribuiți
- Un termen este nedistribuit când se referă doar la o parte din clasă
Relații între propoziții
Există patru tipuri de relații între propoziții
- Contrare - între A și E (nu pot fi ambele adevărate, dar pot fi ambele false)
- Subcontrare - între I și O (nu pot fi ambele false, dar pot fi ambele adevărate)
- Contradictorii - între A și O, respectiv E și I (nu pot fi ambele adevărate sau ambele false)
- Subalterne - între A și I, respectiv E și O
Aplicații practice
Exemplul 1: Identificarea elementelor
- Propoziția: 'Unele păsări nu zboară'
- Termenii: 'păsări' (S) și 'zboară' (P)
- Judecata: negativă și particulară (tip O)
- Subiectul 'păsări' este nedistribuit (nu se referă la toate păsările)
- Predicatul 'zboară' este distribuit (se neagă zborul pentru o parte din păsări, ceea ce implică referirea la toate lucrurile care zboară)
Exemplul 2: Transformare din limbaj natural în formă logică
- Enunțul: 'Toți elevii studioși iau note mari'
- Subiect: 'elevi studioși', predicat: 'iau note mari'
- Copula este implicită (sunt)
- Propoziția este universal afirmativă (A)
- Termenul subiect este distribuit (toți elevii studioși)
- Predicatul este nedistribuit (nu se spune că toți cei care iau note mari sunt elevi studioși)
Exemplul 3: Construirea contrarei
- Propoziția A: 'Toate mamiferele sunt vertebrate'
- Contrara (E): 'Niciun mamifer nu este vertebrat' (falsă în realitate, dar logic opusă)
- Subcontrara (I): 'Unele mamifere sunt vertebrate' (adevărată)
- Contradictoria (O): 'Unele mamifere nu sunt vertebrate' (falsă)
- Se observă că A și O sunt contradictorii (nu pot fi ambele adevărate sau ambele false)
Concepte cheie
- Termen - reprezentarea mentală a unui obiect, exprimată prin cuvinte
- Judecată - operația logică de afirmare sau negare a unei relații între doi termeni
- Propoziție logică - enunț cu valoare de adevăr, exprimând o judecată
- Clasificarea propozițiilor: A (universal afirmativ), E (universal negativ), I (particular afirmativ), O (particular negativ)
- Termen distribuit/nedistribuit - distribuit când se referă la toți membrii clasei, nedistribuit când se referă doar la o parte
- Relații între propoziții: contrare, subcontrare, contradictorii și subalterne
Verifică-te!
- Care sunt cele trei elemente fundamentale ale gândirii în logică și cum se diferențiază între ele?
- În propoziția 'Unele mamifere nu sunt carnivore', care este tipul propoziției (A, E, I sau O) și care termeni sunt distribuiți?
- Dacă propoziția A 'Toate planetele sunt corpuri cerești' este adevărată, care este contrara ei și ce valoare de adevăr are aceasta?