Warning: Undefined array key 0 in /var/www/tgoop/function.php on line 65

Warning: Trying to access array offset on value of type null in /var/www/tgoop/function.php on line 65
794 - Telegram Web
Telegram Web
P.S. Сторис прикрепить к каналу пока не получается, к аккаунту - пожалуйста, а каналу - не понятно, как. Написал волонтерам в поддержку - молчат... Если кто знает, напишите, пожалуйста, в чат
16🕊3🔥2🍌2🍓2😈21👎1🤓1🆒1
Вроде разобрался - спасибо за подсказку Анфисе и Anastasia! 🙏
🕊92
https://www.mathnet.ru/links/4d9fc3e250cf1a00b87bcf677f8bf192/sm7425.pdf Великий А.Н. Колмогоров о принципе исключенного третьего. Статья рекомендуется к прочтению сама по себе, и, в частности, к Открытой лекции 20.11. Выстраиваемое нами исчисление предикатов с многосортными предметными переменными будет иметь расхождение с установками Колмогорова об истинных и ложных формулах.
🔥8🥰211🐳1💋1
Социологов поздравляю с профессиональным праздником! Пожелания творческих успехов и исследовательской удачи!
🍾4310🤩3🐳2💋1
На Открытой лекции 20.11 планирую в качестве отпавных пунктов рассмотреня эпистемологического значения изучения формальных систем взять статью Курта Гёделя "О формально недоказуемых высказываниях Principia Mathematica и подобных ей систем" (1930) и "Введение в метаматематику" Стефана Клини (1952).
❤‍🔥24🕊4💋4🆒21👍1🦄1
Свойства выводимости. Перестановка посылок. Закон коммутативности (Клини, закон номер 33).
👍107💋3🤯21🆒1
Правила "от перемены мест слагаемых сумма не изменяется" и "от перемены мест множителей произведение не изменяется" обычно изучаются в начальной школе. Но на простой детский вопрос: "Почему так?" ответ находится только в теории доказательств (метаматематике).
🔥192👍2💋21
В логике и метаматематике мы изучаем основания любых других наук, включая математику (не наоборот, как считают некоторые, например, Брауэр - основопожник интуиционистской математики и логики).
15💋4👍21
Напоминаю про свою открытую лекцию "Формальные системы и их значение в истории наук" (Волгоград, ул. Герцена, 10, ауд. 702) 16.10 (мск). К тем, кто не из РАНХиГС просьба не забыть документы, удостоверяющие личность, для предъявления на вахте.
👍17🥰41
От конъюнкции посылок переходим через импликацию к заключению. Теперь наша задача доказать возможность менять местами посылки в рассуждении.
❤‍🔥17221
Формальная система. Три типа значимых выражений
10❤‍🔥431🆒1
Формальная система глав 4 и 5 "Введения в метаматематику" Клини
1133❤‍🔥1👍1🆒1
Пример решения задачи на определение правильности простого категорического силлогизма с использованием 7 общих (семантических) правил.

"Все первокурсники занимаются спортом.
Все первокурсники любят логику.
Следовательно,
Некоторые любители логики занимаются спортом".
❤‍🔥174🔥3👍2
Первое правило. Хотя бы одна посылка должна быть общей (общеутвердительной или общеотрицательной). Не нарушается, т.к. обе посылки общие.
Второе правило. Если одна из посылок частная, то и заключение должно быть частным. Не нарушается, т.к. обе посылки общие (общеутвердительные).
❤‍🔥146🔥4👍2
Третье правило. Хотя бы одна посылка должна быть утвердительной. Не нарушается, т.к. обе посылки утвердительные.
Четвертое правило. Если одна из посылок отрицательная, то и заключение должно быть отрицательным. Не нарушается, т.к. обе посылки утвердительные.
Пятое правило. Если обе посылки утвердительные, то и заключение должно быть утвердительные. Не нарушается, т.к. обе посылки утвердительные и заключение тоже утвердительное.
❤‍🔥144🔥4👍2🆒1
Шестое правило. Средний термин должен быть распрпределен хотя бы в одной посылке. Не нарушается, т.к. средний термин распределён в обеих посылках (субъект общеутвердительных высказываний).
Седьмое правило. Термин, не распределенный в посылке, не должен быть распрпределен в заключении. Не нарушается, т.к. и меньший, и больший термины не распределены в заключении (частноутвердительное высказывание).
❤‍🔥17🆒3👍2💘1
Всех философов - с прошедшими вчера Международным днём философии!
Всех психологов - с профессиональным праздником сегодня!
❤‍🔥3163🐳3💋3😈2🆒1💘1🦄1
2025/07/09 03:13:18
Back to Top
HTML Embed Code: