Greg Restall · @consequently
917 followers · 81 posts · Server hcommons.socialAfter a short summer break exploring Scotland, it’s time to slowly get back into the saddle, giving a few talks, and preparing for the new academic year’s teaching.
First up, a short visit to Bochum for a PhD exam, and an impromptu talk on non-classical models for the identity predicate.
https://consequently.org/presentation/2023/exploring-three-valued-models-for-identity/
#logic #modeltheory #prooftheory #philosophicallogic
P. Christian Adamski 🌐🇺🇦 · @modalpenalcode
93 followers · 10 posts · Server toot.communityI also used to teach #philosophy. I studied #mathematicallogic #prooftheory #politicalphilosophy #moralphilosophy #practicalreason #philosophyofphysics. I'm very much into the #classics and especially #homer and the #iliad.
#philosophy #mathematicallogic #prooftheory #politicalphilosophy #moralphilosophy #practicalreason #philosophyofphysics #classics #homer #iliad