- Выразительные возможности языка логики предикатов первого порядка практически не отличаются от выразительных возможностей языка первого порядка с единственным предикатом равенства и функциональными символами.
- Выразительные возможности языка логики предикатов первого порядка практически не отличаются от выразительных возможностей языка функциональных символов и одноместных предикатов.
- На уровне абстрактной теории знаков существуют богатые по своим выразительным возможностям структуры, которые могут быть отнесены к логике.
- Детерминационные связи, существующие между выражениями языка в силу одной лишь их знаковой природы, налагают ограничения на возможные способы оперирования ими. Будучи независимыми от возможных интерпретаций языка, они могут рассматриваться как основа протологических рассуждений.
- Первый вид связей между выражениями языка имеет место в силу их иерархической композициональной структуры.
- Второй вид связей обусловлен существованием традиционно относимой к логике операции определения-сокращения, побочным эффектом которой является введение новых абстрактных объектов мысли.
- Идеальная знаковая деятельность логического субъекта, осуществляемая на уровне протологических связей между выражениями языка, уже содержит в себе все необходимые элементы эффективной вычислимости.
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 а.л.)