Шалак В.И. Функциональный язык против реляционного
Доклад на семинаре кафедры Логики философского факультета МГУ (01.12.2009)
Сначала доказаны теоремы о взаимопогружаемости нескольких систем: логики предикатов с равенством, логики с единственным предикатом равенства и функторами, логики с функторами и единственным приедикатом Н( ) ("равно а").
Философские выводы:
Оказывается, не было никакой нужды в той революции, которая произошла в логике на рубеже 19-20 веков. Вполне можно было расширить традиционную силлогистику функциональными переменными (а ими к тому времени направо и налево уже пользовались математики), и дело в шляпе )) [Это в продолжение доклада В.И. на последних Смирновских чтениях: у античных математиков была вполне нормальная рабочая логика - силлогистика, неформальным образом расширенная с помощью функциональных выражений].
На самом деле, считает он, нет никакого философского противоречия между "субъект-предикатной" логикой и "логикой отношений".
Честно говоря, тут я с ним не вполне согласен. Но в двух словах расписать не получится, а на подробный анализ времени нет - и так уже два дня этот пост написать собираюсь. Если сейчас не сделаю, то потом уже никогда))
Сначала доказаны теоремы о взаимопогружаемости нескольких систем: логики предикатов с равенством, логики с единственным предикатом равенства и функторами, логики с функторами и единственным приедикатом Н( ) ("равно а").
Философские выводы:
Click to viewОказывается, не было никакой нужды в той революции, которая произошла в логике на рубеже 19-20 веков. Вполне можно было расширить традиционную силлогистику функциональными переменными (а ими к тому времени направо и налево уже пользовались математики), и дело в шляпе )) [Это в продолжение доклада В.И. на последних Смирновских чтениях: у античных математиков была вполне нормальная рабочая логика - силлогистика, неформальным образом расширенная с помощью функциональных выражений].
На самом деле, считает он, нет никакого философского противоречия между "субъект-предикатной" логикой и "логикой отношений".
Честно говоря, тут я с ним не вполне согласен. Но в двух словах расписать не получится, а на подробный анализ времени нет - и так уже два дня этот пост написать собираюсь. Если сейчас не сделаю, то потом уже никогда))