Markin, Vladimir Ilich

La versión actual de la página aún no ha sido revisada por colaboradores experimentados y puede diferir significativamente de la versión revisada el 2 de julio de 2020; la verificación requiere 1 edición .

Vladímir Ilich Markin
Fecha de nacimiento	9 de mayo de 1958 (64 años)( 09/05/1958 )
Lugar de nacimiento	Sebastopol , RSS de Ucrania
País	URSS → Rusia
Esfera científica	filosofía , lógica
Lugar de trabajo	Universidad estatal de Moscú MV Lomonosov
alma mater	Universidad estatal de Moscú MV Lomonosov
Titulo academico	doctor en ciencias filosoficas
consejero científico	Voishvillo, Evgeny Kazimirovich [1]
Sitio web	Departamento de Lógica, Facultad de Filosofía, Universidad Estatal de Moscú

Vladimir Ilyich Markin (nacido el 9 de mayo de 1958 , Sebastopol , RSS de Ucrania , URSS ) es un filósofo ruso , lógico , Doctor en Filosofía (1997), maestro , profesor en la Universidad Estatal Lomonosov de Moscú (2001), desde 2003 ha sido el director del departamento Departamento de Lógica , Facultad de Filosofía, Universidad Estatal de Moscú que lleva el nombre de M. V. Lomonosov . Se desempeñó como Vicedecano de la Facultad de Filosofía para la Investigación.

Biografía

En 1980 se graduó de la Facultad de Filosofía de la Universidad Estatal de Moscú que lleva el nombre de M. V. Lomonosov , en 1983 completó estudios de posgrado en el Departamento de Lógica de la Facultad de Filosofía de la Universidad Estatal de Moscú. Desde 1984 trabaja en este departamento, actualmente es profesor (2001). En 1984 defendió su tesis doctoral sobre el tema "Análisis lógico-semántico de las modalidades internas", y en 1997 su tesis doctoral sobre el tema "Estudio de las teorías silogísticas por medio de la lógica simbólica".

Actividades científicas y docentes

Miembro del consejo editorial de la revista Vestnik MGU . Serie "Filosofía", la revista electrónica "Estudios lógicos" y el anuario "Estudios lógicos" . Publicó más de 70 artículos científicos. El tema de la investigación científica es la silogística, la lógica modal, los sistemas lógicos N. A. Vasilyeva , la teoría del concepto, las aplicaciones informáticas de la lógica.

Los principales resultados científicos: construyeron una serie de sistemas lógicos con modalidades de re y semánticas relacionales y vecinales de posibles estados de individuos adecuados a estos sistemas, explicaron varios tipos de características usando estas semánticas; llevó a cabo una reconstrucción formal moderna de conocidas teorías silogísticas: fragmentos positivos de la silogística de Brentano-Leibniz, Bolzano, Lewis Carroll, variantes aristotélicas y tradicionales de la silogística negativa singular, fragmento apodíctico de la silogística modal de Aristóteles; para una amplia clase de sistemas silogísticos demostró teoremas sobre su inmersión en el cálculo lógico moderno; construyó una silogística positiva generalizada con un sistema completo de constantes silogísticas, dentro de su marco todas las relaciones volumétricas posibles entre dos términos son expresables; junto con T. P. Kostyuk formalizaron la lógica imaginaria de N. A. Vasiliev y su silogística asertiva; bajo la dirección de V. A. Smirnov (y con la participación de A. V. Smirnov y A. E. Novodvorsky) creó el primer curso de lógica deductiva en Rusia con el apoyo de un programa informático para la búsqueda de inferencias interactivas. Lee cursos generales de conferencias sobre lógica para estudiantes de la Facultad de Filosofía y la Facultad de Psicología, cursos especiales "Lógica Simbólica", "Fundamentos de la Teoría de las Pruebas", "Búsqueda de Inferencia en Cálculo Lógico", "Lógica Modal", "Teorías silogísticas". Preparados 4 candidatos de ciencias.

Escritos y publicaciones

El teorema de completitud en la lógica de modalidades internas // Metodología para el desarrollo del conocimiento científico. M., 1982;
Semántica de vecindad para modalidades de ne // Lógicas modales y relevantes. M., 1982;
Prueba semántica de la capacidad de integración de algunos sistemas de silogística en el cálculo de predicados // Estudios lógicos. M., 1983;
Análisis semántico de la silogística apodíctica de Aristóteles // Lógica de Aristóteles. Tiflis, 1985;
Tipología de signos, modalidades de ge y semántica de posibles estados de objetos // Lógica moderna y metodología de la ciencia. M., 1987;
Silogística y lógica moderna. (En coautoría con V. A. Bocharov ) // Boletín de la Universidad Estatal de Moscú. Serie "Filosofía". 1987. Nº 4;
Formalización de silogismos no aristotélicos // Lógicas ingensionales y estructura lógica de las teorías. Tiflis, 1988;
Importancia filosófica y metodológica de la lógica. (En coautoría con E. K. Voishvillo ) // Cuestiones de filosofía. 1988. Nº 2;
Teorías silogísticas en la lógica moderna // M., 1991;
Teorías silogísticas y cálculo de predicados (Parte 1) // Estudios lógicos. M., 1993. Edición. una;
Fundamentos de la lógica. Libro de texto. (En coautoría con V. A. Bocharov) // M., 1994;
Prueba y su búsqueda. Lógica y computación. (En coautoría con V. A. Smirnov, A. E. Novodvorsky, A. V. Smirnov) // Investigación lógica. M., 1996. Edición. 3;
Silogística negativa singular de Aristóteles y lógica libre // Investigaciones lógicas. M., 1997. Edición. cuatro;
Deconstrucción formal de la silogística negativa singular tradicional // Estudios lógicos. M., 1998. Edición. 5;
Silogística positiva generalizada // Investigación lógica. M., 1999. Edición. 6;
Lógica imaginaria-2: reconstrucción de una de las variantes del famoso sistema lógico de N. A. Vasilyev // Actas del centro de investigación del Instituto de Física de la Academia Rusa de Ciencias. M., 1999;
Inmersión de la lógica imaginaria de N. A. Vasiliev en la lógica cuantificadora de tres valores // Investigaciones lógicas. M., 2000. Edición. 7;
Semántica intensional de la silogística tradicional // Investigaciones lógicas. M., 2001. Edición. ocho;
Silogística fundamental desde un punto de vista intensional // Estudios Lógicos. M., 2002. Edición. 9.

Enlaces

sitios temáticos	genealogía matemática
En catálogos bibliográficos	VIAF : 62144648423488918416 WorldCat VIAF : 62144648423488918416

↑ Genealogía matemática (inglés) - 1997.