-
18Logic, logic, and logic, by Boolos George, with introductions and afterword by John P. Burgess, edited by Jeffrey Richard, Harvard University Press, Cambridge, Mass., and London, 1998, ix+ 443 pp (review)Bulletin of Symbolic Logic 7 (1): 58-62. 2001.
-
18An Epistemic Principle Which Solves Newcomb's ParadoxGrazer Philosophische Studien 40 (1): 197-217. 1991.If it is certain that performing an observation to determine whether P is true will in no way influence whether P is tme, then the proposition that the observation is performed ought to be probabilistically independent of P. Applying the notion of "observation" liberally, so that a wide variety of actions are treated as observations, this proposed new principle of belief revision yields the result that simple utihty maximization gives the correct solution to the Fisher smoking paradox and the tw…Read more
-
16The Philosophical Review: Vol. 106, No.1, January 1997Review of Metaphysics 51 (1): 208-208. 1997.
-
15[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
-
14Etchemendy John. The concept of logical consequence. An unaltered republication of jsl lvii 254. The David Hume series of philosophy and cognitive science reissues. Center for the study of language and information, Stanford 1999, also distributed by cambridge university press, new York, VII + 174 pp (review)Bulletin of Symbolic Logic 7 (3): 379-380. 2001.
-
13The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF"Journal of Symbolic Logic 62 (4): 1371-1378. 1997.
-
11Ramsey and the Correspondence TheoryIn Leon Horsten & Volker Halbach (eds.), Principles of Truth, De Gruyter. pp. 153-168. 2003.
-
7TruthIn Michael Devitt & Richard Hanley (eds.), The Blackwell Guide to the Philosophy of Language, Wiley-blackwell. 2006.This chapter contains sections titled: Plato's Theory Convention T Tarski's Theory of Truth The Liar Paradox Disquotation and Correspondence.
-
5There's a Rule for EverythingIn Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality, Oxford University Press. pp. 179--202. 2006.
-
2Universal Universal Quantification: Comments on Rayo and WilliamsonIn Jc Beall (ed.), Liars and Heaps: New Essays on Paradox, Clarendon Press. pp. 357-364. 2003.
-
2University of Illinois at Urbana-Champaign, June 3–7, 2000Bulletin of Symbolic Logic 6 (3). 2000.
-
2There are many thingsIn Judith Thomson & Alex Byrne (eds.), Content and Modality: Themes From the Philosophy of Robert Stalnaker, Oxford University Press. pp. 93--122. 2006.
-
2The analysis of" a; is true" asIn Anil Gupta & Andre Chapuis (eds.), Circularity, Definition, and Truth, Indian Council of Philosophical Research. pp. 255. 2000.
-
1Universal Universal QuantificationIn J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox, Clarendon Press. 2004.
-
1Ramsey's DialetheismIn Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction, Clarendon Press. 2004.
-
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.
-
The categoricity of logicIn Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence, Oxford University Press. 2015.
-
Truth and Necessity in Partially Interpreted LanguagesDissertation, University of California, Berkeley. 1985.Tarski showed how to give satisfactory theories of truth for a wide variety of languages, but he required that the theory of truth for a language be formulated in an essentially richer metalanguage. Since there is no human language essentially richer than a natural language and since we would like to develop consistent theories of truth for natural languages, we would like to learn how to formulate a theory of truth for a language within that very language. ;Toward this end, I consider a class o…Read more
-
Omnibus Review (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.
-
Ramsey's DialetheismIn Graham Priest, J. C. Beall & Bradley Armour-Garb (eds.), The Law of Non-Contradiction: New Philosophical Essays, Clarendon Press. 2006.
Cambridge, Massachusetts, United States of America