Day 1 of learning Manim. This is the liar's paradox in sequent calculus presented as transformations.
The deadline for the joint conference with the Taiwan Association for Logic, Methodology, Philosophy of Science and Technology and the Asia-Pacific Philosophy of Science Association 2025 Biennial Conference in Taipei is December 31, 2024 appsa2025taiwan.mystrikingly.com
APPSA 2025 on Strikingly
appsa2025taiwan.mystrikingly.com
I recently gave a talk at AAL where I argue that given an analysis of semantic and Soritical revenge arguments, the ST logician should prefer a weak Kleene based ST over the more popular strong Kleene. youtu.be/90cUMV_q2bQ?...
Rashed Ahmad A Case for Weak Kleene ST
YouTube video by Australasian Association for Logic
youtu.be
Deadline extended to December 9th!
Rashed Ahmad@rashed.link · 2y agoI'm pleased to announce that Kuwait University will hold its inaugural symposium on logic on Feb 18-19, 2025. Topics (broadly construed): Non-classical logics, Semantic and Soritical Paradoxes, and Philosophy and Epistemology of Logic. For details, visit: Kuwaitlogic.com
Abstract submission deadline: Nov 25th, 2024 Keynote speakers: Graham Priest (CUNY Graduate Center) Gillian Russell (Australian National University) Suki Finn (Royal Holloway University of London) Eduardo Barrio (University of Buenos Aires)
Women in PLEXUS workshop on substructural logics December 4-6, 2024 University of Turin Keynote speakers: Pilar Terrés Villalonga, Elaine Pimentel, Paula Teijeiro, Noemí Lubomirsky sites.google.com/view/womenin...
Women in PLEXUS
This event is part of and funded by the research project PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality
sites.google.com
I'm pleased to announce that Kuwait University will hold its inaugural symposium on logic on Feb 18-19, 2025. Topics (broadly construed): Non-classical logics, Semantic and Soritical Paradoxes, and Philosophy and Epistemology of Logic. For details, visit: Kuwaitlogic.com
The Inaugural Symposium in Logic in the Arab World
kuwaitlogic.com