Abast existencial
De Wikisofia
La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En la lògica tradicional, el supòsit que els enunciats categòrics universals, A i I, no es refereixen en cap c...».)
La revisió el 09:46, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} En la lògica tradicional, el supòsit que els enunciats categòrics universals, A i I, no es refereixen en cap c...».)
En la lògica tradicional, el supòsit que els enunciats categòrics universals, A i I, no es refereixen en cap cas a conjunts buits, de manera que un enunciat com «Tots els homes són mortals», atès que implica que existeixen «homes», implica també que «algun home és mortal». En la lògica actual, aquest supòsit no es dóna, raó per la qual els enunciats universals s'interpreten segons la lògica de Boole de la següent manera:
Com aquestes afirmacions s'apliquen igualment a classes buides, la interpretació booleana no permet deduir de «tots els homes són mortals» que «algun home és mortal».