Paquete (lógica)
Una premisa es una declaración destinada a fundamentar o explicar algún argumento [1] . En lógica , un argumento es un conjunto de proposiciones (o " juicios "), algunas de las cuales son premisas, y otras proposiciones afirmativas (o proposiciones) son conclusiones lógicas .
Aristóteles argumentó que cualquier argumento lógico puede reducirse a dos premisas y una conclusión [2] . A veces se omiten las parcelas, en cuyo caso se denominan premisas omitidas, por ejemplo:
Sócrates es mortal porque todos los hombres son mortales.
Está claro que Sócrates es un hombre (se omite esta premisa). Un argumento ampliado sería:
Dado que todos los hombres son mortales y Sócrates es un hombre, se sigue que Sócrates es mortal.
En este ejemplo, las dos primeras proposiciones independientes - "todos los hombres son mortales" y "Sócrates es un hombre" - son las premisas, mientras que "Sócrates es mortal" es la conclusión.
La prueba de la conclusión depende tanto de la verdad de ambas premisas como de la validez del argumento.
Notas
- ↑ "Argumento: una secuencia de afirmaciones tales que algunas de ellas ( premisas ) son razones para aceptar otras, conclusiones ": Diccionario de Filosofía de Cambridge, 2.ª ed. (Prensa de la Universidad de Cambridge), ed. Roberto Audi, 43.
- ↑ p216, Jan Gullberg , Matemáticas desde el nacimiento de los números, W. W. Norton & Company; ISBN 039304002X ISBN 978-0393040029
 diccionarios y enciclopedias |
|---|
| Lógicas | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofía • Semántica • Sintaxis • Historia | |||||||||
| Grupos lógicos |
| ||||||||
| Componentes |
| ||||||||
| Lista de símbolos booleanos | |||||||||