Abast existencial
De Wikisofia
La revisió el 18:33, 24 set 2018 per Jorcor (discussió | contribucions)
La revisió el 18:33, 24 set 2018 per Jorcor (discussió | contribucions)
En la lògica tradicional, el supòsit que els enunciats categòrics universals, A i E, 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».