Fwd: [SOCIAL]Logical Perspectives 2025: Open Lectures
Alexander Shen
This is also Monday (but mostly earlier)
-------- Forwarded Message --------
| Subject: | [SOCIAL]Logical Perspectives 2025: Open Lectures |
|---|---|
| Date: | Thu, 4 Sep 2025 15:11:25 +0300 |
| From: | Stanislav Speranski <katze...@gmail.com> |
| To: | Mathlogic-Moscow <mathlogi...@googlegroups.com> |
Дорогие
коллеги,
Ниже приведена информация о мероприятии "Logical
Perspectives 2025:
Open Lectures", которое будет проходить 8
и 15 сентября. См. также
https://www.mathnet.ru/rus/conf2625
Обращаю ваше внимание, что доклад
Александра Разборова состоится
*очно* в МИАН (с параллельной
онлайн-трансляцией).
---
The Logical
Perspectives event
series aims at bringing together distinguished
logicians to present their perspectives on the
future of the field and to discuss major open
problems. In particular, it includes a series of
online events, called Open
Lectures. The first and second editions of the Open
Lectures were held back in 2020 and 2022. The third
edition will be held in September
2025. It will include three lectures, which
are intended for a broad audience, and there will
be ample time for discussion after each lecture.
In
order to participate in the event, please fill
in the registration
form.
The schedule is as follows. Note that Time is UTC+3
(Moscow).
%%%
Monday, September 8
16:00–17:15 — Alexander Razborov (University of Chicago, Steklov Mathematical Institute): Propositional Proof Complexity — on-site + online
Propositional proof complexity studies efficient provability of quantifier-free statements in various proof systems and under various notions of efficiency. In this talk I will attempt to convey some of its basic concepts, ideas and results, including numerous connections to other areas in logic, theoretical computer science and beyond.
17:15–17:45 — Discussion
Monday, September 15
16:00–17:15 — Harvey Friedman (Ohio State University): Foundational Adventures — online
I am a foundationalist. I will talk about my foundational adventures from ages 7–77, in mathematics, piano, and chess. As expected, ambitions go far beyond limited achievements. The foundations of mathematics, by far the most highly developed and successful corner of foundations (with foundations of computer science a distant second), has a great future not only in and of itself, but also as a guiding force to ignite the other comparatively backwards foundational enterprises.
17:15–17:45 — Discussion
17:45–18:00 — Break
18:00–19:15 — Walter Carnielli (State University of Campinas): Negation, Denial, Falsity, Inconsistency, and Counterevidence: Some Informal and Formal Perspectives — online
While the Western tradition often treats the elusive notion of negation as secondary to affirmation, Eastern traditions regard emptiness or non-being as more fundamental. This talk examines negation, denial, consistency, inconsistency, evidence, and counterevidence through contemporary systems such as intuitionistic, paraconsistent, and modal logics, as well as logics of evidence and truth, trying to illuminate the structure of negation and its broader role in reasoning.
19:15–19:45 — Discussion
%%%
Вы получили это сообщение, поскольку подписаны на группу "Mathlogic-Moscow".
Чтобы отменить подписку на эту группу и больше не получать от нее сообщения, отправьте письмо на электронный адрес mathlogic-mosc...@googlegroups.com.
Чтобы посмотреть обсуждение, перейдите по ссылке https://groups.google.com/d/msgid/mathlogic-moscow/CACNDFM%3DJkySoLc4H%2B4P%2BonFuAah7HdGkMK9H4ZcaATwp8CQssg%40mail.gmail.com.