Modalities and Intensional Languages (Modalności i języki intensjonalne)

Wprowadzenie

Marcus published the paper in Synthese and presented it at the Boston Colloquium for the Philosophy of Science, where Quine replied and a discussion with Saul Kripke and Dagfinn Føllesdal followed; the printed exchange is one of the best-known in 20th-century logic. Against Quine’s view that modal logic is confused, she argues that ordinary proper names work as mere “tags”: they refer directly, without describing, so replacing one name of a thing with another causes no trouble in modal contexts, and a true identity between names (a = b) holds necessarily. These ideas anticipate the theory of direct reference associated with Kripke’s Naming and Necessity (1970/1980); in 1994 a paper by Quentin Smith set off a public dispute over priority.

Więcej dzieł: Ruth Barcan Marcus

• 1946A Functional Calculus of First Order Based on Strict Implication (Rachunek funkcyjny pierwszego rzędu oparty na implikacji ścisłej)