Recent searches
Search options
This Thursday, I’ll be down in London giving a talk about defining rules for quantifiers and identity, at the PPLV group in Computer Science at UCL. If you happen to be in the area, and are interested in proof theory, semantics and hints of metaphysics, I’d love to see you there.
consequently.orgDefining Rules for Quantifiers and Identity — consequently.org
@consequently Looks like a neat talk! I wonder if you've ever come across Sören Stenlund's monograph on definite descriptions (I have a scan at https://www.cs.ubc.ca/~rxg/Stenlund1973TheLogicOfDescriptionAndExistence.pdf)?
It seems related to some of the topics of your abstract (in a sense it uses proof theory to banish non-denoting terms). I use its ideas to teach about definitions.