Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Books
  3. The Metaphysics of Logic
  • Cited by 8
Publisher:
Cambridge University Press
Online publication date:
October 2014
Print publication year:
2014
Online ISBN:
9781139626279
DOI:
https://doi.org/10.1017/CBO9781139626279
Subjects:
Epistemology and Metaphysics, Logic, Philosophy
Information

Book description

Featuring fourteen new essays from an international team of renowned contributors, this volume explores the key issues, debates and questions in the metaphysics of logic. The book is structured in three parts, looking first at the main positions in the nature of logic, such as realism, pluralism, relativism, objectivity, nihilism, conceptualism, and conventionalism, then focusing on historical topics such as the medieval Aristotelian view of logic, the problem of universals, and Bolzano's logical realism. The final section tackles specific issues such as glutty theories, contradiction, the metaphysical conception of logical truth, and the possible revision of logic. The volume will provide readers with a rich and wide-ranging survey, a valuable digest of the many views in this area, and a long overdue investigation of logic's relationship to us and the world. It will be of interest to a wide range of scholars and students of philosophy, logic, and mathematics.

Reviews

'Rush's volume will be recommended as important reading for anyone interested in the philosophy of logic. Each article is interesting and well edited, doing a service to the study of logic.'

James Cargile - University of Virginia

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

Contents

Contents
  • Chapter 5 - A Second Philosophy of logic
    pp 93-108
  • View abstract

    Summary

    Logic might chart the rules of the world itself; the rules of rational human thought; or both. Husserl had a very broad concept of logic that embraces our usual modern idea of logic as well as something he called pure logic, which we can loosely characterise as something like the fundamental forms of experience. For Husserl, the fundamental forms of pure logic are an in-eliminable part of experience: i.e. experience encompasses direct apprehension of these inferential relationships. The apprehended structures are abstract and platonic; discovered, rather than constructed. Theory, empirical observation, and experience are in this sense fallible: they may or may not get it right and reveal the actual independent structure of logic. Both logic and mathematics as they are characterised by Husserl, should encounter the realist problem of independence, neither are the sort of thing we can simply take as part of human cognition.
  • Chapter 6 - Logical nihilism
    pp 109-127
  • View abstract

    Summary

    Our logical practices, it seems, already exhibit "truth by convention". A visible part of contemporary research in logic is the exploration of non classical logical systems. It's sad that almost no one notices that Quine's refutation of the conventionality of logic is a dilemma. The famous Lewis Carroll infinite regress assails only one horn of this dilemma, the horn that presupposes that the infinitely many needed conventions are all explicit. One of the oldest ways of begging the question against proponents of alternative logics (as well as a popular way of begging the question against logical conventionalism) is to implicitly adopt a lofty metalanguage stance, and then use the very words that are under contention against the opponent. That doing this is so intuitive evidently contributes to the continued popularity of the fallacy.
  • Chapter 7 - Wittgenstein and the covert Platonism of mathematical logic
    pp 128-144
  • View abstract

    Summary

    This chapter discusses a kind of relativism or pluralism concerning logic. It explores a core metaphysical issue concerning logic, the extent to which logic is objective. The chapter adopts a Hilbertian perspective, either the original version where consistency is the only formal, mathematical requirement on legitimate theories, or the liberal orientation where there are no formal requirements on legitimacy at all. It explores the ramifications for what the author takes to be a longstanding intuition that logic is objective. This chapter explains the matter of objectivity with the present folk-relativism concerning logic in focus. Sometimes it concentrates on general logical matters, such as validity and consistency, as such, and sometimes it deals with particular instances of the folk-relativism, such as classical validity, intuitionistic consistency, and the like. The chapter limits the discussion to Wright's axes of epistemic constraint and cognitive command.
  • Chapter 8 - Logic and its objects: a medieval Aristotelian view
    pp 147-159
  • View abstract

    Summary

    In general, the Second Philosopher's epistemological investigations take the form of asking how human beings, as described in biology, physiology, psychology, linguistics, and so on come to have reliable beliefs about the world as described in physics, chemistry, botany, astronomy, and so on. Second Philosopher's focus is somewhat broader; not only does she study how people come to form beliefs about the world, she also takes it upon herself to match these beliefs up with what her other inquiries have told her about how the world actually is, and to assess which types of belief-forming processes, in which circumstances, are reliable. After all, even Second Philosophy and Second Philosopher are used to describe her and her behavior. In any case, philosophy or not, the Second Philosopher's investigations do tell us something about the nature of the inference about the foreign coin.
  • Chapter 9 - The problem of universals and the subject matter of logic
    pp 160-177
  • View abstract

    Summary

    The idea that there may be more than one correct logic has recently attracted considerable interest. The most notorious bone of contention in the discussion of logical correctness is the law of excluded middle. The connections between sequent calculus, constructive proof transformation, structural completeness, and lem are fixtures from logical knowledge store, but they cannot seriously be thought of as a network of consequences in some allegedly correct logic. The author indicates logic's modern contours, highlighting the fact that the deepest observations logic has to offer come with no ties to preconceptions about its essence. The richness of logic comes into view only when we stop looking for such an essence and focus instead on the accumulation of applications and conceptual changes that have made current logical investigations possible. The study of logic might be the best practical antidote to the view of it that we have inherited.
  • Chapter 10 - Logics and worlds
    pp 178-188
  • View abstract

    Summary

    Wittgenstein's thought on mathematics had undergone a major, if often undetected, change. The idea that adopting an algorithm like "plus" determines in some physical, mental, or metaphysical way one's response to infinitely many exercises is nothing but covert Platonism, in many ways worse than the Platonism of objects. Wittgenstein agrees entirely with the Intuitionist critique of the law of excluded middle. For the Goldbach conjecture to be true in the sense of classical mathematics, we have to say that the operations of arithmetic determine in advance that every even number, no matter how large, can be partitioned into two primes. The law of excluded middle cannot be regarded as a hardened regularity in cases in which it is applied it to a putative infinite totality. But precisely because of this, there is no direct comparison possible between empirical observations and mathematical theorems in this type of proof.
  • Chapter 12 - Revising logic
    pp 211-223
  • View abstract

    Summary

    The semantic notions of truth and logical validity in predicate logic, being dependent on what the correlates of our universal terms are, demand at least a certain semantic clarification of the issue of universals. Apparently, the primary issue concerning universals is ontological. It should be clear that these objective concepts are non-conventionally objective. It should also be clear that the laws of logic in the framework are supposed to be fundamentally different from the laws of psychology. For while the former are the laws of the logical relations among objective concepts, the latter are the laws of the causal relations among formal concepts. Thus, whereas logic can be normative, prescribing the laws of valid inference, cognitive psychology can only be descriptive, describing and perhaps explaining the psychological mechanisms that can make us prone to certain types of logical errors.
  • Chapter 13 - Glutty theories and the logic of antinomies
    pp 224-232
  • View abstract

    Summary

    A transcendental philosophy as described and practiced by Kant is itself a logic. It is not intended to decide such factual questions as whether there is a God or humans are free, but to address semantical issues like what the meaning of God or freedom is. Within the semantical space where the (transcendental) logical enterprise is located, one can take different words as primitives and establish a network of semantical relations and dependencies based on those primitives. A logic is a self-organizing structure, self-enclosed and self-referential, that provides the bare scaffolding of a world and, if given enough data, even a large part of its actual construction. Logic is a highly ambitious theory: one that attempts to construct a universal language. In and by itself, this theory will be found persuasive only by those who are already committed to the particular view it expresses and articulates.
  • Chapter 14 - The metaphysical interpretation of logical truth
    pp 233-248
  • View abstract

    Summary

    Bolzano's Theory of Science presents the first explicit and methodical espousal of internal logical realism. It also contains a formidable number of theoretical innovations. They include: the first account of the distinction between sense and reference; definitions of analyticity and consequence, i.e. deducibility based on a new substitutional procedure that anticipates Quine's and Tarski's, respectively; and an account of mathematical knowledge that excludes, contra Kant. In Bolzano's case, one of the main purposes in introducing propositions in themselves is to achieve precise and satisfactory definitions. By way of consequence, on Bolzano's own account the success of the endeavour depends on whether his commitment to propositions allows him to deliver a good theory of logic, or at least one that is preferable to its rivals. Bolzano did have views on epistemic modality, though unfortunately, there is no place for a discussion of the latter here.
References

References

Anderson, A. R., and Belnap, N. D. 1975. Entailment: The logic of relevance and necessity, volume i. Princeton University Press Google Scholar
Anderson, A. R., Belnap, N. D., and Dunn, J. M. 1992. Entailment: The logic of relevance and necessity, volume ii. Princeton University Press Google Scholar
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 Google Scholar
Aquinas, T. 2000. Opera omnia, edited by E. Alarcón. Pamplona: University of Navarre, www.corpusthomisticum.org/iopera.html Google Scholar
Aristotle. 1963. Categories and de interpretatione, translated with notes by J. l. Ackrill. Oxford: Clarendon Press Google Scholar
Aristotle. 1984. Metaphysics, translated by W. D. Ross, revised by J. Barnes. Princeton University Press Google Scholar
Aristotle. 1993. Metaphysics books gamma, delta and epsilon, translated with notes by C. Kirwan, second edition. Oxford: Clarendon Press Google Scholar
Aristotle. 1994. Posterior analytics, translated with a commentary by J. Barnes, second edition. Oxford: Clarendon Press Google Scholar
Aristotle. 2009. Prior analytics, translated and with a commentary by G. Striker. Oxford University Press Google Scholar
Asenjo, F. G. 1966. “A calculus of antinomies”, Notre Dame Journal of Formal Logic 7(1), 103–105 CrossRef | Google Scholar
Asenjo, F. G., and Tamburino, J. 1975. “Logic of antinomies”, Notre Dame Journal of Formal Logic 16(1), 17–44 CrossRef | Google Scholar
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 Google Scholar
Azzouni, J. 2006. Tracking reason: Proof, consequence, and truth. Oxford University Press CrossRef | Google Scholar
Azzouni, J. 2008a. “Why do informal proofs conform to formal norms?” Foundations of Science 14, 9–26 CrossRef | Google Scholar
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 CrossRef | Google Scholar
Azzouni, J. 2010. Talking about nothing: numbers, hallucinations and fictions. Oxford University Press CrossRef | Google Scholar
Azzouni, J. 2013. Semantic perception: How the illusion of a common language arises and persists. Oxford University Press CrossRef | Google Scholar
Azzouni, J. and Armour-Garb, B. 2005. “Standing on common ground”, Journal of Philosophy 102(10), 532–544 CrossRef | Google Scholar
Barker, C. 2013. “Negotiating taste”, Inquiry 56, 240–257 CrossRef | Google Scholar
Batens, D., Mortensen, C., and Van Bendegem, J.P. (eds.) 2000. Frontiers of paraconsistent logic. Dordrecht: Kluwer Publishing Company Google Scholar
Beall, Jc 2009. Spandrels of truth. Oxford University Press CrossRef | Google Scholar
Beall, Jc 2012. “Why Priest’s reassurance is not reassuring”, Analysis 72(3), 739–741 CrossRef | Google Scholar
Beall, Jc 2013. “Free of detachment: logic, rationality, and gluts”, Noûs 47(3), 1–14 Google Scholar
Beall, Jc and Restall, G. 2006. Logical pluralism. Oxford University Press Google Scholar
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) CrossRef | Google Scholar
Beebee, H. and Dodd, J. (eds.) 2005. Truthmakers: The contemporary debate. Oxford University Press. CrossRef | Google Scholar
Bell, J. 1998. A primer of infinitesimal analysis. Cambridge University Press Google Scholar
Benacerraf, P. 1973. “Mathematical truth”, Journal of Philosophy 70, 661–79 CrossRef | Google Scholar
Bencivenga, E. 1987. Kant’s Copernican revolution. New York: Oxford University Press Google Scholar
Bencivenga, E. 2000. Hegel’s dialectical logic. New York: Oxford University Press Google Scholar
Bencivenga, E. 2007. Ethics vindicated: Kant’s transcendental legitimation of moral discourse. New York: Oxford University Press Google Scholar
Benthem, J. van, 1985. “The variety of consequence, according to Bolzano”, Studia Logica 44(4), 389–403 CrossRef | Google Scholar
Berto, F. 2007. How to sell a contradiction: Studies in Logic 6. London: College Publications Google Scholar
Berto, F. 2008. “Άδύνατον and material exclusion”, Australasian Journal of Philosophy 86(2), 165–90 CrossRef | Google Scholar
Blackburn, S. 1984. Spreading the word. Oxford: Clarendon Press Google Scholar
Bolzano, B. 1810. Beyträge zu einer begründetereu Darstelluns der Mathematik. Prague: Widtmann Google Scholar
Bolzano, B. 1837. Wissenschaftslehre. Sulzbach: Seidel Google Scholar
Bolzano, B. 1839. Dr Bolzano und seine Gegner. Sulzbach: Seidel Google Scholar
Bolzano, B. 1841. Wissenschaftslehre (Logik) und Religionswissenschaft in einer beurtheilenden Uebersicht. Sulzbach: Seidel Google Scholar
Bolzano, B. 1985–2000. Wissenschaftslehre, critical edition by Jan Berg. Stuttgart: Fromman-Holzboog Google Scholar
Bolzano, B. 2004. On the mathematical method and correspondence with Exner, translated by Rusnock, P., and George, R.Amsterdam-New York: Rodopi Google Scholar
Boolos, G. 1975. “On second-order logic”, Journal of Philosophy 72, 509–527. (Reprinted in Boolos 1998, pp. 37–53) CrossRef | Google Scholar
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) CrossRef | Google Scholar
Boolos, G. 1998. Logic, logic, and logic. Cambridge, MA: Harvard University Press Google Scholar
Brady, R. 2006. Universal logic. Stanford, CA: Centre for the Study of Language and Information Google Scholar
Brady, R. and Rush, P. 2009. “Four Basic Logical Issues”, The Review of Symbolic Logic 2(3), 488–508 CrossRef | Google Scholar
Buchholtz, U. 2013. The unfolding of inductive definitions, PhD Dissertation, Dept. of Mathematics, Stanford University Google Scholar
Burge, T. 1975. “On knowledge and convention”, in Foundations of mind (2007), 32–37. Oxford University Press Google Scholar
Burgess, J. A. 1990. “The sorites paradox and higher-order vagueness”, Synthese 85, 417–474 CrossRef | Google Scholar
Burgess, J. A. 2010. “Review of Beall and Restall 2006,” Philosophy and Phenomenological Research 81, 519–522 CrossRef | Google Scholar
Burgess, J. P., and Rosen, G. 1997. A subject with no object: Strategies for nominalistic interpretation of mathematics. Oxford University Press Google Scholar
BurgessJ. P. 1999. “Which modal logic is the right one?” Notre Dame Journal of Formal Logic 40, 81–93 Google Scholar
Carey, S. 2009. The origin of concepts. Oxford University Press CrossRef | Google Scholar
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 CrossRef | Google Scholar
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 Google Scholar
Chateaubriand, Filho, O. 2001. Logical forms: Part i – truth and description. Campinas: UNICAMP Google Scholar
Chateaubriand, Filho, O. 2005. Logical forms: Part ii – logic, language, and knowledge. Campinas: UNICAMP Google Scholar
Chomsky, N. 2003. “Reply to Millikan”, in L. M. Antony and N. Hornstein (eds.) Chomsky and his critics. Oxford: Blackwell Publishing, 308–315 Google Scholar
Chomsky, N. and Lasnik, H. 1995. “The theory of principles and parameters”, in Noam ChomskyThe minimalist program. Cambridge, MA: The MIT Press, 13–127 Google Scholar
Cole, J. 2013. “Towards an institutional account of the objectivity, necessity, and atemporality of mathematics”, Philosophia Mathematica 21, 9–36 CrossRef | Google Scholar
Condillac, E. 1780. La logique (Logic), translated by W. R. Albury. New York: Abaris Google Scholar
Crivelli, P. 2004. Aristotle on truth. Cambridge University Press. CrossRef | Google Scholar
da Costa, N. 1974. “On the theory of inconsistent formal systems”, Notre Dame Journal of Formal Logic 15, 497–510 CrossRef | Google Scholar
Daly, C. 2005. “So where’s the explanation?” In Beebee and Dodd 2005, 85–103. Google Scholar
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. Google Scholar
Dehaene, S. 1997. The number sense. Oxford University Press Google Scholar
Dummett, M. 1975. “The philosophical basis of intuitionistic logic”, Logic Colloquium ’73, 5–40 Google Scholar
Dummett, M. 1991a. The logical basis of metaphysics. Cambridge, MA: Harvard University Press Google Scholar
Dummett, M. 1991b. Frege: Philosophy of mathematics. Cambridge, MA: Harvard University Press Google Scholar
Dunn, J. M. 1966. The algebra of intensional logics. PhD thesis, University of Pittsburgh Google Scholar
Dunn, J. M. 1976. “Intuitive semantics for first-degree entailments and ‘coupled trees’”, Philosophical Studies 29, 149–168 CrossRef | Google Scholar
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 Google Scholar
Eddington, A. S. 1928. The nature of the physical world, New York: Macmillan Google Scholar
Epstein, B. 2006. “Review of Ruth Millikan, Language: A biological model,” Notre Dame Philosophical Reviews 5 Google Scholar
Estrada-González, L. 2013. “On two arguments against realist dialetheism”, unpublished manuscript. Google Scholar
Etchemendy, J. 1988. “Models, semantics and logical truth”, Linguistics and Philosophy 11, 91–106 CrossRef | Google Scholar
Etchemendy, J. 1990. The concept of logical consequence. Cambridge, MA: Harvard University Press. Google Scholar
Feferman, S. 1984. “Toward useful type-free theories I”, Journal of Symbolic Logic 49, 75–111 CrossRef | Google Scholar
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 CrossRef | Google Scholar
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 Google Scholar
Feferman, S. 2009. “Conceptions of the continuum”, Intellectica 51, 169–189 Google Scholar
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 Google Scholar
Feferman, S. 2011. “Is the Continuum Hypothesis a definite mathematical problem?” lecture text, Harvard University, Dept. of Philosophy, EFI project. http://math.stanford.edu/~feferman/papers/IsCHdefinite.pdf Google Scholar
Feferman, S. 2013. “Categoricity of open-ended axiom systems”, lecture slides for the conference, “Intuition and Reason”, in honor of Charles Parsons, Tel-Aviv, Dec. 2, 2013; http://math.stanford.edu/~feferman/papers/CategoricityOpenEnded.pdf Google Scholar
Feferman, S. (to appear). “Which quantifiers are logical? A combined semantical and inferential criterion”, http://math.stanford.edu/~feferman/papers/WhichQsLogical(text).pdf. Google Scholar
Feferman, S. and Strahm, T. 2000. “The unfolding of non-finitist arithmetic”, Annals of Pure and Applied Logic 104, 75–96 CrossRef | Google Scholar
Feferman, S. and Strahm, T. 2010. “The unfolding of finitist arithmetic”, Review of Symbolic Logic 3, 665–689 CrossRef | Google Scholar
Feynman, Richard P. 1985. QED: the strange theory of light and matter. Princeton University Press Google Scholar
Field, H. 2009. “Pluralism in logic”, The Review of Symbolic Logic 2(2), 342–359 CrossRef | Google Scholar
Folina, J. 1994. “Poincaré on objectivity”, Philosophia Mathematica 2(3), 202–227 CrossRef | Google Scholar
Føllesdal, D. and Bell, D. 1994, “Objects and concepts”, in Proceedings of the Aristotelian Society, Supplementary Volumes, 68, 131–166 CrossRef | Google Scholar
Franks, C. 2010. “Cut as consequence”, History and Philosophy of Logic 31(4), 349–79 CrossRef | Google Scholar
Franks, C. 2013. “Logical completeness, form, and content: an archaeology”, in J. Kennedy (ed.) Interpreting Gödel: Critical essays. New York: Cambridge University Press Google Scholar
Franks, C. 2014. “David Hilbert’s contributions to logical theory”, in A. P. Malpass (ed.) The history of logic. New York: Continuum Google Scholar
Frege, G. 1918, “Der Gedanke: Eine Logische Untersuchung”, in Beiträge zur Philosophie des Deutschen Idealismus i. 58–77 Google Scholar
Frege, G. 1976. Wissenschaftlicher Briefwechsel, edited by G. Gabriel, H. Hermes, F. Kambartel, and C. Thiel. Hamburg: Felix Meiner Google Scholar
Frege, G. 1980. Philosophical and mathematical correspondence. Oxford: Basil Blackwell Google Scholar
Fumerton, R. 2010, “Foundationalist theories of epistemic justification”, The Stanford encyclopedia of philosophy, Edward N. Zalta (ed.), http://plato.stanford.edu/archives/sum2010/entries/justep-foundational/ Google Scholar
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 Google Scholar
Gentzen, G. 1936. “Die Widerspruchsfreiheit der reinen Zahlentheorie”, Mathematische Annalen 112, translated as “The consistency of elementary number theory” in (Gentzen 1969): 132–213 Google Scholar
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 Google Scholar
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 Google Scholar
Gentzen, G. 1969. The collected papers of Gerhard Gentzen, M. E. Szabo (ed.). Amsterdam: NorthHolland Google Scholar
George, R. 2003. “Bolzano and the problem of psychologism” in D. Fisette (ed.) Husserl’s logical investigations reconsidered. Dordrecht: Kluwer, 95–108 CrossRef | Google Scholar
George, R. 1986. “Bolzano’s concept of consequence”, Journal of Philosophy 83, 558–563 CrossRef | Google Scholar
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 CrossRef | Google Scholar
Gödel, K. 1932, “Zum intuitionistischen Aussagenkalkül”, Anzeiger der Akademie der Wissenschaftischen in Wien 69, 65–66 Google Scholar
Gödel, K. 1933, “Zur intuitionistischen Arithmetik und Zahlentheorie”, Ergebnisse eines mathematischen Kolloquiums 4, 34–38 Google Scholar
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 CrossRef | Google Scholar
Gödel, K. 1972. “On an extension of finitary mathematics which has not yet been used”, in Gödel 1990, 271–280 Google Scholar
Gödel, K. 1990. Collected works, vol. ii: Publications 1938–1974 (S. Feferman, et al., eds.), Oxford University Press Google Scholar
Gómez-Torrente, M. 1999. “Logical truth and Tarskian logical truth”, Synthese 117: 375–408 CrossRef | Google Scholar
Gómez-Torrente, M. 2009. “Rereading Tarski on logical consequence”, The Review of Symbolic Logic 2(2), 249–297 CrossRef | Google Scholar
Haddock, G. 2010. “Platonism, phenomenology, and interderivability”, in Hartimo 2010a, 23–44 Google Scholar
Hales, Alexander of, 1951–1957. Glossae in quatuor libros Sententiarum Magistri Petri Lombardi. Quaracchi: Florence Google Scholar
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 CrossRef | Google Scholar
Hartimo, M. 2010a. Phenomenology and mathematics. Dordrecht: Springer CrossRef | Google Scholar
Hartimo, M 2010b. “Development of mathematics”, in Hartimo 2010a, 107–121 Google Scholar
Hatfield, G. 2003. “Getting objects for free (or not)”, reprinted in his Perception and Cognition. Oxford University Press, 2009 212–255 Google Scholar
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 Google Scholar
Hellman, G. 2006. “Mathematical pluralism: the case of smooth infinitesimal analysis”, Journal of Philosophical Logic 35, 621–651 CrossRef | Google Scholar
Henkin, L. 1949. “The completeness of the first-order functional calculus”, Journal of Symbolic Logic 14, 159–166 CrossRef | Google Scholar
Hilbert, D. 1899. Grundlagen der Geometrie, Leipzig, Teubner; Foundations of geometry, translated by E. Townsend. La Salle, IL: Open Court, 1959 Google Scholar
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 Google Scholar
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 Google Scholar
Hintikka, J. 1996. The principles of mathematics revisited (with an appendix by G. Sandu). Cambridge University Press CrossRef | Google Scholar
Hintikka, J. 2010. “How can a phenomenologist have a philosophy of mathematics?”, in Hartimo 2010a, 91–104 Google Scholar
Horwich, P. 1998. Truth, second edition. Oxford University Press CrossRef | Google Scholar
Hurley, P. J. 2008. A concise introduction to logic, eighth edition. Belmont, CA: Wadsworth/Thomson Learning Google Scholar
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 Google Scholar
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 Google Scholar
Husserl, E. 1964. The idea of phenomenology, translated by W. P. Alston and G. Nakhnikian. The Hague: Martinus Nijhoff Google Scholar
Husserl, E. 1970. Logical investigations VII, translated by J. N Findlay. New York: Humanities Press Google Scholar
Husserl, E. 1981. Husserl shorter works, edited by P. McCormick and F. A. Elliston. University of Notre Dame Press Google Scholar
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 Google Scholar
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 Google Scholar
Jenkins, C. S. 2005. “Realism and independence”, American Philosophical Quarterly, 42(3) Google Scholar
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 Google Scholar
Kahneman, D. 2011. Thinking, fast and slow. New York: Farrar, Straus and Giroux Google Scholar
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 Google Scholar
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 Google Scholar
Kant, I. 1996. Practical philosophy, translated by Mary J. Gregor, Cambridge University Press Google Scholar
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 Google Scholar
Karger, E. (forthcoming). “Was Adam Wodeham an internalist or an externalist?” in Klima (2014) Google Scholar
Keisler, H. J. 1970. “Logic with the quantifier ‘there exist uncountably many’”, Annals of Mathematical Logic 1, 1–93 CrossRef | Google Scholar
Kennedy, J. 2012. “Kurt Gödel”, The Stanford encyclopedia of philosophy (Winter 2012 Edition), Edward N. Zalta (ed.), URL http://plato.stanford.edu/archives/win2012/entries/goedel/. Google Scholar
Kilwardby, R. 1516. [Pseudo-] Aegidius Romanus. In libros priorum analeticorum Aristotelis Expositio. Venice Google Scholar
Kilwardby, R. 1976. De ortu scientiarum, edited by A. Judy. Oxford University Press for the British Academy Google Scholar
Kilwardby, R. 1986. Quaestiones in primum librum Sententiarum, herausgegeben von Johannes Schneider. Munich: Verlag. der Bayerischen Akademie der Wissenschaften Google Scholar
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 Google Scholar
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 Google Scholar
King, P. 2010. ‘Peter Abelard’, in The Stanford encyclopedia of philosophy (Winter 2010 Edition), Edward N. Zalta (ed.), URL http://plato.stanford.edu/archives/win2010/entries/abelard/ Google Scholar
Kleene, S. C. 1945. “On the interpretation of intuitionistic number theory”, Journal of Symbolic Logic 10, 109–124 CrossRef | Google Scholar
Kleene, S. C. 1971. Introduction to metamathematics. Amsterdam: North-Holland Google Scholar
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 CrossRef | Google Scholar
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 CrossRef | Google Scholar
Klima, G. 2001b. John Buridan’sSummulae de dialectica, translated by Gyula Klima, New Haven, CT and London, Yale University Press Google Scholar
Klima, G. 2009. John Buridan, Great Medieval Thinkers, Oxford University Press Google Scholar
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 Google Scholar
Klima, G. 2011b. “Being”, Lagerlund, H. Encyclopedia of Medieval Philosophy, Springer: Dordrecht, 100–159 Google Scholar
Klima, G. 2012. “Being”, in Marenbon, J. 2012, 403–420 Google Scholar
Klima, G. 2013a. “The medieval problem of universals”, The Stanford Encyclopedia of Philosophy (Fall 2013 Edition), Edward N. Zalta (ed.), URL http://plato.stanford.edu/archives/fall2013/entries/universals-medieval/ Google Scholar
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 Google Scholar
Klima, G. 2014 (ed.) Intentionality, cognition and mental representation in medieval philosophy. New York: Fordham University Press Google Scholar
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 Google Scholar
Kripke, S. A. 1982. Wittgenstein on rules and private language. Cambridge, MA: Harvard University Press Google Scholar
Ladyman, J. and Ross, D. (with D. Spurrett and J. Collier). 2007. Every thing must go, Oxford University Press CrossRef | Google Scholar
Lapointe, S. 2011. Bolzano’s theoretical philosophy. Houndsmill: Palgrave CrossRef | Google Scholar
Lapointe, S. 2014. “Bolzano, Quine and logical truth” in G. Harman, and E. Lepore (eds.) Blackwell companion to Quine. London: Blackwell Google Scholar
Lepore, E. and Ludwig, K. 2006. “Ontology in the theory of meaning”, International Journal of Philosophical Studies 14, 325–335 CrossRef | Google Scholar
Levinas, E. 1998. Discovering existence with Husserl. Illinois: Northwestern University Press Google Scholar
Lewis, D. 1969. Convention: A philosophical study. Cambridge University Press Google Scholar
Lewis, D. 1991. Parts of classes. Oxford University Press Google Scholar
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 Google Scholar
Lindström, P. 1966. “First order predicate logic with generalized quantifiers”, Theoria 32, 186–195 Google Scholar
Lindström, P. 1969. “On extensions of elementary logic”, Theoria 35, 1–11 CrossRef | Google Scholar
MacFarlane, J. 2005. “Making sense of relative truth”, Proceedings of the Aristotelian Society 105, 321–339 CrossRef | Google Scholar
MacFarlane, J. 2009. “Nonindexical contextualism”, Synthese 166, 231–250 CrossRef | Google Scholar
MacFarlane, J. 2014. Assessment sensitivity: Relative truth and its applications. Oxford University Press CrossRef | Google Scholar
Maddy, P. 2007. Second philosophy. Oxford University Press CrossRef | Google Scholar
Maddy, P. 2011. Defending the axioms. Oxford University Press CrossRef | Google Scholar
Maddy, P. (to appear) The logical must. Oxford University Press CrossRef | Google Scholar
Marenbon, J. 2012. (ed.) The Oxford handbook of medieval philosophy. Oxford University Press CrossRef | Google Scholar
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 CrossRef | Google Scholar
Mares, E. D. 2007. Relevant logic: A philosophical interpretation. Cambridge University Press Google Scholar
Martin, C. J. 2001. “Obligations and liars”, in M. Yrjönsuur (ed.), Medieval formal logic: Obligations, insolubles and consequences. Springer, 63–94 CrossRef | Google Scholar
Martin, C. J. 2010. “The development of logic in the twelfth century”, in Pasnau 2010, 129–145 Google Scholar
Martin, C. J. 2012. “Logical consequence”, in Marenbon 2012, 289–311 Google Scholar
Martin, D. A. 2001. “Multiple universes of sets and indeterminate truth values”, Topoi 20, 5–16 CrossRef | Google Scholar
Mathias, A. R. D. 2001. “The strength of Mac Lane set theory”, Annals of Pure and Applied Logic 110, 107–234 CrossRef | Google Scholar
McDowell, J. 1994. Mind and world. Cambridge, MA: Harvard University Press Google Scholar
Meillassoux, Q. 2011. “Contingency & the absolutization of the one”, A lecture delivered at the Sorbonne for a symposium. Source: http://speculativeheresy.wordpress.com/2011/03/24. Google Scholar
Meyer, Robert K., Routley, R. and Dunn, J. Michael. 1979. “Curry’s paradox”, Analysis 39, 124–128 CrossRef | Google Scholar
Millikan, R. G. 1984. Language, thought, and other biological categories. Cambridge, MA: The MIT Press Google Scholar
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 CrossRef | Google Scholar
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 CrossRef | Google Scholar
Millikan, R. G. 2005. “Meaning, meaning, and meaning”, in Language: A biological model. Oxford University Press, 53–76 CrossRef | Google Scholar
Monk, R. 1991. Ludwig Wittgenstein: The duty of genius. Penguin Google Scholar
Morris, M. 2005. “Realism beyond correspondence”, in Beebee and Dodd 2005, 49–66 Google Scholar
Mortensen, C. 1995. Inconsistent mathematics, Dordrecht: Kluwer Academic Publishers CrossRef | Google Scholar
Mortensen, C. 2010. Inconsistent geometry, Studies in logic 27. London: College Publications Google Scholar
Mühlhölzer, F. 2001. “Wittgenstein and the regular heptagon”. Grazer Philosophische Studien: Internationale Zeitschrift für Analytische Philosophie, 62, 215–247 Google Scholar
Mulligan, K., Simons, P., and Smith, B. 1984. “Truth-makers”, Philosophy and Phenomenological Research 44, 287–321 CrossRef | Google Scholar
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 Google Scholar
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 Google Scholar
Neta, R., and Pritchard, D. 2007. “McDowell and the new evil genius”, Philosophy and Phenomenological Research 74(2), 381–396 CrossRef | Google Scholar
Novaes, C. D. 2012. “Medieval theories of consequence”, The Stanford Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta (ed.), URL http://plato.stanford.edu/archives/sum2012/entries/consequence-medieval/ Google Scholar
Ockham, W. 1974. Summa logicae, opera philosophica I, edited by G. Gál and S. Brown, St. Bonaventure, NY: Franciscan Institute, St. Bonaventure University Google Scholar
Panaccio, C. 2004. Ockham on concepts. Aldershot: Ashgate Google Scholar
Pasnau, R. 2010. (ed.) C. Van Dyke (assoc. ed.) The Cambridge history of medieval philosophy (2 vols.), Cambridge University Press Google Scholar
Pirandello, L. 1990. Novelle per un anno, vol. iii, edited by M. Costanzo, Milano, Mondadori. Google Scholar
Plato. 1997. “Phaedrus”, translated by A. Nehamas and P. Woodruff. In J. M. Cooper (ed.) Plato: Complete works. Indianapolis, IN: Hackett Google Scholar
Popper, K. 1968. “Epistemology without a knowing subject”, in Logic, Methodology and Philosophy of ScienceIII. Elsevier, 333–373 CrossRef | Google Scholar
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 CrossRef | Google Scholar
Prawitz, D. 1965. Natural deduction: A proof-theoretical study; second edition (2006), Mineola, NY: Dover Publications Google Scholar
Priest, G. 1979. “The logic of paradox”, Journal of Philosophical Logic 8, 219–241 CrossRef | Google Scholar
Priest, G. 1980. “Sense, entailment and modus ponens”, Journal of Philosophical Logic 9, 415–435 CrossRef | Google Scholar
Priest, G. 1987. In contradiction. The Hague: Martinus Nijhoff CrossRef | Google Scholar
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 Google Scholar
Priest, G. 2006a. Doubt truth to be a liar. Oxford University Press. Google Scholar
Priest, G. 2006b. In contradiction, second edition. Oxford University Press CrossRef | Google Scholar
Priest, G. 2007. “Paraconsistency and dialetheism”, in D. Gabbay and J. Woods (eds.) Handbook of the history of logic. Amsterdam: North-Holland, 194–204 Google Scholar
Priest, G. 2009. “Beyond the limits of knowledge”, in J. Salerno (ed.) New essays on the knowability paradox, Oxford University Press, 93–105 CrossRef | Google Scholar
Priest, G. 2013. “Mathematical Pluralism”, Logic Journal of IGPL 21, 4–20 CrossRef | Google Scholar
Priest, G. (to appear). “Logical disputes and the a priori” Google Scholar
Příhonský, F. 1850. Neuer Anti-Kant. Bautzen: Weller Google Scholar
Prucnal, T. 1976. “Structural completeness of Medvedev’s propositional calculus”, Reports on Mathematical Logic 6, 103–105 Google Scholar
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 Google Scholar
Putnam, H. 2003. “McDowell’s mind and world”, in Reading McDowell. London: Routledge, 174–191 Google Scholar
Quine, W. V. O. 1936a. “Truth by convention. In O. H. Lee (ed.), Philosophical essays for A. N. Whitehead. New York: Longmans, 90–124 Google Scholar
Quine, W.V.O. 1936b. “Truth by convention”, in The ways of paradox, revised and enlarged edition (1976) Harvard University Press, 77–106 Google Scholar
Quine, W. V. O. 1953. Two dogmas of empiricism from a logical point of view. Cambridge, MA: Harvard University Press Google Scholar
Quine, W. V. O. 1960. Word and object. Cambridge, MA: The MIT Press Google Scholar
Quine, W. V. O. 1970a. Philosophy of logic. Prentice Hall Google Scholar
Quine, W.V.O. 1970b. “Methodological reflections on current linguistic theory”, Synthese 21, 386–398 CrossRef | Google Scholar
Quine, W. V. O. 1976. The ways of paradox, and other essays (revised and enlarged edition). Cambridge, MA: Harvard University Press Google Scholar
Quine, W.V. O. 1986. Philosophy of logic, second edition. Cambridge, MA: Harvard University Press Google Scholar
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 CrossRef | Google Scholar
Rathjen, M. 2014. “Indefiniteness in semiintuitionistic set theories: On a conjecture of Feferman”, arXiv: 1405448 Google Scholar
Rayo, A. and Uzquiano, G. (eds.) 2006. Absolute generality. Oxford: Clarendon Press Google Scholar
Read, S. 1994. Thinking about logic: An introduction to the philosophy of logic. Oxford University Press Google Scholar
Read, S. 2010. “Inferences”, in Pasnau 2010 173–184. Google Scholar
Read, S. 2011. “Medieval theories: Properties of terms”, The Stanford encyclopedia of philosophy (Spring 2011 Edition), Edward N. Zalta (ed.), URL = http://plato.stanford.edu/archives/spr2011/entries/medieval-terms/ Google Scholar
Rescher, N. and Manor, R. 1970. “On inference from inconsistent premises”, Theory and Decision, 1(2), 179–217 CrossRef | Google Scholar
Resnik, M. 1988. “Second-order logic still wild”, Journal of Philosophy, 85, 75–87 CrossRef | Google Scholar
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 Google Scholar
Resnik, M. 1997. Mathematics as a science of patterns. Oxford University Press Google Scholar
Resnik, Michael, 2000. “Against logical realism”, History and Philosophy of Logic 20, 181–194 CrossRef | Google Scholar
Restall, G. 2002. “Carnap’s tolerance, meaning, and logical pluralism”, Journal of Philosophy 99, 426–443 CrossRef | Google Scholar
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 Google Scholar
Rush, P. 2012. “Logic or reason?”, Logic and Logical Philosophy 21, 127–163 Google Scholar
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 CrossRef | Google Scholar
Russell, G. 2008. “One true logic?” Journal of Philosophical Logic 37, 593–611 CrossRef | Google Scholar
Rybakov, V. 1997. Admissibility of logical inference rules. Amsterdam: Elsevier Google Scholar
Sainsbury, R. M. 2009. Paradoxes, third edition Cambridge University Press CrossRef | Google Scholar
Schmidt, R. W. 1966. The domain of logic according to Saint Thomas Aquinas. The Hague: Martinus Nijhoff CrossRef | Google Scholar
Schmutz, J. 2012. “Medieval philosophy after the Middle Ages”, in Marenbon 2012, 245–270 Google Scholar
Schotch, P., Brown, B. and Jennings, R. (eds.) 2009. On preserving: Essays on preservationism and paraconsistent Logic. University of Toronto Press CrossRef | Google Scholar
Schotch, P. and Jennings, R. 1980. “Inference and necessity”, Journal of Philosophical Logic 9, 327–340 CrossRef | Google Scholar
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 Google Scholar
Sellars, W. 1962. “Philosophy and the scientific image of man”, reprinted in his Science, perception and reality. London: Routledge & Kegan Paul, 1–40 Google Scholar
Shalkowski, S. 2004. “Logic and absolute necessity”, The Journal of Philosophy 101(2), 55–82 CrossRef | Google Scholar
Shapiro, S. 1991. Foundations without foundationalism: A case for second-order logic. Oxford University Press Google Scholar
Shapiro, S. 1997. Philosophy of mathematics. Structure and ontology. Oxford University Press Google Scholar
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 CrossRef | Google Scholar
Shapiro, S. (ed.) 2005. The Oxford handbook of the philosophy of mathematics and logic. Oxford University Press CrossRef | Google Scholar
Shapiro, S. 2007. “The objectivity of mathematics”, Synthese 156, 337–381 CrossRef | Google Scholar
Shapiro, S. 2011. “Mathematics and objectivity”, in J. Polkinghorne (ed.) Meaning in mathematics. Oxford University Press, 97–108 Google Scholar
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 CrossRef | Google Scholar
Shapiro, S. 2014. Varieties of logic, forthcoming Google Scholar
Sher, G. 2001. “The formal-structural view of logical consequence”, The Philosophical Review 110(2), 241–261 CrossRef | Google Scholar
Sher, G. 2011. “Is logic in the mind or in the world?” Synthese 181, 353–365 CrossRef | Google Scholar
Shim, M. 2005 “The duality of non-conceptual content in Husserl’s phenomenology of perception”, Phenomenology and the Cognitive Sciences 4, 209–229 CrossRef | Google Scholar
Sider, T. 2011. Writing the book of the world. Oxford University Press CrossRef | Google Scholar
Siebel, M. 2002. “Bolzano’s concept of consequence”, The Monist 85(4), 580–599 CrossRef | Google Scholar
Simpson, S. G., and Yokoyama, K. 2012. “Reverse mathematics and Peano categoricity”, Annals of Pure and Applied Logic 164, 229–243 Google Scholar
Slaney, J. 2004. “Relevant logic and paraconsistency”, in L. Bertossi, A. Hunter, and T. Schaub (eds.) Inconsistency tolerance. Heidelberg: Springer-Verlag, 270–293 Google Scholar
Smith, Nicholas J. J. 2012. Logic: The laws of truth. Princeton University Press Google Scholar
Sorensen, R. 2012. ‘Vagueness’, The Stanford encyclopedia of philosophy (Summer 2012 Edition), Edward N. Zalta (ed.), URL http://plato.stanford.edu/archives/sum2012/entries/vagueness/ Google Scholar
Spade, P. V. 1994. (trans.) Five texts on the mediaeval problem of universals: Porphyry, Boethius, Abelard, Duns Scotus, Ockham. Indianapolis, Cambridge: Hackett Google Scholar
Spelke, E. 2000. “Core knowledge”, American Psychologist 55, 1233–1243 CrossRef | Google Scholar | PubMed
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 Google Scholar
Steiner, M. 1975. Mathematical knowledge. Ithaca and London: Cornell University Press Google Scholar
Steiner, M. 2009. “Empirical regularities in Wittgenstein’s philosophy of mathematics”, Philosophia Mathematica 17, 1–34 CrossRef | Google Scholar
Swoyer, C. 2003. “Relativism”, Stanford internet encyclopedia of philosophy, http://plato.stanford.edu/entries/relativism Google Scholar
Tahko, T. E. 2009. “The law of non-contradiction as a metaphysical principle”, The Australasian Journal of Logic 7, 32–47. URL: www.philosophy.unimelb.edu.au/ajl/2009/ Google Scholar
Tahko, T. E. 2012. “Boundaries in reality”, Ratio 25 (4), 405–24 CrossRef | Google Scholar
Tarski, A. 1944. “The semantic conception of truth”, Philosophy and Phenomenological Research 4, 13–47 CrossRef | Google Scholar
Teiszen, R. 2010. “Mathematical realism and transcendental phenomenological idealism”, in Hartimo 2010a, 1–22 Google Scholar
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 Google Scholar
Tokarz, M. 1973. “Connections between some notions of completeness of structural propositional calculi”, Studia Logica 32(1), 77–91 CrossRef | Google Scholar
Troelstra, A. S., and van Dalen, D. 1988. Constructivism in mathematics. An introduction, Vol. i. Amsterdam: North-Holland Google Scholar
Väänänen, J. 2001. “Second-order logic and foundations of mathematics”, Bulletin of Symbolic Logic 7, 504–520 CrossRef | Google Scholar
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 Google Scholar
Visser, A. 1999. “Rules and arithmetics”, Notre Dame Journal of Formal Logic 40, 116–140 Google Scholar
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 Google Scholar
Walker, Ralph C.S. 1999. “Induction and transcendental argument”, in R. Stern (ed.) Transcendental arguments. Oxford University Press, 13–29 Google Scholar
Wason, P. C., and Johnson-Laird, P. 1972. Psychology of reasoning: Structure and content. Cambridge, MA: Harvard University Press Google Scholar
Weber, Z. 2009. “Inconsistent mathematics”, Internet encyclopedia of philosophy, www.iep.utm.edu/math-inc/ Google Scholar
Wells, H. G. 1908. First and last things. Teddington Echo, 2011 Google Scholar
Willard, D. 1981. Introduction to “A reply to a critic”, in Husserl 1981, 148–151 Google Scholar
Williamson, T. 1994. Vagueness. London: Routledge Google Scholar
Wilson, M. 2006. Wandering significance. Oxford University Press CrossRef | Google Scholar
Wittgenstein, L. 1953. Philosophical investigations, second edition, translated by G. E. M. Anscombe. Oxford: Blackwell. 2001 Google Scholar
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 Google Scholar
Wittgenstein, L. 1976. Wittgenstein’s lectures on the foundations of mathematics, Cambridge, 1939. Ithaca: Cornell University Press Google Scholar
Wittgenstein, L. 1978. Remarks on the foundations of mathematics (revised edition). Cambridge, MA: MIT Press Google Scholar
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 Google Scholar
Wittgenstein, L. and Rhees, R. 1974. Philosophical grammar. Oxford: Basil Blackwell Google Scholar
Wright, C. 1992. Truth and objectivity. Cambridge, MA: Harvard University Press Google Scholar
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 Google Scholar
Yang, F. 2013. “Expressing second-order sentences in intuitionistic dependence logic”, Studia Logica 101(2), 323–342 CrossRef | Google Scholar
Zucker, J. I. 1978. “The adequacy problem for classical logic”, Journal of Philosophical Logic 7, 517–535 Google Scholar
Zucker, J. I., and Tragesser, R. S. 1978. “The adequacy problem for inferential logic”, Journal of Philosophical Logic 7, 501–516 Google Scholar

Metrics

Altmetric attention score

Usage data cannot currently be displayed.