A formula developed by this thinker allows for the interchange of quantifiers and modal operators, resulting in statements like "if it is possible that there exists an object satisfying P, then there exists an object that possibly satisfies P.
This philosopher argued that just because moral dilemmas exist does not mean that there also exists some inconsistency in a set of moral principles in a paper titled "Moral Dilemmas and Consistency." In one paper, this philosopher proposed the use of substitutional semantics to accomplish the paper's title goal, "Dispensing with Possibilia." A formula developed by this thinker allows for the interchange of quantifiers and modal operators, resulting in statements like "if it is possible that there exists an object satisfying P, then there exists an object that possibly satisfies P." In the article titled "Modality and Intensional Languages," (*) this philosopher proposed that names have no meanings, but are simply "tags." This philosopher's early work included a paper titled "A Functional Calculus of First Order Based on Strict Implication," which began her project of quantifying modal logic. For 10 points, identify this late American philosopher of logic and language who taught for many years at Yale.
This philosopher argued that just because moral dilemmas exist does not mean that there also exists some inconsistency in a set of moral principles in a paper titled "Moral Dilemmas and Consistency."
Ruth Barcan Marcus