نتایج جستجو برای: and actuality
تعداد نتایج: 16827251 فیلتر نتایج به سال:
We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula φ in the propositional modal language with A, there is a formula ψ not containing A such that φ and ψ are materially equivalent at the actual world in every Kripke model (respectively, nei...
A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically pro...
It has been claimed that counterpart theory cannot support a theory of actuality without rendering obviously invalid formulas valid or obviously valid formulas invalid. We argue that these claims are not based on logical flaws of counterpart theory itself, but point to the lack of appropriate devices in first-order logic for “remembering” the values of variables. We formulate a mildly dynamic v...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید