Индийская логика, которую все упустили: она древнее греческой

веб-сайт - https://withronny.com/ Две цивилизации, находившиеся на противоположных концах древнего мира, без каких-либо свидетельств того, что они когда-либо обменивались опытом, обе сели и задали один и тот же невозможный вопрос: что делает мысль действительной? В честь одной из них мы назвали всю западную традицию. Другая написала 3959 правил, которые генерируют человеческий язык, — и в 1967 году один учёный-компьютерщик предложил переименовать используемую нами нотацию для определения языков программирования в «форму Панини-Бэкуса». Это честное сравнение, которому никто не учит: Аштадхьяйи Панини (~500 г. до н.э.) как первая формальная генеративная грамматика; пятичленный вывод школы Ньяя и его обязательный пример из реального мира; «колесо доводов» Дигнаги (таблица достоверности, существовавшая за столетия до таблиц истинности); Логика отношений Гангеши (Navya-Nyāya) справедливо противопоставляется силлогизму Аристотеля (подлинно первому западному явлению) и пропозициональной логике стоиков. Плюс, как каждая цивилизация фактически занималась наукой: Наланда и Такшашила, кодекс дебатов вада/джалпа/витанда и индийская устная традиция исправления ошибок в сравнении с Академией, Лицеем и письменной греческой передачей. И как она была похоронена: в 1787 году Иммануил Кант объявил логику «замкнутым и завершенным сводом доктрин» со времен Аристотеля — в то время как наследники Гангеши все еще писали в ней. Стандартная современная история (Kneale & Kneale, 1962) охватывает период от Греции до Фреге и исключает Индию; остальное сделал Маколей в своей «Минуте 1835 года». Мы также следим за националистическими заявлениями — нет, Аристотель не украл логику у Индии; это было независимое параллельное развитие. Достаточно честного заявления. Источники: Аштадхьяи; Ньяя-Сутра; Дигнага, Праманасамуччая; Дхармакирти; Гангеша, Таттвачинтамани; Аристотель, Предварительная аналитика; Блумфилд (1933); Хомский (1965); Стаал (1965); Ингаллс, Harvard Oriental Series 40 (1951); Матилал; Ингерман, CACM (1967); Кант (1787).