A Note on Core Logic

Here’s a very short Note on Core Logic — that’s Core Logic in Neil Tennant’s sense — prompted by reading a forthcoming short paper by Joseph Vidal-Rosset which offers what are supposed to be three fatal objections (link to his paper in my Note, which I’m posting as a PDF as it involves proof diagrams). I’m not sure quite where I stand on Tennant’s project: but I really don’t think that Vidal-Rosset gets the measure of it at all. No doubt Tennant himself will reply in due course; but some might find this quick counterblast of interest.