specie

specie

specie in logica, analogo intuizionistico del concetto di insieme (→ intuizionismo). Le condizioni per definire una specie vanno precisate in senso intuizionistico per cui, per esempio, la doppia negazione di una condizione non è necessariamente equivalente alla condizione stessa. Le operazioni tra specie, quali unione, intersezione e altre, sono definite in modo analogo a quelle tra insiemi, ma alcune loro proprietà ne differiscono. Per esempio, il complemento del complemento di una specie non coincide necessariamente con la specie stessa.