Markin, Vlagyimir Iljics

Vlagyimir Iljics Markin (született : 1958. május 9., Szevasztopol , Ukrán SZSZK , Szovjetunió ) orosz filozófus , logikus , a filozófia doktora (1997), tanára , a Lomonoszov Moszkvai Állami Egyetem professzora (2001), 2003 óta a vezetője. az M. V. Lomonoszovról elnevezett Moszkvai Állami Egyetem Filozófiai Karának Logikai Tanszéke . A Filozófiai Kar kutatási dékánhelyetteseként dolgozott.

Életrajz

1980-ban szerzett diplomát a Moszkvai Állami Egyetem M. V. Lomonoszovról elnevezett Filozófiai Karán , 1983-ban pedig a Moszkvai Állami Egyetem Filozófiai Karának Logikai Tanszékén végzett posztgraduális tanulmányokat. 1984 óta dolgozik ezen a tanszéken, jelenleg professzor (2001). 1984-ben védte meg Ph.D. értekezését "Belső modalitások logikai-szemantikai elemzése" témában, 1997-ben pedig doktori disszertációját "Szillogisztikai elméletek vizsgálata szimbolikus logika segítségével" témában.

Tudományos és oktatási tevékenység

A Vestnik MGU folyóirat szerkesztőbizottságának tagja . A „Philosophy” sorozat, a „Logical Studies” elektronikus folyóirat és a „Logical Studies” évkönyv . Több mint 70 tudományos közleménye jelent meg. A tudományos kutatás tárgya szillogisztika, modális logika, logikai rendszerek N. A. Vasziljeva , fogalomelmélet, a logika számítógépes alkalmazásai.

A főbb tudományos eredmények: számos logikai rendszert építettek fel az egyének lehetséges állapotainak e rendszereknek megfelelő de re, relációs és szomszédsági szemantikával, e szemantika felhasználásával különféle jellemzőket magyaráztak meg; elvégezte a jól ismert szillogisztikai elméletek modern formai rekonstrukcióját - Brentano-Leibniz, Bolzano, Lewis Carroll szillogisztikájának pozitív töredékeit, arisztotelészi és Arisztotelész modális szillogisztikájának egyes számú negatív szillogisztikai, apodiktikus töredékének hagyományos változatait; a szillogisztikai rendszerek széles osztályához bebizonyította a modern logikai számításba való belemerülésükre vonatkozó tételeket; általánosított pozitív szillogisztikát épített fel teljes szillogisztikai konstansrendszerrel, melynek keretein belül két terminus között minden lehetséges térfogati kapcsolat kifejezhető; T. P. Kosztjukkal együtt formalizálta N. A. Vasziljev képzeletbeli logikáját és asszertorikus szillogisztikáját; V. A. Szmirnov vezetésével (és A. V. Szmirnov és A. E. Novodvorszkij részvételével) megalkotta az első deduktív logika tanfolyamot Oroszországban egy interaktív következtetéskereső számítógépes program támogatásával. Általános logikai előadásokat olvas a Filozófiai Kar és a Pszichológiai Kar hallgatói számára, a "Szimbolikus logika", "A bizonyítások elméletének alapjai", "Következtetés keresése a logikai számításban", "Modális logika" speciális kurzusokat. "Szillogisztikus elméletek". Felkészített 4 tudományjelölt.

Írások és publikációk

• A teljesség tétele a belső modalitások logikájában // A tudományos ismeretek fejlesztésének módszertana. M., 1982;
• Neighborhood szemantics for modalities de ne // Modal and relevant logics. M., 1982;
• Néhány szillogisztikai rendszer predikátumszámításba való beágyazhatóságának szemantikai bizonyítéka // Logikai tanulmányok. M., 1983;
• Arisztotelész apodiktikus szillogisztikájának szemantikai elemzése // Arisztotelész logikája. Tbiliszi, 1985;
• Jelek tipológiája, de ge modalitásai és az objektumok lehetséges állapotainak szemantikája // A tudomány modern logikája és módszertana. M., 1987;
• Szillogisztika és modern logika. (Társszerző: V. A. Bocharov ) // A Moszkvai Állami Egyetem értesítője. "Filozófia" sorozat. 1987. 4. sz.;
• A nem arisztotelészi szillogizmusok formalizálása // Az elméletek ingenciális logikái és logikai szerkezete. Tbiliszi, 1988;
• A logika filozófiai és módszertani jelentősége. ( E. K. Voishvillo társszerzője ) // A filozófia kérdései. 1988. 2. sz.;
• Szillogisztikus elméletek a modern logikában // M., 1991;
• Szillogisztikus elméletek és predikátumszámítás (1. rész) // Logikai tanulmányok. M., 1993. szám. egy;
• A logika alapjai. Tankönyv. (társszerző: V. A. Bocharov) // M., 1994;
• Bizonyítás és keresése. Logika és számítógép. (Társszerző: V. A. Smirnov, A. E. Novodvorsky, A. V. Smirnov) // Logikai kutatás. M., 1996. szám. 3;
• Arisztotelész szinguláris negatív szillogisztikája és a szabad logika // Logikai kutatások. M., 1997. szám. négy;
• A hagyományos szinguláris negatív szillogisztika formális dekonstrukciója // Logikai tanulmányok. M., 1998. Issue. 5;
• Általánosított pozitív szillogisztika // Logikai kutatás. M., 1999. szám. 6;
• Képzelt logika-2: N. A. Vasziljev híres logikai rendszerének egyik változatának rekonstrukciója // Az Orosz Tudományos Akadémia Fizikai Intézete Kutatóközpontjának közleménye. M., 1999;
• N. A. Vasziljev képzeletbeli logikájának elmerülése a kvantor háromértékű logikában // Logikai kutatások. M., 2000. szám. 7;
• A hagyományos szillogisztika intenzionális szemantikája // Logikai kutatások. M., 2001. szám. nyolc;
• Fundamentális szillogisztika intenzionális nézőpontból // Logikai tanulmányok. M., 2002. szám. 9.

Linkek

• Logikai Tanszék, Filozófiai Intézet, RAS, "Logical Research"  folyóirat bibliográfiai mutatóval
• A "Logical Research" folyóirat archívuma (1-7. szám) az ILKiRL honlapján
• Lomonoszov Moszkvai Állami Egyetem honlapja
• A Lomonoszov Moszkvai Állami Egyetem Filozófiai Karának honlapja
• A Lomonoszov Moszkvai Állami Egyetem Filozófiai Karának Logikai Tanszékének honlapja
• A "Logika alapjai" című tankönyv tartalma, szerk. 1997

Tematikus oldalak	Matematikai genealógia
Bibliográfiai katalógusokban	VIAF : 62144648423488918416 WorldCat VIAF : 62144648423488918416

1. ↑ Matematikai genealógia  (angol) - 1997.