https://youtu.be/YXqlWwIRMLE?si=qWh_RnKpuDW48Nre
References
https://academic.oup.com/book/32570
https://curtjaimungal.substack.com/p/misinterpretations-of-godels-theorem
https://youtu.be/oAmQjyv6hfk?si=T2DG6XatMenF6INr
<aside> đź’ˇ Graham Priest is Distinguished Professor of Philosophy at The Graduate Centre, City University of New York, Boyce Gibson Professor Emeritus at the University of Melbourne, and International Research Fellow at the Ruhr University of Bochum. Prof Priest has published far and wide, spanning metaphysics, philosophical logic, the history of philosophy, and Asian philosophy, but is best known for his analysis of logical paradoxes, development of dialetheism, paraconsistent logic and defence of there being true contradictions. His scholarship includes over 300 journal articles and numerous books, such as In Contradiction (2006), Non-Classical Logic (2008) and perhaps his most popular book outside of academia, Oxford University's Logic: A Very Short Introduction (2001).
</aside>
What is a belief most people have about logic that is not the case?—or at least you believe not to be the case?
You’re clearly a logician do you consider yourself a metaphysician, too?
Why do most people sort of a priori accept or believe in the law of non-contradiction?
What is ontological vagueness? And does it have a significance to dialetheism? For instance, is the sorites paradoxes a dialetheia?
How does one discern between a true and false contradiction? I assume you would say, in the spirit of 20th Century philosophy of science, there’s is no master algorithm for it?
What does dialetheism mean for science? I assume you disagree with Popper’s view that if science were to accept contradiction it would blow up the whole enterprise?
Dialecticians, even those who made the above observation, would have been hampered in standing up to being bludgeoned with the Principia Mathematica due to the fact that there was no articulated formal theory of logic satisfactory for their purposes. This has now· changed. Though only just starting to receive the attention they deserve, paraconsistent logics - logics where Popper's inference fails - have undergone a very impressive development in the last 20 years. (Priest, 1989)
Kant’s Excessive Tenderness for Things in the World, and Hegel’s Diale