Lezione 21 (23 novembre): Proposizioni sulle classi, principi sulle classi

Le proposizioni sulle classi sono:
- l'asserzione dell'appartenenza di un oggetto a una classe , e la sua negazione (l'asserzione che quell'oggetto è esterno a quella classe)
- l'asserzione che una classe X è parte di una classe Y, e la sua negazione (l'asserzione che la classe X ha elementi esterni alla classe Y)
- l'asserzione che una classe X condivide elementi con una cosse Y, e la sua negazione (l'asserzione che la classe X e la classe Y sono disgiunte).

Nella lezione ho mostrato come queste proposizioni vengono lette nella logica odierna.

I principi sulle classi sono:
- il principio di estensionalità, che risponde alla domanda "quando due classi X e Y sono uguali?" e asserisce che sono uguali quando "hanno gli stessi elementi";
- il principio di comprensione, che stabilisce il legame tra classi e proprietà asserendo che per ogni proprietà esiste una classe che le corrisponde (l'inverso  - ossia che ad ogni classe corrisponde una proprietà -  è anch'esso accettato ma è più evidente).

Nella lezione ho mostrato come vengono scritti nella logica contemporanea questi principi.