Научная тема: «ПРОТОЛОГИКА: НОВЫЙ ВЗГЛЯД НА ПРИРОДУ ЛОГИЧЕСКОГО»
Специальность: 09.00.07
Год: 2010
Отрасль науки: Философские науки
Основные научные положения, сформулированные автором на основании проведенных исследований:
  1. Выразительные возможности языка логики предикатов первого порядка практически не отличаются от выразительных возможностей языка первого порядка с единственным предикатом равенства и функциональными символами.
  2. Выразительные возможности языка логики предикатов первого порядка практически не отличаются от выразительных возможностей языка функциональных символов и одноместных предикатов.
  3. На уровне абстрактной теории знаков существуют богатые по своим выразительным возможностям структуры, которые могут быть отнесены к логике.
  4. Детерминационные связи, существующие между выражениями языка в силу одной лишь их знаковой природы, налагают ограничения на возможные способы оперирования ими. Будучи независимыми от возможных интерпретаций языка, они могут рассматриваться как основа протологических рассуждений.
  5. Первый вид связей между выражениями языка имеет место в силу их иерархической композициональной структуры.
  6. Второй вид связей обусловлен существованием традиционно относимой к логике операции определения-сокращения, побочным эффектом которой является введение новых абстрактных объектов мысли.
  7. Идеальная знаковая деятельность логического субъекта, осуществляемая на уровне протологических связей между выражениями языка, уже содержит в себе все необходимые элементы эффективной вычислимости.
Список опубликованных работ
Монографии

1.Шалак В.И. Логический анализ сети Интернет. М.: ИФРАН, 2005. 96 с. (3,3 а.л.)

2.Шалак В.И. О понятии логического следования. М.: ИФРАН, 2007. 170 с. (4,8 а.л.)

Статьи в периодических изданиях, рекомендованных ВАК

3.Шалак В.И. Об альтернативном определении логического следования // Эпистемология & философия науки. 2007, Т.XIII, №3. С. 199-205. (1 а.л.)

4.Шалак В.И. О логическом следовании // Вестник МГУ, Серия 7: Философия. N5. 2007. (0,71 а.л.)

5.Шалак В.И. О скрытых математических структурах языка // Полигнозис. 2008, №3. С. 31-36. (0,42 а.л.)

6.Шалак В.И. Канон и органон // Эпистемология & философия науки. 2008, Т.XIV, №4. С. 210-217. (0,46 а.л.)

7.Шалак В.И. Протологика // Вестник ВятГГУ. 2009, № 1(1). С. 12-17. (0,55 а.л.)

8.Шалак В.И. Логика апорий // Полигнозис. 2009, №1. С.25-31. (0,54 а.л.)

Статьи

1.Шалак В.И. Квантитативное расширение логики // Материалы IX Общероссийской научной конференции. Санкт-Петербург, 22-24 июня 2006 г. СПб., 2006. С. 400-402. (0,15 а.л.)

2.Шалак В.И. Логическая модель сети Интернет // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVIII. М., 2006. С. 134-144. (0,45 а.л.)

3.Шалак В.И. Альтернативное определение логического следования // Логические исследования. Вып.13. М.: Наука, 2006. С. 274-286. (0,65 а.л.)

4.Шалак В.И. Логика альтернативного отношения следования // Логические исследования. Вып.13. М.: Наука, 2006. С. 287-304. (0,7 а.л.)

5.Шалак В.И. Логический анализ апорий Зенона // "Смирновские чтения по логике", конф. (2007; Москва). 5-я конференция "Смирновские чтения по логике", 20-22 июня 2007 г. С. 164-165. (0,1 а.л.)

6.Шалак В.И. Логика термов // Логические исследования. Вып.14. М.: Наука, 2007. С. 286-300. (0,49 а.л.)

7.Шалак В.И. Логико-лингвистическое уточнение понятия вычислимости // Тезисы: X Общероссийской научной конференции, С-Петербург, 26-28 июня 2008 г. С.404-407. (0,14 а.л.)

8.Шалак В.И. Против апорий // Противоположности и парадоксы. М.: "Канон+" РООИ "Реабилитация", 2008. С.189-204. (0,66 а.л.)

9.Шалак В.И. Шейнфинкель и комбинаторная логика // Логические исследования. Вып.15. - М.: Наука. С. (0,65 а.л.)

10.Шалак В.И. Логический анализ дефинициальной дедукции // Логические исследования. Вып.15. - М.: Наука. С. (0,71 а.л.)

11.Шалак В.И. О белых пятнах в логике // "Шестые Смирновские чтения по логике". Материалы международной научной конференции 17-19 июня 2009 г. С.110. (0,05 а.л.)

12.Шалак В.И. Лингвистический априоризм // Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XIX. М., 2009. С. 104-114. (0,4 а.л.)

13.Шалак В.И. Логика функций vs логика отношений // Логические исследования. Вып.16. М.: Наука. С. (0,46 а.л.)