Skip to main content
SpringerLink
Log in
Book cover

Handbook of Philosophical Logic pp 197–259Cite as

More Free Logic

  • Chapter

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

Abstract

By a free logic is generally meant a variant of classical first-order logic in which constant terms may, under interpretation, fail to refer to individuals in the domain D over which the bound variables range, either because they do not refer at all or because they refer to individuals outside D. If D is identified with what is assumed by the given interpretation to exist, in accord with Quine’s dictum that “to be is to be the value of a [bound] variable,”1 then a free variation on classical semantics does not require that all constant terms refer to existents, and in this sense such terms lack existential import.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. E. Bencivenga. Free semantics. In Italian Studies in the Philosophy of Science, M. Dalla Chiara, ed. pp. 31–48. Reidel, Dordrecht, 1980. Reprinted in

    Google Scholar 

  2. Lambert, 1991, pp. 98–110].

    Google Scholar 

  3. E. Bencivenga. Truth, correspondence, and non-denoting singular terms. Philosophia, 9, 219–229, 1980.

    Article  Google Scholar 

  4. E. Bencivenga. Free semantics for definite descriptions, Logique et analyse, 23, 393–405, 1980.

    Google Scholar 

  5. E. Bencivenga. Free logics. In Handbook of Philosophical Logic, Vol.III, D. Gabbay and F. Guenthner, eds. pp. 373–426. Reidel, Dordrecht, 1986. Reproduced in this volume.

    Google Scholar 

  6. M. Beeson. Foundations of Constructive Mathematics. Springer-Verlag, Berlin, 1985.

    Book  Google Scholar 

  7. S. Blarney. Partial logic. In Handbook of Philosophical Logic, Vol.III, D. Gabbay and F. Guenthner, eds. pp. 1–70. Reidel, Dordrecht, 1986.

    Google Scholar 

  8. Burge, 1974] T. Burge. Truth and singular terms. Nous,8 309–325, 1974. Reprinted in [Lambert, 1991, pp. 189–204].

    Google Scholar 

  9. A. Church. Introduction to Mathematical Logic, Vol.I. Princeton University Press, Princeton, 1956.

    Google Scholar 

  10. Cocchiarella, 1991] N. Cocchiarella. Quantification, time, and necessity. In [Lambert, 1991, pp. 242–256].

    Google Scholar 

  11. R. C. Dwyer. Denoting and Defining: A Study in Free Logic. University Microfilms International, Ann Arbor, 1988.

    Google Scholar 

  12. H.-D. Ebbinghaus. Uber eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Archiv für mathematische Logik und Grundlangenforschung, 12, 39–53, 1969.

    Article  Google Scholar 

  13. W. M. Farmer. Reasoning about partial functions with the aid of a computer. Erkenntnis, 43, 279–294, 1995.

    Article  Google Scholar 

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

    Article  Google Scholar 

  15. Frege, 1892] G. Frege. On sense and reference. In Translations from the Philosophical Writings of Gottlob Frege,P. Geach and M. Black, eds. pp. 56–78. Basil Blackwell

    Google Scholar 

  16. Oxford, 1966.

    Google Scholar 

  17. Garson, 1991] J. Garson. Applications of free logic to quantified intensional logic. In [Lambert, 1991, pp. 111–142].

    Google Scholar 

  18. R. D. Gumb. Does identity precede existence? Read at World Congress of Philosophy, Boston, 1998.

    Google Scholar 

  19. R. D. Gumb and K. Lambert. Definitions in nonstrict positive free logic. Modern Logic, 7, 25–55, 1997.

    Google Scholar 

  20. R. Jeffrey. Formal Logic: Its Scope and Limits. McGraw Hill, New York, 1991.

    Google Scholar 

  21. S. C. Kleene. Introduction to Metamathematics. D. van Nostrand, Princeton, 1950.

    Google Scholar 

  22. F. W. Kroon. Denotation and description in free logic. Theoria, 57, 17–41, 1991.

    Article  Google Scholar 

  23. Lambert, 1986] K. Lambert. Predication and ontological commitment. In Die Aufgaben der Philosophie in der Gegenwart: Aktien des 10. Internationalen Wittgenstein Symposiums, W Leinfellner and F. N. Wuketits, eds. pp. 281–287. Hölder-Pichler=Temsky, Wien, 1986. Reprinted in [Lambert, 1991, pp. 273–284].

    Google Scholar 

  24. K. Lambert, ed. Philosophical Applications of Free Logic. Oxford University Press, New York, 1991.

    Google Scholar 

  25. Lambert, 199la] K. Lambert. The nature of free logic. In [Lambert, 1991, pp. 3–14]. [Lambert, 1991b] K. Lambert. A theory about logical theories of “expressions of the

    Google Scholar 

  26. form `the so and so’, where `the’ is in the singular“. Erkenntnis,35 337–346, 1991. [Lambert, 1995] K. Lambert. On the reduction of two paradoxes. In Physik, Philosophie und die Einheit der Wissenschaften,L. Krüger and B. Falkenburg, eds. pp. 21–32.

    Google Scholar 

  27. K. Lambert. Free Logics: Their Foundations, Character, and Some Applications Thereof. Academia Verlag, Sankt Augustin, 1997.

    Google Scholar 

  28. K. Lambert. Nonextensionality. In Das weite Spektrum der analytischen Philosophie, W. Lenzen, ed. pp. 135–148. de Gruyter, Berlin, 1997.

    Google Scholar 

  29. K. Lambert. Fixing Quine’s theory of predication. Dialectica, 52, 153160, 1998.

    Google Scholar 

  30. K. Lambert. From predication to programming. Minds and Machines, 11, 2001.

    Google Scholar 

  31. K. Lambert and T. Scharle. A translation theorem for two systems of free logic. Logique et Analyse, 39–40, 328–341, 1967.

    Google Scholar 

  32. K. Lambert and P. Simons. Characterizing and classifying: explicating a biological distinction. The Monist, 77, 315–328, 1994.

    Article  Google Scholar 

  33. H. Leblanc. On Meyer and Lambert’s quantificational calculus FQ. Journal of Symbolic Logic, 33, 275–280, 1968.

    Article  Google Scholar 

  34. S. Lehmann. Strict Fregean free logic. Journal of Philosophical Logic, 23, 307–336, 1994.

    Article  Google Scholar 

  35. Y. Lin. Replacement-Closed Rules for Free and for Classical Logic. University Microfilms International, Ann Arbor, 1983.

    Google Scholar 

  36. Mann, 1967] W. E. Mann. Definite descriptions and the ontological argument. Theoria,30 211–229, 1967. Excerpted in [Lambert, 1991, pp. 257–272].

    Google Scholar 

  37. R. L. Mendelsohn. Objects and existence: reflections on free logic. Notre Dame Journal of Formal Logic, 30, 604–623, 1989.

    Article  Google Scholar 

  38. R. Meyer and K. Lambert. Universally free logic and standard quantification theory. Journal of Symbolic Logic, 33, 8–26, 1968.

    Article  Google Scholar 

  39. R. Montague. Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Acta Philosophica Fennica, 16, 153167, 1963. Reprinted in Formal Philosophy: Selected Papers of Richard Montague, R. H. Thomason, ed. pp. 286–302. Yale University Press, New Haven, 1978.

    Google Scholar 

  40. Posy, 1982] C. J. Posy. A free IPC is a natural logic: strong completeness for some intuitionistic free logics. Topoi,1 30–43, 1982. Reprinted in [Lambert, 1991, pp. 4981].

    Google Scholar 

  41. Quine, 1948] W. V. O. Quine. On what there is. Review of Metaphysics,2 21–38, 1948. Reprinted in [Quine, 1963, pp. 1–19].

    Google Scholar 

  42. Quine, 1953] W. V. O. Quine. Meaning and existential inference. In [Quine, 1963, pp. 160–167].

    Google Scholar 

  43. W. V. O. Quine. Word and Object. MIT Press, Cambridge, 1960. [Quine, 1963 ] W. V. O. Quine. From a Logical Point of View. Harper Torchbooks, New York, 1963.

    Google Scholar 

  44. W. V. O. Quine. Set Theory and its Logic. Harvard University Press, Cambridge, 1969.

    Google Scholar 

  45. W. V. O. Quine. Free logic, description, and virtual classes. Dialogue, 36, 101–108, 1997.

    Article  Google Scholar 

  46. Robinson, 1974] A. Robinson. On constrained denotation. In Nonstandard Analysis and Philosophy (vol. 2 of Selected papers of Abraham Robinson,H. Keisler, et al,eds.), W. Luxemburg and S. Körner, eds. pp. 493–504. Yale University Press, New Haven, 1979.

    Google Scholar 

  47. R. D. Scales. Attribution and Existence. University Microfilms International, Ann Arbor, 1969.

    Google Scholar 

  48. K. Schütte. Beweistheorie, Springer-Verlag, Berlin, 1960.

    Google Scholar 

  49. P. Schweizer. A Metalinguistic Interpretation of Modality, University Microfilms International, Ann Arbor, 1990.

    Google Scholar 

  50. Scott, 1967] D. Scott. Existence and description in formal logic. In Bertrand Russell: Philosopher of the Century, R. Schoenman, ed. pp. 181–200. Little, Brown and Company, Boston, 1967. Reprinted in [Lambert, 1991, pp. 28–48].

    Google Scholar 

  51. J. R. Shoenfield. Mathematical Logic. Addison-Wesley, Reading, 1967. Re-issued in paperback by A. K. Peters, 2001.

    Google Scholar 

  52. Simons, 1991] P. M. Simons. Free part-whole theory. In [Lambert, 1991, pp. 285–305].

    Google Scholar 

  53. B. Skyrms. Supervaluations: identity, existence, and individual concepts. Journal of Philosophy, 65, 477–482, 1968.

    Article  Google Scholar 

  54. B. Skyrms. An immaculate conception of modality. Journal. of Philosophy, 75, 77–96, 1978.

    Article  Google Scholar 

  55. S. Stenlund. The Logic of Description and Existence. Filosofiska Studier Nr. 18, Uppsala Universitet, 1973.

    Google Scholar 

  56. P. F. Strawson. Introduction to Logical Theory. Methuen, London, 1952.

    Google Scholar 

  57. P. Tidman and H. Kahane. Logic and Philosophy: A Modern Introduction. Wadsworth, Belmont, 1999.

    Google Scholar 

  58. A. Trew. Nonstandard theories of quantification and identity. Journal of Symbolic Logic, 35, 267–294, 1970.

    Article  Google Scholar 

  59. van Fraassen, 1966] B. C. van Fraassen. Singular terms, truth-value gaps, and free logic. Journal of Philosophy,63 481–495, 1966. Reprinted in

    Google Scholar 

  60. van Fraassen, 1968 ] B. C. van Fraassen. Presupposition, implication, and self-reference. Journal of Philosophy, 65, 136–152, 1968. Reprinted in [Lambert, 1991, pp. 205–221].

    Google Scholar 

  61. K. L. Walton. Mimesis as Make-Believe: On the Foundations of the Representational Arts. Harvard University Press, Cambridge, 1990.

    Google Scholar 

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

    Google Scholar 

  63. P. W. Woodruff. On supervaluations in free logic, Journal of Symbolic Logic, 49, 943–950, 1984.

    Article  Google Scholar 

  64. P. W. Woodruff. Actualism, free logic, and first-order supervaluations. In Existence and Explanation, W. Spohn, et al. eds. pp. 219–231. Kluwer Academic Publishers, Boston, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Connecticut, USA

    Scott Lehmann

Authors
  1. Scott Lehmann
    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

Lehmann, S. (2002). More Free 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_4

Download citation

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

  • 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