Skip to main content

Negative Existentials and Non-denoting Terms

  • Conference paper
  • 832 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8923))

Abstract

Logical and semantical issues surrounding non-denoting terms have been investigated since ancient times, in both the Western and Indian philosophical traditions. And in a more applied formal setting, such issues have also gained importance in constructive mathematics, as well as computer science and software engineering. The paper first presents a strategic exploration of logical treatments of reference failure in Western thought, and then goes on to provide a comparative examination of the issue in the Indian tradition, particularly with respect to the dispute between the Yogācāra-Sautrāntika school of Buddhism and the Nyāya school of Hinduism. The paper concludes by advancing a formalization of the Buddhist apoha semantical theory in terms of a dualdomain Free logic.

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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

  1. Frege, G.: On Sense and Meaning. In: Geach, P., Black, M. (eds.) Translations from the Philosophical Writings of Gottlob Frege. Basil Blackwell, Oxford (1960)

    Google Scholar 

  2. Russell, B.: On Denoting. Mind 14, 479–493 (1905)

    Article  Google Scholar 

  3. Lambert, K.: Free Logic: Selected Essays. CUP, Cambridge (2003)

    MATH  Google Scholar 

  4. Lambert, K.: Existential Import Revisited. Notre Dame Journal of Formal Logic 4, 288–292 (1963)

    Article  MATH  MathSciNet  Google Scholar 

  5. Russell, B., Whitehead, A.: Principia Mathematica. CUP, Cambridge (1910)

    MATH  Google Scholar 

  6. Gumb, R.: Free Logic in Program Specification and Verification. In: Morscher, E., Hieke, A. (eds.) New Essays in Free Logic, pp. 157–189. Kluwer, London (2001)

    Chapter  Google Scholar 

  7. Troelstra, A.S., van Dalen, D.: Constructivism in Mathematics. Elsevier, Dordrecht (1999)

    Google Scholar 

  8. Meinong, A.: On the Theory of Objects. In: Chisholm, R. (ed.) Realism and the Background of Phenomenology, pp. 76–117. Free Press, Glencoe (1960)

    Google Scholar 

  9. Leblanc, H., Thomason, R.: Completeness Theorems for Some Presupposition-free Logics. Fundamenta Mathematicae 62, 125–164 (1968)

    MATH  MathSciNet  Google Scholar 

  10. Kripke, S.: Semantic Considerations on Modal Logic. Acta Philosophica Fennica 16, 83–94 (1963)

    MATH  MathSciNet  Google Scholar 

  11. Schweizer, P.: Free Logic and Quantification in Syntactic Modal Contexts. In: Morscher, E., Hieke, A. (eds.) New Essays in Free Logic, pp. 69–83. Kluwer, London (2001)

    Chapter  Google Scholar 

  12. Matilal, B.K.: Logic, Language and Reality. Motilal Banarsidass, Delhi (1985)

    Google Scholar 

  13. Matilal, B.K.: The Character of Logic in India. SUNY, Albany (1998)

    MATH  Google Scholar 

  14. Siderits, M.: Indian Philosophy of Language. Kluwer, Dordrecht (1991)

    Book  Google Scholar 

  15. Siderits, M.: Śrughna by Dusk. In: Siderits, M., Tillemans, T., Chakrabarti, A. (eds.) Aphoha: Buddhist Nominalism and Human Cognition, pp. 283–304. Columbia University Press, New York (2011)

    Google Scholar 

  16. Tillemans, T.: Dharmakīrti. In: E. Zalta (ed.) The Stanford Encyclopedia of Philosophy (2014), http://plato.stanford.edu/archives/spr2014/entries/dharmakiirti/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schweizer, P. (2015). Negative Existentials and Non-denoting Terms. In: Banerjee, M., Krishna, S.N. (eds) Logic and Its Applications. ICLA 2015. Lecture Notes in Computer Science, vol 8923. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45824-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45824-2_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45823-5

  • Online ISBN: 978-3-662-45824-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics