La verdad lógica en el fragmento proposicional de los Principia y sus implicaciones metalógicas
La teoría de tipos de los Principia Mathematica contiene una subteoría muy especial que constituye una lógica correcta y completa y cuyo conjunto de verdades es, además, decidible: la lógica proposicional. El propósito de este artículo es explicar qué entendían Whitehead y Russell por una verdad de...
Guardat en:
| Publicat a: | Andamios |
|---|---|
| Autor principal: | |
| Format: | Artigo |
| Idioma: | Espanhol |
| Publicat: |
Universidad Autónoma de la Ciudad de México
2019
|
| Matèries: | |
| Accés en línia: | https://www.redalyc.org/articulo.oa?id=62862890003 https://www.redalyc.org/journal/628/62862890003/ https://www.redalyc.org/journal/628/62862890003/html/ https://www.redalyc.org/journal/628/62862890003/62862890003.epub https://www.redalyc.org/journal/628/62862890003/movil |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|