This page is a collection of papers relating to Indian logic, medieval logic, dynamic logic, and dialogical logic, to provide a uniform background and foundation for the group's members.

Published papers and books

• Flügel, Peter. 2010. "Power and Insight in Jaina Discourse", in P. Balcerowicz, ed., Logic and Belief in Indian Philosophy, Warsaw Indological Studies 3 (Delhi: Motilal Banarsidas): 85-217.
• Flügel, Peter. 2010. "Truthfulness and Truth in Jaina Philosophy", Anusandhān 50, no. 2: 166-218.
• Ganeri, Jonardon. 2001. "Argumentation, Dialogue, and the Kathāvatthu", Journal of Indian Philosophy 29: 485-493.
• Ganeri, Jonardon. 2008. "Towards a Formal Regimentation of the Navya-Nyāya Technical Language I", in M.K. Chakraborty, B. Löwe, M.N. Mitra, & S. Sarukkal, eds., Logic, Navya-Nyāya & Applications. Homage to Biimal Krishna Matilal (London: College Publications): 105-121.
• Ganeri, Jonardon. 2008. "Towards a Formal Regimentation of the Navya-Nyāya Technical Language II", in M.K. Chakraborty, B. Löwe, M.N. Mitra, & S. Sarukkal, eds., Logic, Navya-Nyāya & Applications. Homage to Bimal Krishna Matilal (London: College Publications): 123-138.
• Humberstone, Lloyd. 2008. "Modal Formulas True at Some Point in Every Model", Australasian Journal of Logic 6: 70--82 (a response to Priest 2008).
• Matilal, Bimal Krishna. 1998. The Character of Logic in India, ed. by Jonardon Ganeri (SUNY Press).
• Mohanty, J.N. & Amita Chatterjee. 2008. "Indian Logic", in L. Haaparanta, ed., The Development of Modern Logic (Oxford: Oxford University Press): 923-986.
• Pietarinen, Ahti-Veikko. 2006. "Logic, Language Games, and Ludics", in Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication (Springer): 259-288.
• Pietarinen, Ahti-Veikko. 2006. "Games as Formal Tools Versus Games as Explanations", in Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication (Springer): 317-346.
• Priest, Graham. 2008. "Jaina Logic: A Contemporary Perspective", History and Philosophy of Logic 29, no. 3: 263-278.
• Schayer, Stanis&lslash;aw. 2001. Studies on Indian Logic", in Materials of the International Seminar Argumentation and Reason in Indian Logic, Warsaw, 20-24 June 2001.
• Shaw, J.L. 1988. "The Nyāya on Double Negation", Notre Dame Journal of Formal Logic29, no. 1: 139-154.
• Siderits, Mark. 1991. Indian Philosophy of Language, Studies in Linguistics and Philosophy vol. 46, (Kluwer).
• Varma, Siddheshwar. 1925. "Analysis of Meaning in the Indian Philosophy of Language", Journal of the Royal Asiatic Society of Great Britain and Ireland no. 1: 21-35.

Working drafts, notes, and lecture slides

• "A Day of Indian Logic", November 2, 2009, ILLC Technical Notes X-2009-04.
• Hodges, Wilfrid. "Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic.
• Uckelman, Sara L. "Medieval Logic and Indian Logic: The Interactive and Epistemological Turn", presented at Modern Formalisms for Pre-Modern Indian Logic and Epistemology, Hamburg, Germany, 05 June 2010. Slides.
• Uckelman, Sara L. "Aristotelian Syllogistics with Abelardian Truth Conditions", notes on the formalization of existential import, triggered by a discussion after a talk by Klaus Glashoff at Modern Formalisms for Pre-Modern Indian Logic and Epistemology.

Bibliographies

• Bibliography of Jain logic studies, compiled by Marie-Hélène Gorisse