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...
Sparad:
| I publikationen: | Andamios |
|---|---|
| Huvudupphov: | |
| Materialtyp: | Artigo |
| Språk: | Espanhol |
| Utgiven: |
Universidad Autónoma de la Ciudad de México
2019
|
| Ämnen: | |
| Länkar: | 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 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|