Diferència entre revisions de la pàgina «Lògica intuïcionista»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Sistema de lògica desenvolupat per Arend Heyting, en 1930, d'acord amb els principis de l'intuïcionisme matemàti...».) |
m (Text de reemplaçament - "intuicionista" a "intuïcionista") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Sistema de [[lògica|lògica]] desenvolupat per Arend Heyting, en 1930, d'acord amb els principis de l'[[intuïcionisme|intuïcionisme]] matemàtic de L. Brouwer, i acceptat per aquest com a adequada formulació lògica de les exigències del [[raonament|raonament]] | + | Sistema de [[lògica|lògica]] desenvolupat per Arend Heyting, en 1930, d'acord amb els principis de l'[[intuïcionisme|intuïcionisme]] matemàtic de L. Brouwer, i acceptat per aquest com a adequada formulació lògica de les exigències del [[raonament|raonament]] intuïcionista. Aquesta lògica suposa un cert rigorisme metodològic que, malgrat seguir les regles de [[deducció|deducció]] desplegades en els ''Principia Matematica'', no accepta el [[principi del tercer exclòs|principi del tercer exclòs]] ni el de la doble [[negació|negació]] així com tampoc tota [[disjunció|disjunció]] de la qual no pugui provar-se la veritat d'almenys un dels seus membres. |
{{Etiqueta | {{Etiqueta | ||
Revisió de 23:00, 8 març 2015
Sistema de lògica desenvolupat per Arend Heyting, en 1930, d'acord amb els principis de l'intuïcionisme matemàtic de L. Brouwer, i acceptat per aquest com a adequada formulació lògica de les exigències del raonament intuïcionista. Aquesta lògica suposa un cert rigorisme metodològic que, malgrat seguir les regles de deducció desplegades en els Principia Matematica, no accepta el principi del tercer exclòs ni el de la doble negació així com tampoc tota disjunció de la qual no pugui provar-se la veritat d'almenys un dels seus membres.