Check out my new paper with Zach Weber: “On strong and weak logics for paraconsistent computability”.
#logic#philosophy#computerscience
https://t.co/RoXxkfuyGA
Philosophy seminar, 'The interpretation problems of quantum theory from the perspective of non-classical logics', Dr Fernando Cano-Jorge (postdoc, Otago), Weds 23 August, 11am-12.30pm in Mellor 2.15. All are welcome; more info at https://t.co/yjsSiaW8xR
Ian Hacking, an influential and prolific philosopher known for his work on various topics in philosophy of science, died earlier today. https://t.co/L3ExP9MIHq
@estrabismoooo I’d say one can’t do that because disjunction is a binary connective and, more importantly, its truth conditions consist of two alternatives. I have seen tableaux systems for relevant logics with conditionals w/3 branches though.
My paper "When the Beauty of Images Exemplifies: Considerations About Scientific Images and Understanding” has won the Teorema Essay Prize for Young Scholars 2022!
This paper wouldn't have been possible without the extremely valuable feedback from my beloved @LogicalAnalysis 🫀