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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Bibliography
P. Aczel. An Introduction to inductive definitions. In Handbook of Mathematical Logic, J. Barwise (ed.), pp. 739–782. North Holland, Amsterdam, 1977.
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.
H. P. Barendregt. The Lambda Calculus, North Holland, Amsterdam, 1984, 2nd reprint edition in paperback, 1997.
J. Barwise. Scenes and other situations. J. Philosophy, 78, 369–397, 1981.
J. Barwise and J. Etchemendy. The Liar, Oxford University Press, Oxford, 1987.
Barwise and Perry 1981a] J Barwise and J. Perry. Situations and attitudes. J. Philosophy,78, 668–691, 1981.
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.
J. Barwise and J. Perry. Situations and Attitudes, MIT Press, Cambridge, MA, 1983.
D. I. Beaver. Presupposition. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds. pp. 939–1008. Elsevier, Amsterdam, 1997.
D. Bell. How Russellian Was Frege? Mind, 99, 267–277, 1990.
N. D. Belnap. Conditional assertion and restricted quantification. Nous, 4, 1–13, 1970.
S. R. Blarney. Partial-Valued Logic, D.Phil. thesis, Universtity of Oxford, 1980.
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.
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.
A. Bochman. Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame Journal of Formal Logic, 39, 47–73, 1998.
J. P. Cleave. Logical consequence in the logic of inexact predicates. Z. Math. Logik Grundlagen Math, 20, 307–324, 1974.
J. Czermak. A logical calculus with descriptions. J Philosophical Logic, 3, 211–228, 1974.
M. A. E. Dummett. Truth. Proc. Aristotelian Soc, 59, 141–162, 1959.
M. A. E. Dummett. Frege, Duckworth, London, 1973.
M. A. E. Dummett. Truth and Other Enigmas. Duckworth, London, 1978.
J. M. Dunn. Axiomatizing Belnap’s conditional assertion. J. Philosophical Logic, 4, 383–397, 1975.
H.-D. Ebbinghaus. Uber eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Arch. Math. Logik Grundlagenforschung, 12, 39–53, 1969.
G. Evans. The Varieties of Reference. Oxford University Press, Oxford, 1982.
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.
S. Feferman. Definedness. Erkenntnis, 43, 295–320, 1995.
J. E. Fenstad. Partiality. In Handbook of Logic and Language, J. van Benthem and A. ter Meulen, eds. pp. 649–682. Elsevier, Amsterdam, 1997.
J. E. Fenstad, P. K. Halvorsen, T. Langholm and J. van Benthem. Situations, Language and Logic, Reidel, Dordrecht, 1987.
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.
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.
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.
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.
Dynamic Semantics and Circular Propositions. Journal of Philosophical Logic, 23, 267–306, 1994.
S. Haack. Deviant Logic, Cambridge University Press, Cambridge, 1974.
S. Haack. Philosophy of Logics, Cambridge University Press, Cambridge, 1978.
P. Hayes. Three-valued logic and Computer Science, CSM-6, University of Essex, 1975.
I. Heim. The Semantics of Definite and Indefinite Noun Phrases, PhD dissertaion, University of Massachusetts, Amherst, 1982.
H. G. Herzberger. Paradoxes of grounding in semantics. J. Philosophy, 67, 145–167, 1970.
R. Hinnion. Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Notre Dame Journal of Formal Logic, 35, 15–40, 1992.
L. Humberstone. From worlds to possibilities. J. Philosophical Logic, 10, 313–339, 1981.
J. O. M. Jaspars. Partial Up and Down Logic. Notre Dame Journal of Formal Logic, 36, 135–157, 1995.
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.
L. Karttunen. Presuppositions of Compound Sentences. Linguistic Inquiry, 4, 167–193, 1973.
L. Karttunen. Presuppositions and Linguistic Context. Theoretical Linguistics, 1, 181–194, 1974.
E. L. Keenan. Presupposition in natural logic. Monist, 57, 334–370, 1973.
S. C. Kleene Introduction to Metamathematics, North Holland, Amsterdam, 1952.
E. Krahmer. Discourse and Presupposition, PhD dissertation, ITK/TILDIL Dissertation Series, Universtity of Tilburg, 1995.
S. Kripke. Outline of a theory of truth. J. Philosophy, 72, 690–716, 1975.
T. Langholm. Partiality, Truth and Persistence, CSLI Lecture Notes no. 15, CSLI, Stanford, 1988.
T. Langholm. Algorithms for Partial Logic, COSMOS Report no. 12, Department of Mathematics, University of Oslo, 1989.
S. Lapierre. A Functional Partial Semantics for Intensional Logic. Notre Dame Journal of Formal Logic, 33, 517–541, 1992.
S. Lehmann. Strict Fregean Free Logic. Journal of Philosophical Logic, 23, 307–336, 1994.
F. Lepage. Partial Functions in Type Theory. Notre Dame Journal of Formal Logic, 33, 493–516, 1992.
D. Lewis. General Semantics. In Semantics of Natural Language, D. Davidson and G. Harman, eds., pp. 169–218, Reidel, Dordrecht, 1972.
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.
McDowell 1984] J McDowell. De Re Senses. In Frege: Tradition and Influence,C. Wright, ed., pp. 98–109, Blackwell, Oxford, 1984.
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.
J. McDowell. On the sense and reference of a proper name. Mind, 86, 362–374, 1977.
R. L. Martin, ed. The Paradox of the Liar, Yale University Press, New Haven, 1970.
R. A. Muskens. Meaning and Partiality, Ph.D. Dissertation, University of Amsterdam, 1989.
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.
D. N. Nelson. Constructible falsity. J. Symbolic Logic, 14, 16–26, 1949.
P. Päppinghaus and N. Wirsing. Nondeterministic Partial Logic: Isotonic and Guarded Truth-Functions, Internal Report CSR-83–81, University of Edinburgh, 1981.
B. Russell. On denoting. Mind, 14, 479–493, 1905.
B. Russell. Mr Strawson on referring. In My Philosophical Development, pp. 238–245. Allen and Unwin, London, 1959.
R. M. Sainsbury. Names, Fictional Names and Reality. Proceedings of the Aristotlelian Society, Supp. Vol., 73, 243–269, 1999.
G. Sandu. Partially Interpreted Relations and Partially Interpreted Quantifiers. Journal of Philosophical Logic, 27, 587–601, 1998.
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.
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.
D. S. Scott. Background to formalization. In Truth, Modality and Syntax, H. Leblanc, ed. pp. 244–273. North-Holland, Amsterdam, 1973.
D. S. Scott. Combinators and classes. In a-Calculus and Computer Science, C. Böhm, ed. pp. 1–26. Springer Verlag, Heidelberg, 1975.
P. Seuren. Tussen Taal en Denken, Oosthoek, Scheltema en Holkema, Utrecht, 1976.
P. Seuren. Discourse Semantics, Blackwell, Oxford, 1985.
T. J. Smiley. Sense without denotation. Analysis, 20, 125–135, 1960.
R. Stalnaker. Pragmatics. In Semantics of Natural Language, D. Davidson and G. Harman, eds., pp. 380–397, Reidel, Dordrecht, 1972.
P. F. Strawson. On referring. Mind, 59, 320–344, 1950.
P. F. Strawson. Identifying reference and truth values. Theoria, 30, 96–118, 1964.
E. G. C. Thijsse. Partial Logic and Knowledge Representation, PhD Thesis, University of Tilburg, 1992.
R. H. Thomason. R.H.: 1969, ’ A semantical study of constructible falsity. Zeitschrift far Mathematische Logik und Grundlagen der Mathematik, 15, 247–257, 1969.
R. H. Thomason. A semantic theory of sortal incorrectness. J. Philosophical Logic, 1, 209–258, 1972.
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.
P. Tichÿ. Foundations of Partial Type Theory. Reports on Mathematical Logic, 14, 59–72, 1982.
R. Turner. Logics for Artificial Intelligence, Ellis Horwood, Chichester, 1984.
J. F. A. K. van Benthem. A Manual of Intensional Logic, CSLI Lecture Notes No. 1, CLSI, Stanford, 1988.
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.
J. F. A. K. van Benthem and J. van Eijck. The dynamics of interpretation. J. Semantics, I, 1–20, 1982.
J. van Eijck. Quantifiers and Partiality. In Quantifiers, Logic and Language, Jaap van der Does and J. van Eijck, eds., Stanford University, 1995.
B. C. van Fraassen. Singular terms, truth-value gaps and free logic. J. Philosophy, 63, 481–495, 1966.
B. C. van Fraassen. Presupposition, implication and self-reference. J. Philosophy, 65, 136–152, 1967.
B. C. van Fraassen. Formal Semantics and Logic, Macmillan, New York, 1971.
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.
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.
F. Veltman. Defaults in Update Semantics. Journal of Philosophical Logic, 25, 221–261, 1996.
A. Visser. Four Valued Semantics and the Liar. Journal of Philosophical Logic, 13, 181–212, 1984.
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.
H. Wansing. The Logic of Information Structures, Springer, Heidelberg, 1993.
H. Wansing. Semantics-based Nonmonotonic Inference. Notre Dame Journal of Formal Logic, 36, 44–54, 1995.
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.
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.
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.
David Wiggins. Names, Fictional Names and Reality. Proceedings of the Aristotlelian Society, Supp. Vol., 73, 271–286, 1999.
P. Woodruff. Logic and truth value gaps. In Philosophical Problems in Logic, K. Lambert, ed. pp. 121–142. D. Reidel, Dordrecht, 1970.
D. O. Wray. Logic in Quotes. Journal of Philosophical Logic, 16, 77–110, 1987.
D. O. Wray. Algebraic Quotational Logics. Communication and Cognition, 20, 403–422, 1987.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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