4. la nuova sistematizzazione del sapere dopo hegel: le ... - STOQ

una certa (congiunzione di) proprietà) intesa come estensione (= insieme degli
elementi che rendono vero) un certo predicato, p.es., l'"esser rosso"), ovvero
come dominio di una funzione intesa come relazione fra i valori di verità (1/0)
e quel dominio di elementi (1 per tutti gli elementi che appartengono, 0 per tutti
gli elementi che non appartengono a quel dominio).
Duplice risultato:
1. (Parziale) unificazione della logica formale stoica (= logica delle
proposizioni, teoria della dimostrazione) e aristotelica (= logica delle classi),
in forma, rispettivamente, di
a. calcolo delle proposizioni, dove la funzione proposizionale è costituita
da un predicato proposizionale — tipo “non”, “et”, “vel”, “aut”, “se…allora”,
“se e solo se” — e da una variabile proposizionale (p.es., “pq” sta per “p
e q”, “pvq” sta per “p e/o q”, etc.).
b. calcolo dei predicati, dove la funzione proposizionale è costituita da un
predicato terminale e da una variabile terminale (p.es., il predicato “esser
rosso” che ha per argomento tutti i nomi di oggetti rossi come “sangue”,