Search
Now showing items 141-150 of 204
Incertidumbre y lógica en el razonamiento con opiniones parcialmente inconsistentes
(Universidad Nacional de Córdoba, 1999-07)
En este trabajo consideramos dos actitudes posibles para tratar la inferencia con afirmaciones parcialmente inconsistentes. Por una parte, nos ocupamos de la lógica paraconsistente de Jaskowski, según la presentación de ...
El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
(Universidad Nacional de Córdoba, 1997-11)
En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el ...
O problemático sentido finitário das proposições da aritmética
(Universidad Nacional de Córdoba, 1998-10)
No artigo de 1936 "A consistência da teoria elementar de números", Gentzen oferece uma prova da consistencia dessa teoria usando técnicas que segundo ele enquadrar-se-iam como técnicas finitárias. Também afirma, no artigo ...
Sistemas de argumentación rebatible y lógica polivalente
(Universidad Nacional de Córdoba, 1999-07)
Este trabajo tiene un doble propósito: primero, mostrar que la argumentación rebatible puede brindar una semántica clara para algunas lógicas polivalentes, como las que consideran algún valor intermedio no clasificable ...
Lenguaje y mecanicismo: los enfoques de Giddens y Chomsky
(Universidad Nacional de Córdoba, 1998-10)
El tópico de la creatividad lingüística, central en la lingüística generativa, resulta ser además una encrucijada en la que confluyen psicología, sociología, filosofía e incluso ciencias biológicas. Será también el eje a ...
Criterios para la elección de teorías
(Universidad Nacional de Córdoba, 1997-11)
Uno de los temas clásicos dentro de la reflexión acerca de la actividad científica ha sido la elección de teorías. Y dentro de este contexto la posibilidad de postular una serie de criterios que permita comprender la ...
La(s) tesis Quine-Duhem y sus implicancias
(Universidad Nacional de Córdoba, 1999-07)
El propósito del presente trabajo es ofrecer una clasificación de las diferentes consecuencias de la tesis Quine-Duhem, tanto a nivel epistemológico, como metodológico. Por otra parte, me propongo ofrecer también una ...
En defensa del concepto de función biológica: una respuesta a Fodor
(Universidad Nacional de Córdoba, 1999-07)
Mi intención en este trabajo es defender la teoría de Millikan de la crítica de que ha sido objeto por parte de Fodor. La estructura del trabajo es la siguiente. En la primera parte, enuncio someramente las tesis principales ...
Descubrimiento de entidades y carga cultural
(Universidad Nacional de Córdoba, 1999-07)
En el presente trabajo se repasan las tesis de Ian Hacking acerca del descubrimiento de entidades por parte de los científicos en el marco de su singular teoría realista. Veremos que Hacking defiende un realismo de entidades ...
Explicabilidad y razonamiento revocable
(Universidad Nacional de Córdoba, 1997-11)
En la presente comunicación se analizan propiedades formales de la relación de explicabilidad definida en la propuesta de Poole. Dicho análisis revelará que su sistema resulta más adecuado comparativamente que otros sistemas ...