You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
Preview not available
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 © 2007 Oxford University Press