What is the logic of propositional identity?
نویسندگان
چکیده
منابع مشابه
Sayward WHAT IS THE LOGIC OF PROPOSITIONAL IDENTITY ? †
Propositional identity is not expressed by a predicate. So its logic is not given by the ordinary first order axioms for identity. What are the logical axioms governing this concept, then? Some axioms in addition to those proposed by Arthur Prior are proposed.
متن کاملEquality propositional logic and its extensions
We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...
متن کاملthe crisis of identity in jhumpa lahiris fiction: interpreter of maladies and the namesake
شکل گیری هویت(identity) مقوله مهمی در ادبیات پراکنده مردم(diasporan literature) می باشد. آثار جومپا لاهیری(jhumpa lahiri) ، نویسنده هندی آمریکایی، در سالهای اخیر تحسین منتقدین را به خود معطوف کرده است. وی در این آثار زندگی مهاجران و تلاش آنان برای پیدا کردن جایگاهشان در یک فرهنگ بیگانه را به تصویر کشیده است. این تجربه همواره با احساساتی نظیر دلتنگی برای گذشته، بیگانگی و دوری همراه است. با این ح...
15 صفحه اولPropositional Lax Logic Propositional Lax Logic
We investigate a peculiar intuitionistic modal logic, called Propositional Lax Logic (PLL), which has promising applications to the formal veri cation of computer hardware. The logic has emerged from an attempt to express correctness `up to' behavioural constraints | a central notion in hardware veri cation | as a logical modality. As a modal logic it is special since it features a single modal...
متن کاملWhat is the Real Cause of Glaucoma?
Introduction: The term glaucoma refers to a group of diseases that have a characteristic optic neuropathy with associated visual field loss in common. Intraocular pressure has been considered to be the only causal factor for glaucoma and the only factor that can be manipulated to alter the course of the disease. But considering high intraocular pressure as the only factor responsible for glauco...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2006
ISSN: 1425-3305
DOI: 10.12775/llp.2006.001