Научный отчет за 2013 год

Кафедра истории и философии науки

Зав. кафедрой – доктор филос. наук В.Л. Васюков

Если мыслить – значит вычислять (о чем говорил еще Юм), то машина Тьюринга, описывающая эти вычисления, переходит от символа к символу каузально, образуя цепи умозаключений, составляющих мышление. Концепция неклассической машины Тьюринга и связанных с ней обобщенных рекурсивных вычислений дает новые возможности описания ментальных вычислений. С ее помощью удалось получить ряд новых понятий (в частности, понятия возможных и релевантных рекурсивных вычислений), позволяющих более гибко и широко рассматривать аспекты сознания с точки зрения функционалистской парадигмы (Васюков В.Л. Сознание и ментальные вычисления).

Теоретико-игровую семантику для бесконечнозначной логики Лукасевича и некоторых ее расширений можно расширить и на случай модальной квантовой логики Дишканта, представляющей собой модальное расширение логики Лукасевича. С этой целью были использованы идеи К.Фермюллера и Р.Косика, предложивших теоретико-игровую интерпретацию модального расширения логики Лукасевича. В случае с логикой Дишканта полученная семантика не является семантикой квантовых игр, но скорее семантикой классических игр, имитирующих свойства микропроцессов в макромире (Васюков В.Л. (Vasyukov V.L.). Dialogue Games For Dishkant's Quantum Modal Logic).

Обоснована идея о социальной значимости персональной модернизации, проблематизирующей взаимодействие человека с исторически изменяющимися социальными институтами (Веряскина В.П. Персональная модернизация и последствия современности).