Шалак Владимир Иванович

Профессиональная деятельность

• Ведущий научный сотрудник, руководитель сектора логики ИФ РАН

Научные публикации

Монографии

• Очерки по основаниям логики – М., 2017.
• Введение в логику для философов / Н.Е. Томова, В.И. Шалак – М., 2014.
• О понятии логического следования. – М., 2007.
• Логический анализ сети Интернет. – М.,2005.
• Современный контент-анализ: приложения в области политологии, социологии, психологии, культурологии, экономики и рекламы. – М.: Омега-Л, 2004.

Избранные статьи 

• Естественное обобщение тьюринговой модели вычислимости // Логические исследования / Logical Investigations. 2023. T. 29. № 2. С. 9–35. DOI: 10.21146/2074-1472-2023-29-2-9-35
• Минимальная логика для анализа технологий // Интеллектуальные системы. Теория и приложения. 2022. Т. 26. № 1. С. 436–439.
• О проблеме адекватного перевода логических текстов Аристотеля // Логико-философские штудии. 2022. Т. 20. № 2. С. 76–88. DOI: 10.52119/LPHS.2022.40.97.005.
• Об истоках множественности логик // Философский журнал. 2022. Т. 15. № 4. С. 88–97. DOI: 10.21146/2072-0726-2022-15-4-88-97.
• Телеология и целенаправленное поведение: логический анализ // Логические исследования. 2022. Т. 28. № 2. С. 9–39. DOI: 10.21146/2074-1472-2022-28-2-9-39.
• Алгоритмическая модель социальных процессов // Философские проблемы информационных технологий и киберпространства. 2021. № 1. С. 46–62. DOI: 10.17726/philIT.2021.1.3.
• Логика в онтологии процессов // Логич. исслед. / Logical Investigations. 2021. Т. 27 № 2. С. 48–65. DOI: 10.21146/2074-1472-2021-27-2-48-65.
• Аксиоматический метод // Электронная философская энциклопедия. 2020. Т. 9.
• «Сравнительный логический анализ субстанциальной и процессуальной онтологий» // Логич. исслед. / Logical Investigations. 2020. T. 26. № 2. С. 58‒86. DOI: 10.21146/2074-1472-2020-26-2-58-86.
• Алгоритмические явления в природе: модель объяснения // Вопр. философии. 2020. № 11. С. 120‒124. DOI: 10.21146/0042-8744-2020-11-120-124.
• Машина Тьюринга // Электронная философская энциклопедия. 2019. Т. 3. URL: https://www.elenph.org/library/collection/elphilenc/document/HASH01da89fe605d5da81ba2d0f9.
• О процессуальной логике // Вопр. философии. 2019. № 2. С. 35‒40. DOI: 10.31857/S004287440003872‒4.
• О статье А.В. Нехаева «Парадокс Ябло: Лжет ли нам бесконечный лжец?» // Epistemology & Philosophy of Science / Эпистемология и философия науки. 2019. Т. 56. № 3. С. 103‒109. DOI: 10.5840/eps201956352.
• Онтология и логика процессов // Филос. науки. 2019. Т. 62. № 6. С. 138‒150. DOI: 10.30727/0235‒1188‒2019‒62‒6‒138‒150.
• Тезис Пирса: логический анализ и онтологические следствия // Логич. исслед. / Logical Investigations. Т. 25. № 2. С. 138‒163. DOI: 10.21146/2074‒1472‒2019‒25‒2‒138‒163.
• Слабое отношение следования между ламбда-термами // Логич. исслед. / Logical Investigations. 2018. Т. 24. № 2. С. 151-157.
• Анализ vs дедукция // Логич. исслед. / Logical Investigations. 2018. Т. 24. № 1. С. 26-45.
• Логика – территория сомнений // Современная логика: основания, предмет и перспективы развития. Сборник научных статей. М.: ИД "Форум". 2018. С. 83-95.
• Some Remarks on A. Tamminga’s Paper “Correspondence Analysis for Strong Three-valued Logic” // Логич. исслед. / Logical Investigations. 2017. Vol. 23. No. 2. P. 96–97. DOI: 10.21146/2074-1472-2017-23-2-96-97.
• Аналитический подход к решению задач // Логич. исслед. / Logical Investigations. 2017. Т. 23. № 1. С. 121-139.
• Логицизм. Сто лет спустя // Логико-философские штудии. СПб.: изд-во РХГа, 2016. Вып. 14. С. 61-69.
• Социальное программирование // SocioTime / Социальное время. 1(5), 2016. С. 51-60.
• О теориях первого порядка, которые могут быть представлены посредством определений. // Логич. исслед. / Logical Investigations. 2016. Т. 22. № 1. С. 125–135.
• О некоторых теориях первого порядка, которые могут быть представлены посредством определений. // Доклад на международной конференции IX Смирновские чтения, 17-19 июня 2015 г., Москва.
• On the definitional embeddability of the combinatory logic theory into the first order predicate calculus // Логич. исслед./Logical Investigations. 2015. Т. 21. № 2. С. 9–14.
• On the definitional embeddability of some elementary algebraic theories into the first-order predicate calculus // Логич. исслед./Logical Investigations. 2015. Т. 21. № 2. С. 15–20.
• Синтаксическая интерпретация категорических атрибутивных высказываний // Логич. исслед./Logical Investigations. 2015. № 21 (1). С. 60–78.
• On some applied first-order theories which can be represented by definitions // Bulletin of the Section of Logic. 2015. 44/1–2. P. 19–24.
• Протологика и ее структура // Логические исследования. Вып. 20. М.-СПб.: ЦГИ, 2014. C. 198-212.
• Точки сингулярности // Эпистемология & философия науки. 2013. Т. XXXV. № 1. С. 95–97.
• Semiotic foundations of logic // Logical Investigations. Vol. 19 (Special Issue). M.­ Spb.: C.G.I., 2013. P. 225-237.
• Логика функционального следования // Логические исследования. Вып. 18. М.-СПб.: ЦГИ, 2012. C. 234-238.
• On relational and functional languages // Logic and Logical Philosophy. 2012. Vol. 21. №1. P. 25–32.
• Semiotic foundations of logic // Логика, язык и формальные модели. СПб.: Санкт-Петербургский гос. университет,  2012. С. 232–237.
• Теорема Чейтина. // Доклад на заседании научного семинара сектора логики Института философии РАН апрель 2012.
• О генетическом методе // Логические исследования. Вып.17. М.-СПб.: ЦГИ, 2011. - С. 281-292.
• Два подхода к построению логики. // Логические исследования. Вып.17. М.-СПб.: ЦГИ, 2011. - С. 269-280.
• Автореферат докторской диссертации "Протологика: новый взгляд на природу логического", 2010.
• Доклад на заседании научного семинара сектора логики Института философии РАН 6 мая 2010 г.
• Логика функций vs логика отношений // Логические исследования. Вып.16. М.: Наука, 2010. - С.259-271.
• Лингвистический априоризм // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XIX. М., 2009. - С. 104-114.
• Протологика // Вестник ВятГГУ. 2009, № 1(1). - С. 12-17.
• Логика апорий // Полигнозис. 2009, №1. - С.25-31.
• Шейнфинкель и комбинаторная логика // Логические исследования. Вып.15. -М.: Наука, 2009. - С. 247-265.
• Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. - М.: Наука, 2009. - С. 266-283.
• О скрытых математических структурах языка // Полигнозис. 2008, №3. - С. 31-36.
• Канон и органон // Эпистемология & философия науки. 2008, Т.XIV, №4. - С. 210-217.
• Против апорий// Противоположности и парадоксы. М.: "Канон+" РООИ "Реабилитация", 2008. - С.189-204.
• О понятии доказательства // Логические исследования. Вып.14. М.: Наука, 2007. - С.301-305.
• Логика термов // Логические исследования. Вып.14. М.: Наука, 2007. - С. 286-300.
• Об альтернативном определении логического следования// Эпистемология & философия науки. 2007, Т. XIII, №3, - С.199-205.
• О логическом следовании // Вестник МГУ, Серия 7: Философия. N5. 2007. С.89-100.
• Альтернативная теория следования// Логические исследования. Вып.13. – М.: Наука, 2007.
• Логическая модель сети Интернет// Труды научно-исследовательского семинара логического центра Института философии РАН 2006. – М., 2007.
• О понятии логического следования// Логические исследования. Вып.13. – М.: Наука, 2006.
• Логика абелевых групп// Логические исследования. Вып.11. – М.: Наука, 2004.
• Логика групп и свободные группы// Логические исследования. Вып.11. – М.: Наука, 2004.
• Логика групп// Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. . – М., 2004.
• Реляционная интерпретация классической логики высказываний// Труды научно-исследовательского семинара Логического центра Института философии РАН 1999. – М.
• Теория пропозициональных программ II// Логические исследования. Вып.5. - М.: Наука, 1998 г.
• Теория пропозициональных программ// Труды научно-исследовательского семинара логического центра Института философии РАН 1997. – М., 1998.
• Реляционная интерпретация классической логики высказываний// Труды научно-исследовательского семинара логического центра Института философии РАН 1998. – М., 1999.
• Динамическая интерпретация высказываний// Логические исследования. Вып.2. – М.: Наука, 1993
• Силлогистика, логика предикатов, модальная логика и автоматическое доказательство теорем// "Логические методы в компьютерных науках". – Труды научно-исследовательского семинара по логике Института философии АН СССР, Москва, 1991.
• На пути к категорной характеризации релевантной логики // "Синтаксические и семантические исследования неэкстенсиональных логик" – М.: Наука, 1989.

Публикации на Интернет-сайте http://www.vaal.ru

Конференции

• «Философское и прикладное значение нетьюринговой вычислимости», секционный доклад на Международной научной конференции «Третьи Степинские чтения», Москва, 20–21 июня 2023 г.
• «Обобщение тьюринговой модели вычислимости», секционный доклад на Международной научной конференции «Тринадцатые Смирновские чтения», Москва, 22–24 июня 2023 г.
• «Искусственный Интеллект и избавление от иллюзий», пленарный доклад на Всероссийской конференции XIX Таврические философские чтения «Анахарсис», Республика Крым, Новый Свет, 13–15 сентября 2023.
• «Об истоках множественности логик». Всероссийская конференция XIX Таврические философские чтения «Анахарсис», 14–16 сентября 2022, Республика Крым, г. Судак, пос. Новый Свет. Программа конференции.
• «О проблеме адекватного перевода логических текстов Аристотеля». Международная конференции «Смысл и смыслообразование», 2–4 июня 2022, СПб ГУ.
• «К проблеме адекватного перевода логических текстов Аристотеля». Всероссийская научная конференция «Философия перед лицом новых цивилизационных вызовов», посвященная 80-летнему юбилею воссоздания философского факультета в структуре Московского университета, доклад , 4–5 февраля 2022 г., Москва. Программа конференции.
• Алгоритмы в природе // Двенадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 24–26 июня 2021 г. М., 2021. С. 151-153.
• О понятии физического алгоритма // Восьмой Российский Философский Конгресс «Философия в полицентричном мире». Секции (I). М.: Логос; Новые печатные технологии, 2020. С. 222–225.
• Логический анализ онтологии процессов // Наука как общественное благо: сб. научн. ст. / Научн. ред. и сост. И.Т. Касавин, Л.В. Шиповалова. В 7 т. Т. 4. М.: Русское общество истории и философии науки, 2020. С. 244‒246.
• Тезис Пирса: логический анализ, эпистемические и онтологические следствия // Одиннадцатые Смирновские чтения: материалы Междунар. науч. конф., Москва, 19–21 июня 2019 г. М., 2019. С. 91-92.
  
• Три парадигмы логики // Материалы всероссийской конференции XIV Таврические философские Чтения «Анахарсис», Симферополь: ИТ «АРИАЛ», 2018. С. 191-194.
• В поисках совершенного языка. Текст выступления на конференции «Горизонты логического плюрализма» 24 ноября 2018 г.
• Аналитические таблицы для поиска гипотез. Логико-философские штудии. Том 16, № 1-2. 2018. С.133-134.
• Виды дедуктивных задач и их решение // 10-е Смирновские чтения: материалы Междунар. науч. конф. (г. Москва, 15–17 июня 2017 г.). М., 2017. С. 121–123.
• Обманчивая простота логики Аристотеля // Аристотелевское наследие как конституирующий элемент европейской рациональности. Материалы Моск. международ. конф. по Аристотелю (г. Москва, 17–19 окт. 2016 г.) / Под общ. ред. В.В. Петрова. М.: Аквилон. 2017. С. 399–40
• Дедуктивный анализ планирования действий // Логико-философские штудии. 2016. Т. 13. № 2.
• First-order theories which are definitionally embeddable into predicate calculus // 9-е Смирновские чтения: материалы Междунар. науч. конф. (г. Москва, 17–19 июня 2015 г.). М., 2015. С. 46–48.
• Сравнительный анализ различных подходов к построению логики (Восьмые Смирновские чтения: Междунар. науч. конф., Москва, 19-21 июня 2013 г.).
• Универсальность логических принципов // Седьмые Смирновские чтения по логике. Материалы международной конференции 22-24 июня 2011 г. М.: Современные тетради, 2011. С. 117.
• Функции vs отношения. // Материалы XI международной научной конференции «Современная логика: проблемы теории и истории». Спб., 2010. С. 262-265.
• О белых пятнах в логике // Шестые Смирновские чтения по логике (Материалы Междунар. научн. конф., Москва, 17–19 июня 2009 г.). М., 2009. С. 110.