November 28th, 2021

Сознание. Язык. Мозг. Коллективная монография

Сознание. Язык. Мозг. Коллективная монография / Под ред.
Е.Ф. Тарасова, И.В. Журавлева. – М.: Институт языкознания РАН,
2020. – 180 с.
https://iling-ran.ru/library/psylingva/soznanie_jazyk_mozg.pdf

Mobilis in mobili: личность в эпоху перемен
/ Под общ. ред. Александра Асмолова
https://psy.su/mod_files/additions_1/fle_file_additions_1_8075.pdf

Аксиоматическая архитектура научных теорий.

сам смотрел мельком

—-
Андрей Родин

December 22, 2020
Аксиоматическая архитектура научных теорий
Filed under: Uncategorized — Andrei Rodin @ 8:35 pm
В среду 23 декабря 2020 я (Андрей Родин) защитил в Санкт-Петербургском государственном университете докторскую диссертацию на тему указанную в заголовке этого поста. Отзывы членов диссертационного совета (всего 7) и сам текст диссертации доступны здесь
http://philomatica.org/
---

Аксиоматическая архитектура научных теорий.
(на русском с 251стр)
https://disser.spbu.ru/zashchita-uchenoj-stepeni-spbgu/369-andrei-v-rodin.html
Родин Андрей Вячеславович / Andrei V. Rodin
Дата публикации: 17 июня 2020.
Диссертация на соискание ученой степени доктора философских наук /

---
Аксиоматическая архитектура научных теорий.

Выкладываю также полный текст моего доклада
и полную видеозапись защиты: русская версия (оригинал) и english version (translation).
http://philomatica.org/2020/12/аксиоматическая-архитектура-научных/

--
Родин Диссер Аксиоматическая архитектура научных теорий на русском с 251стр disser_rodin.pdf

Преимущество предлагаемого в диссертации подхода состоит в том, что он предполагает использование новых логико-математических средств для своей реализации, включая гомотопическую теорию типов.

Стандартный семантический подход использует аксиоматический метод в стиле Бурбаки, который позволяет отвлечься от синтаксических деталей теории только за счет отказа от строгого формального контроля за рассуждениями.

Описанный в диссертации конструктивный метод аксиоматического представления теорий не требует такого компромисса и допускает возможность вычислительной реализации позволяющей проводить формальную компьютерную проверку рассуждений и поддерживать другие функции, требующие использования компьютера. Кроме того, предложенный в диссертации “конструктивный взгляд” на теории, как уже было сказано, позволяет формально представлять и рассматривать в качестве полноправных элементов теории внелогические методы обоснования теоретических утверждений, которые играют важную роль в математизированных естественных науках.
---

Интересный доклад
http://philomatica.org/2018/10/

Логическая и экстра-логическая теоретико-доказательная семантика в гомотопической теории типов
Андрей Родин. 7 марта 2019 г
http://philomatica.org/wp-content/uploads/2018/10/pts_piter.pdf
---

Доклад по диссеру.
—-
Уважаемые члены Диссертационного Совета, уважаемые Коллеги, Дамы и Господа

Предложенный в диссертации конструктивный подход к аксиоматизации научных теорий продолжает и развивает так называемый “семантический взгляд” на теории, который также называют “не-пропозициональным”. Этот подход был в 1950-х годах инициирован Патриком Суппесом, и в настоящее время разделяется рядом ведущих философов науки включая Баса ван Фраассена.

Главный тезис “семантического” подхода состоит в том, что научную теорию нужно отождествлять не с дедуктивно упорядоченной системой высказываний, как это и сегодня обычно делается в математической и философской логике, а с некоторым классом моделей, который, вообще говоря, может допускать разные синтаксические представления и разные варианты аксиоматизации.

http://philomatica.org/wp-content/uploads/2020/12/speech.pdf
—-

Сломался архиватор жж.

У меня есть архиватор жж "ljarchive", синхронизирует жж в локальный файл вместе с комментариями, дает возможность просмотра, поиска и перехода в онлайн на оригинальную страницу.
Мне было удобно пользоваться.
Некоторое время назад перестали скачиваться/синхронизироваться комментарии, видимо ЖЖ изменил что-то.
Раньше я литературу и не слишком важные мысли, заметки и цитаты писал в комментариях к постам тематически. Сейчас комменты не скачиваются.
Извините, вынужден писать в основные посты, что вносит некий хаос.