Frege's Puzzle
In the philosophy of language, "Hesperus is Phosphorus" is a famous sentence in relation to the semantics of proper names. Gottlob Frege used the terms "the evening star" (der Abendstern) and "the morning star" (der Morgenstern) to illustrate his distinction between sense and reference, and subsequent philosophers changed the example to "Hesperus is Phosphorus" so that it utilized proper names. Saul Kripke used the sentence to demonstrate that the knowledge of something necessary (in this case the identity of Hesperus and Phosphorus) could be discoverable rather than known a priori. On this question see Frege's Puzzle.
Read more about this topic: Phosphorus (morning Star)
Famous quotes containing the words frege and/or puzzle:
“I hope I may claim in the present work to have made it probable that the laws of arithmetic are analytic judgments and consequently a priori. Arithmetic thus becomes simply a development of logic, and every proposition of arithmetic a law of logic, albeit a derivative one. To apply arithmetic in the physical sciences is to bring logic to bear on observed facts; calculation becomes deduction.”
—Gottlob Frege (1848–1925)
“Scholars and artists thrown together are often annoyed at the puzzle of where they differ. Both work from knowledge; but I suspect they differ most importantly in the way their knowledge is come by. Scholars get theirs with conscientious thoroughness along projected lines of logic; poets theirs cavalierly and as it happens in and out of books. They stick to nothing deliberately, but let what will stick to them like burrs where they walk in the fields.”
—Robert Frost (1874–1963)