Skip to main content

Self-Reference and Validity Revisited

  • Chapter

Part of the book series: The New Synthese Historical Library ((SYNL,volume 49))

Abstract

An argument is valid if its conclusion follows from its premises; it is invalid if it is possible for its premises to be true while its conclusion is false. How can we be certain of these claims?

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Albert of Saxony, 1988. “Insolubles,” transi. N. Kretzmann and E. Stump, in The Cambridge Translations of Medieval Philosophical Texts: Volume One: Logic and the Philosophy of Language, Cambridge, Cambridge University Press, 337–68.

    Google Scholar 

  • Anderson, A.R. and Belnap, N.D., 1975. Entailment: the logic of relevance and necessity, vol. I, Princeton, Princeton University Press.

    Google Scholar 

  • Ashworth, E. J., 1974. Language and Logic in the Post-Medieval Period, Dordrecht, D. Reidel.

    Book  Google Scholar 

  • Bäck, A., 1996. Reduplicatives, Leiden, Brill.

    Google Scholar 

  • Bendiek, J., 1952. “Die Lehre von den Konsequenzen bei Pseudo-Scotus,” Franzikanischer Studien 34, 205–34.

    Google Scholar 

  • Boh, Ivan, 1982. “Consequences,” in N. Kretzmann, A. Kenny, J. Pinborg and E. Stump (eds.), The Cambridge History of Later Medieval Philosophy from the Rediscovery of Aristotle to the Disintegration of Scholasticism, 1100–1600, Cambridge, Cambridge University Press, 300–14.

    Google Scholar 

  • Drange, W., 1990. “Liar Syllogisms,” Analysis 50, 1–7.

    Google Scholar 

  • Emden, A. B., 1959. A Biographical Register of the University of Oxford to A.D. 1500, vol. 3, Oxford, Oxford University Press.

    Google Scholar 

  • Gal, G., 1977. “Adam of Wodeham’s Question on the `Complexe significabile’ as the Immediate Object of Scientific Knowledge,” Franciscan Studies 37, 66–102.

    Article  Google Scholar 

  • Geach, P. T., 1954–5. “On Insolubilia,Analysis 15, 71–2.

    Google Scholar 

  • Hughes, G. E., 1982. John Buridan on Self-Reference, Cambridge, Cambridge University Press.

    Google Scholar 

  • Hughes, G. E., and Cresswell, M., 1996. A New Introduction to Modal Logic, Routledge, London.

    Book  Google Scholar 

  • Kleene, S.C., 1952/71. Introduction to Metamathematics,North-Holland, Amsterdam.

    Google Scholar 

  • Kneale, William, and Kneale, Martha, 1962. The Development of Logic, Oxford, Oxford University Press.

    Google Scholar 

  • Löb, M. H., 1955. “Solution of a Problem of Leon Henkin,” Journal of Symbolic Logic 20, 115–8.

    Article  Google Scholar 

  • Martin, Christopher.J., 1993 “Obligations and Liars,” in S. Read (ed.), Sophisms in Medieval Logic and Grammar, (Nijhoff International Philosophy Series 48), Dordrecht, Kluwer, 357–381. Revised version in the present collection, pp. 65–96.

    Google Scholar 

  • Mates, B., 1965a. “Pseudo-Scotus on the Soundness of Consequentiae,in Contributions to Logic and Methodology in Honor of J. M. Bochenski,edited by A.-T. Tymieniecka, Amsterdam, North-Holland, 132–41.

    Google Scholar 

  • Mates, Benson, 1965b. Elementary Logic, New York, Oxford University Press.

    Google Scholar 

  • McDermott, A. C. S., 1972. “Notes on the Assertoric and Modal Propositional Logic of the Pseudo-Scotus,” Journal of the History of Philosophy 10, 273–306.

    Article  Google Scholar 

  • Moody, E.A., 1953. Truth and Consequence in Medieval Logic, Amsterdam, North-Holland.

    Google Scholar 

  • Panaccio, C., 1993. “Solving the Insolubles: hints from Ockham and Burley in S. Read (ed.), Sophisms in Medieval Logic and Grammar, (Nijhoff International Philosophy Series 48), Dordrecht, Kluwer, 398–410.

    Google Scholar 

  • Pozzi, Lorenzo, 1978. Le consequentiae nella logica medievale, Padova, Liviana editrice.

    Google Scholar 

  • Priest, G., and Routley, R., 1982. “Lessons from Pseudo-Scotus,” Philosophical Studies 42, 189–199.

    Article  Google Scholar 

  • Prior, A., 1962. “Some problems of self-reference in John Buridan,” Proceedings of the British Academy 48, 281–96.

    Google Scholar 

  • Pseudo-Scotus, 1891–5. In Librum Primum Priorum Analyticorum Aristotelis Quaestiones, in bannis Duns Scoti Opera Omnia, edited by L. Wadding, Paris, Vivès, vol. 2, 81–177.

    Google Scholar 

  • Read, S., 1984. Review of Hughes 1982, Australasian Journal of Philosophy 62, 423–6.

    Google Scholar 

  • Read, S., 1993. “Formal and Material Consequence, Disjunctive Syllogism and Gamma,” in K. Jacobi (ed.), Argumentationstheorie. Scholastische Forschungen zu den logischen und semantischen Regeln korrekten Folgerns, (Studien und Texte zur Geisteggeschichte des Mittelatems, Bd. 38 ), Leiden, Brill, 233–59.

    Google Scholar 

  • Rosser, J. B., 1936. “Extensions of some Theorems of Gödel and Church,” Journal of Symbolic Logic 1, 87–91.

    Article  Google Scholar 

  • Roure, M. L., 1962. “Le traité `Des Propositions Insolubles’ de Jean de Celaya.” Archives d’Histoire Doctrinale et Littéraire du Moyen Age 29, 235–336.

    Google Scholar 

  • Roure, M. L., 1970. “La problématique des propositions insolubles au XBIe siècle et au début du XIVe, suivie de l’édition des traités de W. Shyreswood, W. Burley et Th. Bradwardine,” Archives d’Histoire Doctrinale et Littéraire du Moyen Age 37, 205–326.

    Google Scholar 

  • Scott, T. K., 1966. John Buridan: Sophisms on Meaning and Truth, New York, Appleton-Century-Crofts.

    Google Scholar 

  • Sorensen, R., 1988. Blindspots, Oxford, Clarendon Press.

    Google Scholar 

  • Spade, Paul Vincent, 1975. The Medieval Liar, Toronto, Pontifical Institute of Mediaeval Studies.

    Google Scholar 

  • Spade, Paul Vincent, 1982. “Insolubilia,” in The Cambridge History of Later Medieval Philosophy from the Rediscovery of Aristotle to the Disintegration of Scholasticism, 1100–1600, N. Kretzmann, A. Kenny, J. Pinborg and E. Stump (eds.), Cambridge, Cambridge University Press, 246–53.

    Google Scholar 

  • Tarski, A., 1956. “The Concept of Truth in Formalized Languages,” transi. in his Logic, Semantics, Metamathematics, (ed.) J.H. Woodger, Oxford, Oxford University Press.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Read, S. (2001). Self-Reference and Validity Revisited. In: Yrjönsuuri, M. (eds) Medieval Formal Logic. The New Synthese Historical Library, vol 49. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9713-5_7

Download citation

  • DOI: https://doi.org/10.1007/978-94-015-9713-5_7

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5604-7

  • Online ISBN: 978-94-015-9713-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics