Ruth Barcan Marcus
US-amerikanische Logikerin und Philosophin / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Ruth Barcan Marcus?
Fass diesen Artikel für einen 10-Jährigen zusammen
Ruth Barcan Marcus (* 2. August 1921, New York[1]; † 19. Februar 2012, New Haven[2]) war eine US-amerikanische Philosophin und Logikerin.
Sie gilt als eine der Begründerinnen der quantifizierten Modallogik (oder modalen Prädikatenlogik) und der Theorie der starren Designation (‘direct reference’). Nach ihr ist die Barcan-Formel benannt, die sie selbst zuerst formulierte. Darüber hinaus stammen von ihr einschlägige Veröffentlichungen zur Philosophie der Logik, speziell zum Essentialismus, zur Notwendigkeit der Identitätsrelation und zum Status von möglichen, aber nicht wirklich existierenden Objekten (possibilia); des Weiteren zur Theorie epistemischer Überzeugungen und zu Pflichtenkollisionen vom Standpunkt der deontischen Logik.