Modalitäten und intensionale Sprachen

Einführung

Marcus veröffentlichte den Aufsatz in der Zeitschrift Synthese und trug ihn im Boston Colloquium for the Philosophy of Science vor, wo Quine antwortete und sich eine Diskussion mit Saul Kripke und Dagfinn Føllesdal anschloss; der gedruckte Austausch gehört zu den bekanntesten der Logik des 20. Jahrhunderts. Gegen Quines Einwand, die Modallogik sei begrifflich verworren, vertritt sie, dass gewöhnliche Eigennamen als bloße „Etiketten“ funktionieren: Sie bezeichnen direkt, ohne zu beschreiben; daher schadet es in modalen Kontexten nicht, einen Namen eines Dinges durch einen anderen zu ersetzen, und eine wahre Identität zwischen Namen (a = b) gilt notwendig. Damit nimmt sie die Theorie der direkten Referenz vorweg, die mit Kripkes „Name und Notwendigkeit“ (1970/1980) verbunden wird; 1994 löste ein Aufsatz von Quentin Smith einen öffentlichen Prioritätsstreit aus.

Weitere Werke von Ruth Barcan Marcus

• 1946Ein Funktionenkalkül erster Stufe auf der Grundlage strikter Implikation