Recent searches
Search options
The lineup at the Aristotelian Society for this new academic year looks exciting. I’m looking forward to presenting there next month.
I’ll be riffing off Michael Dummett’s presentation at the Society 65 years ago and his subsequent work on meaning semantic anti-realism into dialogue with contemporary work on proof assistants and type theory, while drawing out some lessons for productively understanding meaning at the interface between minds and machines. (Along the way, I might manage to revisit some of my own earlier claims about logical pluralism, and say something about the changes of fashion in philosophical logic in Oxford, too.)
If you’re in or around London in late October, and are interested in philosophy and logic, I’d love to see you there.
https://www.aristoteliansociety.org.uk/the-proceedings/the-2024-25-programme/
… and I’ve completed a draft of the paper (on Michael Dummett, philosophy of logic, proof assistants, meaning and more) that I’ll present at the end of the month in London.
If you’d like to read it, you can download it from here:
https://consequently.org/presentation/2024/what-can-we-mean-aristo/
Feedback, as ever, is most welcome.
@consequently very exciting!
@standefer Thank you!
(Now to dig myself out from under the pile of all my other work…)