Structura și tipul propozițiilor categorice
Lumea poate fi descrisă prin propoziții cognitive - acele propoziții care pot fi evaluate ca adevărate sau false. În logică, aceste valori de adevăr se notează cu 1 (adevăr) și 0 (fals), stând la baza funcționării tuturor sistemelor computaționale moderne.
Nu toate propozițiile sunt de interes pentru logică. Propozițiile interogative, exclamative sau imperative nu descriu lumea, deci nu pot fi evaluate ca adevărate sau false. De asemenea, propozițiile axiologice (care exprimă valori personale) sunt adesea confundate cu propozițiile cognitive. De exemplu, "Real Madrid este mai bună decât Barcelona" este o propoziție axiologică, dar "Eu cred că Real Madrid este mai bună decât Barcelona" este una cognitivă.
Propozițiile categorice sunt un tip special de propoziții cognitive care exprimă o judecată atributivă - atribuie sau neagă o caracteristică unei noțiuni. Ele exprimă un singur raport logic între doi termeni, fără ca acest raport să fie condiționat de altceva.
Reține! Nu confunda propozițiile axiologice cu cele cognitive. Multe conflicte ar putea fi evitate dacă oamenii ar înțelege diferența dintre opiniile personale și faptele care pot fi evaluate obiectiv.