Diferència entre les revisions de "Llògica intuicionista"
Sense resum d'edició |
Sense resum d'edició |
||
| (No se mostra una edició intermija del mateix usuari) | |||
| Llínea 3: | Llínea 3: | ||
La llògica intuicionista rebuja el [[principi del tercer exclòs]], pero conserva el [[principi d'explosió]]. Açò es deu a una observació de Brouwer que si emfatisem les proves en contes de la veritat, llavors en els conjunts infinits el principi del tercer exclòs falla quan s'aplica a una proposició per a la qual no existix demostració, ni de la seua veritat ni de la seua falsetat. | La llògica intuicionista rebuja el [[principi del tercer exclòs]], pero conserva el [[principi d'explosió]]. Açò es deu a una observació de Brouwer que si emfatisem les proves en contes de la veritat, llavors en els conjunts infinits el principi del tercer exclòs falla quan s'aplica a una proposició per a la qual no existix demostració, ni de la seua veritat ni de la seua falsetat. | ||
En els conjunts finits sempre és possible verificar si una proposició és certa o falsa; en els infinits, no. | En els conjunts finits sempre és possible verificar si una proposició és certa o falsa; en els infinits, no. | ||
== Vore també == | == Vore també == | ||
| Llínea 9: | Llínea 9: | ||
* [[Llògica modal]] | * [[Llògica modal]] | ||
[[Categoria:Ètica]] | [[Categoria:Ètica]] | ||
[[Categoria:Sistemes llògics|Intuicionista]] | [[Categoria:Sistemes llògics|Intuicionista]] | ||