15 Jun 2026, 14:37 UTC533 views15 reactions1 Starread 6 August 2026 17 июня в 18:10 состоится заседание теоретического семинара «Формальная философия».
Тема доклада: Анализ аналитичности в философии математики Хинтикки и теории типов Мартина-Лёфа.
Докладчик: Рамазан Аюпов (стажер-исследователь МЛ ЛогЛинФФ).
Аннотация: Доклад посвящен вопросу о том, возможна ли такая трактовка аналитичности, которая не подпадает под действие критики, предложенной Уиллардом Куайном в статье «Две дог…
❤9❤🔥2👍2🔥2
15 Jun 2026, 14:37 UTC308 views5 reactionsread 6 August 2026 Photo
Photo, posted without a caption
❤4👍1
8 Jun 2026, 08:26 UTC604 views5 reactionsread 6 August 2026 10 июня в 18:10 состоится заседание теоретического семинара «Формальная философия».
Тема доклада: Расплывчатость и смутность в пространстве научного поиска: объективные предпосылки и субъективный опыт переживания.
Докладчик: А.Н. Поддьяков (НИУ ВШЭ).
Аннотация: Рассматривается роль неясных идей, понятий, образов, метафор в математике и естественно-научных областях. Обсуждается осмысление исследователями своих неяс…
🔥4😱1
8 Jun 2026, 08:25 UTC448 views2 reactionsread 6 August 2026 Photo
Photo, posted without a caption
🔥2
2 Jun 2026, 17:42 UTC428 views2 reactionsread 6 August 2026 3 июня в 18:10 состоится заседание научно-исследовательского семинара «С логической точки зрения» («From the Logical Point of View»).
Тема доклада: Логика SSL и ее сложность.
Докладчик: А.В. Кудинов (НИУ ВШЭ).
Аннотация: Доклад посвящён логике подмножеств пространства (Subset Space Logic, SSL) — бимодальной эпистемической логике с одной модальностью знания (K) и второй модальностью (\Box), соответствующей тому, чт…
❤2
2 Jun 2026, 17:41 UTC331 views1 reactionsread 6 August 2026 Photo
Photo, posted without a caption
❤1
19 May 2026, 16:20 UTC480 views1 reactionsread 6 August 2026 20 мая в 18:10 состоится заседание теоретического семинара «Формальная философия»
Тема доклада: Сфера действия модальности и отрицания в семантике (и в синтаксисе) русских сложных предложений.
Докладчик: А.Б. Летучий (НИУ ВШЭ).
Аннотация: Понятие сферы действия широко используется в лингвистике, причём в самых разных областях . С одной стороны, оно важно для синтаксического анализа - синтаксисты анализируют, на ка…
❤1
19 May 2026, 16:20 UTC330 viewsread 6 August 2026 Photo
Photo, posted without a caption
19 May 2026, 13:30 UTC348 views7 reactionsread 6 August 2026 Photo
В эту субботу 23 мая в 15:00 состоится очередное заседание ридинг-семинара "Analytics", посвященное статье Стивена Хейлза "Why Every Theory of Luck is Wrong". Подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
🔥5😎2
9 May 2026, 17:03 UTC433 views4 reactionsread 6 August 2026 Forwarded from @lsh_linguisticsPhoto
Интересно понять, как устроен язык?
Приглашаем на Мастерскую Лингвистических задач, где вы познакомитесь с лингвистикой на практике!
Лингвистические задачи просят от решающего выявить систему в незнакомом языке, опираясь исключительно на логику и языковую интуицию. Решая задачу, вы параллельно изучаете то, как работает некоторое языковое явление. Примеры можно найти здесь.
Хочешь провести две недели на природе и п…
❤3👍1
6 May 2026, 05:43 UTC374 viewsread 6 August 2026 Forwarded from @IZF_PHILOS_MSUPhoto
Научная конференция «Философия П.Ф. Стросона»
12 мая 2026 г. (вторник) в ауд. А-518 (зал заседаний ученого совета) с 12:00 состоится всероссийская научная конференция «Философия П.Ф. Стросона».
Программа мероприятия:
заведующий кафедрой истории зарубежной философии, чл.-корр. РАН, д.ф.н, Васильев Вадим Валерьевич. С докладом на тему: П. Стросон: мечты о метафизике;
профессор кафедры истории и теории мировой культ…
5 May 2026, 10:29 UTC293 views1 reactionsread 6 August 2026 Forwarded from @msu_mathlog
#матлог #учёба #спецсеминар
На онлайн-заседании объединенного семинара кафедры математической логики и теории алгоритмов МГУ
"Модальная и алгебраическая логика" и "Логические методы в информатике"
в четверг 07.05, начало в 18:30, состоится доклад
Дворкин Лев
Монотонность vs позитивность в модальных логиках
Формула называется монотонной, если её истинность сохраняется при увеличении оценок входящих в неё перемен…
❤1
Showing the 12 most recent of 20 posts we hold for @form_phil. View and reaction counts are the latest single reading for each post, not a live figure, and a recent post is still accumulating both. A view count marked ≈ was rounded by Telegram before we ever saw it — t.me prints views in full below 1,000 and to three significant figures above, so ≈1,200,000 means somewhere between 1,150,000 and 1,249,999. Unmarked counts are exact. Text is reproduced from the public post preview and truncated for length.