# (p.210) References

# (p.210) References

Bibliography references:

Anderson, Alan and Nuel Belnap [1975], *Entailment: The logic of relevance and necessity I*, Princeton, Princeton University Press.

Anderson, Alan, Nuel Belnap, and Michael Dunn [1992], *Entailment: The logic of relevance and necessity II*, Princeton, Princeton University Press.

Arnold, Jack and Shapiro, Stewart [2007], “Where in the (world wide) web of belief is the law of non-contradiction?,” *Noûs 41* (2007), 276–97.

Awodey, Steve [2004], “An answer to Hellman’s question: ‘Does category theory provide a framework for mathematical structuralism?’,” *Philosophia Mathematica (III) 12*, 54–64.

Awodey, Steve [2006], *Category Theory*, Oxford, Oxford University Press.

Barwise, Jon, and Solomon Feferman (editors) [1985], *Model-theoretic Logics*, New York, Springer-Verlag.

Barwise, Jon, and John Perry [1983], *Situations and Attitudes*, Cambridge, Massachusetts, MIT Press.

Batens, Diderik, Chris Mortensen, Graham Priest, and Jean-Paul van Bendegem (editors) [2000], *Frontiers of Paraconsistent Logic*, Dordrecht, Kluwer Publishing Company.

Beall, J. C. [2009], *Spandrels of Truth*, Oxford, Oxford University Press.

Beall, J. C., and Greg Restall [2000], “Logical pluralism,” *Australasian Journal of Philosophy 78*, 475–93.

Beall, J. C., and Greg Restall [2001], “Defending logical pluralism” in *Logical Consequence: Rival Approaches*, *Proceedings of the 1999 conference of the Society of Exact Philosophy*, edited by John Woods and Bryson Brown, Hermes, Stanmore, 1–22.

Beall, J. C., and Greg Restall [2006], *Logical Pluralism*, Oxford, Oxford University Press.

Beeson, Michael J. [1985], *Foundations of Constructive Mathematics: Metamathematical Studies*, Berlin, Springer-Verlag.

Bell, John [1998], *A Primer of Infinitesimal Analysis*, Cambridge, Cambridge University Press.

Bell, John [2001], “The continuum in smooth infinitesimal analysis” in *Reuniting the Antipodes—Constructive and Nonstandard Views of the Continuum*, edited by P. Schuster, U. Berger, and H. Osswald, Dordrecht, Kluwer Academic Publishers, 19–24.

Bell, John [2009], “Cohesiveness,” *Intellectica 51*, 145–68.

(p.211)
Benacerraf, Paul, and Hilary Putnam [1983], *Philosophy of Mathematics*, second edition, Cambridge, Cambridge University Press.

Bernays, Paul [1967], “Hilbert, David” in *The Encyclopedia of Philosophy, Volume 3*, edited by P. Edwards, New York, Macmillan Publishing Company and The Free Press, 496–504.

Berto, Francesco [2007], *How to Sell a Contradiction: Studies in Logic 6*, London, College Publications.

Bishop, Errett [1967], *Foundations of Constructive Analysis*, New York, McGraw-Hill.

Bishop, Errett, and Douglas Bridges [1985], *Constructive Analysis*, Dordrecht, Springer-Verlag.

Bolzano, Bernard [1837], *Theory of Science*, translated by R. George, Berkeley, University of California Press, 1972.

Brady, Ross [2006], *Universal Logic*, Stanford, Centre for the Study of Language and Information.

Bridges, Douglas [1979], *Constructive Functional Analysis*, *Research Notes in Mathematics 28*, London, Pitman.

Bridges, Douglas, and Fred Richman [1987], *Varieties of Constructive Mathematics*, Cambridge, Cambridge University Press.

Bueno, Otávio, and Scott A. Shalkowski [2009], “Modalism and logical pluralism,” *Mind 118*, 295–321.

Burgess, John A. [2010], review of Beall and Restall [2006], *Philosophy and Phenomenological Research 81*, 519–22.

Burgess, John P. [1992], “Proofs about proofs: A defense of classical logic” in *Proof, Logic and Formalization*, edited by Michael Detlefsen, London, Routledge Publishing Company, pp. 8–23.

Burgess, John P. [2004], “Quine, analyticity and philosophy of mathematics,” *Philosophical Quarterly 54*, 38–55.

Burgess, John P. [2005], “No requirement of relevance” in *The Oxford Handbook of Philosophy of Mathematics and Logic*, edited by Stewart Shapiro, Oxford, Oxford University Press, 727–50.

Carnap, Rudolf [1934], *Logische Syntax der Sprache*, Vienna, Springer, translated as *The Logical Syntax of Language*, New York, Harcourt, 1937; another edition edited by Amethe Smeaton, Patterson, New Jersey, Littleton, 1959.

Carnap, Rudolf [1950], “Empiricism, semantics, and ontology,” *Revue Internationale de Philosophie 4*, 20–40; reprinted in Benacerraf and Putnam [1983], 241–57.

Chalmers, David [2011], “Verbal disputes,” *Philosophical Review 120*, 515–56.

Chalmers, David [2011a], “Revisability and conceptual change in ‘Two Dogmas of Empiricism’,” *Journal of Philosophy 108*, 387–415.

(p.212)
Church, Alonzo [1956], *Introduction to Mathematical Logic*, Princeton, Princeton University Press.

Coffa, J. Alberto [1986], “From geometry to tolerance: sources of conventionalism in nineteenth-century geometry” in *From Quarks to Quasars: Philosophical problems of modern physics*, University of Pittsburgh Series, Volume 7, Pittsburgh, Pittsburgh University Press, 3–70.

Coffa, J. Alberto [1991], *The Semantic Tradition from Kant to Carnap*, Cambridge, Cambridge University Press.

Cook, Roy T. [2000], *Logic-as-modeling: A new perspective on formalization*, Ph. D. Dissertation, The Ohio State University.

Cook, Roy T. [2002], “Vagueness and mathematical precision,” *Mind 111*, 225–47.

Cook, Roy T. [2005], “Intuitionism reconsidered” in *Oxford Handbook of the Philosophy of Mathematics and Logic*, Oxford, Oxford University Press, 387–411.

Cook, Roy T. [2010], “Let a thousand flowers bloom: a tour of logical pluralism,” *Philosophy Compass 5*, 492–504.

Corcoran, John [1973], “Gaps between logical theory and mathematical practice” in *The Methodological Unity of Science*, edited by M. Bunge, Dordrecht, Holland, D. Reidel, 23–50.

Corcoran, John, and George Weaver [1974], “Logical consequence in modal logic II: Some semantic systems for S4,” *Notre Dame Journal of Formal Logic 15*, 370–8.

da Costa, Newton [1974], “On the theory of inconsistent formal systems,” *Notre Dame Journal of Formal Logic 15*, 497–510.

Davidson, Donald [1984], *Inquiries into Truth and Interpretation*, Oxford, Clarendon Press.

Davidson, Donald, and Gilbert Harman (eds) [1972], *Semantics of Natural Language*, Dordrecht, D. Reidel Publishing Company.

Dummett, Michael [1973], “The philosophical basis of intuitionistic logic” in *Truth and Other Enigmas*, by M. Dummett, Cambridge Massachusetts, Harvard University Press, 1978, 215–47; reprinted in Benacerraf and Putnam [1983], 97–129.

Dummett, Michael [1975], “Wang’s paradox,” *Synthese 30*, 301–24, reprinted in Keefe and Smith [1997], 99–118.

Dummett, Michael [1991], *Frege: Philosophy of Mathematics*, Cambridge, Massachusetts, Harvard University Press.

Dummett, Michael [1991a], *The Logical Basis of Metaphysics*, Cambridge, Massachusetts, Harvard University Press.

Dummett, Michael [2000], *Elements of Intuitionism*, second edition, Oxford, Oxford University Press.

(p.213) Edgington, Dorothy [1997], “Vagueness by degrees,” in Keefe and Smith [1992], 294–316.

Enderton, Herbert [1972], *A Mathematical Introduction to Logic*, New York, Academic Press.

Etchemendy, John [1990], *The Concept of Logical Consequence*, Cambridge, Massachusetts, Harvard University Press.

Feferman, Solomon [2011], “Foundations for category theory: what remains to be done,” talk at annual ASL meeting, Berkeley; see <http://math.stanford.edu/~feferman/papers/FoundsCatTh(ASL).pdf>.

Field, Hartry [2006], “Truth and the Unprovability of Consistency,” *Mind 115*, 567–605.

Field, Hartry [2008], *Saving Truth from Paradox*, Oxford, Oxford University Press.

Field, Hartry [2009], “Pluralism in logic,” *Review of Symbolic Logic 2*, 342–59.

Field, Hartry [2009a], “What is the normative role of logic?,” *Proceedings of the Aristotelian Society, Supplementary Volume 83*, 251–68.

Fine, Kit [1975], “Vagueness, truth and logic,” *Synthese 30*, 265–300; reprinted in Keefe and Smith [1979], 119–50.

Forster, T. E. [1992], *Set Theory with a Universal Set: Exploring an untyped universe*, Oxford, Oxford University Press.

Frege, Gottlob [1879], *Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens*, Halle, Louis Nebert’ *Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought*, in van Heijenoort [1967], 1–82.

Frege, Gottlob [1884], *Die Grundlagen der Arithmetik*, Breslau, Koebner; *The Foundations of Arithmetic*, translated by J. Austin, second edition, New York, Harper, 1960.

Frege, Gottlob [1893], *Grundgesetze der Arithmetik 1*, Olms, Hildescheim.

Frege, Gottlob [1976], *Wissenschaftlicher Briefwechsel*, edited by G. Gabriel, H. Hermes, F. Kambartel, and C. Thiel, Hamburg, Felix Meiner.

Frege, Gottlob [1980], *Philosophical and Mathematical Correspondence*, Oxford, Basil Blackwell.

Gentzen, Gerhard [1969], *The Collected Papers of Gerhard Gentzen*, translated and edited by M. E. Szabo, Amsterdam, North Holland Publishing Company.

Giordano, Paolo [2010], “Infinitesimals without logic,” *Russian Journal of Mathematical Physics 17*, 159–91.

Girard, Jean-Yves [1987], “Linear logic,” *Theoretical Computer Science 50*, 1–101.

Goddu, G. C. [2002], “What exactly is logical pluralism?,” *Australian Journal of Philosophy 80*, 218–30.

(p.214)
Gödel, Kurt [1933], “An interpretation of the intuitionistic sentential logic” in *The Philosophy of Mathematics*, edited by J. Hintikka, Oxford, Oxford University Press, 1969, 128–9.

Goodman, Nicolas [1985], “A genuinely intensional set theory” in *Intensional Mathematics*, edited by S. Shapiro, Amsterdam, North Holland Publishing Company, 63–79.

Graff, Delia [2000], “Shifting sands: an interest-relative theory of vagueness,” *Philosophical Topics 28*, 45–81.

Graff, Delia [2001], “Phenomenal continua and the sorites,” *Mind 110*, 905–35.

Grice, Paul and P. F. Strawson [1956], “In Defense of a Dogma,” *Philosophical Review 65*, 141–58.

Haack, Susan [1978], *Philosophy of Logics*, Cambridge, Cambridge University Press.

Hacking, Ian [1979], “What is logic?,” *The Journal of Philosophy 76*, 285–319.

Hale, Bob, and Crispin Wright [2001], *The Reason’s Proper Study*, Oxford, Oxford University Press.

Harman, Gilbert [1986], *Changes in View: Principles of Reasoning*, Cambridge, Massachusetts: MIT Press.

Hellman, Geoffrey [1989], “Never say ‘never’! On the communication problem between intuitionism and classicism,” *Philosophical Topics 17*, 47–67.

Hellman, Geoffrey [2003], “Does category theory provide a framework for mathematical structuralism?,” *Philosophia Mathematica (III) 11*, 129–57.

Hellman, Geoffrey [2006], “Mathematical pluralism: the case of smooth infinitesimal analysis,” *Journal of Philosophical Logic 35*, 621–51.

Heyting, Arend [1930], “Die Formalen Regeln der Intuitionischen Logik,” *Sitzungsberichte Preuss. Akad. Wiss. Phys. Math. Klasse*, 42–56.

Hilbert, David [1899], *Grundlagen der Geometrie*, Leipzig, Teubner; *Foundations of Geometry*, translated by E. Townsend, La Salle, Illinois, Open Court, 1959.

Hirsch, Eli [2005], “Physical-object ontology, verbal disputes, and common sense,” *Philosophy and Phenomenological Research 70*, 67–97.

Hjortland, Ole [2013], “Logical pluralism, meaning-variance, and verbal disputes,” *Australasian Journal of Philosophy 91*, 355–73.

Horn, Laurence R. [1989], *A Natural History of Negation*, Chicago, University of Chicago Press.

Keefe, Rosanna [2000], *Theories of Vagueness*, Cambridge, Cambridge University Press.

Keefe, Rosanna, and Peter Smith [1997], *Vagueness: A Reader*, Cambridge, Massachusetts, MIT Press.

Kleene, Stephen Cole [1945], “On the interpretation of intuitionistic number theory,” *Journal of Symbolic Logic 10*, 109–24.

(p.215)
Kock, Anders [2006], *Synthetic Differential Geometry*, second edition, Cambridge, Cambridge University Press.

Koslow, Arnold [1992], *A Structuralist Theory of Logic*, Cambridge, Cambridge University Press.

Kripke, Saul [1965], “Semantical analysis of intuitionistic logic I” in *Formal Systems and Recursive Functions*, edited by J. Crossley and M. Dummett, Amsterdam, North Holland, 92–130.

Landry, Elaine, and Jean-Pierre Marquis [2005], “Categories in context: historical, foundational, and philosophical,” *Philosophia Mathematica (III) 13*, 1–43.

Lasersohn, Peter [2005], “Context dependence, disagreement, and predicates of personal taste,” *Linguistics and Philosophy 28*, 643–86.

Lasersohn, Peter [2008], “Quantification and perspective in relativist semantics,” *Philosophical Perspectives 22*, 305–37.

Lawvere, William [1966], “The category of categories as a foundation for mathematics” in *Proceedings of the Conference on Categorical Algebra in La Jolla, 1965*, edited by S. Eilenberg et al., New York, Springer, 1–21.

Leibniz, Gottfried Wilhelm [1686], “Universal science: Characteristic XIV, XV,” *Monadology and other Philosophical Essays*, translated by P. Schrecker, Indianapolis, Bobbs-Merill, 1965, 11–21.

Lewis, David [1979], “Scorekeeping in a language game,” *Journal of Philosophical Logic 8*, 339–59.

Lycan, William [1984], *Logical Form in Natural Language*, Cambridge, Massachusetts, The MIT Press.

McCarthy, Timothy [1981], “The idea of a logical constant,” *Journal of Philosophy 78*, 499–523.

McCarty, Charles David [1987], “Variations on a thesis: Intuitionism and computability,” *Notre Dame Journal of Formal Logic 28*, 536–80.

McCarty, Charles David [2006], “Thesis and variations” in *Church’s Thesis after 70 years*, edited by A. Olszewski, Jan Woleński, Robert Jansusz, Ontos, Verlag, 281–303.

McCarty, Charles David [2014], “Structuralism and isomorphism,” *Philosophia Mathematica (III)*, forthcoming.

MacFarlane, John [2005], “Making sense of relative truth,” *Proceedings of the Aristotelian Society 105*, 321–39.

MacFarlane, John [2005a], “Logical constants,” *Stanford Internet Encyclopedia of Philosophy*, <http://plato.stanford.edu/entries/logical-constants>.

MacFarlane, John [2009], “Nonindexical contextualism,” *Synthese 166*, 231–50.

MacFarlane, John [2014], *Assessment Sensitivity: Relative truth and its applications*, Oxford, Oxford University Press.

Machina, Kenton F. [1976], “Truth, belief and vagueness,” *Journal of Philosophical Logic 5*, 47–78; reprinted in Keefe and Smith [1997], 174–203.

(p.216)
McKinsey, J. C. C., and Alfred Tarski [1948], “Some theorems about the sentential calculi of Lewis and Heyting,” *Journal of Symbolic Logic 13*, 1–15.

McLarty, Colin [1993], “Numbers can be just what they have to,” *Nous 27*, 487–98.

McLarty, Colin [1996], *Elementary Categories, Elementary Toposes*, Oxford, Oxford University Press.

McLarty, Colin [2004], “Exploring categorical structuralism,” *Philosophia Mathematica (III) 12*, 37–53.

Maddy, Penelope [2007], *Second Philosophy: A naturalistic method*, Oxford, Oxford University Press.

Mares, Edwin D. [2004], *Relevant Logic*, Cambridge, Cambridge University Press.

Martin, E. P., and R. K. Meyer [1982], “Solution to the P-W problem,” *Journal of Symbolic Logic, 47*, 869–86.

Meyer, Robert K., and Errol P. Martin [1992], “On establishing the converse,” *Logique et Analyse 139–140*, 207–22.

Montague, Richard [1974], *Formal Philosophy*, edited by R. Thomason, New Haven, Yale University Press.

Mortensen, Chris [1995], *Inconsistent Mathematics*, Dordrecht, The Netherlands, Kluwer Academic Publishers.

Mortensen, Chris [2010], *Inconsistent Geometry*, *Studies in Logic 27*, London, College Publications.

Moruzzi, Sebastiano and Crispin Wright [2009], “Trumping assessments and the Aristotelian future,” *Synthese 166*, 309–31.

Nagel, Thomas [1986], *The View from Nowhere*, Oxford, Oxford University Press.

Paseau, Alexander [2007], Review of Beall and Restall [2006], *Mind 116*, 391–6.

Peacocke, Christopher [1976], “What is a logical constant?,” *The Journal of Philosophy 73*, 221–40.

Peregrin, Jaroslav [2009], “Inferentialism and the compositionality of meaning,” *International Review of Pragmatics 1*, 154–81.

Prawitz, Dag [1977], “Meaning and proofs: on the conflict between classical and intuitionistic logic,” *Theoria 43*, 2–40.

Priest, Graham [1990], “Boolean negation and all that,” *Journal of Philosophical Logic 19*, 201–15.

Priest, Graham [2006], *Doubt Truth to be a Liar*, Oxford, Oxford University Press.

Priest, Graham [2006a], *In Contradiction: A study of the transconsistent*, second, revised edition, Oxford, Oxford University Press, 2006; first edition, Dordrecht, Martinus Nijhoff Publishers, 1987.

(p.217)
Quine, Willard van Orman [1937], “New foundations for mathematical logic,” *American Mathematical Monthly 44*, 70–80.

Quine, Willard van Orman [1951], “Two dogmas of empiricism,” *Philosophical Review 60*, 20–43.

Quine, Willard van Orman [1960], *Word and Object*, Cambridge, Massachusetts, The MIT Press.

Quine, Willard van Orman [1986], *Philosophy of Logic*, second edition, Cambridge, Massachusetts, Harvard University Press.

Raffman, Diana [1994], “Vagueness without paradox,” *Philosophical Review 103*, 41–74.

Raffman, Diana [1996], “Vagueness and context relativity,” *Philosophical Studies 81*, 175–92.

Read, Stephen [1988], *Relevant Logic*, Oxford, Oxford University Press.

Recanati, François [2002], “Unarticulated constituents,” *Linguistics and Philosophy 25*, 299–345.

Recanati, François [2007], *Perspectival Thought: A plea for (moderate) relativism*, Oxford, Oxford University Press.

Restall, Greg [1999], “Negation in relevant logics: how I stopped worrying and learned to love the Routley Star” in *What is Negation?*, *Applied Logic Series 13*, edited by Dov Gabbay and Heinrich Wansing, Dordrecht, Kluwer Publishing Company, 53–76.

Restall, Greg [2000], *An Introduction to Substructural Logics*, London, Routledge.

Restall, Greg [2002], “Carnap’s tolerance, meaning, and logical pluralism,” *Journal of Philosophy 99*, 426–43.

Restall, Greg [2014], “Pluralism and proofs,” *Erkenntnis*, forthcoming.

Richard, Mark [2008], *When Truth Gives Out*, Oxford, Oxford University Press.

Richman, Fred [1996], “Interview with a constructive mathematician,” *Modern Logic 6*, 247–71.

Rogers, H. [1967], *Theory of Recursive Functions and Effective Computability*, New York, McGraw-Hill.

Russell, Bertrand [1957], “Mr. Strawson on referring,” *Mind 66*, 385–9.

Russell, Gillian [2008], “One true logic?,” *Journal of Philosophical Logic 37*, 593–611.

Sánchez-Miguel, Manuel Garcia-Carpintero [1993], “The grounds of the model-theoretic account of the logical properties,” *Notre Dame Journal of Formal Logic 34*, 107–31.

Schechter, Joshua [2011], “Juxtaposition: a new way to combine logics,” *Review of Symbolic Logic 4*, 560–606.

Shalkowski, Scott A. [2004], “Logic and absolute necessity,” *Journal of Philosophy 101*, 1–28.

(p.218)
Shapiro, Stewart [1985], “Epistemic and intuitionistic arithmetic” in *Intensional Mathematics*, edited by S. Shapiro, Amsterdam, North Holland Publishing Company, 11–46.

Shapiro, Stewart [1991], *Foundations without Foundationalism: A case for second-order logic*, Oxford, Oxford University Press.

Shapiro, Stewart [1997], *Philosophy of Mathematics: Structure and Ontology*, New York, Oxford University Press.

Shapiro, Stewart [1998], “Logical consequence: models and modality” in *The Philosophy of Mathematics Today*, edited by M. Schirn, Oxford, Oxford University Press, 131–56.

Shapiro, Stewart [2000], *Thinking about Mathematics: The philosophy of mathematics*, Oxford, Oxford University Press.

Shapiro, Stewart [2001], “Systems between first-order logic and second-order logics” in *Handbook of Philosophical Logic I*, second edition, edited by D. M. Gabbay and F. Geunthner, Kluwer Academic Publishers, 131–87.

Shapiro, Stewart [2002], “Incompleteness and inconsistency,” *Mind 111* (2002), 817–32.

Shapiro, Stewart [2004], “Foundations of mathematics: metaphysics, epistemology, structure,” *Philosophical Quarterly 54* (2004), 16–37.

Shapiro, Stewart [2005], “Categories, structures, and the Frege-Hilbert controversy: the status of meta-metamathematics,” *Philosophia Mathematica (III) 13*, 61–77.

Shapiro, Stewart [2006], *Vagueness in Context*, Oxford, Oxford University Press.

Shapiro, Stewart [2006a], “Computability, proof, and open-texture” in *Church’s Thesis after 70 years*, edited by Adam Olszewski, Jan Woleński, and Robert Janusz, Frankfurt, Ontos Verlag, 420–55.

Shapiro, Stewart [2011], “Varieties of pluralism and relativism for logic” in *A Companion to Relativism*, edited by Steven D. Hales, Oxford, Wiley-Blackwell, 526–55.

Sher, Gila [1991], *The Bounds of Logic*, Cambridge, Massachusetts, The MIT Press.

Smith, Nicholas J. J. [2009], *Vagueness and Degrees of Truth*, Oxford, Oxford University Press.

Smith, Nicholas, J. J. [2012], “Measuring and modeling truth,” *American Philosophical Quarterly 49*, 345–56.

Soames, Scott [1999], *Understanding Truth*, Oxford, Oxford University Press.

Sorensen, Roy [2001], *Vagueness and Contradiction*, Oxford, Oxford University Press.

Stanley, Jason [2000], “Context and logical form,” *Linguistics and Philosophy 23*, 391–434.

(p.219)
Stanley, Jason [2007], *Language in Context: Selected Essays*, Oxford, Oxford University Press.

Stanley, Jason, and Zoltan Szabo [2000], “On quantifier domain restriction,” *Mind and Language 15*, 219–61.

Swoyer, Chris [2003], “Relativism,” *Stanford Internet Encyclopedia of Philosophy*, <http://plato.stanford.edu/entries/relativism>.

Tarski, Alfred [1935], “On the concept of logical consequence” in *Logic, Semantics and Metamathematics*, by A. Tarski, Oxford, Clarendon Press, 1956, 409–20.

Tarski, Alfred [1986], “What are logical notions?” (edited by John Corcoran), *History and Philosophy of Logic 7*, 143–54.

Tarski, Alfred [1987], “A philosophical letter of Alfred Tarski,” *The Journal of Philosophy 84*, 28–32.

Tennant, Neil [1986], “The withering away of formal semantics,” *Mind and Language 1*, 302–18.

Tennant, Neil [1987], *Anti-realism and Logic*, Oxford, Oxford University Press.

Tennant, Neil [1996], “The law of excluded middle is synthetic a priori, if valid,” *Philosophical Topics 24*, 205–29.

Tennant, Neil [1997], *The Taming of the True*, Oxford, Oxford University Press.

Tennant, Neil [2005], “Relevance in reasoning” in *The Oxford Handbook of Philosophy of Mathematics and Logic*, edited by Stewart Shapiro, Oxford, Oxford University Press, 696–726.

Tennant, Neil [2012], “Cut for core logic,” *Review of Symbolic Logic 5*, 450–79.

Unger, Peter [1975], *Ignorance*, Oxford, Oxford University Press.

Van Heijenoort, Jean [1967], *From Frege to Gödel*, Cambridge, Massachusetts, Harvard University Press.

Varzi, Achille [2002], “On logical relativity,” *Philosophical Issues 12*, 197–219.

Wagner, Steven J. [1987], “The rationalist conception of logic,” *Notre Dame Journal of Formal Logic 28*, 3–35.

Waismann, Friedrich [1945], “Verifiability,” *Proceedings of the Aristotelian Society, Supplementary Volume 19*, 119–50; reprinted in *Logic and Language*, edited by Antony Flew, Oxford, Basil Blackwell, 1968, 117–44.

Waismann, Friedrich [1949], “Analytic-synthetic I,” *Analysis 10*, 25–40.

Waismann, Friedrich [1950], “Analytic-synthetic II,” *Analysis 11*, 25–38.

Waismann, Friedrich [1951], “Analytic-synthetic III,” *Analysis 11*, 49–61.

Waismann, Friedrich [1951a], “Analytic-synthetic IV,” *Analysis 11*, 115–24.

Waismann, Friedrich [1952], “Analytic-synthetic V,” *Analysis 13*, 1–14.

Waismann, Friedrich [1953], “Analytic-synthetic VI,” *Analysis 13*, 73–89.

Weber, Zach [2009], “Inconsistent mathematics,” *Internet Encyclopedia of Philosophy*, <http://www.iep.utm.edu/math-inc/>.

Weir, Alan [1998], “Naïve set theory is innocent,” *Mind 107*, 763–98.

(p.220)
Williamson, Timothy [1994], *Vagueness*, London and New York, Routledge Publishing Company.

Wilson, Mark [1993], “There’s a hole and a bucket, dear Leibniz,” *Midwest Studies in Philosophy 18*, 202–41.

Wilson, Mark [2006], *Wandering Significance*, Oxford, Oxford University Press.

Wright, Crispin [1986], “Inventing logical necessity” in *Language, Mind and Logic*, edited by J. Butterfield, Cambridge, Cambridge University Press, 187–209.

Wright, Crispin [2008], “Relativism about truth itself: haphazard thoughts about the very idea” in *Relative Truth*, edited by Manuel García-Carpintero and Max Kölbel, Oxford, Oxford University Press.

Zach, Richard [1993], “Proof theory of finite-valued logics,” Technical Report TUW–E185.2–Z.1–93, Technische Universität Wien.