In setting up a syntax for a first order theory, one usually includes Modus Ponens as a metarule. However, couldn't MP just be rewritten as a second-order sentence, thereby making all supposedly first-order theories de facto second-order ones?
While on the subject of second order theories, I...
Second order curiosities: MPP, implication
Second order curiosities: MPP, implication
While on the subject of second order theories, I...
Second order curiosities: MPP, implication
Second order curiosities: MPP, implication
0 commentaires:
Enregistrer un commentaire