Introducere în Logica Formală: Sinteze și Exemple

Argumentarea

Argumentarea reprezintă procesul prin care aducem probe sau dovezi pentru a susține o afirmație. Ea poate lua două forme principale: demonstrația (cu probe obiective, folosită în știință) și persuasiunea (cu temeiuri subiective, prezentă în viața cotidiană).

Orice argumentare implică un locutor (persoana care argumentează) și un interlocutor (persoana pentru care se argumentează). Conținutul unei argumentări constă din teza (concluzia care se susține) și temeiurile (probele sau argumentele aduse în favoarea tezei).

În construcția argumentării, folosim indicatori specifici: indicatori de premise (pentru că, deoarece, fiindcă) care introduc temeiurile și indicatori de concluzie (rezultă, prin urmare, deci) care introduc teza.

💡 Recunoașterea rapidă a indicatorilor de premise și concluzie te ajută să identifici mai ușor structura unui argument și să evaluezi validitatea acestuia!

Sofismele sunt raționamente incorecte realizate cu intenție, diferite de paralogisme care sunt erori neintenționare. Ele pot fi formale (când încalcă legile de validitate ale raționamentelor) sau materiale (când erorile sunt legate de sensul și semnificația premiselor).

Termenii

Un termen este un cuvânt sau grup de cuvinte prin care exprimăm o noțiune și care se referă la unul sau mai multe obiecte. Termenii au două aspecte fundamentale: intensiunea (conținutul, proprietățile obiectelor) și extensiunea (sfera, totalitatea obiectelor desemnate).

Cu cât o noțiune este mai generală, cu atât extensiunea este mai mare și intensiunea mai mică. De exemplu, în seria "cal, patruped, animal", extensiunea crește (sunt tot mai multe obiecte incluse), iar intensiunea scade (proprietățile comune sunt tot mai puține).

Termenii pot fi clasificați din mai multe perspective. Din punct de vedere intensional, ei pot fi absoluți/relativi, abstracți/concreți, pozitivi/negativi sau simpli/compuși. Din punct de vedere extensional, termenii pot fi vizi/nevizi, singulari/generali, colectivi/distributivi sau vagi/preciși.

💡 Observă că înțelegerea raporturilor dintre termeni este esențială pentru construirea argumentelor valide în logică!

Între termeni există două tipuri principale de raporturi:

1. Raporturi de concordanță (când au obiecte comune):

   • De identitate (termeni sinonimi): "Toți A sunt B. Toți B sunt A."
   • De ordonare (unul este specie a celuilalt): "Toți A sunt B. Unii B sunt A."
   • De încrucișare (au în comun doar o parte): "Unii A sunt B. Unii A nu sunt B."

2. Raporturi de opoziție (când nu au niciun obiect comun):

   • De contrarietate (specii ale unui gen comun)
   • De contradicție (unul reprezintă negația celuilalt)

Operațiile logice: Definirea și Clasificarea

Definirea este operația prin care redăm caracteristicile unui obiect sau noțiuni care îl deosebesc de alte obiecte. O definiție are trei elemente: definitul (A) - ceea ce trebuie definit, definitorul (B) - caracteristicile definitorii, și relația de definire $=df$.

Pentru o definire corectă, trebuie respectate cinci reguli fundamentale:

1. Regula adecvării - între definit și definitor trebuie să existe raport de identitate
2. Regula non-circularității - definitorul nu trebuie să conțină definitul
3. Regula afirmării - definiția trebuie să spună cum este definitul, nu cum nu este
4. Regula clarității și preciziei - fără expresii obscure sau metaforice
5. Regula consistenței - definiția nu trebuie să contrazică alte definiții dintr-un sistem

💡 Atunci când definești ceva, gândește-te dacă explicația ta ar permite cuiva care nu a văzut niciodată obiectul să-l recunoască fără echivoc!

Clasificarea este operația prin care noțiunile sunt grupate în clase din ce în ce mai generale. Ea are trei elemente: obiectul clasificării (noțiunile cu nivel redus de generalitate), clasele (noțiunile cu grad mare de generalitate) și criteriul clasificării.

Pentru o clasificare corectă, trebuie respectate cinci reguli: regula celor trei termeni, regula completitudinii, regula raportului de opoziție între clase, regula criteriului unic și regula omogenității. Încălcarea acestor reguli poate duce la erori precum clasificarea incompletă sau prea abundentă.

Raționamentul

Raționamentul este operația logică prin care, din propoziții date numite premise, derivăm o altă propoziție numită concluzie. Este un instrument esențial în gândirea logică structurată.

Raționamentele pot fi clasificate în funcție de direcția inferenței între general și particular:

1. Raționamente deductive - concluzia este la fel de generală sau mai puțin generală decât premisele. Dacă premisele sunt adevărate și raționamentul valid, concluzia este necesară. Pot fi:

   • De la general la particular: "Toți elevii școlii sunt disciplinați. X este elev al școlii. Deci X este disciplinat."
   • De la general la general
   • De la particular la particular

2. Raționamente inductive - concluzia este mai generală decât premisele și rămâne doar probabilă, chiar dacă premisele sunt adevărate. Reprezintă o inferență de la particular la general.

💡 Deducția oferă certitudine, dar nu adaugă informații noi; inducția adaugă informații noi, dar oferă doar probabilitate!

În funcție de numărul premiselor, inferențele deductive sunt imediate (dintr-o singură premisă) sau mediate (din două sau mai multe premise). După corectitudinea logică, ele pot fi valide sau nevalide.

Inferențele inductive pot fi complete (când examinăm toate cazurile dintr-o mulțime finită) sau incomplete (când examinăm doar un număr redus de cazuri). După gradul de probabilitate, ele sunt tari (concluzia foarte probabilă) sau slabe (concluzia puțin probabilă).

Inferențe imediate cu propoziții categorice

În logică, distribuirea termenilor în propoziții categorice este esențială: subiectul este distribuit în propozițiile universale, iar predicatul este distribuit în propozițiile negative. Legea distribuirii termenilor spune că dacă un termen este distribuit în concluzie, trebuie să fie distribuit și în premisă.

Conversiunea este inferența prin care, în trecerea de la premisă la concluzie, se inversează ordinea termenilor. Există reguli precise:

• SaP (Toți S sunt P) se convertește prin accident: "Toți elevii sunt prezenți" → "Unii prezenți sunt elevi"
• SeP (Niciun S nu este P) se convertește simplu: "Niciun elev nu este prezent" → "Niciun prezent nu este elev"
• SiP (Unii S sunt P) se convertește simplu: "Unii elevi sunt prezenți" → "Unii prezenți sunt elevi"
• SoP (Unii S nu sunt P) nu se convertește

💡 Reține că nu toate propozițiile categorice se pot converti simplu - trebuie să verifici întotdeauna respectarea legii distribuirii termenilor!

Obversiunea este inferența prin care, în trecerea de la premisă la concluzie, se schimbă calitatea propoziției și se neagă predicatul:

• SaP → Se~P: "Toți elevii sunt prezenți" → "Niciun elev nu este absent"
• SeP → Sa~P: "Niciun elev nu este prezent" → "Toți elevii sunt absenți"
• SiP → So~P: "Unii elevi sunt prezenți" → "Unii elevi nu sunt absenți"
• SoP → Si~P: "Unii elevi nu sunt prezenți" → "Unii elevi sunt absenți"

Demonstrația și Inducția

Demonstrația este procesul logic prin care o propoziție dată este conchisă numai din propoziții adevărate. Ea are trei componente esențiale: teza de demonstrat, fundamentul demonstrației (premisele) și procesul de demonstrare (raționamentele folosite).

Pentru o demonstrație corectă, trebuie respectate șase reguli fundamentale: teza trebuie să fie clară, cel puțin probabilă și să rămână aceeași pe tot parcursul; argumentele trebuie să fie adevărate; demonstrația argumentelor este independentă de demonstrarea tezei; iar demonstrația trebuie să respecte regulile de validitate.

Argumentele inductive sunt bazate pe generalizare (de la particular la general) și au două proprietăți distinctive: caracterul amplificator al concluziei și caracterul probabil al acesteia. Ele se împart în:

1. Inducția completă - examinează toate obiectele dintr-o clasă finită cu număr redus de obiecte. De fapt, este o argumentare deductivă cu valoare redusă în cunoaștere.

2. Inducția incompletă (amplificatoare) - examinează doar o parte din obiectele unei clase foarte mari sau infinite și generalizează proprietatea la întreaga clasă. Are rol foarte important în cunoaștere.

💡 Știința modernă se bazează pe inducție incompletă, dar structurată metodologic - ipotezele sunt testate și rafinate continuu pentru a crește probabilitatea concluziilor!

Mai avem și inducția prin simplă enumerare (bazată pe trecerea în revistă a multor cazuri) și inducția științifică (bazată pe observație organizată și experiment).