mary did you know came out in late 1976.
mary did you know came out in late 1976.
when did mary did you know come out?
late 1976
Na
Na
the notion of knowledge discussed does not take into account computational constraints on inference. if we take the possible worlds approach to knowledge, it follows that our epistemic agent "a" knows all the logical consequences of his or her or its beliefs. if formula_59 is a logical consequence of formula_60, then there is no possible world where formula_60 is true but formula_59 is not. so if "a" knows that formula_60, it follows that all of the logical consequences of formula_60 are true of all of the possible worlds compatible with "a" 's beliefs. therefore, "a" knows formula_59. it is not epistemically possible for "a" that not-formula_59 given his knowledge that formula_60. this consideration was a part of what led robert stalnaker to develop two dimensionalism, which can arguably explain how we might not know all the logical consequences of our beliefs even if there are no worlds where the propositions we know come out true but their consequences false.
epistemic modal logic