Diferència entre revisions de la pàgina «Abast existencial»
De Wikisofia
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| Línia 2: | Línia 2: | ||
En la lògica tradicional, el supòsit que els [[enunciat categòric|enunciats categòrics]] universals, [[A|A]] i [[E|E]], no es refereixen en cap cas a conjunts buits, de manera que un [[enunciat|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 [[àlgebra de Boole|Boole]] de la següent manera: | En la lògica tradicional, el supòsit que els [[enunciat categòric|enunciats categòrics]] universals, [[A|A]] i [[E|E]], no es refereixen en cap cas a conjunts buits, de manera que un [[enunciat|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 [[àlgebra de Boole|Boole]] de la següent manera: | ||
| − | |||
| + | <center> | ||
| + | {|class="wikitable" style="width: 60%;" | ||
| + | |- | ||
| + | | style="width: 8%"|'''Lògica tradicional''' | ||
| + | | style="width: 12%"|'''Lògica moderna''' | ||
| + | | style="width: 6%"| '''Boole''' | ||
| + | |- | ||
| + | |"Tots els A són B" | ||
| + | |"No existeix A que no sigui B" | ||
| + | |<math>A\overline{B}=0</math> | ||
| + | |- | ||
| + | |"Cap A és B" | ||
| + | |"No existeix A que sigui B" | ||
| + | |<math>AB=0</math> | ||
| + | |- | ||
| + | |} | ||
| + | </center> | ||
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». | 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». | ||
Revisió de 18:51, 24 set 2018
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:
| Lògica tradicional | Lògica moderna | Boole |
| "Tots els A són B" | "No existeix A que no sigui B" | [math]\displaystyle{ A\overline{B}=0 }[/math] |
| "Cap A és B" | "No existeix A que sigui B" | [math]\displaystyle{ AB=0 }[/math] |
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».