Markin, Vladimir Iljitsj

Vladimir Ilyich Markin (født 9. maj 1958 , Sevastopol , ukrainske SSR , USSR ) er en russisk filosof , logiker , doktor i filosofi (1997), lærer , professor ved Lomonosov Moscow State University (2001), siden 2003 har han været leder af afdelingen Institut for Logik , Det Filosofiske Fakultet, Moscow State University opkaldt efter M. V. Lomonosov . Han fungerede som vicedekan for Det Filosofiske Fakultet for Forskning.

Biografi

I 1980 dimitterede han fra det filosofiske fakultet ved Moscow State University opkaldt efter M. V. Lomonosov , i 1983 afsluttede han postgraduate studier ved afdelingen for logik ved det filosofiske fakultet ved Moscow State University. Siden 1984 har han arbejdet på denne afdeling, i øjeblikket er han professor (2001). I 1984 forsvarede han sin ph.d.-afhandling om emnet "Logisk-semantisk analyse af interne modaliteter", og i 1997 - sin doktorafhandling om emnet "Studie af syllogistiske teorier ved hjælp af symbolsk logik".

Videnskabelige og pædagogiske aktiviteter

Medlem af redaktionen for tidsskriftet Vestnik MGU . Serien "Filosofi", det elektroniske tidsskrift "Logical Studies" og årbogen "Logical Studies" . Udgivet mere end 70 videnskabelige artikler. Emnet for videnskabelig forskning er syllogistik, modal logik, logiske systemer N. A. Vasilyeva , konceptteori, computerapplikationer af logik.

De vigtigste videnskabelige resultater: bygget et antal logiske systemer med modaliteter de re og relationel og naboskabssemantik af mulige tilstande af individer, der er passende til disse systemer, forklarede forskellige typer funktioner ved hjælp af denne semantik; gennemførte en moderne formel rekonstruktion af velkendte syllogistiske teorier - positive fragmenter af syllogistikken fra Brentano-Leibniz, Bolzano, Lewis Carroll, Aristotelian og traditionelle varianter af det ental negative syllogistiske, apodiktiske fragment af Aristoteles' modale syllogistik; for en bred klasse af syllogistiske systemer beviste han teoremer om deres fordybelse i moderne logiske regning; byggede en generaliseret positiv syllogistik med et komplet system af syllogistiske konstanter, inden for dens rammer er alle mulige volumetriske relationer mellem to udtryk udtrykkelige; sammen med T. P. Kostyuk formaliserede N. A. Vasilievs imaginære logik og hans assertoriske syllogistik; under ledelse af V. A. Smirnov (og med deltagelse af A. V. Smirnov og A. E. Novodvorsky) skabte han det første kursus i deduktiv logik i Rusland med støtte fra et computerprogram til interaktiv slutningssøgning. Læser generelle kurser med forelæsninger om logik for studerende fra Det Filosofiske Fakultet og Det Psykologiske Fakultet, særlige kurser "Symbolisk logik", "Fundamentals of the Theory of Proofs", "Search for Inference in Logical Calculus", "Modal Logic", "Syllogistiske teorier". Forberedte 4 videnskabskandidater.

Skrifter og publikationer

• Fuldstændighedssætningen i interne modaliteters logik // Metode til udvikling af videnskabelig viden. M., 1982;
• Nabosemantik for modaliteter de ne // Modale og relevante logikker. M., 1982;
• Semantisk bevis på indlejring af nogle syllogistiksystemer i prædikatregning // Logiske studier. M., 1983;
• Semantisk analyse af Aristoteles' apodiktiske syllogistiske // Aristoteles' logik. Tbilisi, 1985;
• Typologi af tegn, modaliteter de ge og semantik af mulige tilstande af objekter // Moderne logik og videnskabsmetodik. M., 1987;
• Syllogistik og moderne logik. (Medforfatter med V. A. Bocharov ) // Bulletin of Moscow State University. Serien "Filosofi". 1987. nr. 4;
• Formalisering af ikke-aristoteliske syllogismer // Ingensional logik og logisk struktur af teorier. Tbilisi, 1988;
• Filosofisk og metodisk betydning af logik. (Medforfatter med E. K. Voishvillo ) // Filosofiens spørgsmål. 1988. nr. 2;
• Syllogistiske teorier i moderne logik // M., 1991;
• Syllogistiske teorier og prædikatregning (Del 1) // Logiske studier. M., 1993. Udgave. en;
• Grundlæggende om logik. Lærebog. (Medforfatter med V. A. Bocharov) // M., 1994;
• Bevis og dets søgning. Logik og computer. (Medforfatter med V. A. Smirnov, A. E. Novodvorsky, A. V. Smirnov) // Logisk forskning. M., 1996. Udgave. 3;
• Ental negativ syllogistik af Aristoteles og fri logik // Logiske undersøgelser. M., 1997. Udgave. fire;
• Formel dekonstruktion af traditionel singular negativ syllogistik // Logiske studier. M., 1998. Udgave. 5;
• Generaliseret positiv syllogistisk // Logisk forskning. M., 1999. Udgave. 6;
• Imaginær logik-2: rekonstruktion af en af ​​varianterne af det berømte logiske system af N. A. Vasilyev // Proceedings of the research center of the Institute of Physics of the Russian Academy of Sciences. M., 1999;
• Fordybelse af N. A. Vasilievs imaginære logik i kvantificerende treværdilogik // Logiske undersøgelser. M., 2000. Udgave. 7;
• Intentionel semantik af traditionel syllogistik // Logiske undersøgelser. M., 2001. Udgave. otte;
• Grundlæggende syllogistik fra et intenst synspunkt // Logiske studier. M., 2002. Udgave. 9.

Links

• Institut for Logik, Institut for Filosofi RAS, tidsskrift "Logical Research" med  et bibliografisk indeks
• Arkiv for tidsskriftet "Logical Research (udgave 1-7) på ILKiRL-webstedet
• Lomonosov Moscow State University hjemmeside
• Hjemmeside for Det Filosofiske Fakultet ved Lomonosov Moscow State University
• Hjemmeside for afdelingen for logik på det filosofiske fakultet ved Lomonosov Moscow State University
• Indholdet af lærebogen "Fundamentals of Logic", red. 1997

Tematiske steder	Matematisk genealogi
I bibliografiske kataloger	VIAF : 62144648423488918416 WorldCat VIAF : 62144648423488918416

1. ↑ Matematisk genealogi  (engelsk) - 1997.