Publication | Closed Access
The Problem of the Morning Star and the Evening Star
86
Citations
0
References
1949
Year
Formal SemanticsNon-classical LogicPhilosophy Of LanguageAstronomical Coordinate SystemAutomated ReasoningStellar StructureClassical LogicPhilosophy Of LogicEvening StarMorning StarLanguage StudiesSemanticsModal LogicLinguisticsAstrophysics
An argument opposing the unrestricted use of quantification in modal logic has been put forward by Quine. Central to this argument are the two phrases, (1) The Morning Star, (2) The Evening Star. One form of the argument is obtained by considering the following two statements: (3) It is necessary that the Morning Star is identical with the Morning Star. (4) It is not necessary that the Evening Star is identical with the Morning Star.