Jump to ContentJump to Main Navigation
Varieties of Logic$

Stewart Shapiro

Print publication date: 2014

Print ISBN-13: 9780199696529

Published to Oxford Scholarship Online: September 2014

DOI: 10.1093/acprof:oso/9780199696529.001.0001

Show Summary Details
Page of

PRINTED FROM OXFORD SCHOLARSHIP ONLINE (www.oxfordscholarship.com). (c) Copyright Oxford University Press, 2016. All Rights Reserved. Under the terms of the licence agreement, an individual user may print out a PDF of a single chapter of a monograph in OSO for personal use (for details see http://www.oxfordscholarship.com/page/privacy-policy). Subscriber: null; date: 08 December 2016

(p.210) References

(p.210) References

Varieties of Logic
Oxford University Press

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.