1. Propoziţii
Utilizarea limbii naturale presupune apelul în primul rând la propoziţii.
Etimologic, cuvântul propoziţie provine din latinescul propositio care semnifică:
a) înfăţişare, prezentare (aspecte proprii, în primul rând, unei perspective gramaticale);
b) idee, premisă sau teză (în cadrul unei perspective logice).
O scurtă analiză a utilizării propoziţiilor în limba naturală va pune în evidenţă faptul că există o multitudine de tipuri de propoziţii:
a) declarative;
b) optative;
c) imperative;
d) interogative etc.
2. Propoziţii categorice
Aşa cum s-a subliniat deja, logica generală se preocupă de propoziţiile cognitive.
O categorie importantă în cadrul propoziţiilor cognitive este reprezentată de propoziţiile declarative (aspect lingvistic) cărora în plan logic le corespund propoziţiile categorice (de la grecescul kategorein = a predica), ca cele mai simple forme prin care se afirmă sau se neagă raportul existent între doi termeni.
Propoziţiile categorice sunt formele logice în care se exprimă un singur raport logic între doi termeni, fără a pune în legătură cu altceva sau a condiţiona acest raport de altceva.
3. Exemple de propoziţii categorice
a) Mulţi dintre elevi sunt prezenţi.
b) Nici un om nu este nemuritor.
c) Toate pisicile sunt mamifere.
d) Unii elevi sunt sportivi de performanţă.
4. Valori de adevăr
Propoziţiile categorice pot avea valori de adevăr:
a) 1 = adevărat;
b) 0 = fals;
c) ? = plauzibil.
5. Boethius
Boethius distingea cinci tipuri de propoziţii (orationes):
a) oratio deprecativa;
b) oratio imperativa;
c) oratio interrogativa;
d) oratio vocativa;
e) oratio enuntiativa.
Boethius considera că logica are ca obiect oratio enuntiativa, deoarece aceasta poate fi adevarată sau falsă.