Ali Abasnezhad
Biographic Data
| ID | 9559604 |
|---|---|
| NAME | Ali Abasnezhad |
| GIVEN NAMES | Ali |
| FAMILY NAME | Abasnezhad |
| SIGNATURE | ABASNEZHAD A |
| AFFILIATIONS | Munich Center for Mathematical Philosophy (LMU Munich), Munich, Germany |
| VERIFIED | No |
| TOTAL WORKS | 1 |
| TOTAL CITATIONS | 0 |
| WORKS AS AUTHOR | 1 |
| WORKS AS EDITOR | 0 |
| FIRST PUBLICATION YEAR | 2020 |
| LATEST PUBLICATION YEAR | 2020 |
| H-INDEX | 0 |
Leibnizian Identity and Paraconsistent Logic
The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classic…
No prominent works on this page.
Leibnizian Identity and Paraconsistent Logic
The standard Leibnizian view of identity allows for substitutivity of identicals and validates transitivity of identity within classical semantics. However, in a series of works, Graham Priest argues that Leibnizian identity invalidates both principles when formalized in paraconsistent semantics. This paper aims to show the Leibnizian view of identity validates substitutivity of identicals and transitivity of identity whether the logic is classic…
Combinatorics (1 work) · Computability, Logic, AI Algorithms (1 work) · Computer Science (1 work) · Description logic (1 work) · Epistemology (1 work) · Higher-order logic (1 work) · Identity (music) (1 work) · Logic, Reasoning, and Knowledge (1 work) · Mathematics (1 work) · Paraconsistent logic (1 work)