468 | tim lewens
become derivable. By choosing the language for such addition to be operator-free, we isolate E altogether. So, the deviancy of E is definitely a local matter. The Ohio State University Columbus, OH 43210, USA tennant.9@osu.edu
References
Steinberger, F. 2009. Not so stable. Analysis 69: 655–61. Tennant, N. forthcoming (a). Cut for core logic. Review of Symbolic Logic. Tennant, N. forthcoming (b). Inferentialism, logicism, harmony, and a counterpoint. In Essays for Crispin Wright: Logic, Language and Mathematics, ed. A. Miller. Volume 2 of a two-volume Festschrift for Crispin
↧