نتایج جستجو برای: and actuality

تعداد نتایج: 16827251  

Journal: :Hyperrhiz: New Media Cultures 2007

Journal: :The Bible and Critical Theory 2007

2013
Gideon Yaffe GIDEON YAFFE Richard Arneson Andrew Ashworth David Brink

Journal: :International Journal of Computer Science and Information Technology 2014

2013
Allen P. Hazen Benjamin G. Rin Kai F. Wehmeier A. P. Hazen

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...

2009
Michael Nelson Edward N. Zalta

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...

Journal: :J. Philosophical Logic 2014
Adam Rigoni Richmond H. Thomason

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...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید