Skip to main content
SpringerLink
Log in

A New Dimension of Imperative Logic

  • Conference paper
  • First Online:
Logic and Its Applications (ICLA 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13963))

Included in the following conference series:

  • 198 Accesses

Abstract

A full-fledged theory of imperative logic is found in the writings of Peter Vranas. An unconditional prescription is an ordered pair with satisfaction as the first member, and violation as the second member. A conditional prescription is a set of mutually exclusive and jointly exhaustive three values – satisfaction, violation and avoidance. An argument is valid, only if, necessarily, if its premises merit endorsement, then its conclusion merits endorsement. The phrase “meriting endorsement” is interpreted as ‘supported by a proposition/prescription’. Among different schools of Indian philosophy, the Mīmāṁsā system offers an analysis of imperative sentences, where actions, guided by instructions, play an important role. Vidhi or normal injunctive statements is studied intensely and recently arguments involving ‘vidhi’ has been used in special education and in the domain of Robotics. Imperative, discussed in this sense, is however not the only type of imperatives, it is only one variety of different kinds of imperative. Such varieties are very well recognized by Indian grammarians and philosophers as well as by western thinkers. These imperatives also deserve the status of the premise or the conclusion of an inference. The present paper focuses upon unveiling such varieties of imperative sentences from both perspectives—Indian and Western.

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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

Institutional subscriptions

References

  1. Vranas, P.B.M.: New foundations for imperative logic i : logical connectives, consistency, and quantifiers. Nous 42, 529–572 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  2. Vranas, P.B.M.: In defense of imperative inference. J. Philos. Log. 39, 59–71 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  3. Vranas, P.B.M.: New foundations for imperative logic: pure imperative inference. Mind 120, 369–446 (2011)

    Article  Google Scholar 

  4. Vranas, P.B.M.: New foundations for imperative logic III: A general definition of argument validity. Synthese 193(6), 1703–1753 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  5. Matilal, B.K.: Perception: An Essay on Classical Indian Theories of Knowledge. Clarendon Press, Oxford (1986)

    Google Scholar 

  6. Pandurangi, K.T.: Purvamīmāṁsā from an interdisciplinary point of view. History of Science, Philosophy and Culture in Indian Civilization, II, 6, Motilal Banarsidass, Jawahar Nagar, Delhi (2006)

    Google Scholar 

  7. Matilal, B.K., Sen, P.K.: The context principle and some Indian controversies over meaning. Mind 97(385), 73–97 (1988)

    Article  MathSciNet  Google Scholar 

  8. Śabarasvāmin, Śābarabhāṣya: Jaimini Mīmāṁsāsūtra. Pune: Anandashram Sanskaran (1976)

    Google Scholar 

  9. Rāmānujācārya: Tantrarahasya: A Primer of Prābhākara Mīmāṁsā. In: Rāmaswami Śāstri Śiromaņi, K.S. (ed.) Oriental Institute, Baroda, IV 11.1 (1956)

    Google Scholar 

  10. Srinivasan, B., Ranjani, P.: An intelligent task analysis approach for special education based on MIRA. J. Appl. Log. 11(1), 137–145 (2013)

    Article  MathSciNet  Google Scholar 

  11. Srinivasan, B., Ranjani, P.: Scan enabled applications for persons with mobility impairment (SABARI). In: IEEE Region 10 humanitarian technology conference (R10HTC), pp. 105–110 (2014)

    Google Scholar 

  12. Dīkṣita, Bhațțojī, Siddhāntakaumudi, Srisa Chandra Vasu, The Panini Office, Allahabad (1904)

    Google Scholar 

  13. Taittirīya Saṃhitā Alladi Mahadeva Sastry, Bharatiya Kala Prakashan, 1/5/9/1 (2004)

    Google Scholar 

  14. Pāṇīni,The Aṣțādhyāyī of Pāṇīni, Sumitra M. Katre, Motilal Banarsidass, New Delhi (1989)

    Google Scholar 

  15. Mammata Kāvyaprakāśa, Ganganath Jha, Chaukhamba Prakashan, Varanasi (2022)

    Google Scholar 

  16. Jaimini, Mīmāṃsāsūtra, Mohan Lal Sandal, Motilal Banarsidass (1980)

    Google Scholar 

  17. Gautama, Nyāyasūtra, Mahamahopadhyaya Satis Chandra Vidyabhusan, The Panini Office, Bhuvaneshvari Ashram, Bahadurganj, Allahabad (1913)

    Google Scholar 

  18. Miśra Maṇḍana, Vidhiviveka, Kanchana Natarajan, Sri Satguru Publications (1995)

    Google Scholar 

  19. Charlow, N.: The meaning of imperatives. Philos. Compass 9(8), 540–555 (2014)

    Article  Google Scholar 

  20. Castaňeda, H.N.: Thinking and Doing. D. Reidel Publishing Co., Dordrecht & Boston (1975)

    Book  Google Scholar 

  21. Recanati, F.: Content Mood and Force. Philos. Compass 8(7), 622–632 (2013). p. 623

    Article  Google Scholar 

  22. Geach P.: Ascriptivism. Reprinted in Logic Matters, pp. 250–254. Blackwell, Oxford, (1960). 1972

    Google Scholar 

  23. Geach P.: Assertion. Reprinted in Logic Matters, pp. 254–269. Blackwell, Oxford, (1965). 1972

    Google Scholar 

  24. Hanks, P.: The content-force distinction. Philos. Stud. 134, 141–164 (2007)

    Article  Google Scholar 

  25. Soames, S.: Philosophy of Language. Princeton University Press, Princeton (2010)

    Google Scholar 

  26. Charlow, N.: p. 542 (2014)

    Google Scholar 

  27. Charlow, N.: pp. 543–544 (2014)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, University of Calcutta, Kolkata, India

    Manidipa Sanyal & Prabal Kumar Sen

Authors
  1. Manidipa Sanyal
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Prabal Kumar Sen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Manidipa Sanyal or Prabal Kumar Sen .

Editor information

Editors and Affiliations

  1. Indian Institute of Technology Kanpur, Kanpur, India

    Mohua Banerjee

  2. Indian Institute of Technology Goa, Ponda, India

    A. V. Sreejith

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Sanyal, M., Sen, P.K. (2023). A New Dimension of Imperative Logic. In: Banerjee, M., Sreejith, A.V. (eds) Logic and Its Applications. ICLA 2023. Lecture Notes in Computer Science, vol 13963. Springer, Cham. https://doi.org/10.1007/978-3-031-26689-8_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-26689-8_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-26688-1

  • Online ISBN: 978-3-031-26689-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation