-
64
-
2The analysis of" a; is true" asIn André Leon Jo Chapuis & Anil Gupta (eds.), Circularity, Definition and Truth, Sole Distributor, Munshiram Manoharlal Publishers. pp. 255. 2000.
-
164The degree of the set of sentences of predicate provability logic that are true under every interpretationJournal of Symbolic Logic 52 (1): 165-171. 1987.
-
246Logical commitment and semantic indeterminacy: A reply to WilliamsonLinguistics and Philosophy 27 (1): 123-136. 2004.
-
135
-
248Maximal consistent sets of instances of Tarski’s schemaJournal of Philosophical Logic 21 (3). 1992.
-
387Inscrutability and its discontentsNoûs 39 (3). 2005.That reference is inscrutable is demonstrated, it is argued, not only by W. V. Quine's arguments but by Peter Unger's "Problem of the Many." Applied to our own language, this is a paradoxical result, since nothing could be more obvious to speakers of English than that, when they use the word "rabbit," they are talking about rabbits. The solution to this paradox is to take a disquotational view of reference for one's own language, so that "When I use 'rabbit,' I refer to rabbits" is made true by …Read more
-
832000 Annual Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 6 (3): 361-396. 2000.
-
112Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.
-
32Afterword: Trying (With Limited Success) to Demarcate the Disquotational-Correspondence DistinctionIn Bradley P. Armour-Garb & J. C. Beall (eds.), Deflationary Truth, Open Court Press. pp. 143-152. 2005.
-
6There's a Rule for EverythingIn Agustín Rayo & Gabriel Uzquiano (eds.), Absolute generality, Oxford University Press. pp. 179--202. 2006.
-
Structures and the Hyperarithmetical Hierarchy. Knight has directed or co-directed seven doctoral dissertations in mathematics and one in electrical engineering. She served on selection panels for the NSF Postdoctoral Fellowships, on program committees of numerous meetings, and as an editor of The Journal of Symbolic Logic (1989-1995) (review)Bulletin of Symbolic Logic 6 (1). 2000.
-
33Ramsey and the Correspondence TheoryIn Volker Halbach & Leon Horsten (eds.), Principles of truth, Hänsel-hohenhausen. pp. 153-168. 2002.
-
323Timothy Williamson, vagueness: London and new York: 1994 (review)Linguistics and Philosophy 21 (2): 221-235. 1998.
-
27The Philosophical Review: Vol. 106, No.1, January 1997Review of Metaphysics 51 (1): 208-208. 1997.
-
46[Omnibus Review]Journal of Symbolic Logic 56 (1): 329-332. 1991.Reviewed Works:S. N. Artemov, B. M. Schein, Arithmetically Complete Modal Theories.S. N. Artemov, E. Mendelson, On Modal Logics Axiomatizing Provability.S.N. Artemov, E. Mendelson, Nonarithmeticity of Truth Prdicate Logics of Provability.V. A. Vardanyan, E. Mendelson, Arithmetic Complexity of Predicate Logics of Provability and Their.S. N. Artemov, E. Mendelson, Numerically Correct Provability Logics
Cambridge, Massachusetts, United States of America