Про знаменитості
Маркін Володимир Ілліч: біографія
День народження 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;