Семизначная логика джайнов

Семизначная логика джайнизма — это система аргументации, разработанная джайнскими философами и мыслителями в древней Индии для поддержки и обоснования своей теории плюрализма . Эта система аргументации имеет семь различных семантических предикатов , которые можно рассматривать как семь различных значений истинности . Традиционно в джайнской и другой индийской литературе, посвященной темам джайнской философии , эта система аргументации упоминается как Саптабхангивада или Сьядвада . Самое раннее упоминание о Сьядваде встречается в трудах Бхадрабаху (ок. 433–357 до н. Э.). есть Упоминание о Сьядваде в Ньяяватаре Сиддхасены Дивакары (около 480–550 гг. н.э.). Самантабхадра (около 600 г. н.э.) дал полное изложение семи частей Сьядвады или Саптабхангиньяи в своей «Аптамимамсе» . Сьядвадаманджари . Маллисены (1292 г. н. э.) представляет собой отдельный трактат, посвященный той же теории Есть, конечно, еще более поздние произведения и большое количество современных комментариев. Интерпретацию Саптабхангивады как семизначной логики попыталась профессор философии Гарвардского университета Джордж Босворт Берч (1902–1973) в статье, опубликованной в журнале International Philosophical Quarterly в 1964 году. П.К. Махаланобис дал вероятностную интерпретацию Саптабхангивады , индийский специалист по прикладной статистике , .

Семь предикатов

Саптабхангиваду , теорию семи предикатов , можно резюмировать следующим образом:

Теория семи предикатов состоит в использовании семи утверждений о предложениях, каждому из которых предшествует «возможно» или «условно» ( сят ), касающихся отдельного объекта и его конкретных свойств, состоящих из утверждений и отрицаний, одновременно или последовательно, и без противоречие. Эти семь претензий заключаются в следующем.

1. Можно утверждать, что он (то есть некоторый объект) существует ( сяд асты эва ).
2. Можно утверждать, что его не существует ( сянь насти ева ).
3. Возможно, он существует; возможно, его не существует ( сяд асты ева сян насти ева ).
4. Arguably, it is non-assertible ( syad avaktavyam eva ).
5. Arguably, it exists; arguably, it is non-assertible ( syad asty eva syad avaktavyam eva ).
6. Возможно, его не существует; возможно, это неоспоримо ( syan nasty eva syad avaktavyam eva ).
7. Возможно, он существует; возможно, его не существует; возможно, это неоспоримо ( syad asty eva syan nasty eva syad avaktavyam eva ).

Существует три основных значения истинности: истинное (t), ложное (f) и недостоверное (u). Они объединяются для получения еще четырех значений истинности, а именно: tf, tu, fu и tfu ( трехзначная логика ). Хотя на первый взгляд кажется, что существует только три различных истинностных значения, более глубокий анализ джайнской системы показывает, что семь истинностных значений действительно различны. Это следствие условного оператора «возможно», обозначаемого на санскрите словом сьят . Это санскритское слово имеет буквальное значение «возможно, так и есть» и используется в значении «с определенной точки зрения» или «в рамках определенной философской точки зрения».

В этой дискуссии термин «точка зрения» использовался в техническом смысле. Рассмотрим ситуацию, в которой глобально противоречивый набор положений, совокупность философского дискурса, делится на подмножества, каждое из которых внутренне непротиворечиво. Любое предложение может быть поддержано другими представителями того же подмножества. В то же время отрицание этого предложения может происходить в отдельном, хотя, возможно, и перекрывающемся подмножестве, и поддерживаться другими предложениями внутри него. Каждый такой последовательный подмножество глобально противоречивого дискурса представляет собой то, что джайны называют «точкой зрения» (ная). Точка зрения соответствует определенной философской перспективе.

В этой терминологии можно увидеть, что семь предикатов преобразуются в следующие семь возможностей. Каждое предложение p имеет следующие семь состояний:

1. p является членом каждой точки зрения S. в
2. Not- является членом каждой точки зрения в S. p
3. p является членом некоторых точек зрения, а Not- p является членом остальных.
4. p является членом некоторых точек зрения, остальные нейтральны.
5. Not- p является членом некоторых точек зрения, остальные нейтральны.
6. p нейтральен по отношению к любой точке зрения.
7. p является членом некоторых точек зрения, а Not- p является членом некоторых других точек зрения, а остальные нейтральны.

Сравнение с Катускоти и аристотелевской логикой

В обычной логике высказываний противоречие $P\land \neg P$ и отказ от заявления об исключенном третьем $\neg (P\lor \neg P)$ оба могут быть отвергнуты, т.е. доказаны как ложные , и, таким образом, они формально эквивалентны. Действительно, это уже справедливо в минимальной логике , например, .Ситуация более утончена в других обсуждаемых логиках:

Саптабханги Логика	Чатушкоти Логика	Аристотелевская логика
Это $P$	Это	Это
Это не $\neg P$	Это не	Это не
Это есть и это не так $P\land \neg P$	Это есть и это не так
Это неоспоримо $U(P)$	Это ни $\neg (P\lor \neg P)$
Это есть и это неоспоримо $P\land U(P)$
Это не так и это неоспоримо $\neg P\land U(P)$
Это есть и это не так и это неоспоримо $P\land \neg P\land U(P)$

Таблица истинности для отрицания

$P$	$\neg P$
Истинный	ЛОЖЬ
Недостоверный	Недостоверный
ЛОЖЬ	Истинный

Дальнейшее чтение

• О реализации общей вычислительной системы аргументации семизначной логики Джайна см. Охта, Сёго; Хагивара, Такеши; Савамура, Хадзиме; Риш, Жак (2013). «Специализация логики многозначной аргументации на семизначной логике джайнов» (PDF) . Материалы Международной конференции по искусственному интеллекту : 1–7 . Проверено 5 июня 2022 г.
• Изложение джайнской концепции логики см. В.К. Бхарадваджа (июль 1982 г.). «Джайнская концепция логики» (PDF) . Индийский философский ежеквартальный журнал . IX (4): 362–376 . Проверено 27 ноября 2016 г.
• Изложение, утверждающее, что Саптабханги нельзя рассматривать как логику в современном смысле этого слова, см. Фабьен Шанг (декабрь 2013 г.). «Однозначная логика для неодносторонности» . Международный журнал джайнских исследований . 9 (4): 1–25 . Проверено 28 ноября 2016 г.
• Изложение Саптабханги см. Прагати Джайн (июль 2000 г.). «Саптабханги: джайнская теория семикратного предсказания: логический анализ» (PDF) . Философия Востока и Запада . 50 (3): 385–399 . Проверено 28 ноября 2016 г.
• Обсуждение Сьядвады см. Дж.Б.С. Холдейн. «Система предикации Сьядвада» . Джайнский мир . Архивировано из оригинала 16 июня 2008 года . Проверено 28 ноября 2016 г. (18 Санкхья, 195–200, 1957 г.)
• Мари-Элен Горисс, Николя Клербо и Шахид Рахман разработали диалогический подход к теории точек зрения.