-
23
-
30Review: John Etchemendy, The Concept of Logical Consequence (review)Journal of Symbolic Logic 57 (1): 254-255. 1992.
-
143Maximal consistent sets of instances of Tarski’s schemaJournal of Philosophical Logic 21 (3). 1992.
-
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.
-
126KilimanjaroCanadian Journal of Philosophy 27 (sup1): 141-163. 1997.This is not an overly ambitious paper. What I would like to do is to take a thesis that most people would regard as wildly implausible, and convince you that it is, in fact, false. What's worse, the argument I shall give is by no means airtight, though I hope it's reasonably convincing. The thesis has to do with the fuzzy boundaries of terms that refer to familiar middle-sized objects, terms like ‘Kilimanjaro’ and ‘the tallest mountain in Africa.’ It is intuitively clear that Kilimanjaro has a f…Read more
-
76There's Something about Gödel is a bargain: two books in one. The first half is a gentle but rigorous introduction to the incompleteness theorems for the mathematically uninitiated. The second is a survey of the philosophical, psychological, and sociological consequences people have attempted to derive from the theorems, some of them quite fantastical.The first part, which stays close to Gödel's original proofs, strikes a nice balance, giving enough details that the reader understands what is go…Read more
-
44
-
11Ramsey and the Correspondence TheoryIn Volker Halbach & Leon Horsten (eds.), Principles of truth, Hänsel-hohenhausen. pp. 153-168. 2002.
-
1Universal Universal QuantificationIn J. C. Beall (ed.), Liars and Heaps: New Essays on Paradox, Oxford University Press Uk. 2003.
-
356How we learn mathematical languagePhilosophical Review 106 (1): 35-68. 1997.Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or …Read more
-
113Truth by defaultPhilosophia Mathematica 9 (1): 5-20. 2001.There is no preferred reduction of number theory to set theory. Nonetheless, we confidently accept axioms obtained by substituting formulas from the language of set theory into the induction axiom schema. This is only possible, it is argued, because our acceptance of the induction axioms depends solely on the meanings of aritlunetical and logical terms, which is only possible if our 'intended models' of number theory are standard. Similarly, our acceptance of the second-order natural deduction r…Read more
-
22Afterword: 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.
-
34Review: James Van Aken, Axioms for the Set-Theoretic Hierarchy; Stephen Pollard, More Axioms for the Set-Theoretic Hierarchy; Michael D. Potter, Sets. An Introduction (review)Journal of Symbolic Logic 58 (3): 1077-1078. 1993.
-
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
-
16The Philosophical Review: Vol. 106, No.1, January 1997Review of Metaphysics 51 (1): 208-208. 1997.
-
2There are many thingsIn Judith Jarvis Thomson & Alex Byrne (eds.), Content and modality: themes from the philosophy of Robert Stalnaker, Oxford University Press. pp. 93--122. 2006.
Cambridge, Massachusetts, United States of America