Metadata
Author: WikiMatrix
Data
English[en]
If it is ruled that no universal statement has existential import then the square of opposition fails in several respects (e.g. AaB does not entail AiB) and a number of syllogisms are no longer valid (e.g. BaC,AaB->AiC).
Finnish[fi]
Jos sovitaan, että yleisillä lauseilla ei ole eksistentiaalista merkitystä, vastakohtaisuuksien neliö ei tietyissä tapauksissa päde (esimerkiksi AaB ei edellytä, että myös AiB on tosi), ja muutamat edellä esitetyt syllogismit eivät päde (esimerkiksi Barbari, BaC, AaB->AiC).