Milne P (2007) Existence and identity in free logic: Two comments. Mind, 116 (464), pp. 1079-1082. https://doi.org/10.1093/mind/fzm1079
Professor Tennant and I agree on much regarding the proof-theoretic semantics of free logic. Here I point to two issues, one on which we disagree, the other on which I find it hard to say how closely we may agree. The first concerns the exact content of Tennant's Rule of Atomic Denotation. The second concerns the nature of assumptions whose formal counterparts contain parametric occurrences of names.
Mind: Volume 116, Issue 464
|Publisher||Oxford University Press|
|Place of publication||OXFORD|