Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Partial Logic

  • Chapter
Handbook of Philosophical Logic

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 5))

Abstract

When I was originally asked to write about ‘partial logic’ for the first edition of the Handbook, I was a little puzzled: I was taken to be an expert in an apparently well defined subject area that I didn’t know existed. But it turned out to be the sort of thing I had written about in my D.Phil. thesis, so I had somewhere to start. Nowadays the label ‘partial logic’ is much more familiar, and a lot of work is being done in the area it covers. The bulk of my own work, though—most of it dating right back to thesis days—has not yet been published: I have been bewilderingly bad about this. In particular, the various promises made in the first edition about forthcoming work have still not been fulfilled. In spite of this, I have resisted the temptation just to shove in more material of my own for the second edition except in small ways here and there. Additions are largely in response to what has newly appeared in print.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. P. Aczel. An Introduction to inductive definitions. In Handbook of Mathematical Logic, J. Barwise (ed.), pp. 739–782. North Holland, Amsterdam, 1977.

    Google Scholar 

  2. P. Aczel and S. Feferman. Consistency of the Unrestricted Abstraction Principle using an Intensional Equivalence Operator. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. P. Seldin and J. R. Hindley, eds., Academic Press, London, 1980.

    Google Scholar 

  3. H. P. Barendregt. The Lambda Calculus, North Holland, Amsterdam, 1984, 2nd reprint edition in paperback, 1997.

    Google Scholar 

  4. J. Barwise. Scenes and other situations. J. Philosophy, 78, 369–397, 1981.

    Article  Google Scholar 

  5. J. Barwise and J. Etchemendy. The Liar, Oxford University Press, Oxford, 1987.

    Google Scholar 

  6. Barwise and Perry 1981a] J Barwise and J. Perry. Situations and attitudes. J. Philosophy,78, 668–691, 1981.

    Google Scholar 

  7. J. Barwise and J. Perry. Semantic innocence and uncompromising situations. In Midwest Studies in Philosophy VI, French et al. (eds). pp. 387–403. University of Minnesota Press, Minneapolis, 1981.

    Google Scholar 

  8. J. Barwise and J. Perry. Situations and Attitudes, MIT Press, Cambridge, MA, 1983.

    Google Scholar 

  9. D. I. Beaver. Presupposition. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds. pp. 939–1008. Elsevier, Amsterdam, 1997.

    Google Scholar 

  10. D. Bell. How Russellian Was Frege? Mind, 99, 267–277, 1990.

    Article  Google Scholar 

  11. N. D. Belnap. Conditional assertion and restricted quantification. Nous, 4, 1–13, 1970.

    Article  Google Scholar 

  12. S. R. Blarney. Partial-Valued Logic, D.Phil. thesis, Universtity of Oxford, 1980.

    Google Scholar 

  13. S. R. Blarney. The Soundeness and Completeness of Axioms for CSP. In Topology and Category Theory in Computer Science, G. M. Reed, A. W. Roscoe and R. F. Wachter, eds., pp. 29–56, Oxford Universtity Press, Oxford, 1991.

    Google Scholar 

  14. S. R. Blarney and L. Humberstone. A Perspective on Modal Sequent Logic. Publications of the Research Institute for Mathematical Sciences, 27, Kyoto University, 763–782, 1991.

    Google Scholar 

  15. A. Bochman. Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame Journal of Formal Logic, 39, 47–73, 1998.

    Article  Google Scholar 

  16. J. P. Cleave. Logical consequence in the logic of inexact predicates. Z. Math. Logik Grundlagen Math, 20, 307–324, 1974.

    Article  Google Scholar 

  17. J. Czermak. A logical calculus with descriptions. J Philosophical Logic, 3, 211–228, 1974.

    Article  Google Scholar 

  18. M. A. E. Dummett. Truth. Proc. Aristotelian Soc, 59, 141–162, 1959.

    Google Scholar 

  19. M. A. E. Dummett. Frege, Duckworth, London, 1973.

    Google Scholar 

  20. M. A. E. Dummett. Truth and Other Enigmas. Duckworth, London, 1978.

    Google Scholar 

  21. J. M. Dunn. Axiomatizing Belnap’s conditional assertion. J. Philosophical Logic, 4, 383–397, 1975.

    Article  Google Scholar 

  22. H.-D. Ebbinghaus. Uber eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Arch. Math. Logik Grundlagenforschung, 12, 39–53, 1969.

    Article  Google Scholar 

  23. G. Evans. The Varieties of Reference. Oxford University Press, Oxford, 1982.

    Google Scholar 

  24. S. Feferman.: 1975, Non-extensional type-free theories of partial operations and classifications. In Springer Lecture Notes in Mathematics No.500. J. Diller and J. H. Muller, eds. pp. 73–118. Springer Verlag, 1975.

    Google Scholar 

  25. S. Feferman. Definedness. Erkenntnis, 43, 295–320, 1995.

    Article  Google Scholar 

  26. J. E. Fenstad. Partiality. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds. pp. 649–682. Elsevier, Amsterdam, 1997.

    Google Scholar 

  27. J. E. Fenstad, P. K. Halvorsen, T. Langholm and J. van Benthem. Situations, Language and Logic, Reidel, Dordrecht, 1987.

    Google Scholar 

  28. G. Frege. 1891, Funktion und Begriff. (Vortrag, gehalten in der Sitzung vom 9. Januar 1891 der Jenaischen Gesellschaft fur Medizin und Naturwissenschaften.), Verlag H. Pohle, Jena, 1891. Tr. in Translations from The Philosophical Writings of Gottlob Frege. 2nd revised edn., P. Geach and M. Black, eds. Blackwell, Oxford, 1960.

    Google Scholar 

  29. G. Frege. Uber Sinn, und Bedeutung. Zeitschrift fur Philosophie und Philosophische Kritik, pp. 25–50, 1892. Tr. in Translations from The Philosophical Writings of Gottlob Frege. 2nd revised edn., P. Geach and M. Black, eds. Blackwell, Oxford, 1960.

    Google Scholar 

  30. D. Gabbay. Intuitionistic Basis for Non-Monotonic Logic. In Proceedings of the 6th Conference on Automated Deduction, Lecture Notes in CS 138, pp. 260–273, Springer-Verlag, Berlin, 1982.

    Google Scholar 

  31. P. C. Gilmore. The consistency of partial set theory without extensionality. In Axiomatic Set Theory: 1967 UCLA Symposium Proceedings of Symposium in Pure Mathematics, Vol. 13, Part 1, T. Jech, ed. pp. 147–153. American Mathematical Society, 1974.

    Google Scholar 

  32. Dynamic Semantics and Circular Propositions. Journal of Philosophical Logic, 23, 267–306, 1994.

    Article  Google Scholar 

  33. S. Haack. Deviant Logic, Cambridge University Press, Cambridge, 1974.

    Google Scholar 

  34. S. Haack. Philosophy of Logics, Cambridge University Press, Cambridge, 1978.

    Book  Google Scholar 

  35. P. Hayes. Three-valued logic and Computer Science, CSM-6, University of Essex, 1975.

    Google Scholar 

  36. I. Heim. The Semantics of Definite and Indefinite Noun Phrases, PhD dissertaion, University of Massachusetts, Amherst, 1982.

    Google Scholar 

  37. H. G. Herzberger. Paradoxes of grounding in semantics. J. Philosophy, 67, 145–167, 1970.

    Article  Google Scholar 

  38. R. Hinnion. Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Notre Dame Journal of Formal Logic, 35, 15–40, 1992.

    Google Scholar 

  39. L. Humberstone. From worlds to possibilities. J. Philosophical Logic, 10, 313–339, 1981.

    Article  Google Scholar 

  40. J. O. M. Jaspars. Partial Up and Down Logic. Notre Dame Journal of Formal Logic, 36, 135–157, 1995.

    Google Scholar 

  41. H. Kamp. A Theory of Truth and Semantic Representation. In Truth, Interpretaion and Information, J. Groenendijk et al., eds., pp. 1–41. Foris, Dordrecht, 1981.

    Google Scholar 

  42. L. Karttunen. Presuppositions of Compound Sentences. Linguistic Inquiry, 4, 167–193, 1973.

    Google Scholar 

  43. L. Karttunen. Presuppositions and Linguistic Context. Theoretical Linguistics, 1, 181–194, 1974.

    Article  Google Scholar 

  44. E. L. Keenan. Presupposition in natural logic. Monist, 57, 334–370, 1973.

    Article  Google Scholar 

  45. S. C. Kleene Introduction to Metamathematics, North Holland, Amsterdam, 1952.

    Google Scholar 

  46. E. Krahmer. Discourse and Presupposition, PhD dissertation, ITK/TILDIL Dissertation Series, Universtity of Tilburg, 1995.

    Google Scholar 

  47. S. Kripke. Outline of a theory of truth. J. Philosophy, 72, 690–716, 1975.

    Article  Google Scholar 

  48. T. Langholm. Partiality, Truth and Persistence, CSLI Lecture Notes no. 15, CSLI, Stanford, 1988.

    Google Scholar 

  49. T. Langholm. Algorithms for Partial Logic, COSMOS Report no. 12, Department of Mathematics, University of Oslo, 1989.

    Google Scholar 

  50. S. Lapierre. A Functional Partial Semantics for Intensional Logic. Notre Dame Journal of Formal Logic, 33, 517–541, 1992.

    Article  Google Scholar 

  51. S. Lehmann. Strict Fregean Free Logic. Journal of Philosophical Logic, 23, 307–336, 1994.

    Article  Google Scholar 

  52. F. Lepage. Partial Functions in Type Theory. Notre Dame Journal of Formal Logic, 33, 493–516, 1992.

    Article  Google Scholar 

  53. D. Lewis. General Semantics. In Semantics of Natural Language, D. Davidson and G. Harman, eds., pp. 169–218, Reidel, Dordrecht, 1972.

    Google Scholar 

  54. E. Lopez-Escobar. Refutability and elementary number theory. Koninkl. Nederl. Akademie van Wefenschappen Proceedingss, Series A, 75, 362–374, 1972. Also in Indag. Math, 34, 362–374.

    Google Scholar 

  55. McDowell 1984] J McDowell. De Re Senses. In Frege: Tradition and Influence,C. Wright, ed., pp. 98–109, Blackwell, Oxford, 1984.

    Google Scholar 

  56. J. McDowell. Singular Thought and the Extent of Inner Space. In Subject, Thought and COntext, J. McDowell and P. Pettit, eds., Oxford University Press, Oxford, 1986.

    Google Scholar 

  57. J. McDowell. On the sense and reference of a proper name. Mind, 86, 362–374, 1977.

    Google Scholar 

  58. R. L. Martin, ed. The Paradox of the Liar, Yale University Press, New Haven, 1970.

    Google Scholar 

  59. R. A. Muskens. Meaning and Partiality, Ph.D. Dissertation, University of Amsterdam, 1989.

    Google Scholar 

  60. R. A. Muskens, J. van Benthem and A. Visser. Dynamics. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds. pp. 587–648. Elsevier, Amsterdam, 1997.

    Google Scholar 

  61. D. N. Nelson. Constructible falsity. J. Symbolic Logic, 14, 16–26, 1949.

    Article  Google Scholar 

  62. P. Päppinghaus and N. Wirsing. Nondeterministic Partial Logic: Isotonic and Guarded Truth-Functions, Internal Report CSR-83–81, University of Edinburgh, 1981.

    Google Scholar 

  63. B. Russell. On denoting. Mind, 14, 479–493, 1905.

    Article  Google Scholar 

  64. B. Russell. Mr Strawson on referring. In My Philosophical Development, pp. 238–245. Allen and Unwin, London, 1959.

    Google Scholar 

  65. R. M. Sainsbury. Names, Fictional Names and Reality. Proceedings of the Aristotlelian Society, Supp. Vol., 73, 243–269, 1999.

    Google Scholar 

  66. G. Sandu. Partially Interpreted Relations and Partially Interpreted Quantifiers. Journal of Philosophical Logic, 27, 587–601, 1998.

    Article  Google Scholar 

  67. D. S. Scott. Existence and description in formal logic. In Bertrand Russell, Philosopher of the Century, R. Schoenman, ed. pp. 181–200. Allen and Unwin, London, 1967.

    Google Scholar 

  68. Scott 1973a] D. S. Scott. Models of various type-free calculi. In Logic, Methodology and Philosophy of Science IV, P. Suppes et al,eds. pp. 157–187. North Holland, Amsterdam, 1973.

    Google Scholar 

  69. D. S. Scott. Background to formalization. In Truth, Modality and Syntax, H. Leblanc, ed. pp. 244–273. North-Holland, Amsterdam, 1973.

    Google Scholar 

  70. D. S. Scott. Combinators and classes. In a-Calculus and Computer Science, C. Böhm, ed. pp. 1–26. Springer Verlag, Heidelberg, 1975.

    Google Scholar 

  71. P. Seuren. Tussen Taal en Denken, Oosthoek, Scheltema en Holkema, Utrecht, 1976.

    Google Scholar 

  72. P. Seuren. Discourse Semantics, Blackwell, Oxford, 1985.

    Google Scholar 

  73. T. J. Smiley. Sense without denotation. Analysis, 20, 125–135, 1960.

    Google Scholar 

  74. R. Stalnaker. Pragmatics. In Semantics of Natural Language, D. Davidson and G. Harman, eds., pp. 380–397, Reidel, Dordrecht, 1972.

    Google Scholar 

  75. P. F. Strawson. On referring. Mind, 59, 320–344, 1950.

    Article  Google Scholar 

  76. P. F. Strawson. Identifying reference and truth values. Theoria, 30, 96–118, 1964.

    Article  Google Scholar 

  77. E. G. C. Thijsse. Partial Logic and Knowledge Representation, PhD Thesis, University of Tilburg, 1992.

    Google Scholar 

  78. R. H. Thomason. R.H.: 1969, ’ A semantical study of constructible falsity. Zeitschrift far Mathematische Logik und Grundlagen der Mathematik, 15, 247–257, 1969.

    Article  Google Scholar 

  79. R. H. Thomason. A semantic theory of sortal incorrectness. J. Philosophical Logic, 1, 209–258, 1972.

    Article  Google Scholar 

  80. S. K. Thomason. Truth-value gaps, many truth-values and possible worlds. In Syntax and Semantics, Vol.10. C. Oh and D. Dinneen, eds. pp. 357–369. Academic Press, New York, 1979.

    Google Scholar 

  81. P. Tichÿ. Foundations of Partial Type Theory. Reports on Mathematical Logic, 14, 59–72, 1982.

    Google Scholar 

  82. R. Turner. Logics for Artificial Intelligence, Ellis Horwood, Chichester, 1984.

    Google Scholar 

  83. J. F. A. K. van Benthem. A Manual of Intensional Logic, CSLI Lecture Notes No. 1, CLSI, Stanford, 1988.

    Google Scholar 

  84. J. F. A. K. van Benthem. Logic and the Flow of Information. In Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science (Uppsala, Sweden), D. Prawitz, B. Skirms and D. Westerstahl, eds., 1991.

    Google Scholar 

  85. J. F. A. K. van Benthem and J. van Eijck. The dynamics of interpretation. J. Semantics, I, 1–20, 1982.

    Google Scholar 

  86. J. van Eijck. Quantifiers and Partiality. In Quantifiers, Logic and Language, Jaap van der Does and J. van Eijck, eds., Stanford University, 1995.

    Google Scholar 

  87. B. C. van Fraassen. Singular terms, truth-value gaps and free logic. J. Philosophy, 63, 481–495, 1966.

    Article  Google Scholar 

  88. B. C. van Fraassen. Presupposition, implication and self-reference. J. Philosophy, 65, 136–152, 1967.

    Article  Google Scholar 

  89. B. C. van Fraassen. Formal Semantics and Logic, Macmillan, New York, 1971.

    Google Scholar 

  90. Van Fraassen 1975] B. C. van Fraassen., B.C.: 1975, ’ Incomplete assertion and Belnap connectives. In Contemporary Research in Philosophical Logic and Linguistic Semantics,D. Hockney et al,eds. pp. 43–70. D. Reidel, Dordrecht, 1975.

    Google Scholar 

  91. F. Veltman. Data semantics. In Formal Methods in the Study of Language, J. Groenendijk and M. Stokhof, eds. pp. 541–565. Math. Centre Tract 136, Amsterdam, 1981.

    Google Scholar 

  92. F. Veltman. Defaults in Update Semantics. Journal of Philosophical Logic, 25, 221–261, 1996.

    Article  Google Scholar 

  93. A. Visser. Four Valued Semantics and the Liar. Journal of Philosophical Logic, 13, 181–212, 1984.

    Article  Google Scholar 

  94. X. Wang and P. Mott. A Variant of Thomason’s First-Order Logic CF Based on Situations. Notre Dame Journal of Formal Logic, 39, 74–93, 1998.

    Article  Google Scholar 

  95. H. Wansing. The Logic of Information Structures, Springer, Heidelberg, 1993.

    Book  Google Scholar 

  96. H. Wansing. Semantics-based Nonmonotonic Inference. Notre Dame Journal of Formal Logic, 36, 44–54, 1995.

    Article  Google Scholar 

  97. David Wiggins. Frege’s Problem of the Morning Star and the Evening Star. In Studies in Frege, M. Schirn, ed., Vol. II, pp. 221–255, Günthner Holzboog, Stuttgart-Bad Cannstatt, 1976.

    Google Scholar 

  98. David Wiggins. The Sense and Reference of Predicates: A Running Repair to Frege’s Doctrine and a Plea for the Copula. In Frege: Tradition and Influence, C. Wright, ed., pp. 126–143, Blackwell, Oxford, 1984.

    Google Scholar 

  99. David Wiggins: Toward the Rehabilitation of the Seccond-Level View. In Modality, Morality and Belief, W. Sinnott-Armstrong, D. Raffman and N.Asher, eds., Cambridge University Press, Cambridge, 1995.

    Google Scholar 

  100. David Wiggins. Names, Fictional Names and Reality. Proceedings of the Aristotlelian Society, Supp. Vol., 73, 271–286, 1999.

    Google Scholar 

  101. P. Woodruff. Logic and truth value gaps. In Philosophical Problems in Logic, K. Lambert, ed. pp. 121–142. D. Reidel, Dordrecht, 1970.

    Google Scholar 

  102. D. O. Wray. Logic in Quotes. Journal of Philosophical Logic, 16, 77–110, 1987.

    Article  Google Scholar 

  103. D. O. Wray. Algebraic Quotational Logics. Communication and Cognition, 20, 403–422, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. St Edmund Hall, Oxford, UK

    Stephen Blamey

Authors
  1. Stephen Blamey
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. King’s College, London, UK

    Dov M. Gabbay

  2. Centrum für Informations- und Sprachverarbeitung, Ludwig-Maximilians-Universität, München, Germany

    F. Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Blamey, S. (2002). Partial Logic. In: Gabbay, D.M., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 5. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-0458-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-0458-8_5

  • Publisher Name: Springer, Dordrecht

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

  • Online ISBN: 978-94-017-0458-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation