Markin, Vladimír Iljič

Vladimir Iljič Markin (narozen 9. května 1958 , Sevastopol , Ukrajinská SSR , SSSR ) je ruský filozof , logik , doktor filozofie (1997), učitel , profesor na Moskevské státní univerzitě Lomonosova (2001), od roku 2003 je vedoucím katedry Katedry logiky Filosofické fakulty Moskevské státní univerzity pojmenované po M. V. Lomonosovovi . Působil jako zástupce děkana Filosofické fakulty pro výzkum.

Životopis

V roce 1980 promoval na Filosofické fakultě Moskevské státní univerzity pojmenované po M. V. Lomonosovovi , v roce 1983 absolvoval postgraduální studium na katedře logiky Filosofické fakulty Moskevské státní univerzity. Na katedře působí od roku 1984, v současnosti je profesorem (2001). V roce 1984 obhájil disertační práci na téma "Logiko-sémantická analýza vnitřních modalit" a v roce 1997 doktorskou disertační práci na téma "Studium sylogistických teorií pomocí symbolické logiky".

Vědecká a pedagogická činnost

Člen redakční rady časopisu Věstník MGU . Řada "Philosophy", elektronický časopis "Logical Studies" a ročenka "Logical Studies" . Publikoval více než 70 vědeckých prací. Předmětem vědeckého bádání je sylogistika, modální logika, logické systémy N. A. Vasiljeva , teorie konceptů, počítačové aplikace logiky.

Hlavní vědecké výsledky: vybudování řady logických systémů s modalitami de re a relační a sousedskou sémantikou možných stavů jedinců adekvátních těmto systémům, objasnění různých typů vlastností pomocí těchto sémantik; provedl moderní formální rekonstrukci známých sylogistických teorií - pozitivní fragmenty sylogistiky Brentano-Leibniz, Bolzano, Lewis Carroll, aristotelské a tradiční varianty singulárního negativního sylogistického, apodiktického fragmentu Aristotelovy modální sylogistiky; pro širokou třídu sylogistických systémů dokázal teorémy o jejich ponoření do moderního logického počtu; vybudoval zobecněnou pozitivní sylogistiku s úplným systémem sylogistických konstant, v jejím rámci jsou vyjádřitelné všechny možné objemové vztahy mezi dvěma členy; spolu s T. P. Kostyukem formalizovali imaginární logiku N. A. Vasiljeva a jeho asertorickou sylogistiku; pod vedením V. A. Smirnova (a za účasti A. V. Smirnova a A. E. Novodvorského) vytvořil první kurz deduktivní logiky v Rusku s podporou počítačového programu pro interaktivní vyhledávání inferencí. Čte obecné kurzy přednášek z logiky pro studenty FF a Psychologické fakulty, speciální kurzy "Symbolická logika", "Základy teorie důkazů", "Hledání inference v logickém počtu", "Modální logika", „Sylogistické teorie“. Připravili 4 kandidáty věd.

Spisy a publikace

• Věta o úplnosti v logice vnitřních modalit // Metodika rozvoje vědeckého poznání. M., 1982;
• Sémantika sousedství pro modality de ne // Modální a relevantní logiky. M., 1982;
• Sémantický důkaz vnořitelnosti některých systémů sylogistiky do predikátového počtu // Logical Studies. M., 1983;
• Sémantická analýza Aristotelovy apodiktické sylogistiky // Aristotelova logika. Tbilisi, 1985;
• Typologie znaků, modality de ge a sémantika možných stavů objektů // Moderní logika a metodologie vědy. M., 1987;
• Sylogistika a moderní logika. (Spoluautor s V. A. Bocharovem ) // Bulletin Moskevské státní univerzity. Série "Filozofie". 1987. č. 4;
• Formalizace nearistotelských sylogismů // Ingencionální logika a logická struktura teorií. Tbilisi, 1988;
• Filosofický a metodologický význam logiky. (Spoluautor E. K. Voishvillo ) // Otázky filozofie. 1988. č. 2;
• Sylogistické teorie v moderní logice // M., 1991;
• Syllogistické teorie a predikátový počet (část 1) // Logické studie. M., 1993. Vydání. jeden;
• Základy logiky. Učebnice. (Spoluautor s V. A. Bocharovem) // M., 1994;
• Důkaz a jeho hledání. Logika a počítač. (Spoluautor s V. A. Smirnovem, A. E. Novodvorským, A. V. Smirnovem) // Logický výzkum. M., 1996. Vydání. 3;
• Singulární negativní sylogistika Aristotela a volná logika // Logické výzkumy. M., 1997. Vydání. čtyři;
• Formální dekonstrukce tradiční singulární negativní syllogistiky // Logické studie. M., 1998. Vydání. 5;
• Generalized positive syllogistic // Logical research. M., 1999. Vydání. 6;
• Imaginární logika-2: rekonstrukce jedné z variant slavného logického systému N. A. Vasiljeva // Sborník výzkumného centra Fyzikálního ústavu Ruské akademie věd. M., 1999;
• Ponoření imaginární logiky N. A. Vasiljeva do kvantifikátorové trojhodnotové logiky // Logical researches. M., 2000. Vydání. 7;
• Intenzionální sémantika tradiční sylogistiky // Logické výzkumy. M., 2001. Vydání. osm;
• Základní sylogistika z intenzionálního hlediska // Logické studie. M., 2002. Vydání. 9.

Odkazy

• Katedra logiky, Filosofický ústav RAS, časopis "Logical Research"  s bibliografickým rejstříkem
• Archiv časopisu "Logical Research (vydání 1-7) na webu ILKiRL
• Webové stránky Moskevské státní univerzity Lomonosova
• Webové stránky Filosofické fakulty Lomonosovovy moskevské státní univerzity
• Webové stránky katedry logiky Filosofické fakulty Lomonosovovy moskevské státní univerzity
• Obsahem učebnice „Základy logiky“, ed. 1997

Tematické stránky	Matematická genealogie
V bibliografických katalozích	VIAF : 62144648423488918416 WorldCat VIAF : 62144648423488918416

1. ↑ Matematická genealogie  (anglicky) - 1997.