Markin, Vladimir Ilici

Vladimir Ilici Markin (n . 9 mai 1958 , Sevastopol , RSS Ucraineană , URSS ) este un filosof rus , logician , doctor în filozofie (1997), profesor , profesor la Universitatea de Stat Lomonosov din Moscova (2001), din 2003 este șef. al departamentului Departamentul de logică , Facultatea de Filosofie, Universitatea de Stat din Moscova, numit după M. V. Lomonosov . A ocupat funcția de decan adjunct al Facultății de Filosofie pentru Cercetare.

Biografie

În 1980 a absolvit Facultatea de Filosofie a Universității de Stat din Moscova numită după M. V. Lomonosov , în 1983 a absolvit studiile postuniversitare la Departamentul de logică a Facultății de Filosofie a Universității de Stat din Moscova. Din 1984 lucrează la această catedră, în prezent este profesor (2001). În 1984 și-a susținut teza de doctorat pe tema „Analiza logico-semantică a modalităților interne”, iar în 1997 - teza de doctorat pe tema „Studiul teoriilor silogistice prin logica simbolică”.

Activități științifice și didactice

Membru în comitetul editorial al revistei Vestnik MGU . Seria „Filosofie”, jurnalul electronic „Studii logice” și anuarul „Studii logice” . A publicat peste 70 de lucrări științifice. Subiectul cercetării științifice este silogistica, logica modală, sistemele logice N. A. Vasilyeva , teoria conceptului, aplicațiile computerizate ale logicii.

Principalele rezultate științifice: construirea unui număr de sisteme logice cu modalități de re și semantică relațională și de vecinătate a stărilor posibile ale indivizilor adecvate acestor sisteme, explicarea diferitelor tipuri de trăsături folosind această semantică; a realizat o reconstrucție formală modernă a unor cunoscute teorii silogistice - fragmente pozitive ale silogisticii lui Brentano-Leibniz, Bolzano, Lewis Carroll, variante aristotelice și tradiționale ale fragmentului silogistic negativ singular, apodictic al silogisticii modale a lui Aristotel; pentru o clasă largă de sisteme silogistice el a demonstrat teoreme cu privire la imersiunea lor în calculul logic modern; a construit o silogistică pozitivă generalizată cu un sistem complet de constante silogistice, în cadrul acesteia sunt exprimabile toate relațiile volumetrice posibile între doi termeni; împreună cu T. P. Kostyuk au formalizat logica imaginară a lui N. A. Vasiliev și silogistica sa asertorică; sub conducerea lui V. A. Smirnov (și cu participarea lui A. V. Smirnov și A. E. Novodvorsky) a creat primul curs de logică deductivă în Rusia, cu sprijinul unui program de calculator pentru căutarea interactivă a inferenței. Citește cursuri generale de prelegeri de logică pentru studenții Facultății de Filosofie și Facultatea de Psihologie, cursuri speciale „Logica simbolică”, „Fundamentele teoriei dovezilor”, „Căutarea inferenței în calculul logic”, „Logica modală”, „Teorii silogistice”. Am pregătit 4 candidați la științe.

Scrieri și publicații

• Teorema completității în logica modalităților interne // Metodologia dezvoltării cunoștințelor științifice. M., 1982;
• Neighborhood Semantics for modalities de ne // Modal and relevant logics. M., 1982;
• Dovada semantică a înglobării unor sisteme de silogistică în calculul predicatelor // Studii logice. M., 1983;
• Analiza semantică a silogisticii apodictice a lui Aristotel // Logica lui Aristotel. Tbilisi, 1985;
• Tipologia semnelor, modalităților de ge și semantica stărilor posibile ale obiectelor // Logica și metodologia modernă a științei. M., 1987;
• Silogistică și logică modernă. (Coautor cu V. A. Bocharov ) // Buletinul Universității de Stat din Moscova. Seria „Filosofie”. 1987. Nr. 4;
• Formalizarea silogismelor non-aristotelice // Logica ingensională și structura logică a teoriilor. Tbilisi, 1988;
• Semnificația filozofică și metodologică a logicii. (Coautor cu E. K. Voishvillo ) // Questions of Philosophy. 1988. Nr. 2;
• Teorii silogistice în logica modernă // M., 1991;
• Teorii silogistice și calculul predicaților (Partea 1) // Studii logice. M., 1993. Issue. unu;
• Fundamentele logicii. Manual. (Coautor cu V. A. Bocharov) // M., 1994;
• Dovada și căutarea ei. Logica si computerul. (Coautor cu V. A. Smirnov, A. E. Novodvorsky, A. V. Smirnov) // Cercetare logică. M., 1996. Issue. 3;
• Silogistica negativă singulară a lui Aristotel și logica liberă // Cercetări logice. M., 1997. Issue. patru;
• Deconstrucția formală a silogisticii negative singulare tradiționale // Studii logice. M., 1998. Emisiunea. 5;
• Silogistică pozitivă generalizată // Cercetare logică. M., 1999. Issue. 6;
• Logica imaginară-2: reconstrucția uneia dintre variantele faimosului sistem logic al lui N. A. Vasilyev // Lucrările centrului de cercetare al Institutului de Fizică al Academiei Ruse de Științe. M., 1999;
• Imersarea logicii imaginare a lui N. A. Vasiliev în logica trivalorică cuantificatoare // Cercetări logice. M., 2000. Problema. 7;
• Semantica intensională a silogisticii tradiţionale // Cercetări logice. M., 2001. Problema. opt;
• Silogistică fundamentală din punct de vedere intensional // Studii logice. M., 2002. Problema. 9.

Link -uri

• Catedra de Logică, Institutul de Filosofie RAS, revista „Cercetare Logică”  cu index bibliografic
• Arhiva revistei „Logical Research (Numărul 1-7) de pe site-ul ILKiRL
• Site-ul Universității de Stat din Moscova Lomonosov
• Site-ul web al Facultății de Filosofie a Universității de Stat din Moscova Lomonosov
• Site-ul web al Departamentului de logică al Facultății de Filosofie a Universității de Stat din Moscova Lomonosov
• Conținutul manualului „Fundamentele logicii”, ed. 1997

Site-uri tematice	Genealogie matematică
În cataloagele bibliografice	VIAF : 62144648423488918416 WorldCat VIAF : 62144648423488918416

1. ↑ Genealogia matematică  (engleză) - 1997.