(1) El título de este ensayo está tomado del trabajo de Héctor Neri Castañeda titulado '7 + 5 = 12' como una proposición sintética.
|
|
- Luz Gallego Soriano
- hace 5 años
- Vistas:
Transcripción
1
2 Este trabajo tiene el propósito de mostrar que la proposición aritmética es una proposición sintética en un sentido relevantemente similar al sentido kantiano del término sintético. Antes de discutir esta cuestión son necesarias (1) una observación y (2) tres aclaraciones generales: (1) El título de este ensayo está tomado del trabajo de Héctor Neri Castañeda titulado '7 + 5 = 12' como una proposición sintética. 1 (2) En primer lugar, nos serán irrelevantes argumentos a favor del carácter sintético de proposiciones ajenas a (incluido, particularmente, el argumento a favor del carácter sintético de la proposición "7 + 5 = 12", que para Kant descansa en el supuesto de que 12 no es un concepto contenido en los conceptos de 7, 5, o +. Dicho sea de paso: la proposición "7 + 5 = 12" deja de ser sintética en el momento en el que los conceptos de 7, 5, y + se concatenan significativamente (es decir, como 7+5 o como 5+7). En otras palabras, 12 no es un concepto contenido en los conceptos de 7, 5, o + tomados aisladamente; sin embargo, 12 es un concepto contenido en los conceptos de 7, 5, y + tomados conjunta y significativamente: tomados conjuntamente significa que se consideran los tres términos, y tomados significativamente significa que tales tres términos son tomados en una combinación significativa, no meramente como 57+, 75+ (o, para este contexto, como +57, +75), sino como 7+5, 5+7). En segundo lugar, asumiremos que es perfectamente posible afirmar el carácter sintético de una proposición como sin por ello tener que comprometerse con una postura epistemológica o metafísica (es decir, la proposición puede ser sintética independientemente de si es, a la vez, a priori o a posteriori: será a priori para quienes identifican aprioridad y necesidad ; será a posteriori para quienes aprioridad y necesidad no son sinónimos intercambiables). En tercer y último lugar, del hecho de que consideremos a como una proposición sintética no debe concluirse que aceptamos una división tajante y 1 Héctor Neri Castañeda, 7+5=12 As a Synthetic Proposition, Philosophy and Phenomenological Research, vol. 21, n. 2 (1960), pp
3 significativa entre lo analítico y lo sintético (no creo que existan enunciados genuinamente analíticos más allá de casos muy particulares. Por otra parte, tampoco creo que de la sinteticidad de un enunciado deba seguirse que éste es irremediablemente revisable: en lo que sigue sostendré que el enunciado no revisable bajo ninguna justificación es un enunciado sintético). Cuatro definiciones comúnmente aceptadas de proposición sintética son las siguientes. Por un primer lado, a una proposición sintética se le puede definir como aquella proposición que dice algo sobre el mundo. Por un segundo lado, se le puede definir como aquella proposición cuyo predicado no está contenido en el sujeto. Por un tercer lado, se le puede definir como aquella proposición cuya verdad no depende únicamente del significado de sus términos tal como los empleamos en el lenguaje. Por un cuarto lado, se le puede definir como aquella proposición que contempla un sujeto cuya propiedad afirmada sobre él no es una propiedad esencial del mismo. A primera vista, parecería que estas cuatro definiciones son equivalentes entre sí, aunque tengo serias dudas sobre eso. Por ejemplo, la proposición A=A es una verdad no sintética según la segunda, la tercera, y la cuarta definiciones; pero no creo que A=A sea una verdad no sintética según la primera definición. Sea como fuere, esta discusión es irrelevante para nuestros propósitos, así que la dejaré de lado. Aquí, diremos que una proposición sintética es aquella en la que todo lo que puede decirse sobre ella no se encontraba contenido en ella desde un principio o, equivalentemente, una proposición sintética es aquella en la que cada una de las cosas que pueden decirse sobre ella no es una y la misma cosa que cada otra de las cosas que pueden decirse sobre ella. Creo que la proposición cumple con los requisitos, por así decirlo, para ser una proposición sintética según la definición anterior. En Es la matemática puramente lingüística?, 2 Russell escribió que Toda demostración matemática consiste meramente en decir en otras palabras parte o todo lo que se dice en las premisas. Si de un teorema A se deduce un teorema B, debe ser el caso que B repite A (o 2 Russell, Bertrand, Es la matemática puramente lingüística?, en Russell, Bertrand, Análisis filosófico, Ed. Paidós, España, pp
4 parte de él) en otros términos. Y la verdad de A debe resultar de los significados de las palabras utilizadas al establecerlo. Creo que esta manifestación del supuesto de que las proposiciones matemáticas son meramente analíticas tiene un defecto: deja de lado la cuestión fundamental de si las deducciones B, C,..., N desde el teorema A dicen una y la misma cosa entre sí. Esto por lo siguiente: si A = B, A = C,..., A = N, necesariamente B = C =... = N. En otras palabras, el que las deducciones B, C,..., N repitan A está condicionado no sólo a que A = B, A = C,..., A = N, sino también (necesariamente) a que B = C =... = N. Por lo tanto, si es una proposición (teorema) matemática cuyas sucesivas deducciones B, C,..., N, N + 1, N , etc., no cumplen con que B = C =... = N, etc., es una proposición sintética. como una proposición sintética Al hablar sobre la propiedad asociativa de la adición, Poincaré dijo que 3 Yo digo que a + ( b + c) = ( a + b) + c ; en realidad, el teorema es verdadero para c = 1. Entonces puede escribirse como a + ( b + 1) = ( a + b) + 1, que no es otra cosa que la igualdad x + a = [ x + ( a 1)] + 1 con la que he definido la adición. Asumiendo que el teorema es verdadero para c = γ, digo que será verdadero para c = γ + 1. Si ( a + b) + = a + ( b + ), se sigue que [( a + b) + γ ] + 1 = [ a + ( b + γ )] + 1 o, por x + a = [ x + ( a 1)] + 1, que ( a + b) + ( γ + 1) = a + ( b + γ + 1) = a + [ b + ( γ + 1)], lo que muestra, por una serie de deducciones puramente analíticas, que el teorema es verdadero para γ + 1. Siendo verdadero para c = 1, vemos que es sucesivamente verdadero para c = 2, c = 3, etc. Establezcamos que, siendo A un teorema y B, C,..., N, N + 1, N ,... sus respectivas deducciones (que son deducciones sólo en apariencia, habida cuenta del papel de la inducción matemática en ellas, al menos hasta nuestra deducción N ), γ γ 3 Poincaré, Henri, On the Nature of Mathematical Reasoning, en Poincaré, Henri, The Value of Science. Essential Writings of Henri Poincaré, Modern Library, EEUU, p
5 A = a + ( b + c) = ( a + b) + c B = a + ( b + 1) = ( a + b) + 1 C = a + ( b + 2) = ( a + b) N = a + ( b + 13) = ( a + b) + 13 N + 1 = a + ( b + 14) = ( a + b) + 14 N = a + ( b + 15) = ( a + b) Para nuestros propósitos, las deducciones D, E,..., N,... sobran; basta con que B C para que A sea una proposición sintética. Desde luego, bajo el criterio de Russell, A es una proposición analítica en la medida en la que B, C repiten A en otros términos. Pero, es una proposición analítica en la medida en la que B A = B, A = C? Creo que la respuesta a esta pregunta es negativa. = C, si B = C es una condición para que En efecto, si, según nuestra definición, una proposición sintética es aquella en la que cada una de las cosas que pueden decirse sobre ella no es una y la misma cosa que cada otra de las cosas que pueden decirse sobre ella (o, equivalentemente, si las deducciones B, C,..., N, N + 1, N ,... no dicen una y la misma cosa entre sí), entonces es una proposición sintética: restringiéndonos a lo que puede decirse sobre si a = b ( c 0), entonces 1 + (1 + 0) = (1 + 1) (2 + 1) = (2 + 2) (3 + 2) = (3+ 3) + 2, etcétera. Para la causa analítica, tampoco funcionan los casos en los que a = b = c = 0 o a = b = c = 1, sencillamente porque 0 3. Por lo tanto, si bien es cierto que B, C,..., N, N + 1, N ,... repiten A en otros términos, también sucede que B C, B N, B N + 1, B N , C N, C N + 1, C N , N N + 1, N N , N + 1 N
SOBRE 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 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 detallesLÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES
Juan Carlos León Universidad de Murcia LÓGICA DE PREDICADOS 5. IDENTIDAD Y FUNCIONES (PARTE 1) Esquema del tema 5.1. La noción lógica de identidad 5.2. Reglas de deducción natural para = 5.3. Cuantificadores
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 detallesAPUNTES CRÍTICOS AL FORMALISMO MATEMÁTICO DE CURRY
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
Más detallesHISTORIA DE LA FILOSOFÍA ALTERNATIVA MÚLTIPLE KANT
HISTORIA DE LA FILOSOFÍA ALTERNATIVA MÚLTIPLE KANT 1. El pensamiento de Kant se encuadra en la corriente filosófica general denominada... a. Racionalismo. b. Empirismo. c. Idealismo. d. Subjetivismo. 2.
Más detalles1. A qué siglo y a qué movimiento histórico pertenece Kant? 2. Cuáles son las cuatro preguntas que se propone contestar Kant con su filosofía?
EXAMEN DE KANT 1 1. EXAMEN DE KANT 1. A qué siglo y a qué movimiento histórico pertenece Kant? 2. Cuáles son las cuatro preguntas que se propone contestar Kant con su filosofía? 3. Cuál es el problema
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesTema IV Enunciados Compuestos, Silogismos Disyuntivos e Hipotéticos
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesAPRIORIDAD: SUBJETIVIDAD O FORMALISMO?
RUBEN SIERRA MEJIA Universidad Nacional de Colombia APRIORIDAD: SUBJETIVIDAD O FORMALISMO? En esta ponencia no me propongo realizar una tarea filológica sobre un tema kantiano, cuya finalidad fuese la
Más detallesUn poco de lógica. Ramón Espinosa. Departamento de Matemáticas, ITAM
Un poco de lógica Ramón Espinosa Departamento de Matemáticas, ITAM La lógica, como el whisky, pierde sus efectos benéficos cuando se consume en grandes cantidades. Lord Dunsany Uno de los principales propósitos
Más detallesEL IDEALISMO TRANSCENDENTAL DE KANT: EL USO TEÓRICO Y EL USO PRÁCTICO DE LA RAZÓN
EL IDEALISMO TRANSCENDENTAL DE KANT: EL USO TEÓRICO Y EL USO PRÁCTICO DE LA RAZÓN INTRODUCCIÓN En la filosofía kantiana ( Idealismo transcendental ) culminan las tres corrientes filosóficas principales
Más detallesLógica proposicional 6. La semántica veritativo-funcional
Lógica proposicional 6. La semántica veritativo-funcional (Parte 1) Juan Carlos León Universidad de Murcia Esquema del tema 6.1. Noción de interpretación y reglas de valoración. Tablas de verdad 6.2. Consecuencia
Más detallesREGLAS Y LEYES LOGICAS
LOGICA II REGLAS Y LEYES LOGICAS Una regla lógica, o regla de inferencia (deductiva), es una forma válida de razonamiento que es empleada para inferir deductivamente ciertos enunciados a partir de otros.
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 detalles14/02/2017. TEMA 3: EL CUERPO DE LOS NUMEROS REALES Esp. Prof. Liliana N. Caputo
TEMA 3: EL CUERPO DE LOS NUMEROS REALES Esp. Prof. Liliana N. Caputo Así como al estudiar conjuntos hablamos de la existencia de términos primitivos (que no se definen), para definir algunos conjuntos,
Más detallesTEMA I. INTRODUCCIÓN A LA LÓGICA Y AL RAZONAMIENTO DEDUCTIVO.
Lógica y razonamiento. La lógica es el estudio de los métodos que permiten establecer la validez de un razonamiento, entendiendo como tal al proceso mental que, partiendo de ciertas premisas, deriva en
Más detallesU.D.8:LA VERTIENTE EPISTEMOLÓGICA DEL CONOCIMIENTO (Contenidos fundamentales) 8.1: EPISTEMOLOGÍA GENERAL
8.1: EPISTEMOLOGÍA GENERAL: 8.1.1. Sobre el objeto de estudio de la epistemología 8.1.2. Sobre las concepciones de la verdad 8.1.3. Sobre las clases de verdad en relación con las clases de juicio 8.1.4.
Más detallesUNIDAD 1 NUMEROS COMPLEJOS
UNIDAD 1 NUMEROS COMPLEJOS El conjunto de los números complejos fue creado para poder resolver algunos problemas matemáticos que no tienen solución dentro del conjunto de los números reales. Por ejemplo
Más detallesLa clase de hoy. 22 de abril de 2017
La clase de hoy 22 de abril de 2017 1. Satisfacibilidad 1.1. Vamos a extender ahora nuestra noción de verdad bajo una interpretación de enunciados a fórmulas. Por supuesto, el tema es cómo interpretar
Más detallesDepartamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid
LÓGICA FORMAL Lógica Proposicional: Teorema de Efectividad Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lógica Proposicional 1 La lógica proposicional
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 detallesTeoría de Números. Orlando Ochoa Castillo 25 de septiembre de 2011
Teoría de Números Orlando Ochoa Castillo 25 de septiembre de 2011 1. Divisibilidad La Teoría de Números es un tema muy importante en las Olimpiadas de Matemáticas, esta área estudia el comportamiento de
Más detallesSemana 14. Carlos Hernandez. Helena de Oteyza. Alfredo.
Semana 4 Carlos Hernandez Los apuntes los encuentran en: http://wwwcimatmx/especialidadseg/documentos/algoritmospdf Helena de Oteyza http://wwwcimatmx/especialidadseg/documentos/desigualdadespdf Alfredo
Más detallesDemostración Contraejemplo. Métodos Indirectos
DEMOSTRACION Una demostración de un teorema es una verificación escrita que muestra que el teorema es verdadero. Informalmente, desde el punto de vista de la lógica, una demostración de un teorema es un
Más detallesTema de la clase: Lógica Matemática. Introducción
Tema de la clase: Lógica Matemática Instructor: Marcos Villagra Clase # 01 Escriba: Sergio Mercado Fecha 30/10/2017 Introducción Una de las características principales que distinguen a las matemáticas
Más detallesCálculo Diferencial: Enero 2016
Cálculo Diferencial: Enero 2016 Selim Gómez Ávila División de Ciencias e Ingenierías Universidad de Guanajuato 9 de febrero de 2016 / Conjuntos y espacios 1 / 21 Conjuntos, espacios y sistemas numéricos
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
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 detallesCOMO FUTUROS PROFESORES DE MATEMÁTICAS, PARA COMPRENDER EL LENGUAJE MATEMÁTICO UTILIZADO EN DEMOSTRACIONES GEOMÉTRICAS EUCLIDIANAS
DIFICULTADES DE LOS ESTUDIANTES QUE SE ESTÁN FORMANDO COMO FUTUROS PROFESORES DE MATEMÁTICAS, PARA COMPRENDER EL LENGUAJE MATEMÁTICO UTILIZADO EN DEMOSTRACIONES GEOMÉTRICAS EUCLIDIANAS Paola Córdoba y
Más detallesTeoría de Números. Divisibilidad. Olimpiada de Matemáticas en Tamaulipas
Teoría de Números Divisibilidad Olimpiada de Matemáticas en Tamaulipas 1. Introducción Divisibilidad es una herramienta de la aritmética que nos permite conocer un poco más la naturaleza de un número,
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 detallesARGUMENTO CONTRA LA TEORÍA DE LOS DATOS DE LOS SENTIDOS (O DATOS SENSORIALES)
ARGUMENTO CONTRA LA TEORÍA DE LOS DATOS DE LOS SENTIDOS (O DATOS SENSORIALES) 1. Presentación del argumento. Hay situaciones paradigmáticamente situaciones en las que alguien alucinaen las que creemos
Más detallesSemántica formal para la Lógica de enunciados.
Grupo 2 Semántica formal para la Lógica de enunciados. 55. Cuando decidimos elegir los valores de verdad {V,F} para interpretar las fórmulas de L E, estamos adoptando realmente una decisión capaz de determinar
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 detallesLógica proposicional. Semántica Lógica 2018
Lógica proposicional. Semántica Lógica 2018 Instituto de Computación 20 de marzo Instituto de Computación (InCo) Lógica proposicional. Semántica Curso 2018 1 / 1 Significado de una fórmula proposicional
Más detalles2 experiencia empírica contiene saberes acerca de aspectos de la realidad que no son accesibles a la experiencia empírica, tales como un saber con res
LAS AFIRMACIONES VERDADERAS ACERCA DE LA REALIDAD NO EXPERIMENTABLE EMPÍRICAMENTE COMO FUNDAMENTO FUNDAMENTAL DE UNA METAFÍSICA DESPUÉS DE LAS OBJECIONES DE KANT Y DEL POSITIVISMO LÓGICO La pretensión
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 detallesHistoria y Filosofía de la Lógica
Historia y Filosofía de la Lógica Xabier Arrazola 2009-2010 Demostración La premisa demostrativa difiere de la dialéctica en que la demostrativa consiste en admitir una de entre un par de proposiciones
Más detallesTema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad
Tema 1.- Nociones preliminares: grupos, anillos, cuerpos. Divisibilidad 1.1 Grupos Al haber alterado el orden de los temas, este apartado ya se ha visto en el tema 9 1.2 Anillos y cuerpos Definición 1.2.1.
Más detallesFilosofía de la ciencia: el positivismo (empiricismo) lógico
Filosofía de la ciencia: el positivismo (empiricismo) lógico Escuela de Economía Universidad de Costa Rica XE-0370: Seminario de Investigación Económica I I Ciclo 2005 (21 de abril) Prof. Adrián G. Rodríguez
Más detallesUNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE FILOSOFÍA Y LETRAS
UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO FACULTAD DE FILOSOFÍA Y LETRAS LICENCIATURA EN FILOSOFÍA FILOSOFÍA DE LA CIENCIA DR. RICARDO VAZQUEZ GUTIERREZ QUINTO SEMESTRE CICLO: 2019-1 (AGOSTO A DICIEMBRE
Más detalles3. LA ARGUMENTACIÓN FICHA 1 DE REFUERZO DE CONTENIDOS
FICHA 1 DE REFUERZO DE CONTENIDOS 1. La argumentación está formada por dos tipos de enunciados: a) inducción y deducción; b) analíticos y sintéticos; c) premisas y conclusión; d) axiomas y teoremas. 2.
Más detallesCapítulo 3. Leyes Lógicas
Capítulo 3. Leyes Lógicas por G 3 Agosto 2014 Resumen Mostraremos en estas notas algunas de las llamadas leyes lógicas usuales, por el camino largo y aburrido, mediante tablas de verdad. Hay también una
Más detallesSemana 09[1/14] Cardinalidad. 25 de abril de Cardinalidad
Semana 09[1/14] 25 de abril de 2007 Semana 09[2/14] Conjunto no numerables Vimos cuáles son los conjuntos numerables, una serie de propiedades acerca de ellos, y conocimos varios conjuntos numerables,
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 detallesEl concepto del Yo kantiano(iv). Conclusión. Análisis metafísico del yo kantiano
El concepto del Yo kantiano(iv). Conclusión Análisis metafísico del yo kantiano Parece que hablar de metafísica en Kant es no haber comprendido nada su pensamiento, pero en realidad de lo que se trata
Más detallesEl poder de las ideas en el análisis de la política pública
El poder de las ideas en el análisis de la política pública Noé Hernández Cortez * noe.hernandezcortez@gmail.com El fundador del modelo ideacional para el análisis de la política pública es John Maynard
Más detallesRelación de la conjetura de Goldbach con los números primos en los
Relación de la conjetura de Goldbach con los números primos en los intervalos y. José Acevedo Jiménez Santiago, Rep. Dominicana Abstract. Es cierta la conjetura fuerte de Goldbach? De ser cierta la conjetura
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 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 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 detallesRESPUESTAS REPARTIDO 3 PARA ESCRITO TEORICO Diego Danieli 2IA UTU BUCEO AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA?
AXIOMAS - TEOREMAS CÓMO SE CONSTRUYE LA GEOMETRIA MODERNA? FUNDAMENTOS 1 Comenzó siendo un conjunto de reglas y conocimientos obtenidos por la experiencia, usados por los constructores y medidores de terrenos.
Más detallesLicenciatura en Filosofía 2014-A
Centro Universitario de Ciencias Sociales y Humanidades Departamento de Filosofía Licenciatura en Filosofía 2014-A 1.- Identificación del Curso Academia: 1. Lógica y Filosofía de la Ciencia 2. Historia
Más detallesUN ANÁLISIS DEL RAZONAMIENTO ORDINARIO
TÍTULO DEL CURSO: UN ANÁLISIS DEL RAZONAMIENTO ORDINARIO Este curso será impartido por Enric Trillas. Profesor Emérito Honorífico de la Universidad de Oviedo. Adscrito al departamento de Estadística e
Más detallesIdealismo trascendental de Kant.
Idealismo trascendental de Kant. I.- INTRODUCCIÓN 1.1. El idealismo trascendental es una teoría del conocimiento cuyo propósito fundamental consiste en el análisis de la constitución del objeto científico.
Más detallesFILOSOFÍA DEL LENGUAJE
FILOSOFÍA DEL LENGUAJE LUDWIG WITTGENSTEIN (1889-1951) Filósofo austriaco, uno de los pensadores más importantes del siglo XX. Fue un hombre de vida atormentada y apasionante: Rico, cedió toda su fortuna.
Más detallesEspacios vectoriales
Espacios vectoriales [Versión preliminar] Prof. Isabel Arratia Z. Algebra Lineal 1 En el estudio de las matrices y, en particular, de los sistemas de ecuaciones lineales realizamos sumas y multiplicación
Más detallesPALABRA CLAVE Interpretación lógica
Curso 2009- Bloque II: Teoría a Semántica Tema 5: Conceptos Semánticos Básicos B (Cap-3 3 libro) Tema 6: Técnicas y Métodos M Semánticos para validar argumentos (Cap-3 3 libro) Objetivos Aprender los conceptos
Más detallesÁlgebra de Boole. Adición booleana. Multiplicación booleana. Escuela Politécnica Superior
Álgebra de Boole El Álgebra de Boole es una forma muy adecuada para expresar y analizar las operaciones de los circuitos lógicos. Se puede considerar las matemáticas de los sistemas digitales. Operaciones
Más detallesTema 6: Introducción a la Probabilidad
Tema 6: Introducción a la Probabilidad 1. Introducción 2. La regularidad estadística 3. Concepto de probabilidad i. Definición clásica ii. Concepto frecuencialista de la probabilidad iii. Definición axiomática
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 detallesResumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.
Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Elementos de lógica Una proposición es una oración declamativa a la cual se le puede asignar un valor verdad: verdadera (V)
Más detallesKANT CONTEXTO FILOSÓFICO (1) (c y r)
KANT CONTEXTO FILOSÓFICO (1) (c y r) 1er. REQUISITO DE LA ILUSTRACIÓN: MAYORÍA DE EDAD MINORÍA DE EDAD INCAPACIDAD PARA SERVIRSE DEL PROPIO ENTENDIMIENTO HETERONOMÍA AUTOCULPABILIDAD: FALTA DE VALOR PARA
Más detallesResumen de aritmética de Peano
Resumen de aritmética de Peano UDELAR/FING/IMERL 16 de febrero de 2017 1. Fundamentos de la Aritmética de Peano. Axioma 1.1. Existe un conjunto al que denotamos N, un elemento 0 N y una función s : N N
Más detallesTEOREMA DE BERNOULLI
TEOREMA DE BERNOULLI Introducción. En este escrito exponemos de forma detallada el Teorema de Bernoulli. Inroducimos primero el modelo de distribución Bernoulli parámetro p, ofreciendo una discusión sobre
Más detallesLÓGICA FORMAL TEORIAS DE PRIMER ORDEN. Sintaxis y semántica
LÓGICA FORMAL TEORIAS DE PRIMER ORDEN Sintaxis y semántica Pedro López Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Lenguajes de primer orden 1 La lógica
Más detallesLógica Matemática. Tema: Argumentos
Lógica Matemática Tema: Argumentos Argumentos Definición y propósito de los argumentos Un argumento es un conjunto de una o más oraciones. La última de ellas se denomina conclusión, las anteriores se llaman
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 detallesMatemática I C.F.E. I.N.E.T. Profesorado de Informática Conjuntos
Conjuntos Conceptos primitivos: CONJUNTO, ELEMENTO, PERTENECE. Pertenecer- Elemento Sea el conjunto de los ríos del Uruguay. El Río Negro es un río del Uruguay. Entonces, este río es un elemento del conjunto
Más detallesTema II Proposiciones categóricas, formas típicas y distribución
Laboratorio de Altos Estudios en Ciencias Informáticas Programa de Entrenamiento Académico (PEA) en Ciencias Informáticas Cátedra de Introducción a la Lógica y Métodos Científicos Prof. Eugenia Bahit Tema
Más detallesConjuntos y proposiciones
Tema 1 Conjuntos y proposiciones Índice del Tema 1 Introducción....................................... 2 2 Conjuntos........................................ 3 3 Proposiciones......................................
Más detallesTEORÍA PERFORMATIVA ACERCA DE LO BUENO. de numerosas discusiones y discrepancias filosóficas. Pocos temas filosóficos han
TEORÍA PERFORMATIVA ACERCA DE LO BUENO 1. Presentación del argumento. A lo largo de la historia de la filosofía el análisis de los valores ha sido fuente de numerosas discusiones y discrepancias filosóficas.
Más detallesGodel 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 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 detallesUniversidad Nacional Abierta y a Distancia UNAD-Lógica Matemática - Georffrey Acevedo G. A que viene la lógica?
A que viene la lógica? Autor: Georffrey Acevedo G. Noviembre 16 de 2008. Los conceptos de proposiciones, conectivos e inferencias confluyen al analizar un razonamiento. Para tener claridad sobre los conceptos
Más detallesTratado de Argumentación. La nueva retórica
Tratado de Argumentación. La nueva retórica Ch. Perelman y L. Olbrechts-Tyteca * Proyecto INFOCAB PB200714 Antecedentes Argumentar Demostrar Tradición Griega (Aristóteles); Vinculada a la retórica y dialéctica;
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 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 detallesEstructuras Discretas. Teoremas. Técnicas de demostración. Reglas de Inferencia. Reglas de Inferencia Ley de Combinación.
Estructuras Discretas Teoremas Técnicas de demostración Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 15 Definición: teorema
Más detallesIntroducción. Definición de números primos y compuestos
en Introducción El presente trabajo expone la solución a uno de los problemas matemáticos que aún después de mucho tiempo no han sido resueltos. Específicamente, en estas páginas se lleva a cabo la tarea
Más detallesConsecuencia Lógica. Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión.
Desde un punto de vista lógico, un argumento no es más que una sucesión (finita) de premisas o hipótesis y una conclusión. 1,, n Un argumento es correcto si la conclusión es consecuencia, si se sigue,
Más detallesESQUEMA BASE DE UN ENSAYO
LOS ENSAYOS EN TDC ESQUEMA BASE DE UN ENSAYO Respuesta A Título (pregunta guía) Respuesta B Puede haber más respuestas posibles Argumento Contra argumento Argumento Contra argumento Ejemplo Ejemplo Ejemplo
Más detallesLa formación filosófica del gobernante
La formación filosófica del gobernante Ana Lilia Ulloa Cuellar* SUMARIO: Introducción. 1.El conocimiento matemático. 2. El conocimiento filosófico vs la carrera de filosofía. Bibliografía. Introducción.
Más detallesIntroducción a la Investigación Filosófica
Introducción a la Investigación Filosófica Dr. Axel Arturo Barceló Aspeitia Apuntes de clase: Tipos de Conceptos y su Análisis Octubre 2010 1. Adjetivos Cuando pensamos en algunos de los conceptos claves
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 detallesCONCEPTOS. Introducción a la Investigación Filosófica Apuntes de Clase: Agosto 8, 2011 Dr. Axel Arturo Barceló Aspeitia
CONCEPTOS Introducción a la Investigación Filosófica Apuntes de Clase: Agosto 8, 2011 Dr. Axel Arturo Barceló Aspeitia abarcelo@filosoficas.unam.mx Cuando pensamos en algunos de los conceptos claves de
Más detallesDivisión de Ciencias Sociales y Humanidades/ CAMPUS LEÓN. El Círculo de Viena: El criterio de demarcación para los enunciados de la ciencia;
El Círculo de Viena: El criterio de demarcación para los enunciados de la ciencia; Características del positivismo lógico: La originalidad del postivismo contemporáneo: el interés por el lenguaje; La ciencia
Más detallesEstrategias del razonamiento matemático
Divulgaciones Matemáticas 3(1) (1995), 123 128 Estrategias del razonamiento matemático Strategies of mathematical reasoning Darío Durán C. Departamento de Matemática Facultad de Humanidades y Educación
Más detallesTabla de valores de verdad
Tabla de valores de verdad Las tablas de valores de verdad son una herramienta desarrollada por Charles Peirce en los años 1880, siendo sin embargo más popular el formato que Ludwig Wittgenstein desarrolló
Más detallesCamilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.
Guía de estudio Métodos de demostración Unidad A: Clase 3 Camilo Ernesto Restrepo Estrada, Félix Ruiz de Villalba, Lina María Grajales Vanegas y Sergio Iván Restrepo Ochoa 1.. Inferencias y métodos de
Más detallesAmpliación Matemática Discreta. Justo Peralta López
Justo Peralta López UNIVERSIDAD DE ALMERíA DEPARTAMENTO DE ÁGEBRA Y ANÁLISIS MATEMÁTICO 1 Introducción 2 Axiomas y reglas de inferencia Reglas de la impliación, conjunción y disyunción 3 Reglas derivadas
Más detallesUna bella relación entre la conjetura de Golbach y el teorema de Dirichlet
Scientia et Technica Año XX, Vol. 20, No. 3, Septiembre de 2015. Universidad Tecnológica de Pereira. ISSN 0122-1701 294 Una bella relación entre la conjetura de Golbach y el teorema de Dirichlet A beautiful
Más detalles[4.2] El análisis husserliano de los sentidos de escepticismo y de relativismo.
4. LA REFUTACIÓN DEL RELATIVISMO. [4.2] El análisis husserliano de los sentidos de escepticismo y de relativismo. «32. Las condiciones ideales de la posibilidad de una teoría en general. El concepto riguroso
Más detallesAnálisis lógico Cálculo de proposiciones
Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq
Más detallesCapítulo 4. Lógica matemática. Continuar
Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
Más detallesFILOSOFÍA DE LA MATEMÁTICA
SECCIÓN 1 ANÁLISIS DEL DISCURSO MATEMÁTICO ESCOLAR FILOSOFÍA DE LA MATEMÁTICA María Rosa Rodríguez de Estofán, Jesús Alberto Zeballos Universidad Nacional de Tucumán. (Argentina) marosarodriguez@arnet.com.ar,
Más detallesXIX. El empirismo lógico y la epistemología de Karl Popper
XIX. El empirismo lógico y la epistemología de Karl Popper modelo espistemológico que asume que la observación permite recoger información fiable sobre los hechos objeto de estudio que las teorías científicas
Más detalles