This philosopher proved a completeness theorem for modal logic and used the example of a man who assents to "Londres est jolie" but not "London is pretty" to illustrate his titular (*) "Puzzle About Belief."
In one of his papers, this thinker constructed a language that contains its own truth predicate; that paper is titled "Outline of a Theory of Truth." Another work by this thinker offers a skeptical solution to the problem of distinguishing whether one means to add to to quadd when asked "what is 57 plus 68." This philosopher proved a completeness theorem for modal logic and used the example of a man who assents to "Londres est jolie" but not "London is pretty" to illustrate his titular (*) "Puzzle About Belief." He also argued for the existence of necessary a posteriori truths in a work which put forth the idea of a semantic construct that picks out the same thing in all possible worlds. For 10 points, identify this American philosopher who wrote Wittgenstein on Rules and Private Language and invented the concept of the rigid designator in his Naming and Necessity
In one of his papers, this thinker constructed a language that contains its own truth predicate; that paper is titled "Outline of a Theory of Truth."
Saul Kripke