Недавно я попытался объединить свой опыт программирования с изучением Гемары, что привело к тому, что я теперь называю вычислительной гемарой . Подробнее об идее можно прочитать здесь . Более старую статью, которую я написал с менее приятной методологией формализации, можно найти здесь .
Моя цель — использовать теорию для формализации потока логики Гемары в нотации наборов и использовать теорию для создания программной системы для взаимодействия с логикой Гемары очень захватывающим образом. Я думаю, что это программное обеспечение станет новым образовательным инструментом и чем-то, что действительно поможет мне и другим учащимся лучше понять сложную, нюансированную логику Гемары.
Чтобы было ясно, эта идея не в том, чтобы спроецировать Гемару на математику. Это разработка системы, которая приведет к новому инструменту для изучения Гемары. Это все. Я не пытаюсь подразумевать анахроническое понятие, которое раввины использовали для размышлений с помощью математики. Я просто пытаюсь объединить свое программирование с моим обучением Гемаре, чтобы посмотреть, выйдет ли что-нибудь стоящее.
Что я ищу:
Знаете ли вы, пытались ли раньше использовать математику для анализа сугьи?
Модераторы делают вид, что этого не существует, потому что это не является частью вопроса. Если вам интересно обсудить это со мной, сообщите мне об этом в комментариях. Мне всего 16, и я еще не приступал к проекту такого масштаба и прошу совета у более опытных. Этот сайт является лучшим форумом для установления этих связей.
То, что вы описываете, является формальным обозначением аристотелевской или силлогистической логики — см. начало «Введения Клини в метаматематику» . Да, вы правы, Гемара всегда строит серию силлогизмов, чтобы выяснить, к каким множествам принадлежат галахо (или, наоборот, какие атрибуты определяют множество).
Рав Мордехай Гольдштейн из диаспорской ешивы (Хар Цион) построил методологию обучения на основе построения диаграмм силлогизмов как способа понимания структуры сугьев. Его ученик Р'Довид Сактон перевел фельдхеймские версии «Путей разума » и «Книги логики» , которые, как предполагается, лежат в основе метода рава Гольдштейна. Ешива Биркас ха-Тора в Старом городе использует тот же подход.
Я еще не видел ничего в письменном виде по этому поводу. Вышеизложенное основано на беседах с Р'Сактоном и другими студентами Диаспоры и Биркас ха-Тора.
Я бы сказал, что то, что вы сделали, впечатляет. Так что уловить логику Гемары, как вы это сделали, — интересный проект. Тем не менее, как говорится, Гемара, и в частности обучение, заключается не только в понимании потока и пересечения галахи в этом потоке, но и в рассуждениях, лежащих в основе потока — как Гемара пришла к своему заключению, почему и почему хава амина была отвергнута. Это работа ришоним. Поскольку ришоним часто трудно понять, ахроним помогают нам лучше понять ришоним. Таким образом, в этом смысле вы не можете свести Гемару к набору, в котором галаха выбирается из набора переменных, потому что каждый случай выделяет разные точки и часто имеет разные хаваамины, в которых действуют переменные. Часто галаха меняется в зависимости от характера хава амина.
Понимание тонких нюансов природы Гемары требует огромного количества работы и обучения и обычно требует полного знания нескольких мазехто. Если я могу сделать важное замечание. Если этот проект существует просто для вашего собственного понимания, тогда не делайте этого проекта, потратьте время на работу через сугью с ришоним. Цель обучения состоит в том, чтобы оно стало частью вас. Не программа. Продолжайте учиться, и ваш разум, безусловно, будет расти и улучшаться благодаря обучению, которое вы делаете. Мыслительный процесс правильный в том смысле, что нахождение шаблонов определений в Гемаре помогает запоминанию, и вы должны продолжать думать о том, как все сочетается друг с другом. Конечно, записывать свои мысли — это хороший способ хранения этой информации и процесса. Чем больше вы учитесь и растете, тем лучше вы сможете оценить и вывести логику Гемары.
Возможно, полезным будет проект, позволяющий компьютеру генерировать список всех слов в Гемаре, его корневой формы и префиксов/суффиксов. Список должен быть совсем небольшим, так как большинство слов должны быть просто корнями, повторяющимися в разных формах. После создания процесс перевода слов на английский должен быть таким же простым (учитывая, что Jastrow является общественным достоянием). Что было бы удивительной идеей, так это иметь возможность сгенерировать весь Талмуд таким образом, чтобы любой мог щелкнуть слово и увидеть его правильный перевод.
Идея, лежащая в основе этого, - просто устройство для экономии времени для обучения.
Как поясняет Рамхаль в конце третьей главы Дерех Тевунот, нужно переводить язык Гемара на формальный язык, формальный с какой-то точки зрения. Чтобы каждая фраза была понятна.
Во второй главе он объясняет, что нам нужно найти конкатенацию между утверждениями. С диалектической точки зрения существует 7 типов утверждений. Короче говоря, утверждение, вопрос, ответ, возражение, решение, доказательство, встречное доказательство.
Гемара имеет полуофициальный язык, есть ключевые слова, такие как парич, פריך, метив, מתיבי, урминехи, ורמינהי, тайна, תניא, маткиф, מתקיף, вы можете легко выучить их в Сефер Галихот Олам.
Есть также правила герменевтики, также хорошо объясненные в ХО. Но это не так формально, как кажется.
Сравнение между случаями также требует особых усилий.
Даркей Хаталмуд от раввина Ицхака Кампентона объясняет, что необходимо приложить огромные усилия, чтобы понять мысль, лежащую в основе каждого мнения, возражения, а также изменение мысли о возражениях и решениях, эволюцию мнений. Он подчеркивает важность размышлений о том, почему Раши отверг Гирсу, почему он не объясняет как Тосфот. В Тосфоте тоже есть ключевые слова.
Принятие решений Гемарой редко основывается на бинарной формальной логике. Потому что обычно каждое мнение логически связно. В большинстве случаев решение состоит в том, чтобы следовать наиболее убедительному мнению или наиболее поддержанному предыдущими галахическими авторитетами.
Талмудист должен знать каждое мнение в теме и запоминать его, например, мнение Абая, несмотря на то, что это не Галаха, нужно запоминать, потому что в следующей теме нужно проверить, насколько Абай согласован с самим собой. Если вы обнаружите, что это не так, это покажет, что в вашем понимании чего-то не хватает. Таким образом, суггиа всегда должна изучаться с разных точек зрения, как местная суггиа и как согласованная с другими суггиотами в Талмуде, связанными с этим. Этот факт особенно очевиден в Дине Мамонот. Этот вид обучения приобретается путем изучения Тосфот или, по крайней мере, Тосфот Йом Тов в Мишнайот. После того, как вы достигли хорошего уровня, вы можете обратиться к раввину Акиве Эйгеру, который уделяет особое внимание трактовке противоречий между суггиотами.
При расшифровке Гемары логическая структура часто бывает очень длинной, но совсем несложной для понимания. Нет необходимости в силлогистических знаниях.
Можно отметить, что Рамхаль в Дерех Тевунот и Сефер Ахигайон серьезно не занимается изучением силлогизмов. Сама Гемара не формулирует силлогизмов, потому что логика Гемары не запутана.
Работа талмудистов заключается главным образом в том, чтобы определить форму и оценить содержание. Для этого формальный алгоритм не помогает. Быть строгим очень важно, но не требует специальных знаний (действительно, изучение формальной логики и кодирования — хорошая тренировка интеллектуальной строгости, приобретение привычки проверять каждое рассуждение. Но учиться с диббуком хаверим, пожалуй, лучше). Есть книги, которые особенно хороши для изучения в качестве образцов для изучения Талмуда, и их нетрудно изучить. Например, Шаагат Арье, Нахалат Давид, Шут Бет Халеви, Минхат Чинух. Для изучения содержания талмудической мысли хороша Кцот а-Хошен, к тому же она сравнительно легко читается.
Чтобы серьезно изучить Гемару с Раши и Тосфот, Махарша очень помогает понять логические нюансы в Тосфот.
Таким образом, шаги перед вводом данных в программу составляют основу изучения Талмуда.
Эзра
Менахем
Шимон БМ
кузнец идей
Шимон БМ
хазориз
Адам
Менахем
Аль Берко
Аль Берко