Голосование

Как часто Вы бы хотели принимать участие в работе системного семинара?
 


Штаксер Геннадий Владимирович

 

SHtakser

Штаксер Геннадий Владимирович – ученик А.И.Уемова и Л.Л.Леоненко, кандидат философских наук.

 

Специализация: Логическая формализация; элементарные теории, основанные на эквивалентностях.

 

Кандидатская диссертация: "Гносеологические характеристики метода формализации научных знаний" (Томск, 1988), научные руководители А.К.Сухотин и Б.В.Родос.

 

Биография: Закончил механико-математический факультет Одесского государственного университета (1979). Работал (1988 ‒ 1996) в отделе теории управления и системного анализа Одесского отделения института экономики АН УССР (зав. отделом - А.И.Уемов).

Основные публикации:

Операция отличения в языке описания систем // Системный метод и современная наука. ‒ Новосибирск: Изд-во Новосиб. ун-та, 1981. ‒ с.80-92 (в соавт. с Л.Л.Леоненко).

Связность как основное свойство формальных систем и их предметных приложений (на примере неклассической логики ЯТО) // Логика, методология, философия науки. ‒ Тезисы XI междунар. конф. ‒ Москва-Обнинск, 1995. ‒ с. 90-95.

Тождественные объекты и контексты мнения (решение проблем в рамках неклассической логики ЯТО) // Современная логика: проблемы теории, истории и применения в науке (памяти И. Н. Бродского и О. Ф. Серебрянникова). ‒ Тезисы науч. конф. ‒ Санкт-Петербург, СПбГУ, 1996. ‒ с.177-179.

К проблеме построения измерительной шкалы для определения степени целостности систем // Системные исследования. Методологические проблемы. Ежегодник 2002. ‒ М.: Едиториал УРСС, 2004. ‒ с. 7-33 (в соавт. с А.И.Уемовым).

К построению формальной семантики языка тернарного описания как семантики "выбора" // Параметрическая общая теория систем и ее применения (сборник трудов, посвященный 80-летию проф. А.И.Уемова). ‒ Одесса: "Астропринт", 2008. ‒ с. 54-70.

О "следах" отношений и рассуждениях посредством эквивалентностей // Философия математики: актуальные проблемы. ‒ Тезисы Второй междунар. науч. конф. ‒ М: МАКС Пресс 2009. ‒ с. 107-110 (в соавт. с Л.Л.Леоненко).

Альтернативный способ представления кванторов // Современная логика: проблемы теории и истории: Материалы XI Международной научной конференции. ‒Санкт-Петербург, 2010. ‒с. 463-465.

Tracks of relations and equivalences-based reasoning // Studia Logica, 2011, v.97(3), p. 385-413 (co-author L.Leonenko). (Электронная версия перевода на русский язык в формате doc).

Теоремы погружения для пропозициональных неклассических логик с кванторами по пропозициям и модели в эквивалентностях. ‒ "Седьмые Смирновские чтения по логике". ‒ Тезисы междунар. конф. ‒ М., 2011.

Об элементарной теории рассуждений посредством эквивалентностей и ее моделях. ‒ "Восьмые Смирновские чтения по логике". ‒ Тезисы междунар. конф. ‒ М., 2013.