Формальная философия
Рэйтынг TGlist
0
0
ТыпПублічны
Вертыфікацыя
Не вертыфікаваныНадзейнасць
Не надзейныРазмяшчэнне
МоваІншая
Дата стварэння каналаMay 28, 2022
Дадана ў TGlist
Apr 01, 2025Прыкрепленая група
Рэкорды
01.04.202523:59
415Падпісчыкаў16.10.202423:59
0Індэкс цытавання02.11.202423:59
123Ахоп 1 паста05.04.202523:59
98Ахоп рэкламнага паста31.03.202523:59
6.06%ER26.03.202512:20
23.86%ERRПераслаў з:
БЛОКНОТ ФИЛОСОФА
25.03.202515:12
📖Статья Ангелины Бобровой «Internet meme transformation rules: A view from Peirce’s semiotics».
👤 Ангелина Боброва — ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии, доцент ШФиК.
📌В статье исследуются мемы с семиотической и логической точек зрения, используя пирсовскую терминологию а также концепцию «привычки к умозаключению». С их помощью авторы помещают мемы в сферу знаков и анализируют их структуру, используя классификации «икона-индекс-символ» и «токен-тип». Такой анализ позволяет описать механику трансформации мемов и определить их пределы.
📎Ознакомиться со статьёй можно по ссылке.
#полезныематериалы
#нашипреподаватели
👤 Ангелина Боброва — ведущий научный сотрудник Международной лаборатории логики, лингвистики и формальной философии, доцент ШФиК.
📌В статье исследуются мемы с семиотической и логической точек зрения, используя пирсовскую терминологию а также концепцию «привычки к умозаключению». С их помощью авторы помещают мемы в сферу знаков и анализируют их структуру, используя классификации «икона-индекс-символ» и «токен-тип». Такой анализ позволяет описать механику трансформации мемов и определить их пределы.
📎Ознакомиться со статьёй можно по ссылке.
#полезныематериалы
#нашипреподаватели
Пераслаў з:БЛОКНОТ ФИЛОСОФА
25.03.202515:11
✔️ Рассказываем о конференции «Аналитическая философия: траектории истории и векторы развития»
🔥На конференции выступил Юрий Казаков, стажёр-исследователь Международной лаборатории логики, лингвистики и формальной философии, студент 2 курса бакалаврской программы «Философия» с докладом «Определение константы ложь в теоретико-доказательственной семантике».
💡 Больше о выступлении Юрия и его впечатлениях о конференции — в карточках.
#нашистуденты #студенческиехроники
🔥На конференции выступил Юрий Казаков, стажёр-исследователь Международной лаборатории логики, лингвистики и формальной философии, студент 2 курса бакалаврской программы «Философия» с докладом «Определение константы ложь в теоретико-доказательственной семантике».
💡 Больше о выступлении Юрия и его впечатлениях о конференции — в карточках.
#нашистуденты #студенческиехроники
01.04.202508:23
#матлог #спецсеминар #не_мехмат #МФТИ
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
Уважаемые коллеги, приглашаем вас на логический семинар лаборатории им. Манина Высшей школы современной математики МФТИ (ВШМ).
Семинар пройдет в среду 2 апреля.
Время проведения семинара 14:00.
‼Если у вас нет пропуска в МФТИ, то нужно заранее написать на почту kudinov.andrey@gmail.com.
Место проведения: МФТИ, Административный корпус, ауд. 322,
Первомайская ул. д.7, Долгопрудный.
К семинару можно подключиться дистанционно, для получения ссылки пишите на почту kudinov.andrey@gmail.com.
Докладчик: Антон Кащенко
Тема: Топологический квадрат логики S4.1
Аннотация.
Существует много способов комбинирования модальных логик. Помимо соединений и произведений, основанных на семантике Крипке, рассматриваются также и топологические произведения. Они были впервые введены Й. ван Бентемом с соавторами в 2006 году и представляют собой естественный способ комбинирования логик, основанный на топологической интерпретации модальностей. Известно, что топологическое произведение двух модальных логик находится между их соединением и произведением. В работе А.В. Кудинова приводится пример топологического произведения (а именно произведение логик S4 и S4.1), находящегося строго между соединением и расширяющимся произведением. Топологический квадрат логики S4.1 (это логика S4 с аксиомой Маккинси) также оказался нетривиальным произведением. Кроме того, эти топологические произведения оказались финитно аппроксимируемыми и разрешимыми, в отличии от Крипке-произведений этих логик, которые являются неразрешимыми. В этом докладе будут рассмотрены оба этих произведения.
➰ ВК
31.03.202515:43
#матлог #конференция
19-21 июня 2025 года в Московском университете состоится международная научная конференция
«Четырнадцатые Смирновские чтения по логике»,
посвященная памяти выдающихся исследователей в области логики, методологии и философии науки Владимира Александровича и Елены Дмитриевны Смирновых.
Организаторы конференции: философский факультет МГУ имени М.В. Ломоносова, Институт философии РАН, Фонд логико-философских исследований.
В рамках конференции планируется проведение двух пленарных заседаний и работа секций:
- Символическая логика,
- Философская логика,
- История логики,
- Логика научного познания.
Основные мероприятия конференции планируется проводить в очном формате, отдельные заседания возможны в формате он-лайн.
Информация о конференции будет размещена на официальном сайте мероприятия http://www.smirnovreadings.ru
Материалы конференции будут опубликованы. Участники конференции предоставляют свои научные результаты в формате небольших статей в размере от 2 до 4 страниц выходного PDF файла (5000-10000 знаков стандартного неформульного текста). Статьи принимаются до 30 апреля 2025 года. Формат принимаемых файлов:
1) Тексты статей, содержащих формульные выражения, должны быть подготовлены только с помощью системы набора текста LaTeX (необходим исходный файл с расширением .tex), с использованием стилевого файла и инструкции для правильного оформления текста, размещенных на сайте конференции в разделе подача тезисов.
2) Текст без формульных выражений можно подготовить в формате MS Word. Авторы могут представить свои работы как на английском языке, так и на русском языке. Русскоязычный текст сопровождается также названием и аннотацией на английском языке (см. инструкцию). Обращаем ваше внимание на особенности в порядке проведения конференции.
Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.
После получения авторских статей вопрос о Вашем участии будет рассмотрен Программным комитетом. Программный комитет оставляет за собой право отклонять заявки, не соответствующие тематике конференции, а также редактировать присланные материалы при их подготовке к публикации. Участникам, чьи заявки прошли отбор, будет выслано официальное приглашение.
Подача статей. Статьи подаются через электронную почту smirnovreadings@philos.msu.ru
Персональные данные. Участники предоставляют в оргкомитет более детальные персональные данные, заполнив анкету участника, форму которой можно скачать на сайте конференции в разделе подача тезисов.
Контактная информация:
Адрес электронной почты Оргкомитета: smirnovreadings@philos.msu.ru
Телефон оргкомитета: +7 (495) 939-18-46
➰ ВК
19-21 июня 2025 года в Московском университете состоится международная научная конференция
«Четырнадцатые Смирновские чтения по логике»,
посвященная памяти выдающихся исследователей в области логики, методологии и философии науки Владимира Александровича и Елены Дмитриевны Смирновых.
Организаторы конференции: философский факультет МГУ имени М.В. Ломоносова, Институт философии РАН, Фонд логико-философских исследований.
В рамках конференции планируется проведение двух пленарных заседаний и работа секций:
- Символическая логика,
- Философская логика,
- История логики,
- Логика научного познания.
Основные мероприятия конференции планируется проводить в очном формате, отдельные заседания возможны в формате он-лайн.
Информация о конференции будет размещена на официальном сайте мероприятия http://www.smirnovreadings.ru
Материалы конференции будут опубликованы. Участники конференции предоставляют свои научные результаты в формате небольших статей в размере от 2 до 4 страниц выходного PDF файла (5000-10000 знаков стандартного неформульного текста). Статьи принимаются до 30 апреля 2025 года. Формат принимаемых файлов:
1) Тексты статей, содержащих формульные выражения, должны быть подготовлены только с помощью системы набора текста LaTeX (необходим исходный файл с расширением .tex), с использованием стилевого файла и инструкции для правильного оформления текста, размещенных на сайте конференции в разделе подача тезисов.
2) Текст без формульных выражений можно подготовить в формате MS Word. Авторы могут представить свои работы как на английском языке, так и на русском языке. Русскоязычный текст сопровождается также названием и аннотацией на английском языке (см. инструкцию). Обращаем ваше внимание на особенности в порядке проведения конференции.
Планируется выделение специальной подсекции, в рамках которой все выступающие будут делать доклады на английском языке.
После получения авторских статей вопрос о Вашем участии будет рассмотрен Программным комитетом. Программный комитет оставляет за собой право отклонять заявки, не соответствующие тематике конференции, а также редактировать присланные материалы при их подготовке к публикации. Участникам, чьи заявки прошли отбор, будет выслано официальное приглашение.
Подача статей. Статьи подаются через электронную почту smirnovreadings@philos.msu.ru
Персональные данные. Участники предоставляют в оргкомитет более детальные персональные данные, заполнив анкету участника, форму которой можно скачать на сайте конференции в разделе подача тезисов.
Контактная информация:
Адрес электронной почты Оргкомитета: smirnovreadings@philos.msu.ru
Телефон оргкомитета: +7 (495) 939-18-46
➰ ВК
31.03.202515:43
#матлог #конференция
CCR 2025: CALL FOR ABSTRACTS
========
18th International Conference on Computability, Complexity and Randomness (CCR 2025)
https://ccr2025.sciencesconf.org/
June 16-20, 2025, LaBRI, University of Bordeaux, France
========
TOPICS:
* Algorithmic randomness
* Computability theory
* Kolmogorov complexity
* Computational complexity
* Reverse mathematics and logic
========
SUBMISSION INFORMATION:
Authors are invited to submit an extended abstract of 1-2 pages on the conference website. Submissions can be done at any time and notification of acceptance or rejection will be sent shortly after submission. The deadline for submitting an abstract is April 30, 2025.
========
INVITED SPEAKERS:
* Elvira Mayordomo (Universidad de Zaragoza, Spain)
* Joseph Miller (University of Wisconsin–Madison, USA)
* Kenshi Miyabe (Meiji University, Japan)
* Raul Santhanam (Oxford University, UK)
* Andrea Sorbi (Università degli Studi di Siena, Italy)
========
SCIENTIFIC PROGRAM COMMITTEE:
* Laurent Bienvenu (CNRS & Université de Bordeaux, France), co-chair
* Satyadev Nandakumar (IIT Kanpur, India)
* Takako Nemoto (Tohoku University, Japan)
* Cristobal Rojas (Universidad Católica de Chile, Chile)
* Andrei Romashchenko (CNRS & Université de Montpellier, France)
* Paul Shafer (University of Leeds, UK), co-chair
* Sebastiaan Terwijn (Radboud University, Netherlands)
* Francesca Zaffora-Blando (Carnegie-Mellon University, USA)
========
LOCAL ORGANIZERS:
* Laurent Bienvenu
* Subin Pulari
* Ivan Titov
========
ABOUT THE CONFERENCE:
CCR 2025 is the 18th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Germany) and Nagoya (Japan).
This year's edition will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').
========
FUNDING:
Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following the instructions here: https://aslonline.org/student-travel-awards/
➰ ВК
CCR 2025: CALL FOR ABSTRACTS
========
18th International Conference on Computability, Complexity and Randomness (CCR 2025)
https://ccr2025.sciencesconf.org/
June 16-20, 2025, LaBRI, University of Bordeaux, France
========
TOPICS:
* Algorithmic randomness
* Computability theory
* Kolmogorov complexity
* Computational complexity
* Reverse mathematics and logic
========
SUBMISSION INFORMATION:
Authors are invited to submit an extended abstract of 1-2 pages on the conference website. Submissions can be done at any time and notification of acceptance or rejection will be sent shortly after submission. The deadline for submitting an abstract is April 30, 2025.
========
INVITED SPEAKERS:
* Elvira Mayordomo (Universidad de Zaragoza, Spain)
* Joseph Miller (University of Wisconsin–Madison, USA)
* Kenshi Miyabe (Meiji University, Japan)
* Raul Santhanam (Oxford University, UK)
* Andrea Sorbi (Università degli Studi di Siena, Italy)
========
SCIENTIFIC PROGRAM COMMITTEE:
* Laurent Bienvenu (CNRS & Université de Bordeaux, France), co-chair
* Satyadev Nandakumar (IIT Kanpur, India)
* Takako Nemoto (Tohoku University, Japan)
* Cristobal Rojas (Universidad Católica de Chile, Chile)
* Andrei Romashchenko (CNRS & Université de Montpellier, France)
* Paul Shafer (University of Leeds, UK), co-chair
* Sebastiaan Terwijn (Radboud University, Netherlands)
* Francesca Zaffora-Blando (Carnegie-Mellon University, USA)
========
LOCAL ORGANIZERS:
* Laurent Bienvenu
* Subin Pulari
* Ivan Titov
========
ABOUT THE CONFERENCE:
CCR 2025 is the 18th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), Lake Kochel (Germany) and Nagoya (Japan).
This year's edition will be colocated with the annual meeting of the French community in computability and related topics (`Journées Calculabilités').
========
FUNDING:
Funding opportunities for student members of the Association for Symbolic Logic (ASL) are available. Applications should be directed to the Association for Symbolic Logic three months prior to the meeting, following the instructions here: https://aslonline.org/student-travel-awards/
➰ ВК
31.03.202516:15
Увайдзіце, каб разблакаваць больш функцый.
