Anderson, A. R., and Belnap, N. D. 1975. Entailment: The logic of relevance and necessity, volume i. Princeton University Press

Anderson, A. R., Belnap, N. D., and Dunn, J. M. 1992. Entailment: The logic of relevance and necessity, volume ii. Princeton University Press

Anon. 1967. Ars Burana, in L.M. de Rijk, Logica modernorum *vol. ii: The origin and early development of the theory of supposition*. Assen: Van Gorcum

Aristotle. 1963. Categories and de interpretatione, translated with notes by J. l. Ackrill. Oxford: Clarendon Press

Aristotle. 1984. Metaphysics, translated by W. D. Ross, revised by J. Barnes. Princeton University Press

Aristotle. 1993. Metaphysics books gamma, delta and epsilon, translated with notes by C. Kirwan, second edition. Oxford: Clarendon Press

Aristotle. 1994. Posterior analytics, translated with a commentary by J. Barnes, second edition. Oxford: Clarendon Press

Aristotle. 2009. Prior analytics, translated and with a commentary by G. Striker. Oxford University Press

Asenjo, F. G. 1966. “A calculus of antinomies”, Notre Dame Journal of Formal Logic 7(1), 103–105

Asenjo, F. G., and Tamburino, J. 1975. “Logic of antinomies”, Notre Dame Journal of Formal Logic 16(1), 17–44

Azzouni, J. 2005. “Is there still a sense in which mathematics can have foundations”, in G. Sica, (ed.) Essays on the foundations of mathematics and logic. Monza, Italy: Polimetrica International Scientific Publisher

Azzouni, J. 2006. Tracking reason: Proof, consequence, and truth. Oxford University Press

Azzouni, J. 2008a. “Why do informal proofs conform to formal norms?” Foundations of Science 14, 9–26

Azzouni, J. 2008b. “Alternative logics and the role of truth in the interpretation of languages”, in D. Patterson, (ed.) New essays on Tarski and philosophy. Oxford University Press, 390–429

Azzouni, J. 2010. Talking about nothing: numbers, hallucinations and fictions. Oxford University Press

Azzouni, J. 2013. Semantic perception: How the illusion of a common language arises and persists. Oxford University Press

Azzouni, J. and Armour-Garb, B. 2005. “Standing on common ground”, Journal of Philosophy 102(10), 532–544

Barker, C. 2013. “Negotiating taste”, Inquiry 56, 240–257

Batens, D., Mortensen, C., and Van Bendegem, J.P. (eds.) 2000. Frontiers of paraconsistent logic. Dordrecht: Kluwer Publishing Company

Beall, Jc 2009. Spandrels of truth. Oxford University Press

Beall, Jc 2012. “Why Priest’s reassurance is not reassuring”, Analysis 72(3), 739–741

Beall, Jc 2013. “Free of detachment: logic, rationality, and gluts”, Noûs 47(3), 1–14

Beall, Jc and Restall, G. 2006. Logical pluralism. Oxford University Press

Beall, Jc, Forster, T., and Seligman, J. 2013. “A note on freedom from detachment in the Logic of Paradox”, Notre Dame Journal of Formal Logic 54(1)

Beebee, H. and Dodd, J. (eds.) 2005. Truthmakers: The contemporary debate. Oxford University Press.

Bell, J. 1998. A primer of infinitesimal analysis. Cambridge University Press

Benacerraf, P. 1973. “Mathematical truth”, Journal of Philosophy 70, 661–79

Bencivenga, E. 1987. Kant’s Copernican revolution. New York: Oxford University Press

Bencivenga, E. 2000. Hegel’s dialectical logic. New York: Oxford University Press

Bencivenga, E. 2007. Ethics vindicated: Kant’s transcendental legitimation of moral discourse. New York: Oxford University Press

Benthem, J. van, 1985. “The variety of consequence, according to Bolzano”, Studia Logica 44(4), 389–403

Berto, F. 2007. How to sell a contradiction: Studies in Logic 6. London: College Publications

Berto, F. 2008. “Άδύνατον and material exclusion”, Australasian Journal of Philosophy 86(2), 165–90

Blackburn, S. 1984. Spreading the word. Oxford: Clarendon Press

Bolzano, B. 1810. Beyträge zu einer begründetereu Darstelluns der Mathematik. Prague: Widtmann

Bolzano, B. 1837. Wissenschaftslehre. Sulzbach: Seidel

Bolzano, B. 1839. Dr Bolzano und seine Gegner. Sulzbach: Seidel

Bolzano, B. 1841. Wissenschaftslehre (Logik) und Religionswissenschaft in einer beurtheilenden Uebersicht. Sulzbach: Seidel

Bolzano, B. 1985–2000. Wissenschaftslehre, critical edition by Jan Berg. Stuttgart: Fromman-Holzboog

Bolzano, B. 2004. On the mathematical method and correspondence with Exner, translated by Rusnock, P., and George, R.Amsterdam-New York: Rodopi

Boolos, G. 1975. “On second-order logic”, Journal of Philosophy 72, 509–527. (Reprinted in Boolos 1998, pp. 37–53)

Boolos, G. 1984. “To be is to be the value of some variable (or some values of some variables)”, Journal of Philosophy 81, 430–450. (Reprinted in Boolos 1998, pp. 54–72)

Boolos, G. 1998. Logic, logic, and logic. Cambridge, MA: Harvard University Press

Brady, R. 2006. Universal logic. Stanford, CA: Centre for the Study of Language and Information

Brady, R. and Rush, P. 2009. “Four Basic Logical Issues”, The Review of Symbolic Logic 2(3), 488–508

Buchholtz, U. 2013. The unfolding of inductive definitions, PhD Dissertation, Dept. of Mathematics, Stanford University

Burge, T. 1975. “On knowledge and convention”, in Foundations of mind (2007), 32–37. Oxford University Press

Burgess, J. A. 1990. “The sorites paradox and higher-order vagueness”, Synthese 85, 417–474

Burgess, J. A. 2010. “Review of Beall and Restall 2006,” Philosophy and Phenomenological Research 81, 519–522

Burgess, J. P., and Rosen, G. 1997. A subject with no object: Strategies for nominalistic interpretation of mathematics. Oxford University Press

BurgessJ. P. 1999. “Which modal logic is the right one?” Notre Dame Journal of Formal Logic 40, 81–93

Carey, S. 2009. The origin of concepts. Oxford University Press

Carnap, R. 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

Cesalli, L. 2007. Le réalisme propositionnel: sémantique et ontologie des propositions chez Jean Duns Scot, Gauthier Burley, Richard Brinkley et Jean Wyclif. Paris: Vrin

Chateaubriand, Filho, O. 2001. Logical forms: Part i – truth and description. Campinas: UNICAMP

Chateaubriand, Filho, O. 2005. Logical forms: Part ii – logic, language, and knowledge. Campinas: UNICAMP

Chomsky, N. 2003. “Reply to Millikan”, in L. M. Antony and N. Hornstein (eds.) Chomsky and his critics. Oxford: Blackwell Publishing, 308–315

Chomsky, N. and Lasnik, H. 1995. “The theory of principles and parameters”, in Noam ChomskyThe minimalist program. Cambridge, MA: The MIT Press, 13–127

Cole, J. 2013. “Towards an institutional account of the objectivity, necessity, and atemporality of mathematics”, Philosophia Mathematica 21, 9–36

Condillac, E. 1780. La logique (Logic), translated by W. R. Albury. New York: Abaris

Crivelli, P. 2004. Aristotle on truth. Cambridge University Press.

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

Daly, C. 2005. “So where’s the explanation?” In Beebee and Dodd 2005, 85–103.

Davidson, D. 1973. “In defense of convention T”, in H. Leblanc (ed.) Truth, syntax and modality. Amsterdam: North-Holland. Reprinted in his *Inquiries into truth and interpretation*. Oxford University Press.

Dehaene, S. 1997. The number sense. Oxford University Press

Dummett, M. 1975. “The philosophical basis of intuitionistic logic”, *Logic Colloquium ’73*, 5–40

Dummett, M. 1991a. The logical basis of metaphysics. Cambridge, MA: Harvard University Press

Dummett, M. 1991b. Frege: Philosophy of mathematics. Cambridge, MA: Harvard University Press

Dunn, J. M. 1966. The algebra of intensional logics. PhD thesis, University of Pittsburgh

Dunn, J. M. 1976. “Intuitive semantics for first-degree entailments and ‘coupled trees’”, Philosophical Studies 29, 149–168

Dunn, J. M., and Restall, G. 2002. “Relevance logic”, in D. M. Gabbay and F. Günthner editors Handbook of philosophical logic (second edition), volume vi. Dordrecht: D. Reidel

Eddington, A. S. 1928. The nature of the physical world, New York: Macmillan

Epstein, B. 2006. “Review of Ruth Millikan, Language: A biological model,” Notre Dame Philosophical Reviews 5

Estrada-González, L. 2013. “On two arguments against realist dialetheism”, unpublished manuscript.

Etchemendy, J. 1988. “Models, semantics and logical truth”, Linguistics and Philosophy 11, 91–106

Etchemendy, J. 1990. The concept of logical consequence. Cambridge, MA: Harvard University Press.

Feferman, S. 1984. “Toward useful type-free theories I”, Journal of Symbolic Logic 49, 75–111

Feferman, S. 1996. “Gödel’s program for new axioms. Why, where, how and what?”, in P. Hájek (ed.) Gödel ’96; Lecture Notes in Logic, 6. Cambridge University Press, 3–22

Feferman, S. 2006. “What kind of logic is ‘Independence Friendly’ logic”, in R. E. Auxier and L. E. Hahn (eds.) The philosophy of Jaako Hintikka; Library of living philosophers vol. 30. Chicago: Open Court, 453–469

Feferman, S. 2009. “Conceptions of the continuum”, Intellectica 51, 169–189

Feferman, S. 2010. “On the strength of some semi-constructive theories”, in S. Feferman and W. Sieg (eds.) Proof, categories and computation: Essays in honor of Grigori Mints. London: College Publications, 109–129; reprinted in U. Berger, et al. (eds.) *Logic, Construction, Computation*. Frankfurt: Ontos Verlag, 2012, 201–225

Feferman, S. and Strahm, T. 2000. “The unfolding of non-finitist arithmetic”, Annals of Pure and Applied Logic 104, 75–96

Feferman, S. and Strahm, T. 2010. “The unfolding of finitist arithmetic”, Review of Symbolic Logic 3, 665–689

Feynman, Richard P. 1985. QED: the strange theory of light and matter. Princeton University Press

Field, H. 2009. “Pluralism in logic”, The Review of Symbolic Logic 2(2), 342–359

Folina, J. 1994. “Poincaré on objectivity”, Philosophia Mathematica 2(3), 202–227

Føllesdal, D. and Bell, D. 1994, “Objects and concepts”, in Proceedings of the Aristotelian Society, Supplementary Volumes, 68, 131–166

Franks, C. 2010. “Cut as consequence”, History and Philosophy of Logic 31(4), 349–79

Franks, C. 2013. “Logical completeness, form, and content: an archaeology”, in J. Kennedy (ed.) Interpreting Gödel: Critical essays. New York: Cambridge University Press

Franks, C. 2014. “David Hilbert’s contributions to logical theory”, in A. P. Malpass (ed.) The history of logic. New York: Continuum

Frege, G. 1918, “Der Gedanke: Eine Logische Untersuchung”, in *Beiträge zur Philosophie des Deutschen Idealismus i*. 58–77

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

Frege, G. 1980. Philosophical and mathematical correspondence. Oxford: Basil Blackwell

Gentzen, G. 1934–35. “Untersuchungen über das logische Schliessen”. Gentzen’s doctoral thesis at the University of Göttingen, translated as “Investigations into logical deduction” in (Gentzen 1969): 68–131

Gentzen, G. 1936. “Die Widerspruchsfreiheit der reinen Zahlentheorie”, Mathematische Annalen 112, translated as “The consistency of elementary number theory” in (Gentzen 1969): 132–213

Gentzen, G. 1938. “Neue Fassung des Widerspruchefreiheitsbeweises für die reine Zahlentheorie”, Forschungen zur logik und zur Grundlegung der exackten Wissenschaften, New Series 4, translated as “New version of the consistency proof for elementary number theory”, in (Gentzen 1969): 252–86

Gentzen, G. 1943. “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie”. Gentzen’s Habilitationschrift at the University of Göttingen, translated as “Provability and nonprovability of restricted transfinite induction in elementary number theory”, in (Gentzen 1969): 287–308

Gentzen, G. 1969. The collected papers of Gerhard Gentzen, M. E. Szabo (ed.). Amsterdam: NorthHolland

George, R. 2003. “Bolzano and the problem of psychologism” in D. Fisette (ed.) Husserl’s logical investigations reconsidered. Dordrecht: Kluwer, 95–108

George, R. 1986. “Bolzano’s concept of consequence”, Journal of Philosophy 83, 558–563

Gödel, K. 1931. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I”, Monatshefte für Mathematik und Physik 38, 173–98

Gödel, K. 1932, “Zum intuitionistischen Aussagenkalkül”, Anzeiger der Akademie der Wissenschaftischen in Wien 69, 65–66

Gödel, K. 1933, “Zur intuitionistischen Arithmetik und Zahlentheorie”, Ergebnisse eines mathematischen Kolloquiums 4, 34–38

Gödel, K. 1958. “Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes”, Dialectica 12, 280–287; reprinted with facing English translation in Gödel (1990), pp. 240–251

Gödel, K. 1972. “On an extension of finitary mathematics which has not yet been used”, in Gödel 1990, 271–280

Gödel, K. 1990. Collected works, vol. ii: Publications 1938–1974 (S. Feferman, et al., eds.), Oxford University Press

Gómez-Torrente, M. 1999. “Logical truth and Tarskian logical truth”, Synthese 117: 375–408

Gómez-Torrente, M. 2009. “Rereading Tarski on logical consequence”, The Review of Symbolic Logic 2(2), 249–297

Haddock, G. 2010. “Platonism, phenomenology, and interderivability”, in Hartimo 2010a, 23–44

Hales, Alexander of, 1951–1957. Glossae in quatuor libros Sententiarum Magistri Petri Lombardi. Quaracchi: Florence

Harrop, R. 1960. “Concerning formulas of the types A→ B ∨ C, A→ (Ex)B(x) in intuitionistic formal systems”, Journal of Symbolic Logic 25, 27–32

Hartimo, M. 2010a. Phenomenology and mathematics. Dordrecht: Springer

Hartimo, M 2010b. “Development of mathematics”, in Hartimo 2010a, 107–121

Hatfield, G. 2003. “Getting objects for free (or not)”, reprinted in his Perception and Cognition. Oxford University Press, 2009 212–255

Hegel, G. 1995. Lectures on the history of philosophy, vol. ii, translated by E. S. Haldane and F. H. Simson. Lincoln, NE and London: University of Nebraska Press

Hellman, G. 2006. “Mathematical pluralism: the case of smooth infinitesimal analysis”, Journal of Philosophical Logic 35, 621–651

Henkin, L. 1949. “The completeness of the first-order functional calculus”, Journal of Symbolic Logic 14, 159–166

Hilbert, D. 1899. Grundlagen der Geometrie, *Leipzig, Teubner*; Foundations of geometry, translated by E. Townsend. La Salle, IL: Open Court, 1959

Hilbert, D. 1922. “Neubergründung der Mathematik. Erste Mitteilung”, translated by William Ewald as “The new grounding of mathematics: first report”, in P. Mancosu (ed.) From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920’s. New York: Oxford, 1998, 198–214

Hilbert, D. 1983. “On the infinite”, in P. Benacerraf and H. Putnam (eds.) Philosophy of mathematics: Selected readings, second edition. Cambridge University Press, 183–201

Hintikka, J. 1996. The principles of mathematics revisited (with an appendix by G. Sandu). Cambridge University Press

Hintikka, J. 2010. “How can a phenomenologist have a philosophy of mathematics?”, in Hartimo 2010a, 91–104

Horwich, P. 1998. Truth, second edition. Oxford University Press

Hurley, P. J. 2008. A concise introduction to logic, eighth edition. Belmont, CA: Wadsworth/Thomson Learning

Hurley, S. and Chater, N. 2005a. Perspectives on imitation: From neuroscience to social science, Volume i: Mechanisms of imitation and imitation in animals. Cambridge, MA: The MIT Press

Hurley, S. and NickC. 2005b. Perspectives on imitation: From neuroscience to social science, Volume ii: Imitation, human development, and culture. Cambridge, MA: The MIT Press

Husserl, E. 1964. The idea of phenomenology, translated by W. P. Alston and G. Nakhnikian. The Hague: Martinus Nijhoff

Husserl, E. 1970. Logical investigations VII, translated by J. N Findlay. New York: Humanities Press

Husserl, E. 1981. Husserl shorter works, edited by P. McCormick and F. A. Elliston. University of Notre Dame Press

Husserl, E. 1983. Edmund Husserl: Ideas pertaining to a pure phenomenology and to a phenomenological philosophy (first book), translated by F. Kersten. Boston, MA: Nijhoff

Isaacson, D. 2011. “The reality of mathematics and the case of set theory”, in Z. Novak and A. Simonyi (eds.) Truth, reference and realism. Budapest: Central European University Press, 1–76

Jenkins, C. S. 2005. “Realism and independence”, American Philosophical Quarterly, 42(3)

John of Salisbury 2009. The Metalogicon *of John of Salisbury: A twelfth-century defense of the verbal and logical arts of the trivium*, translated by D. D. McGarry, First Paul Dry Books, edition, 2009; originally published Berkeley, CA: University of California Press, 1955

Kahneman, D. 2011. Thinking, fast and slow. New York: Farrar, Straus and Giroux

Kanamori, A. 2012. “Set theory from Cantor to Cohen”, in D. M. Gabbay, A. Kanamori, and J. Woods (eds.) Handbook of the history of logic, vol. vi: sets and extensions in the twentieth century. Amsterdam: Elsevier

Kant, I. 1781. *Kritik der reinen Vernunft*, second edition 1787(B), in Kants gesammelte Schriften, vol. iii and iv, Royal Prussian Academy of Science Berlin: de Gruyter, 1905

Kant, I. 1996. Practical philosophy, translated by Mary J. Gregor, Cambridge University Press

Karger, E. 2001. “Adam Wodeham on the Intentionality of Cognitions”, in D. Perler (ed.) Ancient and Medieval Theories of Intentionality. Leiden, Boston, MA, Köln: Brill, 283–300

Karger, E. (forthcoming). “Was Adam Wodeham an internalist or an externalist?” in Klima (2014)

Keisler, H. J. 1970. “Logic with the quantifier ‘there exist uncountably many’”, Annals of Mathematical Logic 1, 1–93

Kilwardby, R. 1516. [Pseudo-] Aegidius Romanus. In libros priorum analeticorum Aristotelis Expositio. Venice

Kilwardby, R. 1976. De ortu scientiarum, edited by A. Judy. Oxford University Press for the British Academy

Kilwardby, R. 1986. Quaestiones in primum librum Sententiarum, herausgegeben von Johannes Schneider. Munich: Verlag. der Bayerischen Akademie der Wissenschaften

Kilwardby, R. 1988. “On the nature of logic”, in N. Kretzmann and E. Stump (eds.) Cambridge translations of medieval philosophical texts Volume i: logic and the philosophy of language. Cambridge University Press, 264–276

Kilwardby, R. 1995. Quaestiones in quatuor libros Sententiarum, Appendix : Tabula ordine alphabeti contexta (Cod. Worcester F 43) Herausgegeben von Gerd Haverling. Munich: Verlag der Bayerischen Akademie der Wissenschaften

Kleene, S. C. 1945. “On the interpretation of intuitionistic number theory”, Journal of Symbolic Logic 10, 109–124

Kleene, S. C. 1971. Introduction to metamathematics. Amsterdam: North-Holland

Klima, G. 1999. “Ockham’s semantics and ontology of the categories”, in P. V. Spade, (ed.) The Cambridge Companion to Ockham. Cambridge University Press, 118–142

Klima, G. 2001a. “Existence and reference in medieval logic”, in A. Hieke and E. Morscher (eds.) New Essays in Free Logic. Dordrecht: Kluwer Academic Publishers197–226

Klima, G. 2001b. John Buridan’sSummulae de dialectica, translated by Gyula Klima, New Haven, CT and London, Yale University Press

Klima, G. 2009. John Buridan, Great Medieval Thinkers, Oxford University Press

Klima, G. 2011a. “Two summulae, two ways of doing logic: Peter of Spain’s ‘realism’ and John Buridan’s ‘nominalism’”, in M. Cameron and J. Marenbon (eds.): Methods and methodologies: Aristotelian logic East and West, 500–1500. Leiden and Boston, MA: Brill Academic Publishers, 109–126

Klima, G. 2011b. “Being”, Lagerlund, H. Encyclopedia of Medieval Philosophy, Springer: Dordrecht, 100–159

Klima, G. 2012. “Being”, in Marenbon, J. 2012, 403–420

Klima, G. 2013b. “Being and cognition”, in D.D. Novotný and L. Novák (eds.) Neo-Aristotelian perspectives in metaphysics. To Be Published February 1st 2014 by Routledge: New York, 104–115

Klima, G. 2014 (ed.) Intentionality, cognition and mental representation in medieval philosophy. New York: Fordham University Press

Klima, G. and Hall, A. 2011. (eds.) The demonic temptations of medieval nominalism, Proceedings of the Society for Medieval Logic and Metaphysics, Vol. 9, Cambridge Scholars Publishing: Newcastle upon Tyne

Kripke, S. A. 1982. Wittgenstein on rules and private language. Cambridge, MA: Harvard University Press

Ladyman, J. and Ross, D. (with D. Spurrett and J. Collier). 2007. Every thing must go, Oxford University Press

Lapointe, S. 2011. Bolzano’s theoretical philosophy. Houndsmill: Palgrave

Lapointe, S. 2014. “Bolzano, Quine and logical truth” in G. Harman, and E. Lepore (eds.) Blackwell companion to Quine. London: Blackwell

Lepore, E. and Ludwig, K. 2006. “Ontology in the theory of meaning”, International Journal of Philosophical Studies 14, 325–335

Levinas, E. 1998. Discovering existence with Husserl. Illinois: Northwestern University Press

Lewis, D. 1969. Convention: A philosophical study. Cambridge University Press

Lewis, D. 1991. Parts of classes. Oxford University Press

Lewis, D. 2005. Quotation, in G. Priest, Jc Beall, and B. Armour-Garb (eds.) The law of contradiction: New essays. New York: Oxford University Press, 1

Lindström, P. 1966. “First order predicate logic with generalized quantifiers”, Theoria 32, 186–195

Lindström, P. 1969. “On extensions of elementary logic”, Theoria 35, 1–11

MacFarlane, J. 2005. “Making sense of relative truth”, Proceedings of the Aristotelian Society 105, 321–339

MacFarlane, J. 2009.

“

Nonindexical contextualism”,

Synthese 166,

231–250

MacFarlane, J. 2014. Assessment sensitivity: Relative truth and its applications. Oxford University Press

Maddy, P. 2007. Second philosophy. Oxford University Press

Maddy, P. 2011. Defending the axioms. Oxford University Press

Maddy, P. (to appear) The logical must. Oxford University Press

Marenbon, J. 2012. (ed.) The Oxford handbook of medieval philosophy. Oxford University Press

Mares, E. D. 2004. “Semantic dialetheism”, in G. Priest, Jc Beall, and B. Armour-Garb (eds.) The law of non-contradiction. Oxford: Clarendon Press, 264–275

Mares, E. D. 2007. Relevant logic: A philosophical interpretation. Cambridge University Press

Martin, C. J. 2001. “Obligations and liars”, in M. Yrjönsuur (ed.), Medieval formal logic: Obligations, insolubles and consequences. Springer, 63–94

Martin, C. J. 2010. “The development of logic in the twelfth century”, in Pasnau 2010, 129–145

Martin, C. J. 2012. “Logical consequence”, in Marenbon 2012, 289–311

Martin, D. A. 2001. “Multiple universes of sets and indeterminate truth values”, Topoi 20, 5–16

Mathias, A. R. D. 2001. “The strength of Mac Lane set theory”, Annals of Pure and Applied Logic 110, 107–234

McDowell, J. 1994. Mind and world. Cambridge, MA: Harvard University Press

Meyer, Robert K., Routley, R. and Dunn, J. Michael. 1979. “Curry’s paradox”, Analysis 39, 124–128

Millikan, R. G. 1984. Language, thought, and other biological categories. Cambridge, MA: The MIT Press

Millikan, R. G. 1998. “Language conventions made simple”, The Journal of Philosophy 95(4), 61–180. Reprinted in *Language: A biological model* (2005) Oxford University Press, 1–23

Millikan, R. G. 2003. “In defense of public language”, in L. M. Antony and Norbert Hornstein (eds.) Chomsky and his critics. Oxford: Blackwell Publishing, 215–237. Reprinted in *Language: A biological model* (2005). Oxford University Press, 24–52

Millikan, R. G. 2005. “Meaning, meaning, and meaning”, in Language: A biological model. Oxford University Press, 53–76

Monk, R. 1991. Ludwig Wittgenstein: The duty of genius. Penguin

Morris, M. 2005. “Realism beyond correspondence”, in Beebee and Dodd 2005, 49–66

Mortensen, C. 1995. Inconsistent mathematics, Dordrecht: Kluwer Academic Publishers

Mortensen, C. 2010. Inconsistent geometry, Studies in logic 27. London: College Publications

Mühlhölzer, F. 2001. “Wittgenstein and the regular heptagon”. Grazer Philosophische Studien: Internationale Zeitschrift für Analytische Philosophie, 62, 215–247

Mulligan, K., Simons, P., and Smith, B. 1984. “Truth-makers”, Philosophy and Phenomenological Research 44, 287–321

Myhill, J. 1973. “Some properties of Intuitionistic Zermelo-Fraenkel set theory”, Proceedings of the 1971 Cambridge summer school in mathematical logic (Lecture Notes in Mathematics 337): 206–231

Natalis, H. 2008. A treatise of Master Hervaeus Natalis: On second intentions. Vol. i–An English translation, and Vol. ii–A Latin edition, edited and translated, by John P. Doyle. Milwaukee: Marquette University

Neta, R., and Pritchard, D. 2007. “McDowell and the new evil genius”, Philosophy and Phenomenological Research 74(2), 381–396

Ockham, W. 1974. Summa logicae, opera philosophica I, edited by G. Gál and S. Brown, St. Bonaventure, NY: Franciscan Institute, St. Bonaventure University

Panaccio, C. 2004. Ockham on concepts. Aldershot: Ashgate

Pasnau, R. 2010. (ed.) C. Van Dyke (assoc. ed.) The Cambridge history of medieval philosophy (2 vols.), Cambridge University Press

Pirandello, L. 1990. *Novelle per un anno*, vol. iii, edited by M. Costanzo, Milano, Mondadori.

Plato. 1997. “Phaedrus”, translated by A. Nehamas and P. Woodruff. In J. M. Cooper (ed.) Plato: Complete works. Indianapolis, IN: Hackett

Popper, K. 1968. “Epistemology without a knowing subject”, in Logic, Methodology and Philosophy of ScienceIII. Elsevier, 333–373

Posy, C. 2005. “Intuitionism and philosophy”, in Shapiro, S. (ed) The Oxford handbook of philosophy of mathematics and logic. Oxford University Press, pp. 318–356

Prawitz, D. 1965. Natural deduction: A proof-theoretical study; second edition (2006), Mineola, NY: Dover Publications

Priest, G. 1979. “The logic of paradox”, Journal of Philosophical Logic 8, 219–241

Priest, G. 1980. “Sense, entailment and modus ponens”, Journal of Philosophical Logic 9, 415–435

Priest, G. 1987. In contradiction. The Hague: Martinus Nijhoff

Priest, G. 1989. “Classical logic Aufgehoben”, in G. Priest, R. Routley, and J. Norman (eds.) Paraconsistent logic: Essays on the inconsistent. Munich: Philosophia Verlag, ch. 4

Priest, G. 2006a. Doubt truth to be a liar. Oxford University Press.

Priest, G. 2006b. In contradiction, second edition. Oxford University Press

Priest, G. 2007. “Paraconsistency and dialetheism”, in D. Gabbay and J. Woods (eds.) Handbook of the history of logic. Amsterdam: North-Holland, 194–204

Priest, G. 2009. “Beyond the limits of knowledge”, in J. Salerno (ed.) New essays on the knowability paradox, Oxford University Press, 93–105

Priest, G. 2013. “Mathematical Pluralism”, Logic Journal of IGPL 21, 4–20

Priest, G. (to appear). “Logical disputes and the a priori”

Příhonský, F. 1850. Neuer Anti-Kant. Bautzen: Weller

Prucnal, T. 1976. “Structural completeness of Medvedev’s propositional calculus”, Reports on Mathematical Logic 6, 103–105

Putnam, H. 2000. “Meaning and reference”, in E. D. Klemke and Heimir Geirsson (eds.) Contemporary analytic and linguistic philosophies, second edition. Amherst, NY: Prometheus Books

Putnam, H. 2003. “McDowell’s mind and world”, in Reading McDowell. London: Routledge, 174–191

Quine, W. V. O. 1936a. “Truth by convention. In O. H. Lee (ed.), Philosophical essays for A. N. Whitehead. New York: Longmans, 90–124

Quine, W.V.O. 1936b. “Truth by convention”, in The ways of paradox, revised and enlarged edition (1976) Harvard University Press, 77–106

Quine, W. V. O. 1953. Two dogmas of empiricism from a logical point of view. Cambridge, MA: Harvard University Press

Quine, W. V. O. 1960. Word and object. Cambridge, MA: The MIT Press

Quine, W. V. O. 1970a. Philosophy of logic. Prentice Hall

Quine, W.V.O. 1970b. “Methodological reflections on current linguistic theory”, Synthese 21, 386–398

Quine, W. V. O. 1976. The ways of paradox, and other essays (revised and enlarged edition). Cambridge, MA: Harvard University Press

Quine, W.V. O. 1986. Philosophy of logic, second edition. Cambridge, MA: Harvard University Press

Quine, W. V. O. 1991. “Immanence and validity”, Dialectica 45, reprinted with emendations in W. V. O. Quine, *Selected logic papers*. Cambridge, MA: Harvard, 1995, 242–250

Rathjen, M. 2014. “Indefiniteness in semiintuitionistic set theories: On a conjecture of Feferman”, arXiv: 1405448

Rayo, A. and Uzquiano, G. (eds.) 2006. Absolute generality. Oxford: Clarendon Press

Read, S. 1994. Thinking about logic: An introduction to the philosophy of logic. Oxford University Press

Read, S. 2010. “Inferences”, in Pasnau 2010 173–184.

Rescher, N. and Manor, R. 1970. “On inference from inconsistent premises”, Theory and Decision, 1(2), 179–217

Resnik, M. 1988. “Second-order logic still wild”, Journal of Philosophy, 85, 75–87

Resnik, M. 1996. “Ought there to be but one logic?”, in B. J. Copeland (ed.) Logic and reality: Essays on the legacy of Arthur Prior. Oxford University Press, 489–517

Resnik, M. 1997. Mathematics as a science of patterns. Oxford University Press

Resnik, Michael, 2000. “Against logical realism”, History and Philosophy of Logic 20, 181–194

Restall, G. 2002. “Carnap’s tolerance, meaning, and logical pluralism”, Journal of Philosophy 99, 426–443

Rush, P. 2005. PhD thesis: The philosophy of mathematics and the independent “other”, School of History, Philosophy, Religion and Classics, The University of Queensland.

http://espace.library.uq.edu.au Rush, P. 2012. “Logic or reason?”, Logic and Logical Philosophy 21, 127–163

Rusnock, P. and George, R. 2004. “Bolzano as logician”, in D. M. Gabbay and J. Woods (eds.) The rise of modern logic: from Leibniz to Frege. Handbook of the history of logic, *vol. iii*. Springer, 177–205

Russell, G. 2008. “One true logic?” Journal of Philosophical Logic 37, 593–611

Rybakov, V. 1997. Admissibility of logical inference rules. Amsterdam: Elsevier

Sainsbury, R. M. 2009. Paradoxes, third edition Cambridge University Press

Schmidt, R. W. 1966. The domain of logic according to Saint Thomas Aquinas. The Hague: Martinus Nijhoff

Schmutz, J. 2012. “Medieval philosophy after the Middle Ages”, in Marenbon 2012, 245–270

Schotch, P., Brown, B. and Jennings, R. (eds.) 2009. On preserving: Essays on preservationism and paraconsistent Logic. University of Toronto Press

Schotch, P. and Jennings, R. 1980. “Inference and necessity”, Journal of Philosophical Logic 9, 327–340

Sellars, W. 1956. “Empiricism and the philosophy of mind”, in H. Feigl and M. Scriven (eds.) Minnesota Studies in the Philosophy of Science, Vol i, Minneapolis: University of Minnesota Press, 253–329

Sellars, W. 1962. “Philosophy and the scientific image of man”, reprinted in his Science, perception and reality. London: Routledge & Kegan Paul, 1–40

Shalkowski, S. 2004. “Logic and absolute necessity”, The Journal of Philosophy 101(2), 55–82

Shapiro, S. 1991. Foundations without foundationalism: A case for second-order logic. Oxford University Press

Shapiro, S. 1997. Philosophy of mathematics. Structure and ontology. Oxford University Press

Shapiro, S. 2000. “The status of logic”, in P. Boghossian and C. Peacocke (eds.) New essays on the a priori. Oxford University Press, 333–366; reprinted in part as “Quine on Logic”, in T. Childers (ed.) *Logica Yearbook 1999* Prague: Czech Academy Publishing House, 11–21

Shapiro, S. (ed.) 2005. The Oxford handbook of the philosophy of mathematics and logic. Oxford University Press

Shapiro, S. 2007. “The objectivity of mathematics”, Synthese 156, 337–381

Shapiro, S. 2011. “Mathematics and objectivity”, in J. Polkinghorne (ed.) Meaning in mathematics. Oxford University Press, 97–108

Shapiro, S. 2012. “Objectivity, explanation, and cognitive shortfall”, in A. Coliva (ed.) Mind, meaning, and knowledge: themes from the philosophy of Crispin Wright. Oxford University Press, 211–237

Shapiro, S. 2014. *Varieties of logic*, forthcoming

Sher, G. 2001. “The formal-structural view of logical consequence”, The Philosophical Review 110(2), 241–261

Sher, G. 2011. “Is logic in the mind or in the world?” Synthese 181, 353–365

Shim, M. 2005 “The duality of non-conceptual content in Husserl’s phenomenology of perception”, Phenomenology and the Cognitive Sciences 4, 209–229

Sider, T. 2011. Writing the book of the world. Oxford University Press

Siebel, M. 2002. “Bolzano’s concept of consequence”, The Monist 85(4), 580–599

Simpson, S. G., and Yokoyama, K. 2012. “Reverse mathematics and Peano categoricity”, Annals of Pure and Applied Logic 164, 229–243

Slaney, J. 2004. “Relevant logic and paraconsistency”, in L. Bertossi, A. Hunter, and T. Schaub (eds.) Inconsistency tolerance. Heidelberg: Springer-Verlag, 270–293

Smith, Nicholas J. J. 2012. Logic: The laws of truth. Princeton University Press

Spade, P. V. 1994. (trans.) Five texts on the mediaeval problem of universals: Porphyry, Boethius, Abelard, Duns Scotus, Ockham. Indianapolis, Cambridge: Hackett

Spelke, E. 2000. “Core knowledge”, American Psychologist 55, 1233–1243

Spelke, E., Grant, G. and Van de Walle, G. 1995. “The development of object perception”, in S. Kosslyn and D. Osherson (eds.) Visual Cognition. Cambridge, MA: MIT Press, 297–330

Steiner, M. 1975. Mathematical knowledge. Ithaca and London: Cornell University Press

Steiner, M. 2009. “Empirical regularities in Wittgenstein’s philosophy of mathematics”, Philosophia Mathematica 17, 1–34

Tahko, T. E. 2012. “Boundaries in reality”, Ratio 25 (4), 405–24

Tarski, A. 1944. “The semantic conception of truth”, Philosophy and Phenomenological Research 4, 13–47

Teiszen, R. 2010. “Mathematical realism and transcendental phenomenological idealism”, in Hartimo 2010a, 1–22

Terwijn, S. A. 2004. “Intuitionistic logic and computation”, Vriendenboek ofwel Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh, Institute for Logic, Language, and Computation. Amsterdam

Tokarz, M. 1973. “Connections between some notions of completeness of structural propositional calculi”, Studia Logica 32(1), 77–91

Troelstra, A. S., and van Dalen, D. 1988. Constructivism in mathematics. An introduction, Vol. i. Amsterdam: North-Holland

Väänänen, J. 2001. “Second-order logic and foundations of mathematics”, Bulletin of Symbolic Logic 7, 504–520

van Inwagen, P. 1981. “Why I don’t understand substitutional quantification”, in Ontology, identity, and modality: Essays in metaphysics (2001). Cambridge University Press, 32–6

Visser, A. 1999. “Rules and arithmetics”, Notre Dame Journal of Formal Logic 40, 116–140

Waismann, F. 1945. “Verifiability”, Proceedings of the Aristotelian Society, *Supplementary Volume* 19, 119–150; reprinted in A. Flew (ed.) *Logic and language*. Oxford: Basil Blackwell, 1968, 117–144

Walker, Ralph C.S. 1999. “Induction and transcendental argument”, in R. Stern (ed.) Transcendental arguments. Oxford University Press, 13–29

Wason, P. C., and Johnson-Laird, P. 1972. Psychology of reasoning: Structure and content. Cambridge, MA: Harvard University Press

Wells, H. G. 1908. First and last things. Teddington Echo, 2011

Willard, D. 1981. Introduction to “A reply to a critic”, in Husserl 1981, 148–151

Williamson, T. 1994. Vagueness. London: Routledge

Wilson, M. 2006. Wandering significance. Oxford University Press

Wittgenstein, L. 1953. Philosophical investigations, second edition, translated by G. E. M. Anscombe. Oxford: Blackwell. 2001

Wittgenstein, L. 1974. On certainty, edited by G.E.M. Anscombe and G.H. von Wright. Translated by D. Paul, and G.E.M. Anscombe. Oxford: Blackwell

Wittgenstein, L. 1976. Wittgenstein’s lectures on the foundations of mathematics, *Cambridge, 1939*. Ithaca: Cornell University Press

Wittgenstein, L. 1978. Remarks on the foundations of mathematics (revised edition). Cambridge, MA: MIT Press

Wittgenstein, L. 2009. Philosophical investigations, translated by P. M. S. Hacker, G. E. M. Anscombe, and J. Schulte, fourth revised edition, edited by P. M. S. Hacker and J. Schulte. Wiley-Blackwell

Wittgenstein, L. and Rhees, R. 1974. Philosophical grammar. Oxford: Basil Blackwell

Wright, C. 1992. Truth and objectivity. Cambridge, MA: Harvard University Press

Wright, C. 2008. “Relativism about truth itself: haphazard thoughts about the very idea”, in M. García-Carpintero and M. Kölbel (eds.) Relative truth. Oxford University Press

Yang, F. 2013. “Expressing second-order sentences in intuitionistic dependence logic”, Studia Logica 101(2), 323–342

Zucker, J. I. 1978. “The adequacy problem for classical logic”, Journal of Philosophical Logic 7, 517–535

Zucker, J. I., and Tragesser, R. S. 1978. “The adequacy problem for inferential logic”, Journal of Philosophical Logic 7, 501–516