Diagrams for Navya-Nyāya

Research output: Contribution to journalArticle

Abstract

Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams themselves. Adherents of diagrammatic reasoning have made claims for its potential by pointing to key structural
correspondences between diagrams and logical concepts, arguably lacking in sentential representations, and describing these relations using concepts such as “well matchedness” and “iconicity”. A canonical example of this iconicity is the use of
Euler diagrams to depict categorical syllogisms. Since the meaning of expressions in Indian logic differs in so many important ways from logic in the Western tradition, the use or adaptation of diagrams developed in the latter would seem to
preclude iconicity. Thus, the development of diagrams which reflect the nature of inference in Navya-Nyāya, which centres on the anumāna inference schema, is motivated. In this paper we extend Ganeri’s method of depicting the Vaiśesika ontology with graphs to include syntax intended to expose the nature of anumāna. The diagrams are given a formal basis: i.e. abstract syntax, inference rules defined abstractly and a graph-theoretic semantics. These are the first formalised logical diagrams that aim to reflect the nature of the anumāna inference. This paper lays the way for further work in extending the formalism to cover more of Navya-Nyāya, and in exploring a dialogue between properties of the formalism and of Navya-Nyāya.
Original languageEnglish
Pages (from-to)1--26
Number of pages26
JournalJournal of Indian Philosophy
DOIs
Publication statusPublished - 31 Jan 2020

Fingerprint

Diagrams
Logic
Iconicity
Inference
Syntax
Graph
Formalism
Western Tradition
Ontology
Diagrammatic Reasoning
Categorical Syllogism
Inference Rules

Bibliographical note

This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Cite this

Burton, Jim. / Diagrams for Navya-Nyāya. In: Journal of Indian Philosophy. 2020 ; pp. 1--26.
@article{a0bedb36f9ca4098a5b4143e043b7264,
title = "Diagrams for Navya-Nyāya",
abstract = "Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams themselves. Adherents of diagrammatic reasoning have made claims for its potential by pointing to key structuralcorrespondences between diagrams and logical concepts, arguably lacking in sentential representations, and describing these relations using concepts such as “well matchedness” and “iconicity”. A canonical example of this iconicity is the use ofEuler diagrams to depict categorical syllogisms. Since the meaning of expressions in Indian logic differs in so many important ways from logic in the Western tradition, the use or adaptation of diagrams developed in the latter would seem topreclude iconicity. Thus, the development of diagrams which reflect the nature of inference in Navya-Nyāya, which centres on the anumāna inference schema, is motivated. In this paper we extend Ganeri’s method of depicting the Vaiśesika ontology with graphs to include syntax intended to expose the nature of anumāna. The diagrams are given a formal basis: i.e. abstract syntax, inference rules defined abstractly and a graph-theoretic semantics. These are the first formalised logical diagrams that aim to reflect the nature of the anumāna inference. This paper lays the way for further work in extending the formalism to cover more of Navya-Nyāya, and in exploring a dialogue between properties of the formalism and of Navya-Nyāya.",
author = "Jim Burton",
note = "This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.",
year = "2020",
month = "1",
day = "31",
doi = "10.1007/s10781-020-09419-0",
language = "English",
pages = "1----26",

}

Burton, J 2020, 'Diagrams for Navya-Nyāya', Journal of Indian Philosophy, pp. 1--26. https://doi.org/10.1007/s10781-020-09419-0

Diagrams for Navya-Nyāya. / Burton, Jim.

In: Journal of Indian Philosophy, 31.01.2020, p. 1--26.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Diagrams for Navya-Nyāya

AU - Burton, Jim

N1 - This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

PY - 2020/1/31

Y1 - 2020/1/31

N2 - Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams themselves. Adherents of diagrammatic reasoning have made claims for its potential by pointing to key structuralcorrespondences between diagrams and logical concepts, arguably lacking in sentential representations, and describing these relations using concepts such as “well matchedness” and “iconicity”. A canonical example of this iconicity is the use ofEuler diagrams to depict categorical syllogisms. Since the meaning of expressions in Indian logic differs in so many important ways from logic in the Western tradition, the use or adaptation of diagrams developed in the latter would seem topreclude iconicity. Thus, the development of diagrams which reflect the nature of inference in Navya-Nyāya, which centres on the anumāna inference schema, is motivated. In this paper we extend Ganeri’s method of depicting the Vaiśesika ontology with graphs to include syntax intended to expose the nature of anumāna. The diagrams are given a formal basis: i.e. abstract syntax, inference rules defined abstractly and a graph-theoretic semantics. These are the first formalised logical diagrams that aim to reflect the nature of the anumāna inference. This paper lays the way for further work in extending the formalism to cover more of Navya-Nyāya, and in exploring a dialogue between properties of the formalism and of Navya-Nyāya.

AB - Although a number of authors have used diagrams extensively in their studies of Navya-Nyāya, they have done so to explain and illustrate concepts, not with the goal of reasoning with the diagrams themselves. Adherents of diagrammatic reasoning have made claims for its potential by pointing to key structuralcorrespondences between diagrams and logical concepts, arguably lacking in sentential representations, and describing these relations using concepts such as “well matchedness” and “iconicity”. A canonical example of this iconicity is the use ofEuler diagrams to depict categorical syllogisms. Since the meaning of expressions in Indian logic differs in so many important ways from logic in the Western tradition, the use or adaptation of diagrams developed in the latter would seem topreclude iconicity. Thus, the development of diagrams which reflect the nature of inference in Navya-Nyāya, which centres on the anumāna inference schema, is motivated. In this paper we extend Ganeri’s method of depicting the Vaiśesika ontology with graphs to include syntax intended to expose the nature of anumāna. The diagrams are given a formal basis: i.e. abstract syntax, inference rules defined abstractly and a graph-theoretic semantics. These are the first formalised logical diagrams that aim to reflect the nature of the anumāna inference. This paper lays the way for further work in extending the formalism to cover more of Navya-Nyāya, and in exploring a dialogue between properties of the formalism and of Navya-Nyāya.

U2 - 10.1007/s10781-020-09419-0

DO - 10.1007/s10781-020-09419-0

M3 - Article

SP - 1

EP - 26

ER -

Burton J. Diagrams for Navya-Nyāya. Journal of Indian Philosophy. 2020 Jan 31;1--26. https://doi.org/10.1007/s10781-020-09419-0