Forwarded from БЛОКНОТ ФИЛОСОФА
#нашистуденты
Please open Telegram to view this post
VIEW IN TELEGRAM
Please open Telegram to view this post
VIEW IN TELEGRAM
❤9
22 ноября (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема заседания: Логический квест "Алиса"
Докладчик: В.В. Селиверстов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/988578575.html
Тема заседания: Логический квест "Алиса"
Докладчик: В.В. Селиверстов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/988578575.html
🍌4👍3🔥1🤔1
Как прошла Международная конференция «Формальная философия 2024»
https://llfp.hse.ru/news/988556487.html
https://llfp.hse.ru/news/988556487.html
llfp.hse.ru
Международная конференция «Формальная философия 2024»
Репортаж о Международной конференции «Формальная философия 2024», проходившей с 7 по 9 ноября.
❤5
Как прошла Российско-Бразильская конференция по логическому плюрализму памяти Ньютона да Косты
https://llfp.hse.ru/news/988542754.html
https://llfp.hse.ru/news/988542754.html
llfp.hse.ru
Российско-Бразильская конференция по логическому плюрализму памяти Ньютона да Косты
Репортаж о российско-бразильской конференции.
❤5
Соединяя математику и философию: российско-бразильский проект по логическому плюрализму
https://www.hse.ru/en/news/research/991897549.html
https://www.hse.ru/en/news/research/991897549.html
www.hse.ru
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian…
❤2👍2
29 ноября (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View".
Тема доклада: "Семантика видовой референции"
Докладчик: Аркадий Шалдов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/991740802.html
Тема доклада: "Семантика видовой референции"
Докладчик: Аркадий Шалдов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/991740802.html
👍6🔥1
6 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"
Тема доклада: "К вопросу о значении автореферентности для онтологического аргумента"
Докладчик: Данияр Шамканов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/993289661.html
Тема доклада: "К вопросу о значении автореферентности для онтологического аргумента"
Докладчик: Данияр Шамканов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/993289661.html
🔥5👍4❤2
Хорхе Мендес-Мартинес, научный сотрудник МЛ ЛогЛинФФ, стал победителем конкурса Национального совета Мексики по науке и технологиям. О своей научной работе Хорхе рассказал в интервью порталу НИУ ВШЭ, https://llfp.hse.ru/news/994289970.html
llfp.hse.ru
Интервью Хорхе Мендеса-Мартинеса
Хорхе Мендес-Мартинес, научный сотрудник МЛ ЛогЛинФФ, стал победителем конкурса Национального совета Мексики по науке и технологиям. О своей научной работе Хорхе рассказал в интервью порталу НИУ ВШЭ.
❤3👎1👏1🍓1
13 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"
Тема доклада: "Kant and the problem of metaphysics"
Докладчик: Денис Маслов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/995844852.html
Тема доклада: "Kant and the problem of metaphysics"
Докладчик: Денис Маслов (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/995844852.html
👍10😴2❤1
На ридинг-семинаре "Analytics" начинается чтение новой статьи - в этот раз была выбрана статья Джона Макдауэлла "Wittgensteinian 'quietism'". Встреча состоится в эту субботу 14 декабря в 16:20 очно по адресу ул. Старая Басманная, д. 21/4, каб. А121 и онлайн в Zoom. Подробности можно узнать по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
🔥4👍2
20 декабря (пятница) в 18.30 состоится очередное заседание исследовательского семинара "From the Logical Point of View"
Тема доклада: "Упаковка информации в конструкциях с эвиденциальной функцией"
Докладчик: Дарья Попова (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/998000379.html
Тема доклада: "Упаковка информации в конструкциях с эвиденциальной функцией"
Докладчик: Дарья Попова (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/998000379.html
👍3❤1🤔1
15 января состоится Российско-бразильский коллоквиум по логическому плюрализму, более подробная информация и регистрация по ссылке: https://worldlogicday.com/events/2025/russian---brazilian-colloquium-on-logical-pluralism-world-logic-day-2025
25 января в 16:20 состоится очередная встреча ридинг-семинара «Analytics»: она будет посвящена чтению статьи Кита Файна «The Question of Realism». Семинар проводится в гибридном формате - онлайн в Zoom и по адресу ул. Старая Басманная, д. 21/4, каб. а121. Дальнейшие подробности по ссылке: https://t.me/+B3UPwOcK5ao0Y2E6
❤6
24 января (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"
Тема доклада: Логико-грамматическая теория в проекте универсального языка Дж. Дальгарно
Докладчик: Рахманкулов Эмиль (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1008060209.html
Тема доклада: Логико-грамматическая теория в проекте универсального языка Дж. Дальгарно
Докладчик: Рахманкулов Эмиль (НИУ ВШЭ)
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1008060209.html
❤3🥱1
31 января (пятница) в 18.30 состоится очередное заседание исследовательского семинара "Формальная философия"
Тема доклада: Self-Referential Paradoxes
Докладчик: Noson S. Yanofsky, Professor of Computer and Information Science at Brooklyn College and The Graduate Center, CUNY, and author, most recently, of Monoidal Category Theory, among other books
Аннотация: Over the past 150 years, some of the most profound and influential theorems in mathematics and computer science have emerged from self-referential paradoxes. These theorems deal with systems that exhibit self-reference, challenging our understanding of fundamental concepts. This presentation will explore:
1. Georg Cantor's Theorem: Demonstrating the existence of different levels of infinity.
2. Bertrand Russell's Paradox: Exposing inconsistencies in naive set theory.
3. Kurt Gödel's Incompleteness Theorems: Revealing inherent limitations in formal systems and the notion of mathematical proof.
4. Alan Turing's Halting Problem: Proving the existence of unsolvable computational problems.
Remarkably, these diverse theorems, along with several others, can be understood as manifestations of a single, elegant theorem from basic category theory. This presentation will elucidate this theorem and demonstrate its various instances.
Note: No prior knowledge of category theory is required for this talk.
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1010045685.html
Тема доклада: Self-Referential Paradoxes
Докладчик: Noson S. Yanofsky, Professor of Computer and Information Science at Brooklyn College and The Graduate Center, CUNY, and author, most recently, of Monoidal Category Theory, among other books
Аннотация: Over the past 150 years, some of the most profound and influential theorems in mathematics and computer science have emerged from self-referential paradoxes. These theorems deal with systems that exhibit self-reference, challenging our understanding of fundamental concepts. This presentation will explore:
1. Georg Cantor's Theorem: Demonstrating the existence of different levels of infinity.
2. Bertrand Russell's Paradox: Exposing inconsistencies in naive set theory.
3. Kurt Gödel's Incompleteness Theorems: Revealing inherent limitations in formal systems and the notion of mathematical proof.
4. Alan Turing's Halting Problem: Proving the existence of unsolvable computational problems.
Remarkably, these diverse theorems, along with several others, can be understood as manifestations of a single, elegant theorem from basic category theory. This presentation will elucidate this theorem and demonstrate its various instances.
Note: No prior knowledge of category theory is required for this talk.
Ждём вас в кабинете А121 или в Zoom!
Анонс: https://llfp.hse.ru/announcements/1010045685.html
❤6👍3