Душный синтаксис
5. Если уж апеллировать к Тарскому, то он не даёт критерия истины. Разделить на истинные и ложные и определить, при каких условиях будут истинными или ложными те или иные типы высказываний - это не значит задать критерий истины 6. Далее, нам пытаются объяснить…
В-четвёртых, автор нам сообщает, что "истинность правил вывода" зиждется на авторитете логической системы.
Какую логическую систему рассматривал автор, в свете чего ему пришла мысль поведать о таком откровении?
Правила вывода некоторой логической системы не базируются на истине, можно было бы взять любую вариацию аксиоматически построенной классической логики высказываний и посмотреть, истина не фигурирует вообще в формулировке логической системы, независимо от её авторитета
Можно доказать, что если некоторым образом задать семантику, где будет фигурировать истина, то правила вывода будут сохранять истину от одних формул к другим, но причём тут авторитет? Это не имеет значения. Автор пишет ерунду, путая понятия, сочетания которых он пытается обсуждать
Вишенкой на торте является то, что автор приписывает сон логика при температуре 39 Тарскому, якобы в этой мешанине заключается его семантическая концепция истины.
Also sprach Tarski: истина для всех и ни для кого
Какую логическую систему рассматривал автор, в свете чего ему пришла мысль поведать о таком откровении?
Правила вывода некоторой логической системы не базируются на истине, можно было бы взять любую вариацию аксиоматически построенной классической логики высказываний и посмотреть, истина не фигурирует вообще в формулировке логической системы, независимо от её авторитета
Можно доказать, что если некоторым образом задать семантику, где будет фигурировать истина, то правила вывода будут сохранять истину от одних формул к другим, но причём тут авторитет? Это не имеет значения. Автор пишет ерунду, путая понятия, сочетания которых он пытается обсуждать
Вишенкой на торте является то, что автор приписывает сон логика при температуре 39 Тарскому, якобы в этой мешанине заключается его семантическая концепция истины.
Also sprach Tarski: истина для всех и ни для кого
❤5🔥2🤩1
Ну и что вы там сидите? Смотрим
YouTube
Елена Драгалина-Чёрная: про философию логики, строительство научных мостов и логических чужаков
«Наука – это непростое занятие, но оно вознаграждается тем, что ты всегда находишься в сообществе единомышленников, не ограниченном ни временем, ни пространством, и ты никогда не будешь одинок»
Кто такие логические чужаки и как их распознать среди нас? Как…
Кто такие логические чужаки и как их распознать среди нас? Как…
❤7🔥3
Forwarded from СМУ Института философии РАН
Междисциплинарная конференция «Подземные реки: низовые интеллектуальные течения и философия нижнего интернета»
Совет молодых учёных Института философии РАН приглашает на Междисциплинарную конференцию для студентов, аспирантов, независимых исследователей и молодых учёных, посвящённую “низовым” интеллектуальным течениям. Её цели – исследовать процессы развития философской мысли в обществе; выявить скрытую интеллектуальную активность и перекрёстки путей по которым движется философия, а также предоставить возможность для осмысления интеллектуальных разрывов между социальными слоями.
26-27 августа 2026 года; 11:00-17:00
Институт философии РАН, ауд. 313
Регистрация по ссылке
Почтовый адрес Конференции: reki.podzemnye@yandex.ru
Совет молодых учёных Института философии РАН приглашает на Междисциплинарную конференцию для студентов, аспирантов, независимых исследователей и молодых учёных, посвящённую “низовым” интеллектуальным течениям. Её цели – исследовать процессы развития философской мысли в обществе; выявить скрытую интеллектуальную активность и перекрёстки путей по которым движется философия, а также предоставить возможность для осмысления интеллектуальных разрывов между социальными слоями.
26-27 августа 2026 года; 11:00-17:00
Институт философии РАН, ауд. 313
Регистрация по ссылке
Почтовый адрес Конференции: reki.podzemnye@yandex.ru
🤣13🔥5🤮1
Forwarded from Желаю Чаю!
Три из четырёх студентов, которые пришли сегодня ко мне на пару, занимаются аналитической философией.
Хейтеры младшего поколения – лицо к осмотру.
Хейтеры младшего поколения – лицо к осмотру.
❤8😁3🔥2
Один мой друг заявляет, что доказал теорему о невозможности самообмана
Рассуждение можно реконструировать примерно следующим образом (естественно, я убрал ковыряния с переменными)
(0) Самообман существует (ass)
(1) Если z обманул y, то z знает правду (аксиома)
(2) Если z обманут y, то z не знает правды (аксиома)
(3) Самообман это случай, когда x обманул x (определение)
(4) x знает правду (из (0), (1), (3))
(5) x не знает правды (из (0), (2), (3))
Поскольку (4) противоречит (5), допущение (0) неверно, тогда
Самообмана не существует. QED
Мнения?
Рассуждение можно реконструировать примерно следующим образом (естественно, я убрал ковыряния с переменными)
(0) Самообман существует (ass)
(1) Если z обманул y, то z знает правду (аксиома)
(2) Если z обманут y, то z не знает правды (аксиома)
(3) Самообман это случай, когда x обманул x (определение)
(4) x знает правду (из (0), (1), (3))
(5) x не знает правды (из (0), (2), (3))
Поскольку (4) противоречит (5), допущение (0) неверно, тогда
Самообмана не существует. QED
Мнения?
😁8🐳2❤1👎1🤯1🍌1😈1
Forwarded from Massimo Nova
FOL это не просто логика предикатов первого порядка, а такая, которая классическая
Так что она FOLC - народная логика
(Better call FOL)
Так что она FOLC - народная логика
(Better call FOL)
❤6💯2