Markin, Vladimir Iljitj

Vladimir Iljitj Markin (född 9 maj 1958 , Sevastopol , ukrainska SSR , Sovjetunionen ) är en rysk filosof , logiker , doktor i filosofi (1997), lärare , professor vid Lomonosov Moskvas statsuniversitet (2001), sedan 2003 har han varit chef av institutionen Institutionen för logik , filosofiska fakulteten, Moscow State University uppkallad efter M. V. Lomonosov . Han var vice dekanus vid Filosofiska fakulteten för forskning.

Biografi

1980 tog han examen från filosofiska fakulteten vid Moscow State University uppkallad efter M. V. Lomonosov , 1983 avslutade han forskarstudier vid institutionen för logik vid den filosofiska fakulteten vid Moskvas statliga universitet. Sedan 1984 har han arbetat vid denna institution, för närvarande är han professor (2001). 1984 disputerade han på sin doktorsavhandling i ämnet "Logikosemantisk analys av interna modaliteter", och 1997 - sin doktorsavhandling på ämnet "Studier av syllogistiska teorier med hjälp av symbolisk logik".

Vetenskaplig och undervisningsverksamhet

Ledamot i redaktionen för tidskriften Vestnik MGU . Serien "Filosofi", den elektroniska tidskriften "Logical Studies" och årsboken "Logical Studies" . Publicerade mer än 70 vetenskapliga artiklar. Ämnet för vetenskaplig forskning är syllogistik, modal logik, logiska system N. A. Vasilyeva , konceptteori, datortillämpningar av logik.

De huvudsakliga vetenskapliga resultaten: byggde ett antal logiska system med modaliteter de re och relations- och grannskapssemantik av möjliga tillstånd hos individer lämpliga för dessa system, förklarade olika typer av funktioner med hjälp av denna semantik; genomförde en modern formell rekonstruktion av välkända syllogistiska teorier - positiva fragment av syllogistiken av Brentano-Leibniz, Bolzano, Lewis Carroll, Aristotelian och traditionella varianter av det singulära negativa syllogistiska, apodiktiska fragmentet av Aristoteles modala syllogistik; för en bred klass av syllogistiska system bevisade han teorem om deras fördjupning i modern logisk kalkyl; byggde en generaliserad positiv syllogistik med ett komplett system av syllogistiska konstanter, inom dess ram är alla möjliga volymetriska relationer mellan två termer uttryckbara; tillsammans med T. P. Kostyuk formaliserade N. A. Vasilievs imaginära logik och hans assertoriska syllogistik; under ledning av V. A. Smirnov (och med deltagande av A. V. Smirnov och A. E. Novodvorsky) skapade han den första kursen i deduktiv logik i Ryssland med stöd av ett datorprogram för interaktiv slutledningssökning. Läser allmänna föreläsningskurser om logik för studenter vid filosofiska fakulteten och psykologiska fakulteten, specialkurser "Symbolisk logik", "Fundamentals of the Theory of Proofs", "Search for Inference in Logical Calculus", "Modal Logic", "Syllogistiska teorier". Förberedde 4 vetenskapskandidater.

Skrifter och publikationer

• Fullständighetssatsen i interna modaliteters logik // Metodik för utveckling av vetenskaplig kunskap. M., 1982;
• Grannskapssemantik för modaliteter de ne // Modal och relevant logik. M., 1982;
• Semantiska bevis på inbäddningsbarheten av vissa syllogistiksystem i predikatkalkyl // Logiska studier. M., 1983;
• Semantisk analys av Aristoteles apodiktiska syllogistik // Aristoteles logik. Tbilisi, 1985;
• Typologi av tecken, modaliteter de ge och semantik för möjliga tillstånd av objekt // Modern logik och vetenskapsmetodik. M., 1987;
• Syllogistik och modern logik. (Medförfattare med V. A. Bocharov ) // Bulletin of Moscow State University. Serien "Philosophy". 1987. nr 4;
• Formalisering av icke-aristoteliska syllogismer // Ingensional logik och logisk struktur av teorier. Tbilisi, 1988;
• Logikens filosofiska och metodologiska betydelse. (Medförfattare med E. K. Voishvillo ) // Filosofifrågor. 1988. nr 2;
• Syllogistiska teorier i modern logik // M., 1991;
• Syllogistic Theories and Predicate Calculus (Del 1) // Logiska studier. M., 1993. Nummer. ett;
• Grunderna i logiken. Lärobok. (Medförfattare med V. A. Bocharov) // M., 1994;
• Bevis och dess sökning. Logik och dator. (Medförfattare med V. A. Smirnov, A. E. Novodvorsky, A. V. Smirnov) // Logical Research. M., 1996. Nummer. 3;
• Singular negativ syllogistics of Aristoteles and free logic // Logiska undersökningar. M., 1997. Nummer. fyra;
• Formell dekonstruktion av traditionell singular negativ syllogistik // logiska studier. M., 1998. Nummer. 5;
• Generaliserad positiv syllogistisk // Logisk forskning. M., 1999. Nummer. 6;
• Imaginary logic-2: rekonstruktion av en av varianterna av det berömda logiska systemet N. A. Vasilyev // Proceedings of the research center of the Institute of Physics of the Russian Academy of Sciences. M., 1999;
• Nedsänkning av N. A. Vasilievs imaginära logik i kvantifierare trevärdig logik // Logiska undersökningar. M., 2000. Nummer. 7;
• Intensionell semantik för traditionell syllogistik // Logiska undersökningar. M., 2001. Nummer. åtta;
• Fundamental syllogistics from a intensional synvinkel // Logical Studies. M., 2002. Nummer. 9.

Länkar

• Institutionen för logik, Institutionen för filosofi RAS, tidskriften "Logical Research"  med bibliografiskt register
• Arkiv för tidskriften "Logical Research (Nummer 1-7) på ILKiRL-webbplatsen
• Lomonosov Moscow State University webbplats
• Webbplats för filosofiska fakulteten vid Lomonosov Moscow State University
• Webbplats för institutionen för logik vid filosofiska fakulteten vid Lomonosov Moscow State University
• Innehållet i läroboken "Fundamentals of Logic", red. 1997

Tematiska platser	Matematisk släktforskning
I bibliografiska kataloger	VIAF : 62144648423488918416 WorldCat VIAF : 62144648423488918416

1. ↑ Mathematical Genealogy  (engelska) - 1997.