| |
1.
Cursos
de licenciatura
2.
Programas
de doctorado
3.
Laboratorio de Inteligencia Artificial
- Jaime Sarabia Alvarez-Ude / e-mail
Tel. 394 6054 Fax 394 6053
- Carmen López Rincón / e-mail
Tel. 394 6054 Fax 394 6053
4.
Servicios que el Departamento estaría dispuesto a prestar a empresas
o entidades públicas o privadas
Dr.
Antonio Benítez López
/ e-mail
Dr.
Carlos Castrodeza Ruiz de la Cuesta / e-mail
Asesoramiento en cuestiones:
- de bioética.
- de lo que es una aproximación científica
a una problemática y de lo que no lo es.
- de interpretación ideológica de textos
(identificando tanto ideologías explícitas como implícitas).
- de investigación histórica y de barridos
documentales, especialmente relacionados con ciencias humanas y
bio-agromédicas.
Grupo
Verba Logica
- Conversión retrospectiva de catálogos
(Bibliotecas y otros).
- Análisis automático de documentación
(proyecto BiblioTECA: programa AFCA).
- Conversión, actualización y depuración
de bases de datos: análisis de integridad y consistencia, detección/eliminación
de duplicados, etc..
- Sistema de catalogación y recuperación
bibliotecaria (programa Alex-0).
- Asesoramiento, diseño y desarrollo
de sistemas de gestión de la información.
- Desarrollo de bases de datos léxicas
(diccionarios, thesauros, etc.), incluyendo la conversión de obras
impresas de este tipo a soporte magnético.
5.
Líneas de Investigación Desarrolladas por el Departamento
- Lógica en España en los siglos XIII
a XV.
- La doctrina de las obligaciones.
- El debate en torno al "Ex Impossibili
Quodliber Sequitur"
Dr.
Luis Fernández Moreno / e-mail
- Filosofía del lenguaje.
- Filosofía de la lógica.
- Cambio conceptual en la ciencia.
Dr.
José Miguel Gambra Gutiérrez / e-mail
- Historia de la
Lógica Medieval.
Proyecto subvencionado por la Universidad Complutense (modalidad
"Grupos Precompetitivos") titulado "Lógica española
de los siglo XIII al XV. Director: Dr. D. Angel d'Ors Lois, 1994.
- Estudios sobre
el Organon de Aristóteles.
- Filosofía de
la matemática.
- Teoría de la
argumentación y del razonamiento falaz.
Grupo
Verba Logica:
- BiblioTECA:
Bibliographic Texts Compositional Analysis
(Dr. Sarabia Alvarez-Ude, Dra. López Rincón).
Project cofinanced by the Commission of the European Union: DGXIII,
Libraries Project n.2023.
Coordinador: Verba Logica (Departamento
de Lógica, UCM).
Participantes: Verba Logica (Madrid,
España), MATRA Cap Systems (París, Francia), CBIC: Unidad de Coordinación
de Bibliotecas del CSIC (Madrid, España), Biblioteca Nazionale Vittorio
Emmanuelle III (Nápoles, Italia, Instituto Cervantes (Alcalá de
Henares, España).
El objetivo fundamental
del proyecto consiste en el desarrollo de un sistema automático
de análisis de la documentación impresa y su traducción a SGML:
Standard Generalized Markup Language. La participación de Verba
Logica se centra en el desarrollo del módulo correspondiente al
análisis automático de la información y su traducción a SGML:
AFCA.
- CANAL LS:
CAtalog with multilingual Natural Language access
/ Linguistic Server.
(Dr. Sarabia Alvarez-Ude, Dra. López Rincón)
Project cofinanced by the Commission of the European Union: DGXIII,
Libraries Project n. 3063.
Coordinador: TEXTEC
Software (Saarbrücken, Alemania).
Participantes: Verba Logica (Madrid,
España), CRIL Ingenierie (París, Francia), UB SABINE (Saarbrücken,
Alemania), IW/SOFTEX (Saarbrücken, Alemanis), Schweizerische Landesbibliothek
(Berna, Suiza), Landes-u. Universitätsbibliothek (Düsserldorf, Alemania),
TEXTEC Software (Saarbrücken, Alemania).
El propósito de este
proyecto consiste en el desarrollo de un sistema de interrogarción
multilingüe sobre información bibliotecaria. La participación
de Verba Logica consiste en el desarrollo de un léxico en castellano
especializado en las áreas de psicología y economía.
- Alex-0:
un sistema de catalogación.
Proyecto Artículo 11 LRU entre UCM y el Colegio Universitario Cardenal
Cisneros.
Este proyecto consiste
en la conversión retrospectiva del catálogo de la biblioteca del
C.U. Cardenal Csineros y en el desarrollo de un sistema de catalogación
y recuperación de la información en entorno Windows.
- Conversión
retrospectiva del catálogo de la biblioteca de la Universidad San
Pablo CEU
(Dr. Sarabia Alvarez-Ude, Dra. López Rincón)
- Epistemología general de la ciencia.
- Filosofía e Historia de la probabilidad
y la estadística matemáticas.
- Filosofía e Historia de la física
matemática.
6.
Publicaciones
Dr.
José Miguel Gambra Gutiérrez / e-mail
- Historia de
la Lógica Medieval
"Medieval Solutions to the Sophism of accident", en
Argumentationstheorie, Scholastische Forschungen
zu den logischen und semantischen Regeln korrekten Folgerns,
K. Jacobi Ed., pp.431-450, Brill, Leiden, 1993.
- Estudios sobre
el Organon de Aristóteles
"La lógica aristotélica de los predicables", Anuario
Filosófico, vol. XXI, 1988, nº 2, pp. 89-118, Universidad
de Navarra.
"La regla aristotélica de resolución de predicados",
Philosophica Malacitana II, pp. 73-86,
Departamento de Filosofía, Universidad de Málaga, 1989.
"La metáfora en Aristóteles", Anuario
Filosófico, vol. XXXIII/2, pp. 51-68, 1990
- Filosofía de
la Matemática
"La Epistemología hilbertiana de la matemática", Actas
del I Congreso de la Sociedad de Lógica y Filosofía de la Ciencia,
Bustos E. Ed., pp. 349-51, UNED, Madrid, 1993.
"La Filosofía de David Hilbert", en La
Filosofía de los Científicos, J. Arana (ed.), Thémata
nº 14, pp. 147-179, 1995.
- Teoría de la
Argumentación y del razonamiento falaz
"El lugar de los sofismas en la Lógica", Revista
de Filosofía, 3ª época, vol. I, pp. 7-26, Editorial Complutense,
Madrid, 1987-88.
"Aristóteles y la Paradoja de la Denotación", en Convivium,
nº 4, pp.5-26, 1993.
- Probabilidad e
influencia científica, Ediciones Anthropos, Barcelona,
1991.
- "Mathematical Statistics and
Metastatical Analysis", Erkenatasis,
1991.
- "Probabilistic support, probabilistic
induction and Bayesian Confirmation Theory", British
Journal for the Philosophy of Science, vol. 45/2, pp. 477-483,
Gran Bretaña, 1994.
Dr.
Ángel D'Ors Lois / e-mail
- Lógica en España
en los siglos XIII a XVI
"Raimundo Lulso, Nicolás de Paz y la "lógica pura"
", en curso de publicación en la revista Documenti
e Studi.
- La doctrina
de las obligaciones
d'Ors Lois, A., García Clavel, M.,
"Sobre las obligaciones de Robert Fland. Antiqua et nova
responsio", Revista de Filosofía,
3ª época, vol.VII, nº 11, pp. 51-88, España, 1994.
- El debate en
torno al "Ex Impossibili Quodlibet Sequitur"
"Ex Imposibili Quodlibet Sequitur", volumen colectivo
Argumentationstheorie (k. Jacobi ed.)
E. J. Brill, Leiden-New York-Koln, Holanda, 1993.
Dr.
Jaime Sarabia Alvarez-Ude / e-mail
- "Cálculo Secuencial Lambek
para programación lógica", revista Perspectivas
actuales de la lógica y de la filosofía de la ciencia,
Siglo XXI Ed., pp. 193-202, España, noviembre 1994.
- "¿Cómo hacemos para entender
lo que leemos?", Revista Information World
en español, nº 28, pp. 11-16, octubre 1994.
Dr.
Carlos Castrodeza Ruíz de la Cuesta / e-mail
- "De la epistemología popperiana
a la epistemología darwinista, Revista de Filosofía,
vol. V (3ª época), pp. 329-355, 1992.
- Ortodoxia Darwiniana
y proyecto biológico, Alianza Universidad, 1988.
- Teoría histórica
de la selección natural, Editorial Alhambra, 1988.
Dr.
Antonio Benítez López
/ e-mail
Benítez,
A.,"Sobre acción humana y práctica científica", Philosophia
Malacitana, vol. III, pp. 45-61, 1990.
Benítez, A., Escario, J. A., Atienza,
J., "ID3 y la valoración biológica", C. Martín Vide (ed.),
Lenguajes naturales y lenguajes formales VIII,
P.P.U., pp. 189-196, Barcelona, 1992.
Benítez, A., Escario, J. A., Gómez Barrio,
A., Martinez Fernández, A., Evaluación empírica
de ID3 -un sistema de inducción-, Bustos E., Echeverria J.,
Perez Sedeño E. y Sanchez Balmaseda M. I. (eds.), Sociedad de Lógica,
Metodología y Filosofía de la Ciencia en España, pp. 28-31, Madrid,
1993.
7. Sección
Delegada del Departamento de Lógica y Filosofía de la Ciencia. Facultad
de Psicología.
|