Наши проекты:

Про знаменитості

Маркін Володимир Ілліч: біографія


Маркін Володимир Ілліч біографія, фото, розповіді - російський філософ, логік, доктор філософських наук
День народження 09 травня 1958

російський філософ, логік, доктор філософських наук

Біографія

У 1980 році закінчив Філософський факультет МДУ імені М. В. Ломоносова, в 1983 році - аспірантуру кафедри логіки Філософського факультету МДУ. З 1984 працює на цій кафедрі, в даний час - у званні професора (2001). У 1984 році захистив кандидатську дисертацію на тему «Логіко-семантичний аналіз внутрішніх модальностей», а в 1997 році - докторську дисертацію на тему «Дослідження силогістичних теорій засобами символічної логіки».

Наукова та викладацька діяльність

  • В. І. Маркін- член редколегії журналу «Вісник МГУ. Серія "Філософія" », електронного журналу« Logical Studies »і щорічника« Логічні дослідження ». Опублікував більше 50 наукових робіт
  • Викладацька діяльність: В. І. Маркін читає загальні курси лекцій з логіки для студентів філософського факультету та факультету психології, спецкурси «Символічна логіка», «Основи теорії доказів »,« Пошук виведення в логічних численнях »,« Модальна логіка »,« силогістичні теорії ». Підготував 2 кандидатів наук.
  • Предмет наукових досліджень- сіллогістіка, модальна логіка, логічні системи Н. А. Васильєва, теорія поняття, комп'ютерні програми логіки.
  • Головні наукові результати: побудував низку логічних систем з модальностями de re і адекватні цим системам реляційні та окрестностние семантики можливих станів індивідів, засобами даних семантик здійснив експлікацію різних типів ознак; здійснив сучасну формальну реконструкцію відомих силогістичних теорій - позитивних фрагментів силлогистики Брентано-Лейбніца, Больцано, Льюїса Керролла, арістотелівського і традиційного варіантів сингулярної негативної силлогистики, аподиктическому фрагмента модальної силлогистики Арістотеля; для широкого класу силогістичних систем довів теореми про погружаемості їх у сучасні логічні числення; побудував узагальнену позитивну сіллогістіку з повною системою силогістичних констант, в її рамках виразність всі можливі об'ємні відносини між двома термінами; спільно з Т. П. Костюк здійснив формалізацію уявної логіки Н. А. Васильєва та його ассерторіческой силлогистики; під керівництвом В. А. Смирнова (та за участю А. В. Смирнова і А . Е. Новодворського) створив перший у Росії курс дедуктивної логіки при підтримці комп'ютерної програми інтерактивного пошуку виведення.

Твори та публікації

  • Основи логіки. Підручник. (У співавторстві з В. А. Бочаровим) / / М., 1994;
  • інтенсіональні семантика традиційної силлогистики / / Логічні дослідження. М., 2001. Вип. 8;
  • Теорема повноти в логіці внутрішніх модальностей / / Методологія розвитку наукового знання. М., 1982;
  • сіллогістіка і сучасна логіка. (У співавторстві з В. А. Бочаровим) / / Вісник МГУ. Серія «Філософія». 1987. № 4;
  • Доказ і його пошук. Логіка і комп'ютер. (У співавторстві з В. А. Смирновим, О. Є. Новодворський, А. В. Смирновим) / / Логічні дослідження. М., 1996. Вип. 3;
  • силогістичні теорії та обчислення предикатів (Частина 1) / / Логічні дослідження. М., 1993. Вип. 1;
  • Формалізація неарістотелевскіх сіллогісчік / / Інгенсіональние логіки і логічна структура теорій. Тбілісі, 1988;
  • Фундаментальна сіллогістіка з інтенсіональні точки зору / / Логічні дослідження. М., 2002. Вип. 9.
  • Узагальнена позитивна сіллогістіка / / Логічні дослідження. М., 1999. Вип. 6;
  • силогістичні теорії в сучасній логіці / / М., 1991;
  • сингулярна негативна сіллогістіка Арістотеля і вільна логіка / / Логічні дослідження. М., 1997. Вип. 4;
  • Формальна деконструкція традиційної сингулярної негативної силлогистики / / Логічні дослідження. М., 1998. Вип. 5;
  • Семантичне доказ погружаемості деяких систем силлогистики в числення предикатів "/ / М., 1983;
  • Занурення уявної логіки Н. А. Васильєва в кванторное тризначну логіку / / Логічні дослідження. М., 2000. Вип. 7;
  • Філософська та методологічне значення логіки. (У співавторстві з Є. К. Войшвилло) / / Питання філософії. 1988. № 2;
  • Уявна логіка-2: реконструкція одного з варіантів знаменитої логічної системи Н. А. Васильєва / / Праці науково-дослідного центру ІФ РАН. М., 1999;
  • Семантичний аналіз аподиктическому силлогистики Арістотеля / / Логіка Арістотеля. Тбілісі, 1985;
  • Окрестностная семантика для модальностей de ге / / Модальні та релевантні логіки. М., 1982;
  • Типологія ознак, модальності de ге і семантика можливих станів об'єктів / / Сучасна логіка і методологія науки. М., 1987;

Комментарии

Сайт: Википедия