APUNTES CRÍTICOS AL FORMALISMO MATEMÁTICO DE CURRY
|
|
- Enrique Chávez Camacho
- hace 6 años
- Vistas:
Transcripción
1
2 APUNTES CRÍTICOS AL FORMALISMO MATEMÁTICO DE CURRY EMILIO MÉNDEZ PINTO 1 En su libro Outlines of a Formalist Philosophy of Mathematics, 2 el principal propósito de Curry fue exponer una posición formalista de las matemáticas desde un punto de vista estrictamente matemático. Para ello Curry exhibe, a modo de ejemplos, el carácter general que adquirirían diversos sistemas proposicionales matemáticos desde la aritmética elemental hasta la teoría de conversión de Church y el teorema de incompletitud de Gödel, pasando por el álgebra proposicional de dos valores y la sintaxis formalizada de Hermes si fuesen formalizados (en el sentido del formalismo como filosofía de las matemáticas). divide en: Para conseguir esto, la estructura primitiva de un sistema formal matemático la 1) términos: indicios (una lista de los términos de cada tipo), operaciones (modos de combinación para formar nuevos términos), y reglas de formación (especificaciones de cómo han de formarse los nuevos términos); 2) proposiciones elementales: una lista de predicados elementales con el número y tipo de argumentos para cada predicado elemental, y 3) teoremas elementales: axiomas (proposiciones elementales establecidas para ser verdaderas incondicionalmente) y reglas de procedimiento (reglas para la derivación de más teoremas, que son de la forma si P,..., 1, P2 Pm son teoremas elementales sujetos a tales y cuales condiciones, y si Q es una proposición elemental teniendo tal y cual relación con P,..., 1, P2 Pm, entonces Q es verdadera). Por ejemplo, la aritmética elemental (o rudimentaria) tiene: un indicio: 0, una operación unaria, una regla de formación: si a es un término, entonces a es un término, un predicado binario de la forma una regla de procedimiento: a b (donde a y b son términos), un axioma: 0 0, y a b a' b' ; la sintaxis formalizada de Hermes tiene: un indicio: 0, cinco reglas de procedimiento de la forma: a b b a, a b & b c a c, a b a b, a b c a c b, a b a c b c, i i 1 Politólogo del ITESM-CCM. 2 Haskell B. Curry, Outlines of a formalist Philosophy of Mathematics (Holanda: North-Holland Publishing Company, 1951). 1
3 donde 1,... n es un conjunto de operaciones unarias y es una operación binaria, etc.; la teoría de conversión de Church tiene cinco reglas de procedimiento de la forma: si a cnv b, entonces b cnv a, si a cnv b y b cnv c, entonces a cnv c, si a cnv b, entonces αac cnv αbc, si a cnv b, entonces αca cnv αcb, si a cnv b, entonces λ x i a cnv λ x i b, etc. (en donde cnv debe leerse como es convertible a ). Y de esta forma muchos etcéteras que para los fines de este artículo no hace falta ejemplificar. Por otra parte, que podríamos tomar como uno de sus propósitos secundarios o derivados y el que más nos interesa aquí, Curry establece la independencia filosófica del formalismo matemático en el sentido de que éste no está comprometido, por así decirlo, con ninguna posición filosófica particular, y por consiguiente es igualmente válido tanto para el platonismo como para el intuicionismo matemáticos (que Curry llama, indistintamente, perspectivas idealistas de las matemáticas ). 3 El formalismo matemático no está filosóficamente comprometido porque es reconciliable con estas filosofías idealistas de las matemáticas, i. e., tanto los platónicos como los intuicionistas matemáticos pueden perfectamente adoptar prácticas formalistas para sus respectivas arquitecturas matemáticas. Es claro que, desde la posición de Curry, este propósito secundario o derivado es casi una consecuencia natural del primero, porque el poder aplicar prácticas formalistas en estas filosofías idealistas de las matemáticas es una clara prueba del carácter estrictamente matemático que puede tener el formalismo, y por tanto de su independencia filosófica. Podemos conceder que lo que Curry llama perspectivas idealistas de las matemáticas están filosóficamente comprometidas (i. e., que adoptan una posición o una serie de posiciones filosóficas), pero creo que no podemos conceder que, bajo cualquier circunstancia, determinadas prácticas platónicas e intuicionistas (o, si se quiere, con un carácter platónico e intuicionista) en las matemáticas estén filosóficamente comprometidas. Es más, aquí sostendré que estas prácticas pueden ser tan filosóficamente independientes (en el sentido de Curry) 4 que difícilmente es concebible alguna construcción o entendimiento matemática real o significativa sin ellas. Pero para mostrar esto es necesario no reducir las perspectivas idealistas de las matemáticas a 3 Curry sostiene que la definición de verdad matemática es el problema par excellence de la filosofía de las matemáticas, y así descarta la perspectiva realista de las matemáticas (i. e., el punto de vista de que las proposiciones matemáticas son verdaderas en tanto que corresponden con nuestro entorno físico) no sólo porque el realismo matemático no da cuenta del infinito, sino porque tampoco lo hace con las matemáticas puras. 4 Salvo por la condición de tener un carácter estrictamente matemático. 2
4 filosofías de las matemáticas propiamente dichas, sino establecer que en las matemáticas existen prácticas platónicas e intuicionistas (o, de nuevo, con un carácter platónico e intuicionista) que no necesariamente conducen a la adopción de filosofías matemáticas en un sentido fuerte (justo como, siguiendo a Curry, sucede con el formalismo). Así pues, aquí consideraremos un platonismo y un intuicionismo matemáticos débiles, ingenuos, etc., que tienen un carácter, si se quiere, más psicológico que filosófico. A pesar de este carácter, o mejor dicho, precisamente por este carácter, desde las prácticas platónicas e intuicionistas puede decirse que no hay ninguna arquitectura matemática significativa, por más formalista que sea, que no esté comprometida en alguno u otro sentido con ellas (incluso si estas prácticas platónicas e intuicionistas están, a su vez, filosóficamente comprometidas en alguna forma distinta de la expuesta aquí, cuestión que no nos interesa decidir). Para el caso del platonismo matemático, no sólo rechazaremos su versión fuerte en aras de nuestros argumentos, sino también porque creo que existen razones filosóficas para rechazarlo. El problema del platonismo matemático fuerte El platonismo matemático fuerte sostiene que las entidades matemáticas existen propia y autónomamente, independientemente de toda cognición. Así, las verdades matemáticas no se crean, sino que se descubren. De esta doctrina surgen dos consecuencias naturales: las entidades matemáticas son independientes del momento y del lugar en el que se piensen y son independientes de quién o de qué las piense. Pero esta segunda consecuencia es un tanto engañosa, porque no es lo mismo decir las entidades matemáticas son independientes de toda cognición porque da lo mismo quién o qué las piense que decir las entidades matemáticas son independientes de toda cognición porque da lo mismo si hay quién o qué las piense. Si las entidades matemáticas existen independientemente de toda cognición en el segundo sentido de la segunda consecuencia, entonces están necesariamente autodefinidas. En realidad no puedo pensar en ninguna entidad matemática, por más primitiva que sea, que esté autodefinida; la realidad matemática está compuesta de conceptos y de proposiciones, y es así que no puede darse sin algún tipo de cognición. Creo que la tesis que sostiene la independencia de las entidades matemáticas sólo es defendible si sostiene, a la vez, que una entidad matemática e no depende del qué (tipo 3
5 de mente/estado mental) ni del a partir de qué (pensamientos, creencias, intuiciones, etc.) se dé e, y no que no exista un qué (tipo de mente/estado mental) y un a partir de qué (pensamientos, creencias, intuiciones, etc.) se dé e. Es apropiado hacer dos aclaraciones con respecto a lo que acabamos de decir. Primero, aquí no hemos distinguido entre una proposición del tipo A piensa que e o A cree que e o A intuye que e de una proposición del tipo A está convencido de que e. Segundo, del hecho de que A está convencido de que e no necesariamente se sigue que e es verdadera, i. e., no es contradictorio decir que A está convencido de que e y al mismo tiempo decir que e es falsa. Prácticas platónicas en las matemáticas En su conferencia On platonism in mathematics, 5 P. Bernays sostiene que el platonismo reina hoy en día [1934] en las matemáticas, y para mantener esta afirmación a modo de ejemplo, compara el sistema axiomático de Euclides con el de Hilbert. Euclides habla de figuras a ser construidas: uno puede unir dos puntos con una línea recta, mientras que en Hilbert los sistemas de puntos, líneas rectas, y planos existen desde el principio: dados cualesquiera dos puntos, existe una línea recta sobre la cual ambos están situados. Para Bernays, este último ejemplo muestra que la tendencia (platónica) consiste en ver los objetos como cortados de todo vínculo con el tema sobre el que se reflexiona. Si para Bernays la práctica platónica en las matemáticas consiste en ver los objetos como cortados de todo vínculo con el tema sobre el que se reflexiona, para nosotros consistirá en ver las nociones como cortadas de todo vínculo con el tema sobre el que se reflexiona. En la proposición dados cualesquiera dos puntos, existe una línea recta sobre la cual ambos están situados, la existencia y la constancia (en un sentido metafísico) de la línea recta están supuestas, dadas por sentado. La cuestión que nos interesa no es sólo si la existencia y la constancia de una noción están dadas por sentado en alguna arquitectura matemática, sino si están dadas por sentado en una arquitectura matemática formalista. 5 Pronunciada el 18 de junio de 1934 en el ciclo de Conférences internationales des Sciences mathématiques organizado por la Universidad de Ginebra. 4
6 Como ejemplo de sistema formalizado 6 Curry expone la teoría elemental de los polinomios, para lo que distingue tres categorías de términos, a saber, las constantes positivas, las constantes, y los polinomios, y establece las siguientes reglas: 1) Reglas para las constantes positivas en la teoría elemental de los polinomios a. Si a y b son constantes positivas, entonces a b es una constante positiva. b. Si a y b son constantes positivas, entonces a b es una constante positiva. c. Si a es una constante positiva, entonces 1 a es una constante positiva. d. Si a es una constante positiva y a b, entonces b es una constante positiva. 2) Reglas para las constantes en la teoría elemental de los polinomios a. Si a es una constante positiva, entonces a es una constante. b. Si a es una constante positiva, entonces a es una constante. c. Si a es una constante positiva, entonces ( 1 a ) es una constante. d. Si a es una constante y a b, entonces b es una constante. 3) Reglas para los polinomios en la teoría elemental de los polinomios a. Toda constante es un polinomio. b. Si a y b son polinomios, también lo es a b. c. Si a y b son polinomios, también lo es a b. d. Si a es un polinomio, también lo es a. Una vez establecidas estas reglas, y una vez que comenzamos a construir matemáticas a partir de ellas, la noción de constante, por ejemplo, permanecerá con nosotros a lo largo de toda la construcción. Esta noción se referirá tanto a los propios elementos de esta construcción matemática (por ejemplo, a b si a es una constante y es b ) como a la propia idea de lo que es constante. Así pues, esta práctica platónica consiste en ver las nociones (para este caso la noción de constante) como cortadas de todo vínculo con el tema sobre el que se reflexiona; esto es, la existencia (y la propia constancia) de lo constante está supuesta, dada por sentada. 7 6 Haskell B. Curry, Outlines of a formalist Philosophy of Mathematics (Holanda: North-Holland Publishing Company, 1951), pp El concepto de constancia es tan necesario para nuestra posición como lo es el concepto de existencia. El que en este caso aquél haya coincidido con una aplicación específica de constancia es sólo un accidente (feliz o desafortunado, eso lo dejo a consideración del lector). 5
7 En su Lehrbuch der Arithmetik und Algebra, 8 Schröder propone un axioma similar a nuestra posición. Este axioma, llamado de la estabilidad simbólica, garantiza que a lo largo de todos nuestros argumentos y deducciones los símbolos permanecen constantes en nuestra memoria o en el papel. Como se ve, las diferencias esenciales entre este axioma y nuestra tesis son que a nosotros nos interesan las nociones y no los símbolos y que en esto nosotros reconocemos un carácter platónico. Pero bien podríamos llamar a nuestro principio el principio de la estabilidad nocional, y no puedo imaginar una construcción matemática, por más rudimentaria que sea, en la que este principio, en una u otra de sus tantas formas posibles, no se sostenga. 9 Sobre la intuición en las matemáticas Así como acabamos de defender prácticas platónicas en las matemáticas, y no al platonismo matemático, ahora toca defender prácticas intuicionistas (o, prefiero, intuitivas) en las matemáticas, y no al intuicionismo matemático. En mi opinión, existe una diferencia esencial entre intuición en las matemáticas (o prácticas intuitivas en las matemáticas) e intuicionismo matemático: con lo primero nos referimos a un hecho esencialmente psicológico, mientras que con lo segundo aludimos a un hecho esencialmente filosófico. En sus Fundamentos de la Aritmética, 10 Frege afirma que es posible que un matemático realice cálculos muy grandes sin entender, por sus símbolos, nada intuible, y que esto no significa que los símbolos empleados no tengan sentido; aún distinguimos, dice Frege, entre los símbolos y su contenido, incluso cuando éste sólo pueda ser comprendido con la ayuda de aquellos. Este es precisamente el tipo de intuición al que no nos referimos aquí. Al igual que Curry, Frege parece reducir la intuición matemática a un tipo de intuición filosofada (y por tanto a una intuición matemática filosóficamente comprometida). Pero el matemático que imagina Frege podría, en efecto, realizar cálculos muy grandes sin atribuir ningún sentido intuible a los símbolos que utiliza y aun así no crear nada. 8 Gottlob Frege, The Foundations of Arithmetic (EEUU: Northwestern University Press, 1980), pp. VIII- IX. 9 Quizá nuestro principio se vuelve menos distinto del de Schröder en el momento en el que su estabilidad simbólica la entendemos, extensivamente, como una especie de estabilidad nocional. 10 Gottlob Frege, The Foundations of Arithmetic (EEUU: Northwestern University Press, 1980). 6
8 Lo que quiero decir es que lo intuitivo en las matemáticas no se reduce a (ni desde luego depende de) una sensibilidad a priori o a cualquier otra suposición epistemológica. Uno podría concatenar correctamente símbolos matemáticos por horas, incluso atribuyendo a su formación una condición a priori, sin que ello implique llegar a resultados matemáticos novedosos. El error de Frege es ningunear la condición teleológica, por así llamarle, de la actividad matemática. En este sentido (si dividimos el entendimiento matemático en dos partes necesarias), la parte lógica de las matemáticas da cuenta del porqué (o en cualquier caso del cómo) se concatenan determinados símbolos matemáticos en determinadas construcciones matemáticas, pero no da cuenta del para qué; esta cuestión sólo la resuelve la intuición. Es claro, por lo dicho inmediatamente arriba, que tampoco sucede que la intuición pueda por sí sola dar cuenta del significado completo de una proposición o de una serie de proposiciones matemáticas. Si así fuese, bastaría con comprender la finalidad (el para qué) de la concatenación de determinados símbolos matemáticos para entender, en toda la extensión de la palabra, el significado de una proposición o de una serie de proposiciones matemáticas. Pero las cosas no son así. Si la lógica es, siguiendo a Poincaré, el instrumento de la demostración y la intuición es el instrumento de la invención, entonces podemos decir que la intuición matemática sin la lógica matemática es ciega, mientras que la lógica matemática sin la intuición matemática es vacía. No puede haber, para una creación (o entendimiento) matemática real, una sin la otra: la lógica es una condición necesaria pero no suficiente, y sucede lo mismo con la intuición. Antes pudimos ofrecer una ilustración más o menos explícita de práctica platónica en las matemáticas, pero para el caso de la intuición que estamos considerando aquí esto es virtualmente imposible, porque esta intuición se siente pero no se expresa. 7
Godel y la Crisis de los Fundamentos Andres Abeliuk
Godel y la Crisis de los Fundamentos Andres Abeliuk Hay un concepto que es el corruptor y el desatinador de los otros. No hablo del Mal cuyo limitado imperio es la ética: hablo del infinito. Jorge Luis
Más detallesMaría Paula Parra Ballesteros Pontificia Universidad Javeriana
Universitas Philosophica 64, año 32 enero-junio 2015, Bogotá, Colombia issn 0120-5323 La naturaleza analítica de la verdad matemática María Paula Parra Ballesteros Pontificia Universidad Javeriana m92parra@gmail.com
Más detallesEscuelas de pensamiento matemático durante el siglo XIX.
Autor: Benito Moreno Peña. - 1 - Escuelas de pensamiento matemático durante el siglo XIX. Autor: Benito Moreno Peña Resumen: Dentro de este artículo se hace un repaso por las principales tendencias del
Más detallesDepartamento de Matemáticas Facultad de Química UNAM. Febrero de 2011
Lógica Matemática. El sistema M-I César Rincón Orta Departamento de Matemáticas Facultad de Química UNAM Febrero de 2011 La lógica matemática puede considerarse como una teoría analítica del arte de razonar,
Más detallesÍndice general. I Introducción a la Lógica 3
Índice general I Introducción a la Lógica 3 1 Demostraciones 5 1.1. Argumentos rodeados de agua....................... 5 1.1.1. Argumentando........................... 6 1.1.2. Formalizando el argumento....................
Más detallesTEMA 15: LOS NIVELES DE CONOCIMIENTO EN LA ESTÉTICA Y EN LA ANALÍTICA TRASCENDENTAL
TEMA 15: LOS NIVELES DE CONOCIMIENTO EN LA ESTÉTICA Y EN LA ANALÍTICA TRASCENDENTAL La Estética Trascendental Las formas a priori de la sensibilidad: espacio y tiempo Para probar que espacio y tiempo son
Más detallesSOBRE PROPOSICIONES A PRIORI Y CONTINGENTES Y A POSTERIORI Y NECESARIAS CONSIDERANDO TEOREMAS GEOMÉTRICOS ELEMENTALES Emilio Méndez Pinto*
SOBRE PROPOSICIONES A PRIORI Y CONTINGENTES Y A POSTERIORI Y NECESARIAS CONSIDERANDO TEOREMAS GEOMÉTRICOS ELEMENTALES Emilio Méndez Pinto* on a priori and contingent propositions as well as a posteriori
Más detallesSistema Axiomático para el Cálculo Proposicional
Sistema Axiomático para el Cálculo Proposicional Lógica Matemática José de Jesús Lavalle Martínez 12 de julio de 2011 Resumen Este documento es una traducción de partes de la sección 1.4 AN AXIOM SYSTEM
Más detallesMETODOLOGÍA DE LA INVESTIGACIÓN I
METODOLOGÍA DE LA INVESTIGACIÓN I SESION OCHO Tema: Estructura y proceso del Conocimiento (1ª parte). OBJETIVO. El alumno conocerá e identificará los elementos que componen a la estructura del conocimiento.
Más detallesIntuicionismo matemático y semántica basada en el concepto de demostración
Intuicionismo matemático y semántica basada en el concepto de demostración CURSO TEORIA DE LA PRUEBA PARA LENGUAJES DE PROGRAMACION- DC-UBA-2012 Javier Legris CEF-CONICET y FCE-UBA jlegris@retina.ar Luitzen
Más detallesLos fundamentos de la matemática y los teoremas de Gödel
Los fundamentos de la matemática y los teoremas de Gödel Mario A. Natiello Centre for Mathematical Sciences Lund University Sweden Los fundamentos de la matemática y los teoremas de Gödel p.1/23 Contenido
Más detallesMotivaciones históricas en la construcción de lógicas multivaluadas. Susan Haack, Filosofía de las lógicas (1978), capítulo 11
Motivaciones históricas en la construcción de lógicas multivaluadas Susan Haack, Filosofía de las lógicas (1978), capítulo 11 Repaso Las lógicas multivaluadas son aquellas en donde hay más de dos valores
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesContenido. BLOQUE I: PRELIMINARES Tema 1: INTRODUCCIÓN Lógica Grado en Ingeniería Informática. Introducción. El lenguaje natural.
Contenido BLOQUE I: PRELIMINARES Tema 1: INTRODUCCIÓN Lógica Grado en Ingeniería Informática Alessandra Gallinari URJC Introducción El lenguaje de la lógica Lenguaje natural, lenguaje formal y metalenguaje
Más detallesUNIDAD I: LÓGICA MATEMÁTICA
UNIDAD I: LÓGICA MATEMÁTICA 1.1. Introducción La Lógica Matemática es la rama de las Matemáticas que nos permite comprender sobre la validez o no de razonamientos y demostraciones que se realizan. La lógica
Más detallesEnunciados Abiertos y Enunciados Cerrados
I n g. L u z A d r i a n a M o n r o y M a r t í n e z L ó g i c a 1 Unidad II lógica proposicional Es probable que en el siglo IV antes de la Era Común, se iniciara con Aristóteles el estudio de la Lógica;
Más detallesTema 6: Teoría Semántica
Tema 6: Teoría Semántica Sintáxis Lenguaje de de las las proposiciones Lenguaje de de los los predicados Semántica Valores Valores de de verdad verdad Tablas Tablas de de verdad verdad Tautologías Satisfacibilidad
Más detallesKANT. 3. En la filosofía kantiana está presente a) el racionalismo y el empirismo b) la Ilustración c) ambas d) ninguna de las anteriores
KANT EJERCICIOS -TEST DE OPCIÓN-MÚLTIPLE INDICA LA RESPUESTA VERDADERA (excepto que de forma expresa se indique otra cosa, los ejercicios de este tema se refieren a Kant) 1. La obra en la que Kant trata
Más detallesSistemas deductivos. Lógica Computacional. Curso 2005/2006. Departamento de Matemática Aplicada Universidad de Málaga
Sistemas deductivos Lógica Computacional Departamento de Matemática plicada Universidad de Málaga Curso 2005/2006 Contenido 1 Sistema axiomático de Lukasiewicz Sistema proposicional Extensión a predicados
Más detalleslogica computacional Tema 1: Introducción al Cálculo de Proposiciones
Tema 1: Introducción al Cálculo de Proposiciones Introducción al concepto de cálculo Un cálculo es una estructura pura; un sistema de relaciones. Un cálculo se compone de lo siguiente: Un conjunto de elementos
Más detallesComo pensar como matemático... o algo así. (Sugerencias para estudiantes de matemáticas) H. Flores
Facultad de Ciencias Físico-Matemáticas 56 Aniversario 1953 2009 II Congreso de Ciencias Como pensar como matemático... o algo así. (Sugerencias para estudiantes de matemáticas) H. Flores San Nicolás de
Más detallesLógica proposicional 1. Qué es la lógica?
Lógica proposicional 1. Qué es la lógica? Juan Carlos León Universidad de Murcia Esquema del tema 1 Lógica proposicional 1. Qué es la lógica? 1.1. Argumentos y consecuencias. Verdad y validez lógica Lo
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: Descripción Departamento de Matemáticas ITESM Módulo I: Descripción Matemáticas Discretas - p. 1/15 En esta sección veremos un poco de la historia de la Lógica: desde
Más detallesUNIDAD 8 LA FILOSOFÍA EMPIRISTA
UNIDAD 8 LA FILOSOFÍA EMPIRISTA ÍNDICE EMPIRISMO LA NUEVA CIENCIA Y SU INFLUENCIA EN LA FILOSOFÍA THOMAS HOBBES (1588 1679) FILOSOFÍA POLÍTICA JOHN LOCKE (1632 1704) FILOSOFÍA POLÍTICA GEORGE BERKELEY
Más detallesTEORIA DE CONJUNTOS. Profesor: JOHN JAIRO HERRERA
Conceptos históricos TEORIA DE CONJUNTOS Profesor: JOHN JAIRO HERRERA En el último cuarto del siglo XIX se vivió un episodio apasionante de la historia de las matemáticas que las ligaría desde entonces
Más detallesEnfoques computacionales de la memoria humana: un estado del arte. Renato Garita Figueiredo PROIFED
Enfoques computacionales de la memoria humana: un estado del arte Renato Garita Figueiredo PROIFED Revisión bibliográfica En total se revisaron 35 artículos. Categorización: - Aplicaciones de interacción
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesTexto De la unidad originariamente sintética de la apercepción El yo pienso tiene que poder acompañar a todas mis representaciones; pues, si
Texto 1. 16. De la unidad originariamente sintética de la apercepción El yo pienso tiene que poder acompañar a todas mis representaciones; pues, si no, sería representado en mí algo que no podría ser pensado,
Más detallesTEMA 8: LA REFORMA TOMISTA DE LA METAFÍSICA DE ARISTÓTELES Y LA CONCEPCIÓN DE LA TEOLOGÍA COMO ÁMBITO MÁS ELEVADO DEL SABER
TEMA 8: LA REFORMA TOMISTA DE LA METAFÍSICA DE ARISTÓTELES Y LA CONCEPCIÓN DE LA TEOLOGÍA COMO ÁMBITO MÁS ELEVADO DEL SABER En su obra De ente et essentia, establece Sto. Tomás el principio fundamental
Más detallesINDICE Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 2. Concepto de filosofía 3. El Conocimiento y la lógica
INDICE Contenido VII Prólogo a la primera edición XV Prólogo a la segunda edición XVII Prólogo a la tercera edición XIX Introducción: Cultura y Filosofía; Conocimiento y Lógica 1. Idea de cultura 1 1.
Más detallesSánchez Méndez Karen L. Grupo:1157. Ensayo final. Teorías del conocimiento
Sánchez Méndez Karen L. Grupo:1157 Ensayo final Teorías del conocimiento Para formular un juicio nosotros como personas nos apoyamos en los datos que nos dicen nuestros sentidos, principalmente la vista
Más detallesQué son las Matemáticas? Una introducción a la Filosofía de las Matemáticas. Santiago A. Cárdenas Martín
Qué son las Matemáticas? Una introducción a la Filosofía de las Matemáticas. Santiago A. Cárdenas Martín Qué son las Matemáticas? El diccionario de la RAE nos dice: matemática. (Del lat. mathematĭca, y
Más detallesELEMENTOS DE LA MATEMATICA
ELEMENTOS DE LA MATEMATICA SEMESTRE: Primero CODIGO ANTERIOR: 22G7 CODIGO: 8101 REQUISITOS: No tiene CREDITOS: 6 HORAS DE TEORIA: 4 HORAS DE PRACTICA : 4 TEMA 1: Lógica simbólica. Las conectivas lógicas.
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesSumario Prólogo Unidad didáctica 1. Historia de la lógica Objetivos de la unidad... 10
ÍNDICE SISTEMÁTICO PÁGINA Sumario... 5 Prólogo... 7 Unidad didáctica 1. Historia de la lógica... 9 Objetivos de la unidad... 10 1. Introducción... 11 2. Efemérides... 13 3. La Lógica de Aristóteles...
Más detallesNoción de Currículo en Educación Matemática
Noción de Currículo en Educación Matemática Autor: Luis Rico Bases teóricas del currículo de matemáticas de Secundaria. (Ed. Síntesis). Cuestiones para la Reflexión Curricular! Currículo: plan de formación!
Más detallesTema 1: Introducción. Definiciones. Lógica Computacional. Lógica Computacional. Temas Avanzados en Ingeniería Informática I (Lógica)
Temas Avanzados en Ingeniería Informática I (Lógica) Lógica Computacional La mayoría de las ideas fundamentales de la Tema 1: Introducción ciencia son esencialmente sencillas y, por regla general pueden
Más detallesCapítulo 8: Sistemas completos de contectivos
Capítulo 8: Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjuntos de n proposiciones ordenadas Mostramos que
Más detallesINDICE. Presentación. iii Prologo
INDICE Presentación iii Prologo ix Lógica jurídica fundamental I. Introducción. Fundamentación lógica del Pensamiento jurídico 1.1. Hacia el lenguaje de la lógica 39 1.1.1. Aproximación a la naturaleza
Más detallesKANT Y LA ILUSTRACION
KANT Y LA ILUSTRACION 1 1. FUNDAMENTACION DE LA CIENCIA Immanuel Kant, de origen alemán y educado en el pietismo 1, se dedicó por entero al estudio y a la enseñanza. Su pensamiento surge motivado por la
Más detallesMATEMÁTICAS Y LITERATURA 3
MATEMÁTICAS Y LITERATURA 3 EL TÍO PETROS Y LA CONJETURA DE GOLDBACH 1. Una Conferencia de Matemáticas Cuenta el narrador del libro que acudió a una conferencia de matemáticas titulada Los fundamentos de
Más detallesLógica I modelo de examen (curso ) Ejemplo de respuestas
Lógica I modelo de examen (curso 2007-08) Ejemplo de respuestas 1. Definiciones: - Grado de una fórmula es el número total de conectivas (iguales o distintas) que contiene. - Función de verdad es una función
Más detallesAlgunos Aspectos de la Geometría 1
1 Algunos Aspectos de la Geometría 1 Emilio Lluis Riera Por su belleza y su gran valor estético, por la elegancia de sus construcciones y la nitidez de sus razonamientos, la Geometría ha sido siempre una
Más detallesOrganización de Computadoras Apunte 3: Sistemas de Numeración: Operaciones Lógicas
Organización de Computadoras 2003 Apunte 3: Sistemas de Numeración: Operaciones Lógicas Para comprender este tema, me parece apropiado que repasen el tema de cálculo proposicional introducido en el curso
Más detallesHISTORIA DE LA FILOSOFÍA ALTERNATIVA MÚLTIPLE HUME
HISTORIA DE LA FILOSOFÍA ALTERNATIVA MÚLTIPLE HUME 1. El Empirismo busca la fundamentación del conocimiento humano y de la ética en la... a. Metafísica. b. Filosofía crítica. c. Psicología. 2. Para el
Más detallesTema 10: Conceptos Metalógicos
Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 10: Conceptos Metalógicos Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 12/11/2012 Introducción
Más detallesLógicas para la inteligencia natural y artificial
1er día virtual de la comunidad de Inteligencia Artificial Lógicas para la inteligencia natural y artificial México DF, 18 de junio de 2015 Contenido La lógica humana: comprender y razonar sobre lo natural
Más detalles1. Resume los diferentes conceptos de razón, criterio de verdad y método en los autores estudiados hasta Kant.
KANT 1. Resume los diferentes conceptos de razón, criterio de verdad y método en los autores estudiados hasta Kant. 2. Describe brevemente el significado de los problemas fundamentales de la filosofía:
Más detallesFunciones y Cardinalidad
Funciones y Cardinalidad Definición 1 Llamaremos función f entre dos conjuntos A y B a una relación que verifica las siguientes propiedades: i) Dom(f) = A ii) Si (a, b), (a, c) f entonces b = c Dicho de
Más detallesForjadas por la mente, a partir de la experiencia externa, de los sentidos: "extrañas y venidas de fuera".
DICCIONARIO DE TÉRMINOS CARTESIANOS ADVENTICIAS (Ideas). Forjadas por la mente, a partir de la experiencia externa, de los sentidos: "extrañas y venidas de fuera". ALMA (yo, res cogitans). Parte espiritual
Más detallesCOMPACIDAD Y COMPLETITUD: DOS TEOREMAS CLÁSICOS DE LA TEORÍA DE MODELOS
COMPACIDAD Y COMPLETITUD: DOS TEOREMAS CLÁSICOS DE LA TEORÍA DE MODELOS JOEL TORRES DEL VALLE 1 1 Universidad Cartagena Resumen. Se presentan dos teoremas clásicos de la Teoría de Modelos: Teorema de La
Más detallesLÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL 2. SÍMBOLOS LÓGICOS. 1.a. Símbolos formales. Símbolos no lógicos. Símbolos auxiliares
LÓGICA PROPOSICIONAL 1. LENGUAJE DE LA LÓGICA PROPOSICIONAL Un lenguaje para el ámbito de la lógica se estructura en tres niveles diferentes: símbolos formales, reglas de formación de fórmulas y reglas
Más detallesCM0446. Suficientable
IDENTIFICACIÓN NOMBRE ESCUELA ESCUELA DE CIENCIAS NOMBRE DEPARTAMENTO Ciencias Matemáticas ÁREA DE CONOCIMIENTO MATEMATICAS, ESTADISTICA Y AFINES NOMBRE ASIGNATURA EN ESPAÑOL GEOMETRÍA EN CONTEXTO NOMBRE
Más detallesTEORIA DEL CONOCIMIENTO. M. En C. Eduardo Bustos Farías
TEORIA DEL CONOCIMIENTO M. En C. Eduardo Bustos Farías La Esencia de la Filosofía La filosofía es un intento del espíritu humano para llegar a una concepción del universo mediante la autorreflexión sobre
Más detallesLógica de proposiciones (5)
Lógica de proposiciones (5) Fundamentos de Informática I I..I. Sistemas (2005-06) César Llamas Bello Universidad de Valladolid 1 Lógica Índice Lógica proposicional ecuacional Lógica: semántica Semántica
Más detallesCÓMO SE CONSTRUYE LA GEOMETRÍA MODERNA?
CÓMO SE CONSTRUYE LA GEOMETRÍA MODERNA? Comenzó siendo un conjunto de reglas y conocimientos obtenidos por la experiencia, usados por los constructores y medidores de terrenos. Luego se organiza en forma
Más detallesLOGICA MATEMATICA. Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías:
LOGICA MATEMATICA Utilizando esas definiciones y las leyes de lógica matemática, demostrar las siguientes tautologías: 1 ) q p q p ( q ) p ( Definición ) q p ( Doble Negación ) p q ( Conmutatividad ) (
Más detallesCONTEXTO HISTÓRICO. Burguesía: reclama poder político frente a las monarquías absolutas. República de Cromwell ( )
CONTEXTO HISTÓRICO INGLATERRA (siglos XVII y XVIII) 1ª potencia económica de Europa. Conflictos burguesía-monarquía absoluta: Burguesía: reclama poder político frente a las monarquías absolutas. República
Más detallesIIC2213. IIC2213 Teorías 1 / 42
Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente
Más detallesUNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS DEPARTAMENTO: ASIGNATURA: PROFESORES: CUATRIMESTRE: FILOSOFÍA LÓGICA SUPERIOR Segundo AÑO: 2012 PROGRAMA Nº: UNIVERSIDAD DE BUENOS AIRES FACULTAD
Más detallesLógica Matemática. Contenido. Definición. Finalidad de la unidad. Proposicional. Primer orden
Contenido Lógica Matemática M.C. Mireya Tovar Vidal Proposicional Definición Sintaxis Proposición Conectivos lógicos Semántica Primer orden cuantificadores Finalidad de la unidad Definición Traducir enunciados
Más detallesCONTEXTO FILOSÓFICO interés por las ciencias físico- matemáticas Antecedentes: Reacción realista contra el idealismo posthegeliano
CONTEXTO FILOSÓFICO Segunda mitad del siglo XIX: aparece de nuevo el interés por las ciencias físicomatemáticas, en particular por la fundamentación empírica y axiomática de sus métodos y conclusiones.
Más detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesLÓGICA GUÍA PARA EXTRAORDINARIO. Noviembre 2017
LÓGICA GUÍA PARA EXTRAORDINARIO Noviembre 2017 Nota: Si requieres practicar más ejercicios consulta el libro: Lógica. Conceptos y ejercicios que llevaste en tu curso de 1 de preparatoria. PRIMERA UNIDAD.
Más detallesTEMA: LÓGICA Y TEORÍA DE LA DR. LUIS ALBERTO PACHECO MANDUJANO
TEMA: LÓGICA Y TEORÍA DE LA ARGUMENTACIÓN JURÍDICA DR. LUIS ALBERTO PACHECO MANDUJANO I.- TABLA DE VALORES.- Diseñada por Ludwig Wittgenstein, es una cruz cuyo brazo derecho es mucho más prolongado que
Más detallesTEMAS DE MATEMÁTICAS (Oposiciones de Secundaria)
TEMAS DE MATEMÁTICAS (Oposiciones de Secundaria) TEMA 71 LA CONTROVERSIA SOBRE LOS FUNDAMENTOS DE LA MATEMÁTICA. LAS LIMITACIONES INTERNAS DE LOS SISTEMAS FORMALES. 1. Las Paradojas. 1.1. Paradojas Lógicas.
Más detallesSOBRE LA BÚSQUEDA DE LA VERDAD
SOBRE LA BÚSQUEDA DE LA VERDAD NICOLÁS MALEBRANCHE (1638-1715) 4 http://cheungyclarkenespanol.wordpress.com/ Página 2 SOBRE LA BÚSQUEDA DE LA VERDAD Descartes (1596-1650) había planteado la cuestión de
Más detallesEPISTEMOLOGÍA DILEMA DEL CONOCIMIENTO ZULEIMA IZZO MAYO 2012
EPISTEMOLOGÍA DILEMA DEL CONOCIMIENTO ZULEIMA IZZO MAYO 2012 Epistemología: Rama de la Filosofía que se ocupa de estudiar: El conocimiento, sus límites y posibilidades. El objeto del conocimiento (qué
Más detallesComplejidad Computacional. Andrés Abeliuk Estudiante de Ciencias de la computación U. de Chile
Complejidad Computacional Andrés Abeliuk Estudiante de Ciencias de la computación U. de Chile Números infinitos por cantor Es una de las creaciones matemáticas más sorprendentes y atrevidas de toda la
Más detallesLA ESTÉTICA TRASCENDENTAL O EL CONOCIMIENTO SENSIBLE. LA ANALÍTICA TRASCENDENTAL O EL CONOCIMIENTO INTELECTUAL.
LA ESTÉTICA TRASCENDENTAL O EL CONOCIMIENTO SENSIBLE. Es la doctrina que estudia las estructuras a priori de la sensibilidad, el modo en que el hombre recibe las sensaciones y se forma el conocimiento
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detallesIntroducción: Proposiciones, argumentos e inferencias. Inferencias deductivas e inductivas. Deducción: Inferencias transitivas (Silogismos lineales)
Tema 2.- Deducción. Psicología del Pensamiento, Guión del Tema 2 Prof.: Eduardo Madrid Bloque 1: Razonamiento y variedades del pensamiento. Introducción: Proposiciones, argumentos e inferencias. Inferencias
Más detallesIntroducción a la Matemática Discreta
Introducción a la Matemática Discreta Lógica proposicional y Álgebras de Boole Luisa María Camacho Camacho Introd. a la Matemática Discreta 1 / 25 Introducción a la Matemática Discreta Temario Tema 1.
Más detallesLa Medida de Lebesgue. Problema de la Medida
Capítulo 19 La Medida de Lebesgue. Problema de la Medida Hemos demostrado en el capítulo anterior que la medida exterior de Lebesgue es una medida sobre la familia M de los conjuntos medibles. Por definición,
Más detallesCapítulo 8 Sistemas completos de contectivos
Capítulo 8 Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjunto de n proposiciones ordenadas. Mostramos que
Más detallesLógicaS Modales. Ricardo Oscar Rodríguez Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. Segunda Clase. 1er. Cuatrimestre, 2016 Outline 1 Repaso clase anterior Sintáxis Lógicas Modales Autocongruentes
Más detallesUNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS
UNIVERSIDAD DE BUENOS AIRES FACULTAD DE FILOSOFIA Y LETRAS DEPARTAMENTO: MATERIA: PROFESOR: CUATRIMESTRE: Filosofía Lógica Carlos A. Oller 1ro AÑO: 2013 PROGRAMA Nº: 0211 UNIVERSIDAD DE BUENOS AIRES FACULTAD
Más detallesFrases célebres. Frases célebres 23/03/2017
COMPILADO POR: ING. NELSON VELÁSQUEZ Frases célebres Las matemáticas poseen no sólo la verdad, sino cierta belleza suprema. Una belleza fría y austera, como la de una escultura. Bertrand Russell Las matemáticas
Más detallesContenido. Capítulo I Sistemas numéricos 2. Capítulo II Métodos de conteo 40
CONTENIDO v Contenido Contenido de la página Web de apoyo... xi Página Web de apoyo... xvii Prefacio... xix Capítulo I Sistemas numéricos 2 1.1 Introducción... 4 1.2 Sistema decimal... 5 1.3 Sistemas binario,
Más detallesTeorema de incompletitud de Gödel
Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. IIC2213 Teorías 79 / 109 Teorema de incompletitud de Gödel Theorem (Gödel) Th(N) es una teoría indecidible. Corolario
Más detallesAlgebras booleanas. B2) Leyes Distributivas. Cada operación es distributiva con respecto a la otra:
Algebras booleanas AXIOMAS DEL ALGEBRA DE BOOLE Sea B un conjunto en el cual se han definido dos operaciones binarias, + y * (En algunos casos se definen en términos de y respectivamente), y una operación
Más detallesFREGE: LA PARADOJA DE RUSSELL. Bucéfalo pertenece al conjunto de los caballos (CABALLOS), por ser un caballo
FREGE: LA PARADOJA DE RUSSELL Agustín Arrieta Urtizberea - ylparura@sf.ehu.es Departamento de Lógica y Filosofía de la Ciencia - www.ehu.es/logika) 1. La paradoja en términos no-fregeanos Bucéfalo pertenece
Más detallesPrograma de Poincaré, programa de Hilbert, y matemáticas a la Bishop
Programa de Poincaré, programa de Hilbert, y matemáticas a la Bishop Murcia, 05 de junio, 2013 H. Lombardi, Besançon Henri.Lombardi@univ-fcomte.fr, http://hlombardi.free.fr Proyecto MTM2011-25816-C02-02
Más detallesTEMA 11: ORTEGA Y GASSET
TEMA 11: ORTEGA Y GASSET INTRODUCCIÓN E INFLUENCIAS Ortega y Gasset será el principal filósofo español del siglo XIX que va a ir evolucionando. Su primera etapa será objetivista y estará marcada por sus
Más detallesLógica proposicional o Lógica de enunciados
Tema 3 Lógica proposicional o Lógica de enunciados 1. Qué es la Lógica? 2. El cálculo de proposiciones 2.1. Las conectivas 2.2. Las tablas de verdad 2.3. La deducción natural Bibliografía Deaño, A.: Introducción
Más detallesORIGEN DEL CONOCIMIENTO
UNIDAD II LECCIÓN Nº 08 ORIGEN DEL CONOCIMIENTO OBJETIVO ESPECÍFICO: reconocer las diferentes corrientes filosóficas sobre dad del conocimiento. PROPÓSITO: El alumno estará en la capacidad de comparar
Más detallesMÉTODOS DE DEMOSTRACIÓN
2016-1 1 Presentación 2 Métodos de Demostración Sobre métodos de demostración algunas preguntas de interés 1 Qué es una demostración? Sobre métodos de demostración algunas preguntas de interés 1 Qué es
Más detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesEL IDEALISMO TRASCENDENTAL DE KANT.
EL IDEALISMO TRASCENDENTAL DE KANT. El pensamiento de Kant representa un intento de superar las corrientes filosóficas de la modernidad (Racionalismo y Empirismo), pudiendo, por lo tanto, ser considerado
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,
Más detallesANEXO I OBJETIVOS Y/O ALCANCES DE LA ASIGNATURA
1 Corresponde al Anexo I de la Resolución N 8/01 ANEXO I DEPARTAMENTO DE: Matemática CARRERA/S - PLAN/ES : Profesorado en Matemática Plan 1998 Profesorado en Matemática y Computación Plan 1986 Profesorado
Más detallesAxiomas del Cálculo de Predicados
Axiomas del Cálculo de Predicados Si bien el cálculo proposicional nos permitió analizar cierto tipo de razonamientos y resolver acertijos lógicos, su poder expresivo no es suficiente para comprobar la
Más detallesDante Zanarini. 11 de agosto de Dante Zanarini () Lógica 11 de agosto de / 31
Lógica Dante Zanarini 11 de agosto de 2011 Dante Zanarini () Lógica 11 de agosto de 2011 1 / 31 Resumen 1 Introducción 2 Un poco de historia 3 Algunos conceptos básicos 4 Aplicaciones Dante Zanarini ()
Más detallesGUÍA DOCENTE. Ciencia,lenguaje y filosofía
GUÍA DOCENTE Ciencia,lenguaje y filosofía I.- DATOS INICIALES DE IDENTIFICACIÓN Nombre de la asignatura: Ciencia, lenguaje y filosofía. Carácter: optativo Titulación: Máster Pensamiento filosófico contemporáneo
Más detallesConectivas y Forma Lógicas
Conectivas y Forma Lógicas Dr. Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas, UNAM 1. Introducción Desde practicamente los principios de mi carrera filosófica he estado muy interesado
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE CIENCIAS CARRERA DE MATEMÁTICO CONJUNTOS Y LÓGICA SEMESTRE: Segundo a cuarto CLAVE: 0271 HORAS A LA SEMANA/SEMESTRE TEÓRICAS PRÁCTICAS CRÉDITOS 5/80
Más detallesRAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA
ESCUELA DEL MINISTERIO PÚBLICO Dr. Gonzalo Ortiz de Zevallos Roedel RAZONAMIENTO LÓGICO PARA LA ARGUMENTACIÓN JURÍDICA Dr. Luis Alberto Pacheco Mandujano Gerente Central de la Escuela del Ministerio Público
Más detallesOntología Gnoseología Epistemología. Ana Cravino
Ontología Gnoseología Epistemología Ana Cravino SUJETO OBJETO Ontología Etimológicamente la ontología se puede definir como el logos o conocimiento del ente. Un ente es lo que es. Todas las ciencias o
Más detallesTÉRMINOS DE DESCARTES
TÉRMINOS DE DESCARTES Opiniones-Creencias. Descartes busca conocimientos verdaderos, evidentes, absolutamente ciertos y libres de toda duda. Estos conocimientos verdaderos, evidentes, absolutamente ciertos
Más detalles