Skip to main content
SpringerLink
Log in

Corcoran the Mathematician

  • Chapter
  • First Online:
Universal Logic, Ethics, and Truth

Part of the book series: Studies in Universal Logic ((SUL))

  • 12 Accesses

Abstract

The aim of this chapter is to sketch John Corcoran’s mathematical contributions and to relate them to his (and others’) philosophical interests.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 139.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Anderson, A. and N. Belnap, Entailment: The logic of relevance and necessity I, Princeton, Princeton University Press, 1975.

    Google Scholar 

  2. Anderson, A. and N. Belnap, and M. Dunn, Entailment: The logic of relevance and necessity II, Princeton, Princeton University Press, 1992.

    Google Scholar 

  3. Church, Alonzo, Introduction to mathematical logic, Princeton, Princeton University Press, 1956.

    Google Scholar 

  4. Corcoran, John, “Completeness of an ancient logic”, Journal of Symbolic Logic 37 (1972), 696–702.

    Article  MathSciNet  Google Scholar 

  5. Corcoran, John, “Strange arguments”, Notre Dame Journal of Formal Logic 13 (1972), 206–210.

    Article  MathSciNet  Google Scholar 

  6. Corcoran, John, “Weak and strong completeness in sentential logics”, Logique et Analyse 59/60 (1972), 429–434.

    Google Scholar 

  7. Corcoran, John, “Gaps between logical theory and mathematical practice”, in The methodological unity of science, edited by M. Bunge, Dordrecht, Holland, D. Reidel, 1973, 23–50.

    Chapter  Google Scholar 

  8. Corcoran, John, “Categoricity”, History and Philosophy of Logic 1 (1980), 187–207.

    Article  MathSciNet  Google Scholar 

  9. Corcoran, John, “Information recovery problems”, Theoria 10 (1995), 55–78.

    MathSciNet  Google Scholar 

  10. Corcoran, John, W. Frank, and M. Maloney, “String theory”, Journal of Symbolic Logic 39 (1974), 625–637.

    Article  MathSciNet  Google Scholar 

  11. Corcoran, John, and W. Hatcher, J. Herring, “Variable binding term operators”, Zeitschrift für mathematische Logic und Grundlagen der Mathematik 18 (1972), 177–182.

    Article  MathSciNet  Google Scholar 

  12. Corcoran, John, and J. Michael Herring, “Notes on a semantic analysis of variable binding term operators”, Logique et Analyse 55 (1971), 644–657.

    MathSciNet  Google Scholar 

  13. Corcoran, John, and George Weaver, “Logical consequence in modal logic I: natural deduction in S5”, Notre Dame Journal of Formal Logic 10 (1969), 370–384.

    Article  MathSciNet  Google Scholar 

  14. Corcoran, John, and George Weaver, “Logical consequence in modal logic II: Some semantic systems for S4”, Notre Dame Journal of Formal Logic 15 (1974), 370–378.

    Article  MathSciNet  Google Scholar 

  15. Corcoran, John, and S. Ziewacz, “Identity logics”, Notre Dame Journal of Formal Logic 20 (1979), 777–784.

    Article  MathSciNet  Google Scholar 

  16. da Costa, Newton, “A model-theoretical approach to variable binding term operators”, Mathematical logic in Latin America, edited by A. I. Arruda, Rl Chuaqui, and N. C. A. da Costa, Amsterdam, North Holland Publishing Company, 1980, 133–162.

    Google Scholar 

  17. da Costa, Newton and Christopher Mortensen, “Notes on a theory of variable binding term operators”, History and Philosophy of Logic 4 (1983), 63–72.

    Article  MathSciNet  Google Scholar 

  18. Frege, Gottlob, Die Grundlagen der Arithmetik, Breslau, Koebner, 1884; The foundations of arithmetic, translated by J. Austin, second edition, New York, Harper, 1960.

    Google Scholar 

  19. Frege, Gottlob, Grundgesetze der Arithmetik 1, Olms, Hildescheim, 1893; translated as Basic laws of arithmetic, by Philip A. Ebert and Marcus Rossberg, Oxford, Oxford University Press, 2013.

    Google Scholar 

  20. Hale, Bob, and Crispin Wright, The reason’s proper study, Oxford, Oxford University Press, 2001.

    Book  Google Scholar 

  21. Hilbert, David, “Über das Unendliche”, Mathematische Annalen 95 (1925), 161–190.

    Article  Google Scholar 

  22. Read, Stephen, Relevant logic, Oxford, Oxford University Press, 1988.

    Google Scholar 

  23. Russell, Bertrand, “On denoting”, Mind 14 (1905), 479–498.

    Article  Google Scholar 

  24. Russell, Bertrand, Introduction to mathematical philosophy, New York, Dover, 1993 (first published in 1919).

    Google Scholar 

  25. Smiley, Timothy, “What is a syllogism?”, Journal of Philosophical Logic 2 (1973), 136–154.

    Article  Google Scholar 

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

    Google Scholar 

  27. Tennant, Neil, The taming of the true, Oxford, Oxford University Press, 1997.

    Google Scholar 

  28. Wright, Crispin, Frege’s conception of numbers as objects, Aberdeen, Aberdeen University Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, The Ohio State University, Columbus, OH, USA

    Stewart Shapiro

Authors
  1. Stewart Shapiro
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stewart Shapiro .

Editor information

Editors and Affiliations

  1. St. John Fisher University, Philosophy, Rochester, NY, USA

    Timothy J. Madigan

  2. Departement of Philosophy, Federal University of Rio de Janeiro, Rio de Janeiro, Rio de Janeiro, Brazil

    Jean-Yves Béziau

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Shapiro, S. (2024). Corcoran the Mathematician. In: Madigan, T.J., Béziau, JY. (eds) Universal Logic, Ethics, and Truth. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-031-44461-6_15

Download citation

Publish with us

Policies and ethics

Search

Navigation