UN PROBLEMA LÓGICO CON LA TESIS KRIPKE-PUTNAM

Pierre Baumann
2018 Revista Ideação  
Este trabajo arguye que la tesis Kripke-Putnam es ininteligible desde un punto de vista lógico formal, debido a que no es implementable ni en lógica de primer orden ni en lógica de segundo orden.
doi:10.13102/ideac.v1i34.1246 fatcat:ziwwkv4dmvhzvdenwo2rhiexoe