Parte I Reflexiones sobre la naturaleza y Enseanza de la prueba G. Hanna et al. (Eds.

), La explicacin y la Prueba de Matemticas: 1 Perspectivas filosficas y educativas, DOI 10.1007/978-1-4419-0576-5_1, Springer Science + Business Media, LLC 2010 Los ensayos recogidos en este volumen fueron originalmente contribuciones a la conferencia La explicacin y la prueba de Matemticas: perspectivas filosficas y educativas, que se celebr en Essen en noviembre de 2006. Los ensayos se ampla sustancialmente versiones de los documentos presentados en la conferencia, cada ensayo ha sido revisado por dos revisores y se ha sometido a crtica y revisin. La conferencia fue organizada por los editores de este volumen y reuni a gente de los campos de la educacin matemtica, la filosofa de las matemticas y historia de las matemticas. Los organizadores de la conferencia creen firmemente que esta interdisciplinario de dilogo sobre la prueba entre los estudiosos de estos tres campos sea fructfera y gratificante para cada campo por varias razones. La evolucin de la prctica de las matemticas durante las ltimas 3 dcadas han llevado a nuevos tipos de pruebas y la argumentacin, desafiando las normas establecidas en este rea. Estos desarrollos se origin a partir de la utilizacin de ordenadores (tanto como heurstica dispositivos y como medios de verificacin), a partir de una nueva calidad en las relaciones de las matemticas sus aplicaciones en las ciencias empricas y la tecnologa (ver la Jaffe-Quinn papel y el posterior debate entre los matemticos, por ejemplo), y de una mayor conciencia de la naturaleza social de los procesos que conducen a la aceptacin de una prueba. Esta evolucin refleja la filosofa de las matemticas, en parte, a posteriori, y en parte en la anticipacin. Los filsofos han buscado por mucho tiempo para definir la naturaleza de la matemticas, centrndose especialmente en sus fundamentos lgicos y su estructura formal. Durante los ltimos 40 aos, sin embargo, el enfoque ha cambiado para abarcar epistemolgica cuestiones tales como la visualizacin, la explicacin y el pensamiento esquemtico. Como consecuencia de ello, en la filosofa y la historia de las matemticas el enfoque de la comprensin matemtica ha cambiado radicalmente. Se presta ms atencin a la prctica matemtica. Este cambio se puso de relieve por primera vez en la

dcada de 1960 por la obra de Imre Lakatos, quien pronunci las matemticas un "cuasi-emprica en ciencias." Su obra sigue siendo de gran importancia para la filosofa de las matemticas, as En cuanto a los aspectos educativos de las matemticas. El trabajo de Lakatos y otros dieron lugar a las concepciones de las matemticas en general, y de la prueba en particular, sobre la base de estudios detallados de la prctica matemtica. Recientemente, estos estudios han sido con frecuencia en combinacin con los puntos epistemolgicos

Captulo 1 Introduccin 2 Introduccin de vista y enfoques cognitivos comnmente subsumidos bajo el trmino "naturalismo". En este contexto, los filsofos han llegado a un mayor reconocimiento de la importancia central de la comprensin matemtica, por lo que han visto ms de cerca cmo comprensin se transmite y en qu cuenta como explicacin de las matemticas. Como cabra esperar por estos dos cambios en el enfoque, los filsofos de las matemticas han centrado su atencin cada vez ms de la justificacin de la exposicin de papel de la prueba. Sus preguntas centrales ya no son slo por qu y cmo hace una prueba una proposicin verdadera, sino tambin la forma en que contribuye a una comprensin adecuada de la papel de proposicin y lo que se juega en este proceso por factores que van ms all de la lgica. El equipo ha hecho un cambio radical en las prcticas educativas. En lgebra, anlisis, geometra y estadstica, por ejemplo, programas informticos ya

ofrece capacidades revolucionarias para la visualizacin y la experimentacin, y tiene la promesa de un cambio an ms. En resumen, las tendencias de la filosofa y la historia de las matemticas, as como en la educacin matemtica, han dado lugar a una diversidad de ideas de la prueba y la explicacin. Estas tendencias interactan, como la gente en un campo son sensibles a la evolucin de los dems. Las tendencias en los diferentes campos que no son idnticos, sin embargo, cada campo mantiene sus propias peculiaridades. El presente volumen tiene la intencin de reforzar, en particular la concienciacin, en la mutua filosofa de las matemticas y las matemticas en la educacin acerca de estos nuevos desarrollos y contribuir a un marco terico ms coherente basado en los recientes avances en los diferentes campos. Esto parece muy posible (incluso necesario) a la luz de las tendencias empricas slidas y realistas, compartida por la filosofa de las matemticas y la enseanza de las matemticas. Ms importante an, a pesar de que comparten una gran inters en estas nuevas formas de entender la explicacin matemtica y la prueba, filsofos de las matemticas y los investigadores en educacin matemtica por lo general trabajar en diferentes entornos institucionales y en diferentes programas de investigacin. Es crucial que los investigadores en ambos campos se interesan por los problemas y las preguntas de la otra. Por lo tanto, invitamos a los filsofos y los historiadores a reflexionar sobre cules son las dimensiones de la demostracin y la explicacin podra ser relevante a la cultura general y en general, a adultos educados y pidi a la gente de la didctica de obtener especficamente los aspectos epistemolgicos y metodolgicos de sus ideas. En la preparacin de la conferencia se identificaron cuatro subtemas para ayudar a organizar este dilogo entre los filsofos de las matemticas y los educadores de las matemticas. Ellos se refieren a las preocupaciones centrales de los dos grupos, as como designar a los temas en los que ambos grupos estn trabajando actualmente: 1.1 El legado de Lakatos La concepcin de Lakatos de las matemticas como un "cuasi-emprico la ciencia" ha demostrado influencia de la filosofa de las matemticas, as como para el contexto educativo. Aunque la idea ingenua de que los conceptos de Lakatos puede ser transferido directamente a la

en el aula, con la esperanza de que los conocimientos en la necesidad de que la prueba se producira de inmediato a partir de los debates en clase, se ha demostrado insostenible, el trabajo de Lakatos es todava un inspiracin para los filsofos y educadores. 1 Introduccin 3 1.2 El pensamiento esquemtico El trmino "pensamiento diagramtico" fue acuado por CS Peirce para designar el hecho que el pensamiento no pueden ser explicados por medios puramente lgico, pero es profundamente dependiente en los sistemas de smbolos y representaciones que se utilizan. Independientemente del discurso de Peirce y filosfico, esta idea juega un papel clave en la didctica de la las matemticas, particularmente en relacin a la argumentacin matemtica y la prueba. 1.3 Prueba de Matemticas y las ciencias empricas Una serie de autores conciben las matemticas en su relacin con lo emprico ciencias, especialmente la fsica. Se puede designar a este enfoque como una forma de fisicalismo - Si bien en el sentido amplio del trmino. Esto no significa en absoluto que las matemticas s se considera que es una ciencia emprica, en un sentido epistemolgico estricto. Este hace hincapi en la posicin, ms bien, que los contenidos, los mtodos y el significado de las matemticas son que se discutirn en el punto de vista de que la matemtica contribuye, a travs de lo emprico ciencias, a nuestra comprensin del mundo que nos rodea. Conceptos tericos de la las matemticas, como el grupo y espacio vectorial, se fijarn a la par con tericos conceptos de la fsica, como la onda electrnica y electromagntica. 1.4 Diferentes tipos de razonamiento y pruebas En la prctica y enseanza de las matemticas, las diferentes formas de matemtica argumentos se han desarrollado, algunos de ellos son considerados como pruebas adecuadas y algunos dispositivos como heurstica. Adems de las pruebas formales, podemos mencionar las diversas formas de induccin, la analoga, la enumeracin, la manipulacin algebraica, la visualizacin, la computadora la experimentacin, la prueba de informtica y de modelado. La conferencia trat de entender estos modos de argumentacin mejor y con mayor profundidad, y para analizar los diferentes puntos de vista de su aceptabilidad y la fecundidad por parte de los matemticos,

filsofos y las matemticas educadores. Al final result que, los subtemas demostrado ser temas recurrentes que surgieron en diversos documentos en lugar de bases adecuadas para su agrupacin. Por lo tanto, hemos decidido organizar los ensayos para el libro en tres grandes secciones. Parte I, "Reflexiones sobre la naturaleza y la enseanza de la prueba", cuenta con siete trabajos pertenecientes a los principales temas de primero, tercero y cuarto de la conferencia. Lakatos filosofa de las matemticas se discute o se aplica principalmente en Koetsier y de Larvor artculos. La funcin de la prueba y la explicacin de las matemticas y lo emprico ciencias juega un papel ms o menos prominentes en Jahnke y los papeles de Mormann. Diferentes tipos de pruebas tericas y sus implicaciones prcticas son fundamentales para los papeles de Eslora y Hanna y Barbeau. Papel de Heinze juega un papel especial, 4 Introduccin porque se trata de pruebas matemticas ni desde el punto de vista de la filsofo o el historiador de las matemticas ni de la de los educadores de matemticas, sino que lleva en el punto de vista de los matemticos que trabajan. Papel de Hans Niels Jahnke "El Conjunto Origen de la prueba terica y Fsica "," triangula "los aspectos histricos, filosficos y educativos de la idea de la demostracin matemtica en la antigua Grecia. Jahnke argumenta que el aumento de prueba matemtica no puede ser entendida nicamente como el resultado de socio-poltico procesos internos o de los desarrollos matemticos, sino como el resultado de una fructfera interaccin de ambos. Despus de todo A. Szab 's pionero histrico Los estudios del concepto de la prueba, Jahnke argumenta que la prueba matemtica - al menos en el contexto de principios de la dialctica - se entiende como un modo de discurso racional no restringido con el objetivo de asegurar la "dogmtica", afirma. Que sirvi principalmente para defender presupuestos y plausible para organizar el conocimiento matemtico en una axiomtico-deductivo manera. La creacin de axiomas y deducir teoremas por lo tanto, no eran en absoluto exclusivo de la matemtica propiamente dicha (es decir, la geometra y la aritmtica), pero se aplicaron tambin en otros campos del conocimiento, especialmente en aquellas reas consideradas ms adelante partes de la fsica terica (por ejemplo, la esttica, la hidrosttica, la astronoma).

Jahnke luego se integra en su argumento distincin P. Maddy 's entre "intrnseca" y "Extrnseca" la justificacin de los axiomas con el fin de mostrar que las matemticas (puras) en la siglo XX no podra haber evolucionado sin una motivacin extrnseca y la justificacin de las hiptesis bsicas de las matemticas y por lo tanto, muestra marcadas similitudes con la tradicin griega antigua. En consecuencia, Jahnke aboga por un "nuevo" manera de discutir la prueba matemtica en el aula no slo mediante la integracin de elementos de la "vieja" tradicin dialctica, sino tambin por el rechazo excesivo, pasada de moda epistemolgica afirmaciones acerca de los axiomas matemticos y pruebas. Contribucin Teun Koetsier de "Lakatos, Lakoff y Nez: Hacia una satisfactoria Definicin de continuidad "tiene como objetivo integrar la lgica de Lakatos y la metodologa de las matemticas, como se destaca en sus pruebas y refutaciones famoso, y Lakoff y La teora de Nez del pensamiento metafrico en las matemticas. Para ello, introduce Koetsier la evolucin del concepto de continuidad de Euclides a finales del siglo XIX como caso de estudio. Argumenta que este desarrollo puede ser entendido como una sucesiva transformacin de las metforas conceptuales que parte de la "metfora euclidiana" de la geometra y los extremos (a travs de Leibniz, Euler, Lagrange, Encontre, Cauchy, Heine y Dedekind) en un muy moderno, aunque aparentemente el tratamiento (tambin) metafrica de el principio del valor intermedio de anlisis. En este estudio de caso, Koetsier convencional presenta las matemticas como un sistema de metforas conceptuales de Lakoff y Nez sentido. Al mismo tiempo, propone un juego de Lakatos de anlisis y sntesis como motor de las transformaciones del sistema y como garante del progreso matemtico: Conjeturas se convierten en proposiciones y (ms tarde) rechaz por medio de anlisis y la sntesis. La posterior aplicacin de estos mtodos lleva a una continua elaboracin y perfeccionamiento de los conceptos matemticos (metforas?) y tcnicas. El papel de Mara Leng "pre-axiomtica Razonamiento Matemtico: Una algebraica Enfoque de "toma una posicin diferente con respecto a la demostracin y 1 Introduccin 5 teorizacin matemtica en general. Despus de G. Hellman 's terminologa, Leng

introduce un "enfoque algebraico" de una manera metafrica con el fin de caracterizan a la opinin de que los axiomas se refieren a los objetos matemticos de forma anloga a cmo las ecuaciones algebraicas con variables desconocidas se relacionan con sus soluciones (que pueden formar los diferentes sistemas y variada). Eslora contrasta este enfoque, lo que viene cerca de Hilbert, con la "asertivo" enfoque de Frege y otros, que tiene que los axiomas son afirmaciones de las verdades acerca de un determinado conjunto de objetos dados de manera independiente de los axiomas. Eslora da cuenta de los pros y los contras de ambos puntos de vista con el respeto a la verdad de los axiomas en general y para la referencia de la matemtica proposiciones. Se presta especial atencin al hecho de que una gran cantidad de "pre-axiomatised" matemticas se realiza: a saber, las matemticas que aparentemente se refiere a la bien establecida los objetos matemticos no "dado" por los axiomas formales. Eslora defiende un "liberal" punto de vista algebraico que puede hacer frente a pre-axiomtica teorizacin matemtica, sin quedar atrapados en las trampas de la tradicional "algebraica" y "asertivo" enfoques axiomatizacin. Thomas Mormann de "Terminaciones, Construcciones y Corrollaries" trae una "Kantiana" la perspectiva de una demostracin matemtica y de la formacin general y el desarrollo de los conceptos matemticos. Mormann se centra en la teora de Cassirer de idealizacin en relacin con la teora kantiana de la intuicin, as como a Peirce llamada "El razonamiento teoremtico." En primer lugar, propone la comprensin de Kant de la intuicin en las matemticas y su funcin principal - el control de las pruebas matemticas de constructiva paso a paso los controles. A continuacin, se presenta logicismo de Russell como el "anti-intuitivo" rival de la filosofa kantiana de las matemticas. A pesar de este antagonismo, Mormann postula que ambas posiciones abog por un marco fijo y estable para las matemticas, sus races en la intuicin o la lgica relacional, respectivamente. En su reconstruccin, Mormann considera "idealismo crtico" Cassirer como una sntesis sublime de ambos precursores, lo que elimina la separacin tajante entre la matemtica filosfica y las ciencias empricas: el concepto de Cassirer de la idealizacin es un "general"

principio, ser eficaz en las matemticas y las ciencias empricas. Por otra parte, Mormann argumenta, este procedimiento de idealizacin es bsico para que algunos "complementos" en matemticas (como el principio de la continuidad de Hilbert), que no estn garantizados por un puramente enfoque lgico. Mormann presenta "razonamiento teoremtico" de Peirce como un especie de complemento para hacer el trabajo Cassirer terminaciones en matemticas la prctica. El "denominador comn" de ambos enfoques, de acuerdo con Mormann, es un cambio en la comprensin general de la filosofa de las matemticas: Su tarea principal ya no es para proporcionar fundamentos inconmovibles para las matemticas y la ciencia, sino a analizar la formacin y transformacin de los conceptos generales y sus funciones en la prctica matemtica y cientfica. Contribucin Brandon Larvor de "La enseanza autoritaria vs autorizada: Polya Lakatos y "se esfuerza por comprender y comparar las dos teoras de los matemticos de la educacin matemtica se derivan de su (comn) "hngaro" matemtica tradicin que se inici con L. Fejer. Larvor muestra que Lakatos "crtico" y "heurstica" enfoque de la enseanza, que ms tarde culmina sus pruebas y Refutaciones, ya est presente en sus primeras declaraciones sobre el papel de la educacin y la 6 Introduccin la ciencia y podra haber sido formada por su Karcsony matemtica Sndor maestro. "Igualitaria" de Lakatos comprensin de la enseanza de las matemticas se basa en una aversin poltica del autoritarismo. Su apreciacin de las pruebas heursticas en el gastos de pruebas deductivas es quizs el resultado ms visible de este disgusto. De acuerdo con Larvor, sin embargo, Lakatos no llegan a una utilidad pedaggica modelo que tenga en cuenta el hecho bsico de que los estudiantes y los profesores no son iguales socios de dilogo. Polya, por otro lado, destac antes de lo que Lakatos la distincin entre presentaciones deductivo y heurstica de las matemticas y se explcita la "formacin" en funcin de la heurstica en la demostracin matemtica. Al contrario de Lakatos, que desarrolla un modelo de enseanza de las matemticas, su modelo no es igualitaria, sino que apunta a una especie de "empata matemtica" en la relacin del maestro con experiencia y aprendizaje de los estudiantes. Polya tambin rechaza el falibilismo matemticas, lo cual es importante

para la filosofa de Lakatos de las matemticas. Aunque ambos pensadores parte importante ideas sobre la enseanza de las matemticas, la comprensin de Lakatos puede ser descrito como anti-autoritaria, mientras que Polya puede ser descrito como "autoritario" aunque no como "autoritario". Gila Hanna y el papel de Ed Barbeau "pruebas como portadores de la Matemtica Conocimiento ", se extiende la tesis de Rav Yehuda de que las pruebas matemticas (en lugar de teoremas) debe ser el principal foco de inters matemtico: Ellos son los principales portadores del conocimiento matemtico, si este conocimiento no se limita a los resultados y su verdad, sino que se entiende como la capacidad de aplicar los mtodos, herramientas, estrategias y conceptos. En la primera parte del artculo, Hanna y Barbeau presentar y analizar Tesis de Rav y su desarrollo en su contexto original de la matemtica la prctica. En este caso, las pruebas informales - "las pruebas conceptuales" en lugar de derivaciones formales - Dominan la argumentacin matemtica y son de especial importancia. Entre otros argumentos, la tesis de Rav ganancias de un apoyo considerable por el hecho de que la matemtica teoremas son a menudo re-probada de manera diferente (JW Dawson), aunque su "La verdad, la preservacin de" la funcin est fuera de duda. La segunda parte del documento tiene como objetivo un desideratum de la educacin matemtica en la aplicacin y la transformacin de Rav concepto de prueba para enseanza de las matemticas. Con especial referencia al anlisis detallado de dos estudios de caso de lgebra y geometra, Hanna y Barbeau argumentan que las pruebas conceptuales merece un papel importante en la enseanza de las matemticas avanzadas, debido a que son de importancia primordial para la enseanza de mtodos y estrategias. Este tipo de pruebas de la enseanza no se entiende como un desafo a "euclidiana" pruebas en el aula, sino como un complemento que ampla la visin de la demostracin matemtica y la naturaleza de las matemticas en general. Criterios "Aiso Heinze matemticos individuales para aceptar teoremas y Pruebas: Un enfoque emprico "ampla y concluye las" Reflexiones "de Parte I a travs de un estudio emprico sobre las opiniones del matemtico de trabajo sobre la prueba. Cundo es la comunidad matemtica dispuesto a aceptar una propuesta de

prueba como tal? Los procesos sociales y los criterios de evaluacin involucrados en responder a esta pregunta estn en el centro de la exploracin de Heinze (aunque no son representativos) la investigacin emprica, que encuest a 40 matemticos del sur de Alemania. La encuesta cuestiones planteadas a un par de posibles criterios para la aceptacin individual de pruebas que pertenecen a las reas de los participantes propia investigacin, a otras reas de investigacin 1 Introduccin 7 oa una parte de un artculo de investigacin que tiene que ser revisado. Algunos de los hallazgos difcilmente sorprendente - una confianza en los procesos de revisin por pares y en el juicio de la ms grande comunidad matemtica - sino tambin a la cuenta personal de cheques de una prueba en algunos detalle juega un papel importante. En particular, los matemticos altos con frecuencia no aceptan automticamente "segunda mano" cheques como correcta. Al parecer, un escptico y actitud individualista dentro de la comunidad matemtica va de la mano con el hecho epistemolgico que una comprensin ms profunda de los teoremas probados necesidades una reconstruccin de la propia prueba de proceso. Debido a la falta de ms emprica datos, sin embargo, estas y otras conjeturas estn abiertos a la discusin y investigacin. Parte II del libro, "La prueba y el desarrollo cognitivo", consta de cuatro artculos. Los dos primeros investigar prometedores marcos tericos, mientras que las dos ltimas uso un marco bien establecido de Vygotsky para examinar los resultados de la investigacin emprica. En "Reduccin de conocer y probar en matemticas: una perspectiva didctica" Nicolas Balacheff comienza por la identificacin de dos espacios didcticos que enfrentar los nuevos los estudiantes de secundaria. En primer lugar, que todava no han aprendido que la prueba de matemticas es muy diferente de lo que cuenta como evidencia en otras disciplinas, incluyendo la ciencias fsicas. En segundo lugar, que han estudiado matemticas durante aos sin ser habl de una demostracin matemtica, pero tan pronto como llegan a la escuela secundaria son abruptamente present a la prueba como una parte esencial de las matemticas y se encuentran tener que hacer frente a la comprensin y la construccin de pruebas

matemticas. Estas brechas que la enseanza de las matemticas difcil, en vista Balacheff, ellos apuntan a la necesidad de examinar la enseanza y el aprendizaje de la demostracin matemtica como un "Dominio de las relaciones entre saber, lo que representa y demostrar matemticamente." La mayor parte de su trabajo se dedica a desarrollar un marco para comprender la complejidad didctica del aprendizaje y la enseanza de la demostracin matemtica, en particular, para el anlisis de la brecha entre saber y probar las matemticas en las matemticas. Buscando ese marco, Balacheff caracteriza la relacin entre prueba y una explicacin muy diferente de la mayora de los filsofos contemporneos de las matemticas, que discuten el poder explicativo de las pruebas en la premisa de que No todas las pruebas matemticas explicar y no todas las explicaciones matemticas pruebas. Balacheff, sin embargo, afirma que una prueba es una explicacin, en virtud de ser una prueba. l ve como una prueba que empez como un texto (un candidato a prueba) que pasa a travs de tres etapas. En la primera etapa, el texto pretende ser una explicacin. En el segundo etapa, este texto (explicacin) se somete a un proceso de validacin (una adecuada comunidad considera que el texto como una prueba). Finalmente, en la tercera etapa en el texto (en la actualidad ) considera una prueba de que la comunidad se juzga adecuado para satisfacer las actuales las normas de la prctica matemtica y por lo tanto se convierte en una legtima matemtica prueba. Como muestra Balacheff de diagrama de Venn, una prueba est incrustado en la clase de explicacin, es decir, "a prueba de matemticas prueba explicacin". Balacheff entonces llega a un marco con tres componentes: (1) accin, (2) formulacin (semitica sistema), y (3) validacin (estructura de control). l concluye que "esta triloga, que define una concepcin, tambin da forma a las situaciones didcticas, no hay validacin posible si un reclamo no se ha expresado de manera explcita y compartida, y no hay 8 Introduccin representacin sin una semntica que surge de la actividad (es decir, de la la interaccin del alumno con el entorno matemtica) ".

En "El desarrollo cognitivo a largo plazo de razonamiento y pruebas," Alto y David Juan Pablo Meja-Ramos uso alto el modelo de "tres mundos de las matemticas" para discutir aspectos del desarrollo cognitivo en el pensamiento matemtico. En su investigacin anterior, Alto investigado por ms de 30 aos cmo los nios llegan a comprender las matemticas. Sus resultados, publicados en varias revistas especializadas, lo llev a definir "tres mundos de las matemticas "- tres maneras en que los individuos operan cuando se enfrentan a nuevos las tareas de aprendizaje: (1) conceptual-encarnado (con los sentidos fsicos, visuales y otros); (2) proceptual-simblica (el uso de smbolos matemticos como los procesos y conceptos, de ah el trmino "Procept"), y (3) axiomtico-formal (uso de las matemticas formales). De altura y Ramos Meja, a examinar la difcil transicin experimentada por la universidad estudiantes, de un razonamiento un tanto informal en las matemticas escolares a probar dentro de la teora formal de las matemticas. El uso de "tres mundos" Alto el modelo de combinacin con la teora de la argumentacin de Toulmin, que describen cmo los tres mundos se solapan hasta cierto punto y tambin son interdependientes. Los dos primeros mundos, los de la corporeidad y el simbolismo, actan como una base para avanzar hacia la el mundo axiomtico-formal. Pero el tercero, axiomtico-formal, el mundo tambin acta como un base para los dos primeros mundos, en el que a menudo lleva de nuevo a nuevo y diferente mundo de la encarnacin y el simbolismo. De altura y Ramos Meja-sostienen que la comprensin de la formalizacin es insuficiente para entender la prueba, ya que han demostrado "cmo no slo encarnacin y llevar el simbolismo en la prueba oficial, pero cmo teoremas estructura a regresar a ms poderosas formas de realizacin y el simbolismo que puede apoyar la bsqueda de ms el desarrollo de las ideas. " Los siguientes dos artculos, "objetos de valor histrico, la mediacin semitica, y la enseanza Prueba "por Mariolina Bartolini Bussi-, y" Las pruebas, Semitica y artefactos de Tecnologas de la Informacin "por Alessandra Mariotti, tambin investigan el desarrollo cognitivo

retos en la enseanza y el aprendizaje de la prueba, pero no tienen por objeto analizar los actuales marcos tericos o el desarrollo de otros nuevos. Por el contrario, tanto el uso de Vygotsky marco, los supuestos bsicos de los cuales es que la mente individual es un activo participante en la cognicin y el aprendizaje que es un proceso esencialmente social, con un carcter semitico, la interpretacin que requiere y la reconstruccin de la comunicacin signos y artefactos. Un punto clave de la teora de Vygotsky es la necesidad de la mediacin entre la mente individual y el mundo social externo. Bartolini Bussi-y Mariotti ambos exploran el uso de artefactos en el aula de matemticas y tratar de entender cmo estos objetos actan como un medio de la mediacin y cmo su uso permite a los estudiantes a dar sentido a las nuevas tareas de aprendizaje. Bartolini Bussi-examina concreto artefactos fsicos: un par de ruedas dentadas malla de manera que un giro hace que el otro a su vez en la direccin opuesta, y aparatos mecnicos para la construccin de parbolas. En el caso de los engranajes, el uso de un artefacto concreto demostrado ser til, en el que los estudiantes hicieron llegar a una postulado y la conviccin de que su postulado ser validado. Adems, el utilizar el artefacto parece haber fomentado una actividad semitica que anima los estudiantes a la razn ms terica sobre el funcionamiento de los engranajes. 1 Introduccin 9 En el caso de los dispositivos mecnicos para la construccin de parbolas, Bartolini Bussiseala que estos artefactos concretos que ofrece varias ventajas: (1) un contexto de reconstruccin histrica, para la exploracin dinmica y para la produccin de un conjeturas, (2) el apoyo continuo durante la construccin de una prueba enmarcada por geometra elemental, y (3) una demostracin del significado geomtrico de la parmetro "p" que aparece en la ecuacin cnica. Mariotti se examinan dos artefactos tecnologa de la informacin: Cabri Gomtre-, un programa de geometra dinmica, y L'Algebrista, un programa de manipulacin simblica. Ella utiliza el carcter semitico de estos artefactos especficos para ayudar a los estudiantes enfoque problemas de validacin y prueba para ensear matemticas. Mariotti da un ejemplo de cmo el uso del artefacto Geometra Dinmica para el Medio Ambiente, Cabri Gomtre-, lleva potencial semitico y por lo tanto es una herramienta til en la enseanza de la prueba. Este artefacto

permiti a los profesores a la estructura de las actividades del aula para que los alumnos se involucrados en (1) la produccin de una figura Cabri que corresponde a una figura geomtrica, (2) una descripcin del procedimiento utilizado para obtener la figura Cabri, y (3) justificacin de un de la "correccin" de la construccin. Un segundo ejemplo, en relacin con la enseanza de la teora algebraica, utiliza un manipulador simblico, L'Algebrista, como un artefacto. Una vez ms, este artefacto permite una reestructuracin de las actividades de clase que le permiti los profesores para aumentar significados matemticos para sus alumnos. Estos dos documentos apoyan la idea de que los mediadores semiticos en la forma de objetos, ya sean fsicos o derivados de la tecnologa de la informacin, se puede utilizar xito en el aula, tanto en la primaria y la secundaria, no slo de ensear las matemticas, sino para ayudar a los estudiantes a entender cmo se llega a validacin matemtica. Parte III, "Los experimentos, diagramas y pruebas", analiza el fenmeno de la la prueba teniendo en cuenta la interaccin entre los procesos y productos. La primera ensayo en esta parte, por un filsofo de la matemtica, es el escenario con una nueva visin las ideas de Wittgenstein sobre la prueba. Dos ensayos sobre temas educativos siguen, que poner a prueba en el contexto ms amplio de la experimentacin y la resolucin de problemas. La parte III se completa con dos estudios de caso histricos relacionados con el proceso de la prueba de la forma una prueba por escrito. En "La prueba como experimento en Wittgenstein," Alfred Nordmann reconstruye La filosofa de Wittgenstein de la prueba matemtica como una complementariedad entre los "Como prueba de imagen" y "a prueba como experimento." Las perspectivas designados por estos dos conceptos son muy diferentes y, en consecuencia, los filsofos han producido desconcertantemente las diferentes interpretaciones del enfoque de Wittgenstein. Utilizando el concepto de "Complementariedad", Nordmann invita al lector a considerar estas dos perspectivas como necesariamente relacionada, por lo que la conciliacin de las interpretaciones aparentemente divergentes. Sin embargo, deja abierta la cuestin de si todas las pruebas pueden ser consideradas en

estas dos maneras. "La prueba de imagen" se refiere a una prueba como un producto escrito. Para Wittgenstein, es ejemplificado por un clculo que aparece en una hoja de papel. Este clculo comprende, lnea por lnea, los pasos que conducen desde los supuestos iniciales para el resultado final. Esto demuestra dos caractersticas: es (1) analizable y reproducible (2). Por un lado, slo la prueba en su conjunto analizable puede decirnos lo que fue probado. 10 Introduccin Por otro lado, la prueba tambin se puede reproducir "con certeza en su totalidad" como copiar una imagen al por mayor y "una vez por todas." "La prueba como experimento" se refiere a los aspectos productivos y creativos de la prueba. En una analoga con los experimentos cientficos, el trmino se refiere a la experiencia de someterse a la prueba. Caso paradigmtico de Wittgenstein para este punto de vista es la reductio ad absurdum o prueba negativa. En este caso, una prueba no aade una conclusin a las premisas pero cambia el dominio de lo que se pueda imaginar al rechazar una de las premisas. Por lo tanto, va a travs de la prueba nos involucra en un proceso en el extremo de que ver las cosas de manera diferente. Por ejemplo, demostrando que triseccin de un ngulo con regla y el comps son los cambios imposible nuestra idea de la triseccin s mismo. La prueba permite nosotros pasar de un viejo a un nuevo estado, de una manera equivocada de ver el mundo a un correcta. Nordmann sostiene que la oposicin entre las imgenes y experimentos aclara lo que es vagamente designada por oposicin esttica frente a dinmica sincrnica vs diacrnico, y de justificacin frente a los aspectos de exploracin de la prueba. Como prueba de imagen y la prueba como experimento dos maneras de considerar la prueba en lugar de dos tipos de prueba. No se puede distinguir si es necesario, por un lado y emprica sobre la otra. Los experimentos del matemtico y del cientfico emprico se similares en que ni experimentador sabe lo que los resultados sern, pero se diferencian en que experimento de los matemticos de inmediato da una imagen de s mismo analizable, de modo que muestre algo y que muestra su necesidad paradigmtico puede colapsar en

un solo paso. En "La experimentacin y la prueba de Matemticas," Michael de Villiers discute en la gran importancia de la experimentacin de una demostracin matemtica y su limitaciones. El documento se basa en una gran cantidad de ejemplos histricos y en los casos de experiencia personal matemtica de Villiers. De Villiers grupos de sus consideraciones en torno a tres sub-temas fundamentales: (1) la relacin entre la conjetura, por un lado y la verificacin / condena por el otro, (2) el papel de las refutaciones en el proceso de generacin de una prueba (final), y (3) la interaccin entre las fases experimental y deductivo para probar. De Villiers escribe que la conjetura de un teorema matemtico a menudo se origina a partir de la experimentacin, investigaciones numricas y las mediciones. Un ejemplo destacado 1792 Gauss es la formulacin del teorema de los nmeros primos, que Gauss sobre la base de una gran cantidad de datos numricos. Por lo tanto, incluso en ausencia de una prueba rigurosa de el teorema, los matemticos estaban convencidos de su verdad. Slo al final de la siglo XIX fue una prueba real que se produce generalmente aceptadas. Por lo tanto, la conviccin a menudo precede a la prueba y es, de hecho, un requisito previo para la bsqueda una prueba. La evidencia experimental y la conviccin juegan un papel fundamental. En el Por otro lado, esto no es cierto en todos los casos. A veces puede ser ms eficiente buscar un argumento directo con el fin de resolver un problema en lugar de tratar una gran nmero de casos especiales. El papel de las refutaciones en la gnesis de teoremas y demostraciones, ya sean globales o heurstica, es un motivo tpico de Lakatos. De Villiers se presentan varios ejemplos y muestra que el estudio de casos especiales y la bsqueda de ejemplos de lo contrario, incluso despus de un teorema ha sido demostrado, con frecuencia son muy eficientes para llegar a una final, 1 Introduccin 11 formulacin madura de un teorema y su demostracin. Por lo tanto, esta estrategia forma parte de la de alto nivel los mtodos de la investigacin matemtica y deben ser tratados de forma explcita en el saln de clases. En este sentido, de Villiers argumenta en contra de una filosofa falibilista radical

de las matemticas, dejando en claro que la suposicin implcita de que el proceso de pruebas y refutaciones pueden llevar hasta el infinito, es errnea. Finalmente, de Villiers se analiza la interaccin complementaria entre los matemticos la experimentacin y deduccin, citando varios ejemplos a la reflexin. En "Prueba, resolucin de problemas matemticos, y explicacin de las Matemticas Enseanza ", Kazuhiko Nunokawa discute la relacin entre la prueba y exploracin mediante el anlisis de procesos concretos de la resolucin de problemas y la generacin de la prueba que se observado con los estudiantes. El documento se centra en las relaciones entre el problema exploraciones resolver ', las construcciones de las explicaciones y las generaciones de la comprensin. Estas tres actividades mentales estn inseparablemente entrelazados. Exploraciones facilitar comprensin, pero lo contrario tambin es cierto. La exploracin es guiado por la comprensin y previamente generados (personal) explicaciones. Resolucin de problemas del uso implcito supuestos que orientan sus actividades de exploracin. En ellos se prev explicaciones posibles, que en el proceso de exploracin se explicaciones reales (o no). Un caracterstica especialmente interesante de los procesos de exploracin y la explicacin es la generacin de nuevos objetos de pensamiento, un proceso de abstraccin que elimina condiciones que no sean esenciales, lleva a una generalizacin de la situacin actual y se abre los ojos a un nuevo fenmeno y teoremas. Un tema central para Nunokawa es el papel fundamental de los diagramas de los y modificacin gradual en la solucin de problemas observados los procesos. Por lo tanto, al final de su papel, Nunokawa seala acertadamente que la mayora de los profesores tienen la costumbre (mala) a presente por as decirlo versiones finales de los diagramas a sus alumnos, mientras que sera ser mucho ms importante y de enseanza "para investigar cmo las versiones finales pueden emergen a travs de las interacciones entre las exploraciones y los entendimientos y lo que las funciones de la versin inmadura de los diagramas de jugar en ese proceso ". Evelyne Barbin papel de "La evolucin de pruebas geomtricas en el siglo 17: De Los iconos de los smbolos "es el primero de los dos estudios de caso histricos que concluyen el

volumen. El contexto ms amplio de su estudio es una reforma o transformacin de primaria geometra que se llev a cabo en el curso de la revolucin cientfica del el siglo XVII y que se podra llamar "aritmetizacin de la geometra." En el siglo XVII, un amplio movimiento anti-euclidiana criticado Euclides Elementos como el objetivo ms a la certeza que en las pruebas y de presentar matemtica declaraciones no en su "orden natural". Por lo tanto, algunos matemticos trabaj en una reforma de la geometra elemental y trat de organizar la teora de de manera que no slo convencido, pero iluminado. Dos de ellos, Antoine Arnauld y Bernard Lamy, escribi libros de texto de geometra elemental en la segunda mitad de la siglo XVII. Barbin analiza y compara cinco pruebas diferentes de un teorema de ciertas proporciones: dos pruebas antiguas por Euclides y tres pruebas de la decimosptima siglo por Arnauld y Lamy. En el punto de vista moderno, el teorema consiste en una simple regla para el clculo de proporciones, que dice que en una proporcin del producto de la miembros del medio es igual al producto de los miembros externos. En su anlisis, Barbin 12 Introduccin sigue un mtodo riguroso, lo que hace uno de los escasos intentos y xito para aplicar Terminologa semitica de Charles Sanders Peirce para concretar los textos matemticos. Barbin explica Peirce conceptos de smbolo, figura, icono, ndice y representacin y las aplica a las pruebas diferentes. Por lo tanto, ella siempre aclara el diferencias pruebas "y las particularidades de estilo. El resultado de este anlisis es que los autores del siglo XVII no slo se producen nuevas pruebas de una antigua teorema, pero dado lugar a una nueva concepcin o estilo de la prueba. En "La prueba en el texto: dos modalidades de la antigua China Algoritmos" Karine Chemla analiza los mtodos que los primeros matemticos chinos usaron para probar la exactitud de los algoritmos que haban desarrollado. Los manuscritos que considera que en parte fueron recuperados a travs de las excavaciones de tumbas en el siglo XX siglo, mientras que otros han llegado hasta nosotros a travs de la tradicin escrita de las matemticas chinas. Estos manuscritos contienen principalmente algoritmos, por lo que es un derecho fundamental cuestin de si se contienen los argumentos en favor de la correccin de los algoritmos y, si es as, estos argumentos se presentan. Por lo tanto, en la prueba de

matemticas chinas al parecer tiene una forma muy diferente de la tradicin occidental. Sin embargo, hay algunos puntos de similitud: Algunas partes de las matemticas occidentales, por ejemplo, en el siglo XVII, se presentan como problemas y algoritmos para su solucin. En su anlisis, Chemla utiliza un marco especfico, para tener en cuenta que en por un lado, la mayora de los algoritmos presuponen y se refieren a determinados materiales clculo dispositivos. Por lo tanto, es una importante cuestin de si los algoritmos actuales las operaciones paso a paso en lo que respecta al dispositivo de clculo. Por otro lado, se tiene que considerar, en general, el grado de detalle de la descripcin de un algoritmo es, por lo que escribe sobre el "grano de la descripcin." Uno de sus resultados ms importantes es su encontrar que las pruebas de la exactitud de un algoritmo se da principalmente a travs de semntica: es decir, los autores chinos suelen ser muy cuidadosamente designado el significado de las magnitudes calculadas en cada paso en el transcurso de un algoritmo. Adems, los matemticos chinos podran utilizar un "grueso de grano" de la descripcin - el colapso ciertos procedimientos estndar - o cambiar el orden de las operaciones a fin de mejorar la transparencia de la prueba. Estos dos estudios de caso histricos muestran de manera convincente que la prueba y es la forma en que representado dependen fuertemente de la "diagramas", disponible en una cierta cultura y en un tiempo determinado. En conclusin, confiamos en que este volumen demuestra que se puede aprender mucho de un enfoque interdisciplinario que rene a las perspectivas de los campos de las matemticas la educacin, la filosofa de las matemticas y la historia de las matemticas. Tambin esperamos que las ideas contenidas en esta coleccin de documentos que enriquecen el curso discusin sobre el estatuto y la funcin de la prueba en las matemticas y su enseanza, y estimular la cooperacin futura entre los educadores matemticos, filsofos y los historiadores. Damos las gracias a la "Deutsche Forschungsgemeinschaft" (DFG) por la generosa financiacin de la conferencia de Essen en 2006. Tambin agradecemos a los

participantes y los autores de intensa y fructferos debates durante la conferencia y por su generoso espritu de cooperacin en el 1 Introduccin 13 preparacin de este volumen. Una multitud de colegas de la historia de las matemticas, matemticas la educacin y la filosofa de las matemticas arbitrado los distintos trabajos y con ello ayud a asegurar la calidad de este volumen. Extendemos muchas gracias a ellos, tambin. Queremos agradecer a John Holt de su pulido estilo de gran parte del manuscrito y por sus consejos editoriales y sugerencias global. Tambin estamos muy agradecidos con Sarah-Jane Patterson y Dick Stephanie, estudiantes de postgrado en el Instituto de Historia y Filosofa de la Ciencia y la Tecnologa en la Universidad de Toronto, por su inestimable ayuda en la preparacin del manuscrito. Gila Hanna, Toronto Hans Niels Jahnke, Essen Helmut Pulte, Bochum G. Hanna et al. (Eds.), La explicacin y la Prueba de Matemticas: 17 PERSPECTIVAS filosfica y la Educacin, la traduccin 10.1007/978-1-44190576-5_2, Springer Science + Business Media, LLC 2010

Captulo 2 El origen de Conjunto de la prueba y Fsica Terica Hans Niels Jahnke 2.1 Los orgenes de la prueba Los historiadores de la ciencia y las matemticas han propuesto tres respuestas diferentes a la pregunta de por qu los griegos inventaron la prueba y la organizacin axiomtico-deductivo de las matemticas (ver Szab 1960, 356 ss.). (1). La tesis socio-poltica reclama una conexin entre el origen de las matemticas la prueba y la libertad de expresin que brinda la democracia griega, una poltica y el sistema social en el que los diferentes partidos luchaban por sus intereses por medio de argumento. Segn esta tesis, la argumentacin poltica cotidiana constituido un modelo para la demostracin matemtica. (2). La tesis internalista sostiene que la prueba matemtica surgi de la necesidad para identificar y eliminar las declaraciones incorrectas del corpus de aceptacin matemtica con la que los griegos se enfrentaron en el estudio de Babilonia y las matemticas egipcias. (3). La tesis de una influencia de la filosofa dice que el origen de la prueba en las matemticas se remonta a las exigencias hechas por los filsofos. Obviamente, la tesis (1) puede reclamar cierta plausibilidad, aunque no hay evidencia directa a su favor y es difcil imaginar lo que esas pruebas podra ser similar. Tesis (2) se indica por van der Waerden. Seal que los griegos haban aprendido diferentes frmulas para el rea de un crculo de Egipto y Babilonia. La resultados contradictorios podran haber proporcionado una fuerte motivacin para una revisin crtica de las reglas matemticas en uso en el momento en que los griegos entraron en la escena. Por lo tanto, en el momento de Thales los griegos comenzaron a investigar este tipo de problemas por s mismos con el fin de llegar a resultados correctos (van der Waerden 1988, 89 ss.).
H. N. Jahnke () FB Mathematik, Universidad de Duisburg-Essen, 45117, Campus Essen, Essen, Alemania e-mail: njahnke@uni-due.de 1 Me gustara dar las gracias a Gila Hanna y Pulte Helmut por sus valiosos consejos. 18 H. N. Jahnke

Tesis (3) se apoya en el hecho de que el nivel de razonamiento matemtico fueron ampliamente discutidos por los filsofos griegos, como las obras de Platn y Aristteles show. Algunos autores utilizan el trmino "reforma platnica de las matemticas." Este artculo examina en detalle una cuarta tesis, que en cierto sentido, constituye una combinacin de las tesis (1) y (3). Se basa en un estudio realizado por el historiador

de las matemticas rpd Szab2 (1960), que investig la etimologa de los trminos utilizados por Euclides para designar los diferentes tipos de declaraciones que funcionan como puntos de partida de la argumentacin en los "Elementos". Euclides dividen las bases de los "Elementos" en tres grupos de estados: (1) Definiciones, (2) Los postulados y (3) Nociones Comunes (Heath 1956). Definiciones determinar los objetos con los que los elementos se van a tratar, mientras que los postulados y nociones comunes implican declaraciones acerca de estos objetos que constituyen los estados ms se pueden derivar. La distincin entre postulados y nociones comunes refleja la idea de que los postulados son declaraciones especficas a la geometra, mientras que el nociones comunes proporcionar las proposiciones verdaderas para todas las matemticas. Algunos historiadores destacar que los postulados pueden ser considerados como declaraciones de la existencia. En el texto griego de Euclides llegado hasta nosotros (edicin de Heiberg de 1883-1888) las definiciones se llaman oi, los postulados itmata y las nociones comunes koina nnoiai. En su anlisis, Szab se inicia con la observacin de que Proclo (quinto dC), en su famoso comentario sobre los Elementos de Euclides, que se utiliza una diferente terminologa (por una traduccin al Ingls, ver Proclo 1970). En lugar de sistema operativo (definicin) Proclo aplicado el concepto de pqesiV (hiptesis) y en lugar de koina nnoiai (nociones comunes) que utilizan xima (axiomata). l mantuvo el concepto de itmata (postulados) que figura en Euclides. Szab se explica la terminologa diferentes por la hiptesis de que Proclo se refiere a los manuscritos ms antiguos de Euclides que el que ha llevado a nuestra edicin moderna de Euclides. Szab muestra que pqesiV (hiptesis), itmata (postulado) y xima (Axioma) fueron los trminos ms comunes de la pre-euclidiana y la pre-dialctica platnica, que es relacionados tanto con la filosofa y la retrica. Los filsofos griegos clsicos entiende la dialctica como el arte de intercambiar argumentos y contra-argumentos en un dilogo debatiendo una propuesta controvertida. El resultado de tal ejercicio podra ser no slo la refutacin de uno de los puntos de vista relevantes, sino ms bien una sntesis o una combinacin de las afirmaciones contrarias, o por lo menos una transformacin cualitativa (Ver Ayer y O'Grady 1992, 484). El uso del concepto de hiptesis como sinnimo de la definicin era comn en la dialctica pre-euclidiana y la pre-platnicos. En este uso, la hiptesis designado el hecho de que los participantes en un dilogo que estar de acuerdo en un primer conjunto

definicin del tema antes de que pudieran entrar en el discurso argumentativo al respecto. Los griegos, como Proclo, hiptesis tambin se utiliza en un sentido ms general, cerca a su significado hoy en da. Una hiptesis es la que est subyacente y por lo tanto puede ser utilizado como una base de otra cosa. Proclo, por ejemplo, dijo: "Dado que este 2 Para una discusin de las relaciones personales y cientficas entre Szab y Lakatos, vase Mate (2006). Me gustara agradecer a Brendan Larvor para llamar mi atencin sobre este documento. 2 El Conjunto Origen de la prueba y Fsica Terica 19 ciencia de la geometra se basa, se dice, en la hiptesis (x poqsewV inai), y demuestra sus proposiciones despus de determinar los principios bsicos ... el que se prepara una introduccin a la geometra debe presentar por separado los principios de la ciencia y las conclusiones que se derivan de los principios, ... "(Proclo 1970, 62). Segn Szab, los tres conceptos de hiptesis, aitema (postulado) y el axioma tena un significado similar en el pre-platnicos y la dialctica pre-aristotlica. Ellos todos designados aquellas proposiciones iniciales en los que los participantes en una dialctica debate deben estar de acuerdo. Una propuesta inicial que se acord que entonces se llamaba un "Hiptesis". Sin embargo, si los participantes no estaban de acuerdo o si se declara ninguna decisin, la proposicin de que entonces se llamaba aitema (postulado) o axioma (Szab 1960, 399). Como regla general, los participantes se introducen en una hiptesis dialctica debate que considera especialmente fuerte y esperar a ser aceptado por los dems participantes: numerosos ejemplos de este tipo se pueden encontrar en los dilogos platnicos. Sin embargo, Tambin es posible proponer una hiptesis con la intencin de examinar crticamente que. En un discurso filosfico, se podra derivar consecuencias de tal hiptesis que se desee (plausible) o no deseado (inverosmil). El primer caso conduce al fortalecimiento de la hiptesis, esta ltima a su debilitamiento. El caso extremo de una consecuencia no deseada podra ser una contradiccin lgica, que necesariamente dar lugar al rechazo de la hiptesis. Por lo tanto, el procedimiento de indirectos la prueba en las matemticas pueden ser considerados como directamente relacionados con las costumbres comunes en la filosofa. Segn Szab (1960) constituye una explicacin de las frecuentes existencia de pruebas indirectas en las matemticas de la poca griega antigua. El concepto de nociones comunes, como un nombre para el tercer grupo de introduccin declaraciones de las necesidades de atencin especial. Como se mencion anteriormente, este trmino es una traduccin directa

del griego nnoiai koina y designa "las ideas comunes a todos los humanos los seres ". Segn Szab, el trmino se deriva de la filosofa estoica (desde 300 aC) y connota una proposicin que no se puede dudar con razn. Proclo atribuye tambin el mismo significado al concepto de xima, que en lugar de koina nnoiai. Por ejemplo, escribi en un momento dado: "Esto es lo que generalmente se llaman axiomas indemostrables, en la medida en que se consideren por todo el mundo para ser verdad y nadie discute que "(Proclo 1970, 152). En otro momento, incluso escribi, con una alusin a Aristteles: "... mientras que el axioma es indemostrable, como tal, y todo el mundo estaran dispuestos a aceptarlo, a pesar de que algunos podran ponerlo en duda por el bien de la argumentacin "(Proclo 1970, 143). Por lo tanto, slo la gente pendenciera pusiera en duda la validez de los axiomas euclidianos, desde Aristteles, este ha sido el punto de vista dominante. Szab (1960) muestra que el uso pre-aristotlica del trmino axioma era bastante similar a la de la aitema plazo, por lo que signific un axioma declaracin en la que el los participantes de un debate de acuerdo o cuya aceptacin se fueron indecisos. Por otra parte, deja claro que las proposiciones de Euclides designado en "Elementos", como axiomas o nociones comunes haba sido puesta en duda en los primeros tiempos de la filosofa griega, es decir, por Zenn y la Escuela de Elea (siglo V aC). La compilacin explcita de los estados encabezados por los axiomas plazo (o nociones comunes) en el perodo inicial de la construccin de los elementos de las matemticas fue motivado por la intencin de rechazar La crtica de Zenn. Slo ms tarde, cuando la filosofa de la Eleates se haba debilitado, hizo las declaraciones respectivas aparecen como incuestionables para una mente sana. 20 H. N. Jahnke De esta manera, el concepto de un axioma ganado actualidad en la filosofa griega y en las matemticas. Su punto de partida reside en el arte del discurso filosfico, y ms tarde se desempeado un papel en la filosofa y las matemticas. Ms importante para este trabajo, sufri un cambio concomitante en su estatuto epistemolgico. En el contexto de principios de la dialctica, el axioma plazo designado una proposicin que en el comienzo de una debate podra ser aceptado o no. Sin embargo, el axioma ms tarde el significado de las matemticas era claramente el de una declaracin que a su vez no puede ser probado, pero es absolutamente cierto y por lo tanto puede servir como fundamento de una teora deductiva organizado. Este

ms tarde se convirti en el sentido de la vista, todava dominante en la ciencia y la filosofa occidentales. Aristteles expuso el significado ms reciente de axioma ampliamente en su "Analytica posteriora ": Que yo llamo "primeros principios" en cada gnero los hechos que no se puede probar. As, el significado tanto de las verdades primarias y demuestra los atributos de ellos se supone, que para su existencia, la de los principios debe ser asumida, pero que de los atributos deben ser demostrado. E. g., se asume el significado de "unidad", "recta" y "triangular", pero al mismo tiempo que suponer la existencia de la unidad y la magnitud geomtrica, que en el resto debe ser probado. (Aristteles, 1966, I, 10) Aristteles tambin conoca la distincin entre el postulado (aitema) y el axioma (comn conceptos) que se utiliza en Euclides: De los primeros principios utilizados en las ciencias demostrativas algunos son especiales para particulares ciencias, y algunos son comunes;. . . Principios especiales, como son que una lnea, o la rectitud, es de tal y tal naturaleza, principios comunes, tales como que cuando se es igual tomadas de los restos son iguales iguales. (Aristteles, 1966, I, 10) As, el estudio Szab lleva a la siguiente imagen general de la aparicin de prueba matemtica. En la filosofa griega, que se remonta a los tiempos de la Eleates (ca. 540 a 450 aC), los trminos y proposiciones axioma aitema designado que fueron aceptadas en el inicio de un dilogo como base de la argumentacin. En el curso del dilogo, las consecuencias fueron extrados de estas propuestas con el fin de para examinar crticamente y para investigar si las consecuencias se deseado. En caso de que la proposicin se refiere a la realidad fsica, "deseado" podra significa que las consecuencias de acuerdo con la experiencia. Si la propuesta se refiere la tica, la "deseada" puede significar que las consecuencias de acuerdo con las normas aceptadas de comportamiento. Efectos deseados constituye un fuerte argumento en favor de una proposicin. El caso ms extremo de la consecuencia no deseada, una contradiccin lgica, dirigido necesariamente al rechazo de la proposicin. Lo ms importante, en el inicio de un dilogo el estado epistmico de un axioma o aitema qued indefinido. Un axioma podra ser cierto o probable, o quiz incluso errneos. En un segundo perodo, comenzando con Platn y Aristteles (desde ca. 400 aC) los trminos Axioma y aitema cambiado radicalmente su significado, sino que ahora se seala proposiciones consideradas absolutamente cierto. Por lo tanto, el estado epistmico de un axioma ya no era indefinida, pero definitivamente fijado. Este cambio en el estatus epistmico

seguido muy natural, porque en ese tiempo los matemticos haban empezado la construccin de teoras. Axiomas se supone verdadera una vez por todas, y eran matemticos interesados en la obtencin de las consecuencias ya que muchos de ellos como sea posible. Por lo tanto, la aparicin 2 El Conjunto Origen de la prueba y Fsica Terica 21 de la visin clsica que los axiomas de las matemticas son absolutamente cierto fue inseparablemente relacionado con el hecho de que la matemtica se convirti en una "ciencia normal", para usar Plazo T. Kuhn 's. Despus de Platn y Aristteles, la visin clsica se mantuvo dominante hasta bien entrado el siglo XIX. Natural, ya que podra haber sido, en los ojos de la filosofa moderna y moderna las matemticas de este cambio de estatus epistmico de axiomas era no obstante un dogmatisation injustificada. La decisin de construir en un conjunto fijo de axiomas y no cambio que ms all es epistemolgicamente muy diferente de la decisin de declaran absolutamente cierto. En un plano ms general, podemos sacar dos consecuencias: primero, Szab (1960) consideraciones sugieren la tesis de que la prctica de un discurso racional siempre un modelo para la organizacin de una teora matemtica de acuerdo con la axiomaticdeductive mtodo, en fin, la prueba se basa en la comunicacin. Sin embargo, esto simplemente no apoyan la tesis socio-polticas, de acuerdo con que la prueba fue el resultado de la democracia griega. Por el contrario, muestra una conexin entre la prueba y la dialctica como un arte de conducir a un dilogo. Este arte dirigido a un discurso metdicamente gobern en el que los participantes aceptan y obedecen a ciertas reglas de comportamiento. Estas reglas son cristalizado en la hiptesis de trminos, aitema y axioma, que obliguen a los participantes obligacin de exhibir sus supuestos. La consecuencia importante segundo se refiere a la universalidad de la dialctica. Cualquier problema puede ser objeto de un discurso dialctico, independientemente de que aspecto disciplina, o incluso de la vida que implica. De un problema de tica a la pregunta si el lado y la diagonal de un cuadrado de tener una medida comn, todos los problemas podran ser tratados en un debate. Diferentes personas pueden hablar sobre el tema respectivo, como siempre y cuando estn dispuestos a revelar sus suposiciones. Anlogamente, la posibilidad de una organizacin axiomtico-deductivo de un conjunto de proposiciones no se limita a aritmtica y geometra, pero en principio puede aplicarse a cualquier campo de los

derechos humanos del conocimiento. Los griegos se dio cuenta de este principio en el momento de Euclides, y llev a el nacimiento de la fsica terica. 2,2 salvar los fenmenos Durante la poca helenstica, en un intervalo corto de tiempo los cientficos griegos aplicada la organizacin axiomtico-deductivo de la teora a una serie de reas naturales en la ciencia. Euclides escribi l mismo una ptica deductiva organizado, mientras que Arqumedes siempre axiomtico-deductivo cuentas de la esttica y la hidrosttica. En astronoma, tambin se convirti en procedimiento comn a las hiptesis de que el estado un grupo de fenmenos se podran derivar y que sirvi de base para el clculo de datos astronmicos. Las proposiciones de naturaleza muy diferente podra funcionar como hiptesis. Por ejemplo, Aristarco de Samos (siglo III aC) comenz su trabajo "Sobre las magnitudes y distancias del Sol y la Luna "con una hiptesis sobre cmo rayos viaja la luz en el sistema Tierra-Sol-Luna, una hiptesis sobre las posibles posiciones de la luna con respecto a la tierra, la hiptesis de dar una explicacin de la 22 H. N. Jahnke fases de la luna y una hiptesis acerca de la distancia angular de la Luna y el Sol en el momento de media luna (un valor medido). Estos fueron los ingredientes de Aristarco utiliza para sus deducciones. En el mbito de la astronoma, los griegos discutido, de una manera ejemplar, cuestiones filosficas sobre la relacin entre la teora y la evidencia emprica. Este debate iniciado en la poca de Platn y se refera a la trayectorias de los planetas. En general, los planetas al parecer los viajes a travs del cielo de las estrellas fijas en arcos de crculo. En ciertos momentos, sin embargo, realizan una retrgrada (y por lo tanto irregular) de movimiento. Esto caus un problema grave, ya que los pitagricos, los griegos haban tenido una profunda arraigada conviccin de que los cuerpos celestes realizar movimientos circulares con una constante velocidad. Pero esto no poda explicar el movimiento irregular retrgrado de los planetas. Los astrnomos griegos inventaron hiptesis sofisticadas para resolver este problema. La primer cientfico que propuso una solucin de Eudoxo fue el mejor matemtico de su tiempo y un buen amigo de Platn. Aunque el fenmeno del movimiento retrgrado de los planetas era muy conocido, que no figura en los dilogos de Platn de los primeros y el perodo medio. Slo en su dilogo tarde "nomos" ("leyes") que Platn menciona la

problema. En este dilogo, un extranjero de Atenas (probablemente Eudoxo) apareci, quien explic a Clinias (presumiblemente Platn) que slo parece que los planetas "Vagar" (es decir, realizar un movimiento irregular), mientras que en la realidad, precisamente la es todo lo contrario: "En realidad, cada uno de ellos describe slo una rbita fija, a pesar de que Es cierto que a todas luces su camino siempre est cambiando "(Platn, 1997, 1488). Por lo tanto, en su ltimo perodo de Platn reconoca que tenemos que ajustar nuestras ideas bsicas con el fin de para que sean de acuerdo con las observaciones empricas. Voy a ilustrar este principio, un caso ms simple que los caminos de los planetas, pero igualmente importante en la astronoma griega. En el siglo II aC, el gran astrnomo Hiparco y matemtico investig un fenmeno astronmico probablemente ya se sabe antes de tiempo, la "anomala del sol." En trminos generales, el trmino se refiere a la observacin de que el semestre de verano es de aproximadamente 1 semana ms que el semestre de invierno. Astronmicamente, el semestre de verano Se defini entonces como el perodo en que el sol en su trayectoria anual alrededor de la Tierra (en trminos del sistema geocntrico) tiene que viajar desde el equinoccio de primavera a la equinoccio de otoo. Anlogamente, el semestre de invierno es la duracin de la de viaje desde el equinoccio de otoo al equinoccio de primavera. Equinoccio de primavera y equinoccio de otoo son las dos posiciones del sol en la eclptica en el que da y la noche son igual de larga para los seres vivos sobre la tierra. Los dos puntos, observado de la tierra, son exactamente opuestos el uno al otro (el equinoccio vernal, equinoccio de otoo y el centro de la tierra forman una lnea recta). Puesto que los astrnomos griegos supone que todos los cuerpos celestes se mueven con velocidad constante en crculos alrededor de el centro de la tierra, se sigue necesariamente que la mitad de los aos-de verano y invierno sera igual. Los astrnomos griegos necesarios para desarrollar una hiptesis para explicar este fenmeno. Hiparco propuso una hiptesis colocando el centro de la circular del sol rbita no en el centro de la tierra, pero un poco fuera de ella (Fig. 2.1). Si este nuevo centro est colocada correctamente, entonces el arco a travs del cual viaja el sol durante el verano, 2 El Conjunto Origen de la prueba y Fsica Terica 23 observado desde la Tierra, es mayor que un semicrculo, la anomala de que el sol explic. Ms tarde, la hiptesis de Hiparco fue llamado por Ptolomeo el excntrico "

hiptesis "(Toomer 1984, 144 pp). Otra hiptesis que compiten con las de Hiparco fue el epicicloidal " hiptesis "de Appolonios de Perge (siglo III aC, vase la Fig. 2.2.). Dijo que la sol se mueve en un crculo concntrico con el centro del universo, pero no "en realidad en ese crculo, pero en otro crculo, que es transportado por el primer crculo, y por lo tanto es conocido como el epiciclo "(Toomer 1984, 141). Por lo tanto, el caso de la anomala de la Sol nos confronta con el notable fenmeno de la competencia de las hiptesis. Ambas hiptesis permitir la obtencin de las consecuencias que de acuerdo con la astronoma fenmenos. Puesto que no haba ninguna razn ms a favor de cualquiera de ellos, que no importa que uno se ha aplicado. Ptolomeo mostr que, teniendo en cuenta una adecuada eleccin de los parmetros, ambas hiptesis son matemticamente equivalentes y conducen a los mismos datos de la rbita del sol. Por supuesto, fsicamente son muy diferentes; Sin embargo, Ptolomeo no se ponen del lado de uno u otro. Por lo tanto la siguiente situacin: Los griegos crean que los cuerpos celestes se movi con velocidad constante en crculos alrededor de la Tierra. Estos dos supuestos (Constancia de la velocidad y la circularidad de la ruta) eran tan fundamentales que los griegos no eran en absoluto dispuestos a renunciar a ellos. El movimiento retrgrado de los planetas y la anomala de que el sol pareca contradecir estas convicciones. En consecuencia, Los astrnomos griegos tuvieron que inventar otras hiptesis que llev la teora en acuerdo con los fenmenos observados. Los griegos llamaban a la tarea de la invencin de tales hiptesis "salvar los fenmenos" ("szein t fainmena"). La historia de esta frase es interesante y refleja las ideas griegas sobre cmo llevar el pensamiento terico de acuerdo con los fenmenos observados (vase Lloyd, 1991; Mittelstrass 1962). En las fuentes escritas la palabra "salvar los fenmenos" en primer lugar aparece en los escritos de Simplikios, un neo-platnico comentarista de la sexta Fig. 2,1 hiptesis excntrico 24 H. N. Jahnke siglo, una fuente un poco tarde. Sin embargo, la frase se remonta probablemente a la tiempos de Platn. Simplikios escribi que Platn hizo "el ahorro de los fenmenos de" una tarea para los astrnomos. Pero hemos visto que Platn se le ocurri este problema slo a finales de su vida, es mucho ms probable que l se enterara por los astrnomos (por ejemplo, Eudoxo) que a la inversa. Parece probable que la frase haba sido un trmino tcnico entre los astrnomos desde el siglo IV aC. Una serie de filsofos de la ciencia, siendo el ms prominente Pierre Duhem

(1908/1994), han defendido la tesis de que los griegos se crea un puro convencionalismo punto de vista y no atribuye ninguna pretensin de verdad de las hiptesis astronmicas. Ellos cuenta distintas hiptesis, como la hiptesis excntrico o epicicloidal como igualmente aceptable si las consecuencias derivadas de ellos de acuerdo con los fenmenos observados. Sin embargo, los griegos nunca, de hecho, en duda algunas astronmicas supuestos, a saber, la circularidad de los caminos y la constancia de la velocidad de los cuerpos celestes, atribuyendo a las mismas (absoluto), la verdad. Mittelstrass (1962), dando un anlisis detallado de su historia, muestra que el frase "salvar los fenmenos" era un trmino tcnico en la astronoma antigua y hace hincapi en que era utilizado slo por los astrnomos y en el contexto de la astronoma (Mittelstrass 1962, 140 ss.) Pone en duda la declaracin Simplikios "que Platn plantea el problema de "salvar los fenmenos" y contradice los filsofos modernos, como Natorp (1921, p. 161, 382, 383), que han afirmado que la idea de "salvar los fenmenos" era esencial para la antigua filosofa griega de la la ciencia. De acuerdo con Mittelstrass, slo Galileo fue el primero trasladado a este principio otras disciplinas y la convirti en la base de una metodologa cientfica en general, que a finales del siglo XIX, fue nombrado el " hipottico-deductivo mtodo ". Fig. 2,2 hiptesis epicicloidal 2 El Conjunto Origen de la prueba y Fsica Terica 25 Mittelstrass tiene razn al negar que "salvar los fenmenos" era un general principio del pensamiento cientfico griego. Tambin puede probar que la frase fue usada explcitamente slo en la astronoma. El pensamiento cientfico y filosfico griego era una mezcla de ideas y enfoques diferentes, no haba unificado "mtodo cientfico". Sin embargo, Mittelstrass va demasiado lejos en la limitacin estricta a la astronoma la idea de que una hiptesis es evaluada a travs de la adecuacin de sus consecuencias. Como Szab (1960) ha demostrado, tal juicio era una prctica comn en la dialctica griega y fue se refleja en los significados iniciales de la aitema trminos, axioma y la hiptesis, los significados que los trminos mantuvo hasta los tiempos de Platn y Aristteles. El procedimiento de suponer una hiptesis determinada e investigar sus consecuencias si se desea abunda en los dilogos de Platn. Por lo tanto, la idea subyacente de la frase "salvar los fenmenos" tenido una presencia ms amplia en el pensamiento cientfico y filosfico griego que Mittelstrass supone. Adems, Mittelstrass no tuvo en cuenta Szab (1960) estudio, a pesar de que ya haba sido publicada.

Por lo tanto, formulo la siguiente tesis: La extensin del procedimiento axiomtico de la geometra a la fsica y otras disciplinas no se concibe sin la idea de que un axioma es una hiptesis que puede ser que no estn justificadas por la intuicin directa sino por la adecuacin de sus consecuencias, en lnea con el significado original de dialctica de los trminos aitema, axioma y la hiptesis. Los griegos establecieron una serie de hiptesis posibles en la geometra y la fsica con una variedad de justificaciones epistemolgicas. Por ejemplo, geomtricos postulados de Euclides fueron considerados desde la antigedad hasta el siglo XIX, como es evidente en ellos mismos y absolutamente cierto. Slo el postulado de las paralelas no poda reclamar una similar estatuto epistemolgico de la prueba directa, lo que fue visto ya en la antigedad. Una posible respuesta a esta falta habra sido renunciar a la pretensin epistemolgica que los axiomas de la geometra son evidentes en s mismas, pero los griegos no hicieron que. Otra manera de salir hubiera sido negar el postulado de las paralelas del estado de un axioma. El neoplatnico Proclo, comentarista hizo exactamente eso, que declara la postulado de las paralelas de un teorema cuya demostracin an no se haban encontrado. Sin embargo, este tctica fue motivada por razones filosficas, no matemtica, aunque el problema era una matemtica. Adems, Proclo vivi 700 aos despus de Euclides, lo que hacemos ni siquiera saben cmo Euclides se pens en su postulado de las paralelas. Tal vez Euclides fue un matemtico ms los pies en la tierra y se preocupa menos su postulado de no evidency. Un segundo ejemplo se refiere a la esttica. En el comienzo de "En el equilibrio de aviones o los centros de gravedad de los aviones ", conjunto de Arqumedes hasta siete postulados, el primero dice as: Postulo lo siguiente: 1. Pesos iguales a distancias iguales estn en equilibrio y la igualdad pesos a distancias desiguales no estn en equilibrio, pero se inclinan hacia el peso que se a una distancia mayor. "(Heath, 1953, 189) Este postulado muestra un alto grado de sencillez y de la evidencia y, en este sentido, es como los postulados geomtricos de Euclides. Los otros postulados en que Arqumedes basado en su esttica son similares, sino que aparecen como incuestionables. Por lo tanto, la esttica pareca tener el mismo estatus epistemolgico como la geometra y de los primeros tiempos 26 H. N. Jahnke

hasta el siglo XIX se consideraba una parte de las matemticas. Sin embargo, durante la esttica del siglo XIX se convirti clasificado definitivamente como una subdisciplina de la la fsica. Mientras tanto, la opinin de que las ciencias naturales se basan sin excepcin en el experimento se convirti en dominante. Por lo tanto, surgi un problema: Esttica tena el aparicin de una ciencia que hace afirmaciones sobre la realidad emprica, pero se basada en propuestas aparentemente verdadero sin la evidencia emprica. Slo en el finales del siglo XIX cuando E. Mach (1976) expone, en un astuto filosfica anlisis, los supuestos (oculto) emprica en la esttica de Arqumedes, lo que aclara que la esttica es una ciencia emprica, experimental como cualquier otro. Como ltimo ejemplo, considerar la hiptesis de (slo) el que Arqumedes dijo en el inicio de su hidrosttica ("Sobre los cuerpos flotantes"): Que se supone que un fluido es de tal naturaleza que, sus partes y que se extiende de manera uniforme continua, la parte que se ve inmerso el menor es conducido a lo largo por lo que se ve inmerso el ms, y que cada una de sus partes es empujada por el fluido que est por encima de ella en una direccin perpendicular direccin, si el lquido se hundi en nada y comprimido por cualquier otra cosa. (Heath, 1953, 253) Arqumedes derivadas de esta hiptesis, su famosa "ley de empuje hacia arriba" ("principio de de una teora de flotacin ") y se desarroll matemticamente sofisticados sobre el equilibrio de los rganos de la natacin. Obviamente, la hiptesis no parece simple o fuera de toda duda. Para un lector de la historia de mente abierta, se ve como un supuesto tpico establecido en una situacin moderna de desarrollar un modelo matemtico para algunos objetivo especfico - en otras palabras, una hiptesis tpica de cuya verdad no puede ser directamente juzgados. Se acepta como verdadera la medida en que las consecuencias que pueden derivarse de que son deseables y apoyado por la evidencia emprica. Ninguna de las fuentes conocidas ha discutido el estatuto epistemolgico del axioma y su justificacin de esta manera. Por el contrario, la hidrosttica de Arqumedes fue considerado como una teora que en su conjunto hizo sentido y de acuerdo con (tcnica) la experiencia. Considerado en su totalidad, las teoras axiomtico-deductivo que los griegos establecieron durante el siglo III aC, claramente se basan en hiptesis que varan mucho en lo que respecta

a la justificacin de sus respectivas pretensiones de ser verdadera. Algunas de estas hiptesis parecen tan intuitivamente segura de que una "mente sana" no se puede dudar de ellos, otros han sido aceptado como cierto, porque la teora fundada sobre ellos tena sentido y estuvo de acuerdo con la experiencia. En suma, el pensamiento griego antiguo tena dos maneras de justificar una hiptesis. En primer lugar, un axioma o una hiptesis podra ser aceptado como verdadero, ya que est de acuerdo con la intuicin. Hiptesis segunda, inaccesibles a la intuicin directa y no comprobables por contacto directo inspeccin se justifica por las consecuencias de dibujo de ellos y comparar estos con los datos para ver si las consecuencias se desea, es decir, que de acuerdo con la experiencia o con otras declaraciones se da por sentado. Los efectos deseados dirigido al fortalecimiento de las hiptesis, las consecuencias no deseadas a su debilitamiento. Mittelstrass (1962) quiere limitar este segundo procedimiento para la estrecha contexto de la astronoma antigua. Sigo Szab (1960) en ver tambin inherente a la el discurso filosfico ms amplio y cientfico de la Pre-platnica y PreAristotlico perodo. 2 El Conjunto Origen de la prueba y Fsica Terica 27 2.3 Justificacin intrnseca y extrnseca en Matemticas Desde los tiempos de Platn y Aristteles hasta el siglo XIX, la matemtica era considerada como un cuerpo de verdades absolutas que descansa sobre bases intuitivamente segura. Despus de Lakatos (1978), podemos llamar a esto el punto de vista de la matemtica euclidiana (en Captulo M. Eslora 's, en este volumen, esto se llama el "enfoque asertivo"). Por el contrario, la matemtica moderna y su filosofa se consideran los axiomas de las matemticas simplemente como declaraciones de que los matemticos estn de acuerdo, la calificacin epistemolgica de los axiomas tan cierto o seguro es ignorado. A finales del siglo XIX, CS Peirce expresa muy bien este punto de vista: "... todos los matemticos modernos estn de acuerdo ... que las matemticas se refiere exclusivamente a estados hipotticos de las cosas, y afirma no cuestin de lo hecho. "(Peirce, 1935, 191). Llamamos a este punto de vista moderno de la Punto de vista hipottico.

Prueba matemtica sufri una crisis de los fundamentos en el principio de la siglo XX. En 1907, Bertrand Russell dijo que los axiomas fundamentales de las matemticas no slo puede ser justificada por una intuicin absoluta, sino por la idea de que se puede deducir las consecuencias deseadas de ellos (Russell 1924; ver Mancosu 2001, 104). Al hablar de su propia realistas (o en sus palabras "platnica") vista de la naturaleza de los objetos matemticos, Gdel (1944) apoy esta opinin: La analoga entre las matemticas y las ciencias naturales es ampliado por Russell Tambin en otro sentido ... l compara los axiomas de la lgica y las matemticas con la leyes de la naturaleza y la evidencia lgica con la percepcin sensorial, de manera que los axiomas no necesitan necesariamente ser evidentes en s mismas, sino que se encuentra su justificacin (como aparecen en fsica) en el hecho de que hacen posible que estas "percepciones de los sentidos" que se deducir: ... creo que ... este punto de vista ha sido ampliamente justificado por los acontecimientos posteriores. (Gdel 1944, 210) Sobre la base de "platnico" de Gdel (realista) la filosofa, el filsofo norteamericano Penlope Maddy ha designado a la justificacin de un axioma por intuicin directa como "intrnseca", y la justificacin por la referencia a las consecuencias plausibles o como se desee "Extrnseca" (Maddy 1980). De acuerdo con Maddy, Gdel propone una facultad de matemticas intuicin de que juega un papel en la matemtica anloga a la de la percepcin sensorial en las ciencias fsicas: ... Probablemente los axiomas [la teora de conjuntos: Au] se nos imponen como explicaciones de los datos ms intuitiva como la asuncin de pequeas y medianas objetos fsicos se impone sobre nosotros como una explicacin de nuestras experiencias sensoriales. (Maddy, 1980, 31) Para Gdel el supuesto de conjuntos es tan legtimo como el supuesto de los cuerpos fsicos, Maddy argumenta. Gdel postula una analoga de la intuicin con la percepcin y de realismo matemtico, con sentido comn, realismo. Si una sentencia se justifica por refirindose a la intuicin Maddy llama a la justificacin intrnseca. Pero esto no es todo historia. Como Maddy dice: As como hay hechos sobre los objetos fsicos que no son perceptibles, hay hechos sobre objetos matemticos que no son intuible. En ambos casos, nuestra creencia en tal "no observables" los hechos se justifica por su papel en nuestra teora, por su poder explicativo, su prediccin xito, sus interconexiones con otras fructferas teoras bien confirmadas, y as sucesivamente.

(Maddy, 1980, 32) 28 H. N. Jahnke En otras palabras, en matemticas como en fsica, se puede justificar algunos axiomas por intuicin directa (intrnseca), pero otros slo por referencia a sus consecuencias. La la aceptacin de los axiomas de este ltimo depende de la evaluacin de su fecundidad, predictivo el xito y el poder explicativo. Maddy llama a este tipo de justificacin extrnseca justificacin. Maddy ampliada en la distincin entre la justificacin intrnseca y extrnseca en dos maneras. En primer lugar, se discuti la percepcin y la intuicin (1980, 36-81), tratando de esbozar una teora cognitiva que explica cmo los seres humanos llegan a las intuiciones bsicas de la teora de conjuntos. All se intent dar un contenido concreto a Gdel argumentos ms bien abstractos. En segundo lugar, se refiri a la interaccin de la intrnseca y justificacin extrnseca en los modernos desarrollos de la teora de conjuntos (1980, 107150). Temas matemticos tratados son conjuntos medibles, los conjuntos de Borel, la hiptesis del continuo, los axiomas de Zermelo-Fraenkel, el axioma de eleccin y el axioma de constructibilidad. Ella encontr que por lo general hay una mezcla de intrnsecos y extrnsecos argumentos a favor de un axioma. Algunos axiomas se justifican casi exclusivamente por razones extrnsecas. Esto plantea la cuestin de que las modificaciones de los axiomas que hacer una declaracin como la hiptesis del continuo demostrable y qu consecuencias las modificaciones que habra en otras partes de las matemticas. Aqu las preguntas de ventajas y desventajas de peso entran en juego, los cuales indican que en el justificacin extrnseca ltima instancia ms alta. Maddy sucintamente el cuadro general que emerge de su distincin: ... El ms alto, menos intuitiva, los niveles estn justificados por sus consecuencias en la inferior, ms intuitiva, los niveles, as como las caractersticas no observables fsicos se justifican por su capacidad para sistematizar nuestra la experiencia de los observables. En su alcance ms terico, entonces, Gdel matemtica realismo es anlogo al realismo cientfico. As, la epistemologa platnica de Gdel es de dos niveles: los conceptos ms simples y axiomas son intrnsecamente justificado por su intuicin, hiptesis ms terica se justifican extrnsecamente, por sus consecuencias. (Maddy 1980, 33) En conclusin, hasta el final del siglo XIX, los matemticos estaban convencidos de que las matemticas se basaba en hiptesis intrnseca intuitivamente segura que determinar la identidad interna de las matemticas. Hiptesis extrnsecas pueden ocurrir y

eran necesarias slo fuera del mbito estricto de las matemticas. Esta visin domin por lo general, la filosofa de las matemticas. A continuacin, las geometras no euclidianas fueron descubiertos. Las discusiones posteriores acerca de los fundamentos de las matemticas a principios del siglo XX dio lugar a la percepcin decisiva que pura las matemticas no puede existir sin hiptesis (axiomas), que slo puede justificarse extrnsecamente. Los avances en la mecnica de Newton en el siglo XIX cumplir este proceso (ver Pulte 2005). Hoy en da, existe un consenso general de que los axiomas de las matemticas no son absolutos verdades que pueden ser sancionados por la intuicin: ms bien, son propuestas en que las personas estn de acuerdo. Una filosofa formalista de las matemticas estara satisfecho con esta declaracin: sin embargo, la filosofa moderna realista o naturalista ir Adems, se trata de analizar el interior de la prctica cientfica y fuera de las matemticas en Para entender cmo estos acuerdos ocurrido. 2 El Conjunto Origen de la prueba y Fsica Terica 29 2.4 Implicaciones para la Enseanza de la prueba Como hemos visto, el "hipottico" de la moderna post-euclidiana matemticas tiene una gran afinidad con los orgenes de la prueba en los pre-euclidiana dialctica griega. En la dialctica, es de suponer axiomas o hiptesis sin asignarles epistemolgica calificacin como evidente o verdadero. Sin embargo, en la actualidad la enseanza de la la prueba en las escuelas es ms o menos gobernado por una visin implcita, estrictamente euclidiano. Cuando prueba se menciona en el aula, el mensaje est por encima de todo lo que hace una prueba proposicin de seguro fuera de toda duda. El mensaje de que la matemtica es un edificio de absoluta verdades implcitamente forzadas, debido a que la hiptesis de base matemtica (Los axiomas) no se mencionaran explcitamente como tal. Por lo tanto, la naturaleza hipottica de las matemticas permanece oculta a la mayora de los alumnos. Esto da testimonio del papel de un enfoque educativo diferente a la prueba sobre la base de la punto de vista moderno hipottico, teniendo en cuenta su afinidad con los inicios en la dialctica y la ciencia griegas terico griego. Este enfoque hace hincapi en la relacin entre la deduccin y las hiptesis en que se apoya (cf. Bartolini Bussi et al. 1997 y Bartolini 2009). Se enfrenta a los alumnos con situaciones en las que pueden inventar hiptesis y experimentar con ellos para entender una cierta problema. Los problemas pueden venir desde dentro o desde fuera de las matemticas,

a partir de la combinatoria, la aritmtica, la geometra, la esttica, cinemtica, la ptica o la vida real situaciones. Cualquier problema puede ser convertido en objeto de un dilogo o de un procedimiento en el que las hiptesis se forman y las consecuencias se derivan de ellos. Por lo tanto, a partir de los alumnos ver la prueba de principio, en el contexto del mtodo hipottico-deductivo. Hay razones matemticas y pedaggicos de este enfoque. La matemtica razones se refieren a la exigencia de que la enseanza debe transmitir a los alumnos una imagen autntica y adecuada de las matemticas y su papel en la cognicin humana. En particular, es importante que los alumnos comprendan las diferencias y las conexiones entre las matemticas y las ciencias empricas, ya que con frecuencia las pruebas son motivado por la afirmacin de que no se puede confiar en las mediciones empricas. Por ejemplo, los estudiantes son ms frecuentes para medir los ngulos de un tringulo, y casi se siempre se encuentra que la suma de los ngulos es igual a 180 . Sin embargo, se le dijo a que las mediciones no son precisas y se puede establecer que la figura slo en los individuales los casos. Si quieren estar seguros de que la suma de 180 es cierto para todos los tringulos que tiene que demostrar matemticamente. Sin embargo, para los estudiantes (y sus profesores) que teorema es una afirmacin acerca de real (fsico) y el espacio utilizado en numerosos ejercicios. Por lo tanto, el teorema es verdadero cuando se ve corroborada por la medida. Slo si se tiene en cuenta el papel fundamental de la medicin en las ciencias empricas, puede el profesor de dar una respuesta intelectualmente honesta a la pregunta de por qu un matemtico prueba del teorema de suma de los ngulos es urgente deseable. Tal respuesta sera el estrs que en las ciencias empricas pruebas no sustituyen a las mediciones, pero son un medio para la construccin de una red de estados (leyes) y las mediciones. Las razones pedaggicas se derivan de la consideracin de que la enseanza de la prueba deberan abordar explcitamente dos preguntas: (1) Qu es una prueba? (2) De dnde axiomas de las matemticas vienen? 30 H. N. Jahnke Pregunta (1) no es fcil y no se puede responder en una o dos frases. Yo esbozar una aproximacin gentica a la prueba que tiene por objeto responder a esta pregunta de forma explcita (Ver Jahnke 2005, 2007). El marco general de este enfoque es la nocin de la mtodo hipottico-deductivo, que es bsico para todas las ciencias: por medio de una

deduccin, los alumnos se derivan consecuencias de una teora y comprobar estos en contra de los hechos. La enfoque consiste en tres fases, una primera fase de los experimentos mentales informal (Grado 1 +), la segunda fase del pensamiento hipottico-deductivo (Grado 7 +), y un tercero fase de las teoras matemticas autnomas (la escuela superior y universidad). Los estudiantes de la tercera fase de trabajo con las teoras cerradas y slo entonces "Prueba" de lo que significa un matemtico educada entendemos por "prueba". La primera fase se caracteriza por argumentaciones informal y se comprenden lo que se denomina "pruebas preformal" (Kirsch, 1979), "inhaltlichanschauliche Beweise "(Wittmann y Mller 1988) y" las pruebas que explican "en A diferencia de las pruebas que demuestran de (Hanna 1989). Estas ideas estn bien implementadas en la enseanza primaria y secundaria en los pases de habla Ingls, as como en Alemania. En la segunda fase de la instruccin debe hacer que el concepto de la prueba explcita tema - una dificultad importante y la razn principal por la que los profesores y autores de libros de texto la mayora prefiere dejar la idea implcita de la prueba. No existe una definicin sencilla de el trmino "prueba" porque este concepto depende del concepto de una teora. Si se habla de la prueba, uno tiene que hablar de teoras, y la mayora de los profesores reacios a hablar con estudiantes de sptimo grado de lo que es una teora. La idea en la segunda fase es la construccin de teoras locales, es decir pequeas redes de teoremas. Esto corresponde a la nocin de Freudenthal de "organizacin local" (Freudenthal, 1973, p. 458), pero con una modificacin decisiva. La idea de medir no deben ser dispersados en charla general sobre la intuicin, sino que debemos construir pequeas redes de teoremas basados en la evidencia emprica. Las redes deben ser manejable para los alumnos, y las deducciones y las medidas deben estar orgnicamente integrado. Las "teoras de pequeos" se incluyen las hiptesis que los estudiantes toman por sentado y las deducciones de estas hiptesis. Por ejemplo, considere una unidad didctica sobre la suma de los ngulos de los tringulos que ejemplifican la idea de una red que combina las deducciones y las medidas (para ms detalles, ver Jahnke 2007). En esta unidad el teorema del ngulo alternativo se presenta como una hiptesis sugerido por las medidas. Luego de una serie de consecuencias sobre el ngulo resume en los polgonos se deriva de esta hiptesis. Debido a estas consecuencias de acuerdo con las mediciones ms se fortalece la hiptesis. Los alumnos aprenden que un

prueba del teorema de suma de los ngulos hace que este teorema no es absolutamente seguro, pero depende en una hiptesis. Porque sacamos un montn de otras consecuencias de esta hiptesis de que tambin puede comprobarse mediante mediciones, la seguridad del ngulo Teorema de la suma es considerablemente mayor por la prueba. Por lo tanto, la respuesta a la pregunta (1) consiste en mostrar a los alumnos a travs de ejemplos concretos de la relacin entre la hiptesis y deducciones, y es exactamente este interaccin que se entiende por prueba. Pregunta (2) se responde al mismo tiempo. Los estudiantes se reunirn una gran variedad de las hiptesis con diversos grados de intuicin, la credibilidad y aceptabilidad. 2 El Conjunto Origen de la prueba y Fsica Terica 31 Se reunirn los enunciados bsicos de la aritmtica que en realidad no se puede dudar. Se pondr en marcha por s mismos ad-hoc-hiptesis que podra explicar una cierta situacin. Tambin se dio con las hiptesis que se confirma por el hecho de que las consecuencias de acuerdo con los fenmenos. Este enfoque bsico es comn a todos ciencias sean fsica, la sociologa, la lingstica o matemtica. Hemos visto por encima de que los griegos ya tenan esta idea y calific de "salvar los fenmenos". Experiencia de los estudiantes con el cual le guiar a una imagen realista de cmo la gente han establecido los axiomas que organizan los diferentes campos de las matemticas y la ciencia. Estos axiomas no son dadas por un ser superior, ni las expresiones de las ideas eternas; simplemente son provocados por el hombre. Referencias Aristteles. (1966). Anlisis posteriores. Edicin en Ingls por Hugh Tredennick. Londres / Cambridge: William Heinemann / Harvard University Press. Ayer, A. J., y O'Grady, J. (1992). Un diccionario de citas filosficas. Oxford: Blackwell Los editores. Balacheff, N. (1991). Las ventajas y los lmites de la interaccin social: el caso de matemticas prueba. En AJ Bishop, E. Mellin-Olsen, y J. van Dormolen (Eds.) El conocimiento matemtico: Su crecimiento a travs de la enseanza (pp. 175-192). Dordrecht: Kluwer. Bartolini Bussi, M. G. (2009). Las matemticas y experimentales de la enseanza y el aprendizaje de la prueba. En CERME 6 Actas, a aparecer. Bartolini Bussi, MG, Boero, P. Mariotti, MA, Ferri, F., y Garuti, R. (1997). Acercarse teoremas de la geometra en el contexto: de la historia y la epistemologa de la cognicin. En las actas de

la 21 Conferencia del Grupo Internacional para la psicologa de la educacin matemtica (Lahti) (Vol. 1, pp 180-195). Duhem, P. (1994). Sozein ta Phainomena. Essai sur la thorie nocin de constitucin de Platon Galile. Pars: Vrin (publicacin original 1908). Freudenthal, H. (1973). Las matemticas como una tarea educativa. Dordrecht: Reidel. Gdel, K. (1944). La lgica matemtica de Russell. En P. A. Schilpp (Hrsg.) La filosofa de la Bertrand Russell (pp. 125-153). Nueva York: Tudor. Citado por: P. Benacerraf, y H. Putnam (Eds.) Filosofa de las matemticas, Englewood Cliffs 1964. Hanna, G. (1989). Las pruebas que demuestran y pruebas que explican. En las actas de la decimotercera Conferencia del Grupo Internacional para la psicologa de la educacin matemtica (Vol. II, pp 45-51). Pars: PME. Heath, T. L. (Ed. y trad.) (1953). Los trabajos de Arqumedes. Nueva York: Dover. Heath, T. L. (Ed. y trad.) (1956). Los trece libros de los Elementos de Euclides. Segunda edicin revisado con adiciones. Nueva York: Dover. Jahnke, H. N. (2005). Una aproximacin gentica a la prueba. En M. Bosch (Ed.), Actas de la Cuarta Congreso de la Sociedad Europea para la Investigacin en Educacin Matemtica, Sant Feliu de Guxols 2005, 428-437. Jahnke, H. N. (2007). Pruebas e hiptesis. Zentralblatt fr didctica der Mathematik (ZDM), 39 (2007), 1-2, 79-86. Kirsch, A. (1979). Beispiele fr prmathematische Beweise. En W. Drfler, y R. Fischer (Eds.) Beweisen im Mathematikunterricht (doscientos sesenta y uno-doscientos setenta y cuatro pginas). Klagenfurt: Ho LDER-Pichler-Temspsky. Lakatos, I. (1978). Un renacimiento del empirismo en la filosofa de los ltimos de las matemticas. En I. Lakatos (Ed.), Philosophical Papers (Vol. 2, pp 24-42). Cambridge: Cambridge University Prensa. 32 H. N. Jahnke Lloyd, G. E. R. (1991). Salvar las apariencias. En G. E. Lloyd R. (Ed.), Mtodos y problemas en la ciencia griega (pp. 248 a 277). Cambridge: Cambridge University Press. Lloyd, G. E. R. (2000). Der und die Idee Beweis der Wissenschaft. En J. Brunschwig, G. y E. R. Lloyd (Eds.) Das Wissen der Griechen. Eine Enzyklopdie (pp. 238 a 258). Mnchen: Wilhelm

Fink. Mach, E. (1976). Mueren Mecnica. Historisch-kritisch dargestellt (Unvernderter Nachdruck der 9. Auflage, Leipzig 1933, 1. Auflage 1883). Darmstadt: Wissenschaftliche Buchgesellschaft. Maddy, P. (1990). El realismo en las matemticas. Oxford: Clarendon Press. Yerba mate, A. (2006). rpd Szab y Imre Lakatos, o la relacin entre la historia y la filosofa de las matemticas. Perspectivas sobre la Ciencia, 14 (3), 282-301. Mittelstrass, J. (1962). Mueren Rettung der Phnomene. Geschichte eines Ursprung und antiken Forschungsprinzips. Berln: Walter de Gruyter & Co. Mancosu, P. (2001). Explicacin matemtica: problemas y perspectivas. Topoi, 20, 97117. Natorp, P. (1921). Platos Ideenlehre. Eine Einfhrung en Idealismus den. Leipzig: Meiner. 19212. Peirce, C. S. (1935). La esencia de las matemticas. En C. Hartshorne, P. Weiss (Eds.) recogidos Documentos de Charles Sanders Peirce (Vol. III, pp 189-204). Cambridge: Harvard University Prensa. Cooper, J. M. (Ed.) (1997). Platn: Obras completas. Cambridge / Indianapolis: Hackett publicacin De la empresa. Proclo (1970). Un comentario sobre el Primer Libro de los Elementos de Euclides. Traducido, con Introduccin y notas, por Glenn R. Morrow. Princeton: Princeton University Press. Pulte, H. (2005). Axiomatik und Empirie. Eine wissenschaftstheoriegeschichtliche Untersuchung zur Mathematischen Naturphilosohie von Neumann Newton bis. Darmstadt: Wissenschaftliche Buchgesellschaft. Russell, B. (1924). El atomismo lgico. En JM Muirhead (Ed.), Filosofa contempornea britnica, primera serie (pp. 357-383). London: George Allen & Unwin. Szab, . (1960). Anfnge des Euklidischen Axiomensystems. Archivo de Historia de Ciencias Exactas Ciencias 1, 38-106. Los nmeros de pgina se refieren a la reimpresin en O. Becker (Ed.) (1965) Zur Geschichte der Mathematik griechischen (pp. desde 355 hasta 461). Darmstadt: Wissenschaftliche Buchgesellschaft. Toomer, G. J. (Ed. y trad.) (1984). Almagesto de Ptolomeo. Londres: Duckworth. van der Waerden, B. L. (1988). La ciencia que despertar, edicin de bolsillo. Dordrecht: Kluwer. Wittmann, E. C, y Mller, G. (1988). Wann ist ein ein Beweis Beweis. En P. Bender (Ed.)

Mathematikdidaktik: Theorie und Praxis. Festschrift fr Heinrich Invierno (pp. 237 a 257). Berln: Cornelsen. G. Hanna et al. (Eds.), La explicacin y la Prueba de Matemticas: 33 PERSPECTIVAS filosfica y la Educacin, la traduccin 10.1007/978-1-4419-0576-5_3, Springer Science + Business Media, LLC 2010

Captulo 3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad Teun Koetsier 3.1 Introduccin En la traduccin de Thomas Heath de las palabras de Pappus el mtodo heurstico de anlisis y la sntesis de probar una conjetura se describe como sigue: ... Suponemos que lo que se busca como si se tratara de (ya) hacer, y nos preguntamos qu es de que este resultado, y de nuevo lo que es la causa antecedente de este ltimo, y as sucesivamente, hasta que por volver sobre nuestros pasos nos encontramos con algo ya conocido o que pertenecen a la clase de los primeros principios, y como un mtodo que llamamos anlisis como solucin al revs. Sin embargo, en sntesis, invirtiendo el proceso, tomamos como ya se ha hecho lo que se lleg el pasado menos en el anlisis y, mediante la organizacin en su orden natural como consecuencias lo que eran antes antecedentes, y, sucesivamente, los conectan unos con otros, llegamos finalmente a la construccin de lo que se buscaba, y esto que llamamos synthesis.1 En esta cita bien conocida, que obviamente estamos tratando con un lenguaje metafrico (En cursiva por m - T. K.). Las imgenes se deriva de la forma en que nos oriente en el espacio: estamos buscando algo, volver sobre nuestros pasos, nos encontramos con algo, vamos hacia atrs, podemos llegar a alguna parte, y as sucesivamente. Por supuesto, uno podra argumentar que la metfora se refiere slo a la metodologa de las matemticas y no la ontologa. Desde el punto de vista platnico, la metfora describe una bsqueda mental en un reino independiente de la mente humana.

Platonismo, Sin embargo, es vejado por un problema esencial: la forma en que la mente tiene acceso a ese reino es un misterio. Platnicos parecen estar dispuestos a aceptar simplemente como dada la hecho de que nuestra mente tiene este acceso. Lakoff y Nez (2000) han defendido un completo posicin diferente. Su visin es que toda la matemtica es un sistema conceptual creado por la mente humana, sobre la base de las ideas y modos de razonamiento a tierra en el sistema motor sensorial. Esta creacin se lleva a cabo a travs de metforas conceptuales. T. Koetsier () Departamento de Matemticas, Facultad de Ciencias, Vrije Universiteit, Amsterdam, Pases Bajos e-mail: @ t.koetsier few.vu.nl Partes de este documento se basan en Koetsier (1995). 1 Citado en Lakatos (1961/1973, p. 73). 34 T. Koetsier Veamos un ejemplo sencillo. Un hombre compra un regalo para su esposa porque tiene decidi "invertir ms en su relacin con ella." En principio, esta metfora de la el mundo de los negocios (el dominio de origen de la metfora) genera un nuevo forma de ver la vida privada del hombre (su dominio de destino). Lakoff y Nez han argument que las metforas son mucho ms que las formas de color aadiendo a nuestra idioma. No slo se pueden aadir a los dominios de destino existente, sino que puede crear nuevas dominios conceptuales. Segn Lakoff y Nez, por ejemplo, primaria La aritmtica es un sistema conceptual generado por cuatro metforas de puesta a tierra: objeto recoleccin, construccin de objetos, la vara de medir y el movimiento a lo largo de un camino. Adems, como la cita anterior ilustra Pappus, nuestra investigacin de lo conceptual dominios as creada se basa en metforas tambin. En este trabajo quiero explorar las opiniones de Lakoff y Nez por medio de algn observaciones sobre la historia y la prehistoria del teorema del valor intermedio en anlisis2. La nocin de continuidad juega un papel esencial en la historia. En otros lugares, he estudiado esta historia desde un punto de vista de Lakatos (Koetsier 1995). En este trabajo se combinar los dos puntos de vista. Puedo ver las matemticas como un sistema conceptual generado por medio de metforas conceptuales. Este sistema se somete posteriormente a los procesos de de explicitacin y el refinamiento, que tienen lugar a lo largo de las lneas esbozadas por

Imre Lakatos en Pruebas y refutaciones (1976). Despus de Lakatos, voy a ampliar el significado de los conceptos de anlisis y sntesis, en el sentido de que voy a incluir la posibilidad de que el anlisis puede conducir a nuevos conceptos o nuevas definiciones de los conceptos ya existentes o nuevos axiomas de Koetsier (1991). 3.2 Propuesta I del Libro I de los Elementos de Euclides 3.2.1 Proposicin I del Libro I y la metfora euclidiana El teorema del valor intermedio en el anlisis se relaciona con la primera proposicin de Libro I de los Elementos de Euclides. Esta propuesta se refiere a la construccin conocida de un tringulo equiltero sobre un segmento dado: la parte superior del tringulo se construye por la interseccin de dos crculos C1 y C2. La construccin se basa en Postulados 1 y 3 del libro I, que garantizan la posibilidad de dibujar la recta segmento de lnea que conecta dos puntos y para dibujar el crculo que tiene un punto dado como el centro y pasa a travs de otro punto. Es posible explicar los postulados 1 y 3 a un alumno por medio de cables de estiramiento. Dados dos puntos, que se puede estirar una cuerda entre los dos puntos (postulado 1). Si sigo uno de los dos puntos fijos y gire el otro extremo manteniendo la cuerda tensa, Tambin puede dibujar el crculo de los cuales se garantiza la existencia por el Postulado 3. Este cuerda de estiramiento es una actividad que pertenece a la realidad cotidiana. Si Lakoff y Nez estn en lo cierto, el paso de la realidad cotidiana (la fuente de dominio) a la situacin de los Elementos de Euclides (el dominio de destino) es un ejemplo de 2 Spalt (1988) tambin se ocupa de la historia del teorema del valor intermedio. 3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad de 35 una metfora: que levante un sistema conceptual de su contexto, modificarlo, y por lo tanto crear un nuevo dominio. En el dominio de destino de Euclides, los puntos no tienen partes y las lneas no tienen grosor, adems, todos los posibles problemas de la vida que podra ser en realidad molestar la cuerda de estiramiento son excluidos. Voy a llamar a la metfora que participan en la creacin del sistema de Euclides conceptual de la metfora de Euclides. 3.2.2 La metfora bsica de la (actual) Infinity (IMC) Imagine que queremos ensear aritmtica a un nio. Le damos al nio una bolsa enorme de mrmoles y decirle al nio que cualquier individuo aislado de mrmol que se llama "One". Dos, tres, cuatro ... se definen como los nombres de los conjuntos correspondientes ordenada de

canicas. Una vez que esto est claro que decimos: "Ahora ya sabe lo que son los nmeros, la coleccin de todos los nmeros que se pueden crear de esta manera es, precisamente, la coleccin de todos los conjuntos ordenados de canicas que se pueden crear de esta manera. " Por supuesto, en realidad, la bolsa contiene un nmero finito de mrmoles y un inteligente nio puede decir: "Hay un nmero ms grande, es el nmero que consta de todos los canicas en la bolsa! "Hagamos, sin embargo, asumir que la bolsa es una bolsa mgica que Nunca se vaca. Entonces podemos crear un nmero arbitrariamente grande. Tan pronto como consideramos que dado el conjunto infinito de nmeros que podemos crear de esta manera, se aplica lo que Lakoff y Nez (2000) han llamado a la base Metfora del infinito (IMC). As nos abstraccin de todo tipo de posibles circunstancias inquietantes, entonces estamos listos para hacer la teora de nmeros con una realidad conjunto infinito de los nmeros naturales. Cuando hablamos de secuencias infinitas y sus lmites, tendremos el ndice de masa corporal. La esencia de la IMC es que un proceso que puede ser por tiempo indefinido reiter, y de que la terminacin est ms all de la imaginacin, no obstante, entendida como completa. Esto es notable, pero no en s misma problemtica: en un sentido, los puntos sin piezas y lneas sin anchura no se puede imaginar cualquiera. Sin embargo, la aplicacin del ndice de masa corporal en la prctica puede conducir a contradicciones. Precioso ejemplos de tales contradicciones se producen en el rea de los llamados supertasks: Qu sucede si un nmero infinito de tareas bien definidas son ejecutados en un perodo finito de tiempo? Cf. Allis y Koetsier (1991, 1995, 1997). La aparicin en el pasado de las paradojas del infinito en la teora de conjuntos slo admite mi punto de que, si las matemticas como un sistema conceptual generado por los medios de las metforas, como el ndice de masa corporal, debemos ser conscientes del hecho de que el sistema conceptual posteriormente se someten a procesos de explicitacin y el refinamiento como se describe por Lakatos. 3.2.3 El "supuesto tcito" La construccin y la demostracin de la Proposicin I del Libro I no fueron cuestionados por muchos siglos. Postulado 3 garantiza la posibilidad de generar crculos por medio de movimiento. El movimiento de la generacin es tan obviamente continuo que la idea de

36 T. Koetsier circunferencias con agujeros en ellos ni se le ocurre. La existencia del punto de de interseccin de los dos crculos creados por la cuerda de estiramiento se realiza automticamente ms en la metfora de Euclides. Sin embargo, desde un punto de vista moderno, hay una tcita supuesto de que participan en la construccin. Una explicitacin posible de este supuesto es la siguiente: si la circunferencia de un crculo C1, en parte se encuentra dentro de otro crculo C2 y en parte fuera de ese crculo, la circunferencia de C1 se cruzar la circunferencia de C2. Este supuesto es parte de la prehistoria de la intermedia teorema del valor en el anlisis. 3.3 Leibniz prueba Generado Definicin de un Continuum3 En un documento supuestamente escrito en 16954 y la muestra pstuma, geometriae luciferae (1695), frases Leibniz el hecho de matemtica general involucrados de la siguiente manera: "Y en general: si alguna lnea continua se encuentra en alguna superficie, de tal manera que una parte de l est dentro y parte de ella est fuera de la parte de la superficie, entonces esto [la lnea] se cruzar la periferia de esa parte. "5 La nocin fundamental en cuestin es la nocin de continuidad, lo que Leibniz define de esta manera: La continuidad es un todo con la propiedad de que cualquiera de las dos partes (que en conjunto conforman el todo) tienen algo en comn, y de tal manera que si no se superponen, que significa que no tienen parte en comn, o si la totalidad de su tamao es igual al todo, que al menos tienen un comn border.6 En opinin de Leibniz, la suposicin tcita de la argumentacin de Euclides se puede probar trivial sobre la base de esta definicin. Su argumento, acompaado por una figura, se ejecuta de la siguiente manera: Sin embargo, tambin podemos expresar esto con un tipo de clculo. Sea Y ser parte de algn colector (Ver fig. 3.1) y dejar que cada punto individual que corresponde a esta parte se llama Y con Y el nombre general, cada punto, sin embargo, de esta variedad que queda fuera de esta parte ser llamado con el nombre general de Z, y todo lo que pertenece a la variedad fuera de Y se llama Z. 3 Uno de los rbitros sealaron que la validez universal del principio del valor medio fue debatido mucho antes de Leibniz en relacin con el concepto de ngulo. Horn-o como cornicular ngulos, como la que existe entre la tangente y la circunferencia de un crculo, se puede aumentar indefinidamente

al disminuir el radio del crculo. Sin embargo, en comparacin con el "ordinario" de sus ngulos comportamiento es paradjico: a pesar de que se puede aumentar indefinidamente son sin embargo ms pequeos que cualquier ngulo agudo (cf. Heath, 1956, pp 37-43). El rbitro mismo escribi que existe una clara similitud entre la definicin de Leibniz de la continuidad y la idea de Aristteles: "las cosas se llaman continuas, cuando los lmites de tocar de cada uno se convierte en la misma y, como la palabra implica, contenida en el otro: la continuidad es imposible si estas extremidades son dos "(Fsica V 3, Traducido por R. P. Hardie y R. K. GayeCf. http://classics.mit.edu/Aristotle/physics.html). Este es absolutamente correcto y sugiere que Leibniz puede haber sido influido por Aristteles. 4 Cf.. Mller y Kronert (1969, p. 136). 5 Leibniz (1695, p. 284). 6 Leibniz (1695, p. 284). 3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad de 37 Es claro entonces que los puntos que estn en el lmite de la Y parte, pertenecen tanto a Y y a la Z, lo que significa que se puede decir que un cierto Y es un Z y un cierto Z es un Y. El colector general se compone, en todo caso de Y y Z juntos, o es igual a Y + Z, 7 de modo que cada punto es o bien una Y o Z a, es posible que algunos puntos son Y y Z. Supongamos ahora que se le da otro colector, nuevos, por ejemplo, AXB, que se encuentra en el colector dado Y + Z y vamos a llamar a este nuevo colector general X. A priori, es claro que cada X es un Y o Z. uno Sin embargo, si en las bases de datos de los que se puede establecer que un determinado X es Y (por ejemplo, cae dentro de una Y) y por el otro mano de algunos X es Z (por ejemplo, B cae fuera de Y y, en consecuencia, en Z), entonces se sigue que algunos X es simultneamente una Y y una Z.8 En resumen, el argumento parece ser: Sea W un continuo y que, de acuerdo con la definicin, Y y Z representan una divisin de W en dos partes sin que se superponen, con un B1 frontera comn que consiste en todos los puntos que pertenecen tanto a la Y y Z. Vamos a otra parte X un continuo de formar parte de W que tiene puntos en comn con ambos Y y Z. Entonces X consta de dos partes, una parte de Y y Z. parte de las dos partes poseen sobre la base de la definicin de un continuo B2 frontera comn en X y B2 deben ser parte de B1. En la primera proposicin de los Elementos de Euclides B1 es la circunferencia de un

crculo y X la circunferencia de otro crculo. B2 es un punto perteneciente a X, sino tambin a la B1. Argumento de Leibniz es un intento agradable para deducir la asuncin tcita de la Proposicin I Libro I a partir de una definicin general de un proceso continuo. Esta definicin es probablemente "Prueba-generado": Leibniz encontr la definicin de un anlisis que parta de lo que queramos demostrar. Leibniz subestimado el problema de la caracterizacin de la frontera comn de las dos partes de un proceso continuo. Sin embargo, en el marco de la XVII Fig. 3.1 Leibniz puso rejas por encima de las letras, en lugar de por debajo de ellos, como yo 7 Leibniz escribi Y, Z y Z + Y, en esta frase, pero debe haber significado Y, Z y Y + Z. 8 Leibniz (1695, pp 284 a 285) 38 T. Koetsier siglo, el suyo es un intento notable y se tardara ms de un siglo antes otros hagan algo similar. Leibniz tena un gran inters en la lgica. En la vista de las matemticas defendida por Lakoff y Nez, la lgica se basa en metforas tambin. Considere la posibilidad de una situacin cotidiana: Hay una botella en un barril y hay hormigas en la botella, entonces sabemos que las hormigas se encuentran en el can. Nuestro sistema conceptual sobre las posiciones en el espacio rendimientos: si un objeto est en A y A est en B, entonces el objeto se encuentra en Los lgicos y B. matemticos metafricamente utilizar este esquema, por ejemplo, en la forma de la silogismo Barbara: Si todos los X son Y y Z son todo y, a continuacin, todos los X son Z. Se aplican Barbara y otras normas de la deduccin de los dominios que se han creado a travs de la aplicacin de otras metforas, como la metfora euclidiano o de base de la Metfora del infinito. El papel de Leibniz muestra algunas caractersticas de las matemticas del siglo XVII. Su uso de la palabra "clculo" (otra metfora) con respecto a la prueba es revelador. La idea de reducir cree que el clculo estaba muy en el aire. Sin embargo, la solucin del problema de la caracterizacin de la frontera comn de dos que no se superponen parte de un continuo que requieren metforas mucho ms complicado participacin de los lmites de las secuencias de punto. La solucin requerira todo un viaje en el anlisis, como veremos ms adelante. 3.4 El teorema del valor intermedio en el anlisis en el siglo XVIII 3.4.1 Euler Con el fin de discutir el teorema del valor intermedio en el anlisis desde la perspectiva

de Lakoff y Nez (2000), tengo que hacer algunas observaciones sobre la geometra analtica. La metfora de Euclides nos proporciona la geometra euclidiana. Con el fin de llegar a anlisis geometra, necesitamos dos rectas numricas que nos permiten asignar puntos, lneas y curvas en los pares de nmeros y de las desigualdades entre expresiones algebraicas. Lakoff y Nez llamar a la lnea nmero de una mezcla conceptual: es una mezcla de los Euclidiana de lnea y los nmeros reales. La metfora de Euclides nos proporciona la Lnea euclidiana. El concepto de la lnea nmero surge de la actividad de medicin en la vida real. La idea bsica es que con cualquier unidad de medida, ya sea un pie o una general, cualquier lnea tiene una longitud que puede ser medido como un nmero positivo. Sin embargo los nmeros racionales no son suficientes para medir cualquier lnea, la medicin incluyen los nmeros irracionales. La mezcla conceptual de la lnea y los nmeros, iniciado por Fermat y Descartes, cre un vnculo ntimo entre la geometra algebraica y expresiones. En primer lugar, las expresiones algebraicas no podra existir sin la geometra. Euler (y Lagrange) result ms lgebra clculo en el "anlisis" y trat de liberar a este a partir de elementos geomtricos. Sin embargo, incluso hasta despus de la mitad de la el anlisis del siglo XIX se siguen conteniendo elementos geomtricos. Nuestro historia ilustra muy bien esto. 3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad de 39 En la seccin 33 de la Introductio in analysin infinitorum (1748), Euler describe la propiedad del valor intermedio para los polinomios: Si una funcin de enteros Z [i e. un polinomio - TK] asume para z = a el valor de A y para z=b el valor de B, entonces esta funcin se puede asumir todos los valores que se encuentran entre A y B, poniendo para los valores de z que se encuentran entre A y B. Euler no prueba la propiedad, le resulta obvio. En su Introductio, Euler necesitaba la propiedad del valor intermedio en el trato con las races de los polinomios. l tambin lo necesitaba para su Recherches sur les racines imaginaires ecuaciones des (1751), en la que dio una prueba de la fundamental teorema del lgebra. La prueba est precedida por un teorema de representacin de un determinado caso del teorema del valor intermedio: los polinomios de grado impar tienen al menos una raz real. En su prueba, Euler interpreta el polinomio como una curva. Que establece el hecho de que una parte de la curva est por encima del eje y la otra parte est por debajo de ella. Este

De hecho, segn l, implica necesariamente que la curva corta el eje. Es interesante que Euler en los usos finales de la metfora geomtrica euclidiana con el fin de demostrar una resultado algebraico. 3.4.2 Lagrange Prueba de Euler, de hecho, se basaba en un elemento ajeno al anlisis de Euler como lo vio: el propiedad geomtrica del valor medio. Sin embargo, a finales del siglo XVIII siglo, en un tratado sobre las ecuaciones algebraicas, Lagrange se le ocurri una prueba sencilla del teorema del valor medio para los polinomios, basado en el teorema fundamental del lgebra. Su prueba, que pareca a primera vista satisfactoria e independiente de la geometra, es la siguiente: Escribe un polinomio como producto de trminos lineales. Si la sustitucin de p y de q en (X-a) (x-b) (x-c )....= 0 da valores de distinto signo, por lo menos dos factores correspondientes como (p - a) y (Q - a) debe tener diferente signo, lo que significa que al menos una raz debe estar entre p y P.9 Encontramos esta misma prueba en Klgel (1805, p. 447). Ms tarde, Lagrange seal que la objecin de que no haba considerado imaginario races en su prueba no es grave, porque las races imaginarias corresponden a positivo factores de segundo grado, de modo que no hay ningn problema all. Sin embargo, esta prueba de la intermedia Teorema del valor es inaceptable por otra razn. En la segunda edicin de su tratado, Lagrange agreg una nota en la que rechaz su primera prueba y se le ocurri con una nueva prueba, 10 debido a que la prueba anterior se basa en el teorema fundamental del lgebra, mientras que la prueba del teorema fundamental del lgebra que Lagrange admitidas el teorema del valor intermedio: para la primera prueba de Lagrange es circular. 9 Lagrange (1808, pp 1-2) 10 Lagrange (1808, pp 101-102) 40 T. Koetsier Lagrange procedi a dar otra prueba, que dice as: l representa la ecuacin que participan por: P-Q = 0. P es la suma de los trminos con signo positivo y Q es la suma de los trminos con un signo negativo. Sustitucin de los valores de p y q en los resultados de la ecuacin en valores de signo opuesto. Tenemos que demostrar que existe un valor entre p y q para que la ecuacin se anula. Lagrange ahora distingue varios casos. Es suficiente para discutir slo el primer caso, en el que p y q son positivas y en el que, adems, para x = p el valor de P - Q es negativo y para x = q el valor de P - Q es positivo. l Luego argumenta que cuando aumenta la x de P a Q "par tous les degrs insensibles", tanto P y Q se incrementar, tambin "par les degrs insensibles", pero P aumenta ms que Q, ya que para x = p el valor de P es menor que Q y para x = q el valor de P es

ms grande que P. De acuerdo con Lagrange, entonces necesariamente existe entre P y qa valor para el que P es igual a P. Con el fin de apoyar el argumento, Lagrange compara la situacin con dos objetos en movimiento que cubren la misma lnea en la misma direccin. Si uno de los dos objetos es el primero detrs del otro y despus al frente del otro objeto, entonces debe cumplir en algn punto intermedio. Esta misma prueba Tambin se dio en 1797 por Clairaut (1797, pp 251-253). Las pruebas descritas hasta el momento muestran el patrn de Lakatos: una conjetura es demostrado en repetidas ocasiones por medio de anlisis y sntesis, las pruebas son de edad (implcitamente) criticado, rechazado y sustituido por otros nuevos. Cleary, al final de Euler y Lagrange se vieron obligados a base de el teorema del valor intermedio en su geometra contraparte en la metfora de Euclides. 3.4.3 Encontre: Continuidad relacionados con las secuencias convergentes La mayor parte del siglo XVIII pruebas del teorema del valor intermedio fueron ampliamente criticado por Bolzano (1817), quien tambin dio la primera prueba ms satisfactoria de un punto de vista moderno. Por razones de espacio, no voy a discutir que la prueba aqu. Trabajo de Bolzano, en este sentido no es representativo de su poca. l era un gran hombre excepcional, adelantado a su tiempo, su trabajo, sin embargo, no ejercer mucha influencia. En su lugar, vamos a echar un vistazo a un artculo de un matemtico francs de menor importancia, Encontre. Encontre describe en primer lugar la segunda prueba de Lagrange, pero no criticar que por razones matemticas. Por el contrario, incluso se piensa que es muy riguroso. l, sin embargo, las objeciones didctico. Se queja de que sus alumnos tienen dificultades para comparar dos funciones de dos objetos en movimiento. Los estudiantes tambin se oponen al uso en cierto sentido, de las cantidades infinitamente pequeas, cuyo uso haba sido prohibido que en otras partes de las matemticas (Encontre 1813-1814, p. 203). Es divertido ver Encontre lo presenta objeciones matemticos objeciones didctico. Encontre a continuacin, intenta dar una elaboracin de la prueba de Lagrange que hace que sea independiente de la geometra. El autor muestra en trminos de desigualdades que el incremento de un polinomio con coeficientes positivos es menor que un valor arbitrario dado si el incremento de la variable independiente se mantiene dentro de ciertos lmites. De hecho, se construye un 3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad de 41 secuencia a1, a2, a3, ... convergiendo hacia un lmite a tal que P (ai) - Q (ai) converge a cero (P y Q son los polinomios de Lagrange de la prueba), de la que seala a la conclusin de que es la raz requerido.

Encontre trabajo es interesante porque, aunque l niega que l no est de acuerdo con el gran Lagrange, que en los puntos de hecho un hueco en la prueba de Lagrange y los intentos de llenar el uso de secuencias convergentes que son a su vez a cargo de medio de las desigualdades. Encontre careca de la genialidad de liberarse de Prueba de Lagrange, pero parece haber sido uno de los primeros en relacionar la continuidad de los lmites de las secuencias convergentes. 3.5 El teorema del valor intermedio en el siglo XIX Siglo 3.5.1 La nocin de lmite y la metfora bsica del Infinito (IMC) La esencia de la IMC es que el conjunto de todos los trminos de una sucesin infinita se puede considerado como un todo dado ya existentes. Podemos localizar los valores de dichas secuencias (De los nmeros racionales o reales) como puntos en una lnea. Lakoff y Nez han demostrado que estos aspectos de la IMC han contribuido a la generacin de la nocin de lmite de una sucesin convergente (2000, cap. 9). En matemticas informales, metforas como "los trminos se aproximan al lmite cuando se acerca n infinito "son bastante comunes. Tawny llama esta metfora "movimiento ficticio": lneas se encuentran en un punto, funciones de llegar a un mnimo, y as sucesivamente. La metfora de movimiento ficticio con el respeto hacia el infinito no est exenta de riesgos. Por ejemplo, la suposicin de que el lmite de una serie que se llegue a un proceso de una suma infinita significa que esta suma se ha interpretado como un supertask: la ejecucin de un nmero infinito de acta en un tiempo finito. La nocin de supertask conduce fcilmente a la hiptesis contradictorias en cuanto al estado alcanzado despus de su ejecucin, como Koetsier y Allis (1991, 1995, 1997) han demostrado. 3.6 Cauchy Cours d'analyse de Cauchy (1821) desempe un papel importante en la transformacin considerable de anlisis en el siglo XIX century11, el teorema del valor intermedio desempeado un papel menor. Como cuestin de hecho, en el Cours d'analizar Cauchy 11 En la reconstruccin despus voy a interpretar algunos de los resultados de Cauchy, de acuerdo con la punto de vista tradicional de su trabajo. Una buena presentacin de este punto de vista est en Grabiner (1981). Grabiner bien muestra que la idea de que la nocin de lmite est relacionado con los mtodos de aproximacin jugado

un papel heurstico importante en el trabajo fundacional de Cauchy. Para una visin bastante diferente de la de Cauchy obra fundamental en el anlisis de ver Spalt (1996). 42 T. Koetsier demuestra el teorema en dos ocasiones. La primera prueba, simplemente utiliza la analoga geomtrica (Captulo 2). La segunda prueba se produce en un apndice y se relaciona con la de Cauchy definicin de continuidad. En el programa de investigacin de Cauchy, una funcin ya no es slo una frmula, sino una frmula que expresa el valor de una variable dependiente en trminos de una variable independiente. Una frmula f (x) que se convierte en una divergencia serie para todos los valores de x no es funcin de las matemticas de Cauchy. Cauchy precisa distingue las funciones continuas de las funciones que posee discontinuidades locales, con la siguiente definicin: Una funcin f (x) es continua en un intervalo si para todo x el valor numrico de la diferencia f (x + a) - f (x) decrece indefinidamente con el valor de a. No precisa saber dnde encontrar esta definicin de Cauchy de la continuidad. Sin embargo, podra ser el resultado de un anlisis dado a fin de demostrar el teorema del valor intermedio en el apndice del Cours d'Analyse. Hay Cauchy trata de los mtodos a las races de las ecuaciones aproximadas (1821, pp 378380) y le da su segunda prueba del teorema del valor intermedio: Cauchy tiene un f verdadera funcin continua (x) en un intervalo x0 <x <X, que es tal que f (x 0) y f (x) tienen signos opuestos, y demuestra la existencia de una raz de la siguiente manera. Divide el intervalo en partes iguales y m, yendo de izquierda a derecha, determina (en el pensamiento) el primer sub-intervalo x1 <x <X1 para el que f (x1) y f (X1) una vez ms tienen signos opuestos. Con este subintervalo, repite el proceso. Que se divide en partes iguales y por lo tanto m sobre. Todas las f (x) tienen el mismo signo al igual que todos los f (Xi). De esta manera, obtiene secuencias xi y Xi x0 <x1 <x2 <........< xn <Xn <Xn-1 <........< X3 <X2 <X1 <X mientras que Xi - xi <(1 / m) i (X - x0). Los que van de izquierda a derecha para determinar los prximos subintervalo garantiza que todos los f (x) tienen el mismo signo, al igual que todos los f (Xi), pero que el dos signos son opuestos. Debido a que los trminos de la sucesin decreciente "terminar por las diferencias en tan poco como uno quisiera "de los trminos de la sucesin creciente,

se puede concluir que "las condiciones generales de la [...] serie converger a un lmite comn "(vase el comentario al final de esta seccin). Cauchy llama a este lmite a. Definicin de Cauchy de continuidad implica que f (a + (xi - a)) - f (a) converge a cero debido a que (xi - a) converge a cero y que f (a + (Xi - a)) - f (a) converge a cero, porque (Xi - a) converge a cero. Por lo tanto yo yo yo limf (x) = f (a) y lim f (x) = f (a) x -> a X -> a yo Debido a que todos los f (x) tienen el mismo signo y todos los f (xi) el mismo signo opuesto, es obvio que f (a) debe ser 0. Muy posiblemente, la definicin de Cauchy de la continuidad en trminos de convergencia secuencias naci cuando se enter de esta prueba. Punto de Cauchy de partida fue el mtodo, conocido en su tiempo, de encontrar una buena aproximacin a la raz por medio de subdivisiones repetidas de un intervalo. Yo sugiero que Cauchy aplicada que mtodo y se pregunt qu propiedad de la funcin f garantiza la existencia de la raz. La propiedad requiere que pareca ser que para todas las secuencias {xi} con lim 3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad de 43 xi = a, se debe tener lim f (x) = f (a). Una definicin moderna de la continuidad se born.12 Si esto es lo que pas, Cauchy genera su definicin de la continuidad en un Pappussian anlisis. Pero incluso si no lo hacen precisamente de esta manera, el relativamente sofisticado naturaleza de la definicin hace que sea muy probable que gener la definicin fue generado en otro contexto, de una manera similar. Es interesante que en realidad Cauchy result un mtodo bien conocido para aproximar una raz en una definicin de la continuidad. Nota: Cuando Cauchy afirma que "las condiciones generales de la serie [...] se converge a un lmite comn "que se aplica el criterio que dice que cada Cauchyseries converge, lo que ocurre en el Cours d'analizar en la ltima frase de la siguiente cita: Tambin es necesario [para que la serie converge], para valores crecientes de n [...] que las sumas de las cantidades de las Naciones Unidas, un +1, las Naciones Unidas 2, ..., toma, desde el principio, en cualquier nmero que desea, el acabado constantemente con los valores numricos a menos de un lmite asignable. Por el contrario, cuando Esta diversidad de condiciones se cumplen, la convergencia de la serie es assured.13 Cauchy no prueba el criterio, se considera que es evidentemente cierto. Dicho sea de paso, Cauchy puede haber generado el criterio por medio de un anlisis, en el sentido de

Pappus, cuando se trata de demostrar la convergencia de 1 - 1 / 2 + 1 / 3 - 1 / 4 + 1 / 5, etc utilizando su propiedad telescpica (1821, pp 130-131). 3.6.1 Heine Heine Die Elemente der Functionenlehre (1872), sobre la base orales de Weierstrass enseanza, representa la siguiente fase en la historia del teorema del valor intermedio. Cauchy todava tuvo la integridad de los nmeros reales por sentado. Heine no. Heine da la definicin de los nmeros reales en el camino hoy en da conocida por medio de Cauchy-secuencias de nmeros racionales, y prueba la integridad de mostrando que la repeticin del proceso no da lugar a nuevos nmeros. Prueba de Heine del teorema del valor medio es similar a la de Cauchy, con una diferencia importante: Cauchy, donde utiliza implcitamente la integridad de los nmeros reales del sistema Heine bases mismo en su definicin de los nmeros reales, la secuencia que construye es la raz que busca. Con la prueba de Heine hemos llegado a la clase de prueba de que an podra aparecer en un libro de texto (tal vez un poco reformulado). La prueba tambin muestra cmo la crtica llev a los anlisis de mayor alcance de regreso hacia la base del nmero real del sistema. Desde la posicin perifrica que tena en el siglo XVIII, el intermedio Teorema del valor movido hacia una posicin mucho ms central en el siglo XIX anlisis. 12 Yo no soy el primero en sugerir que la definicin de Cauchy de la continuidad naci aqu. Cf. Daval y Guilbaud (1945, p. 117). 13 de Cauchy (1821, pp 115-116) 44 T. Koetsier Definicin de Heine de los nmeros reales es matemticamente equivalente a Definicin de Dedekind por medio de Dedekind-cortes. Sin embargo, metafricamente, que es muy diferente. Heine caracteriza a los nmeros irracionales por medio de secuencias convergentes. Dedekind lo hizo de manera diferente. Dedekind registros que cre su definicin en 1858, cuando trat de caracterizar a la "esencia de la continuidad" de una lnea recta. Despus de haber ledo el artculo de Heine, se decidi a publicar sus resultados. Dedekind haba cuenta de que cada punto de una lnea recta produce una divisin de la lnea en dos partes, a la izquierda y el derecho, de tal manera que cada punto de la parte izquierda se encuentra a la izquierda de cada punto de la parte de la derecha. Se define la esencia de la continuidad de la lnea recta girando la declaracin en torno a: Si todos los puntos de una lnea recta se dividen en dos clases, de tal manera que cada punto

de la primera clase se encuentra en el lado izquierdo de cada punto de la segunda clase, entonces existe un punto, y slo uno, lo que provoca la separacin en dos clases, el corte de la lnea recta en dos partes (1927, p. 11). Heine y Dedekind separa la teora de los nmeros reales a partir de la geometra. Lakoff y Nez (2000) han dado una interesante descripcin, detallada de la forma en los que se sienten guiados metforas Dedekind en su trabajo. La lnea es considerada como que consiste en puntos (los "espacios son un conjunto de puntos" metfora; Lakoff y Nez). Creamos una correspondencia entre los nmeros racionales y los puntos de la lnea (el "Los nmeros son los puntos en una lnea de" la metfora, Lakoff y Nez). De esta manera, ciertas puntos de la lnea que no representan nmeros racionales son "vacos" (en realidad, las diferencias en el sistema de nmero racional). Dedekind entonces las transferencias por encima de la caracterizacin de la continuidad de la lnea de los nmeros racionales. Las brechas en los nmeros racionales son ocupados por la definicin de los nmeros reales como pares de conjuntos de nmeros racionales. Claramente, Heine y Dedekind continu en Leibniz se detuvo en 1795. Hemos visto Leibniz cmo luch con la nocin de "continuidad". definicin de Leibniz se basa en la idea de que cualquier divisin, sin superposicin de dos partes que componen el conjunto debe ser de tal manera que las dos partes tienen una frontera comn. La nocin de "frontera" y con ella las nociones de "adentro" y "fuera" siguen siendo vagos en el razonamiento de Leibniz. El problema que Leibniz fue atacado resuelto por la lnea recta por Dedekind, con la posibilidad de ordenar los puntos en una lnea. Sin embargo, la solucin general fue dada por medio de los conceptos de topologa moderna, secuencias de convergencia de puntos de desempear un papel importante papel. Es de destacar que la solucin de un problema de origen geomtrico, intent por Leibniz, requiere un largo rodeo metafrico a travs de la elaboracin de anlisis. 3.7 Conclusin Ver Lakoff y Nez "- que toda la matemtica es un sistema conceptual creado a travs de metforas conceptuales de la mente humana, sobre la base de las ideas y modos de razonamiento basado en el sistema motor sensorial - merece ms atencin. Mediante la interpretacin de las cosas que los matemticos hacen todo el tiempo, como la abstraccin y la idealizacin en trminos de metforas, Lakoff y Nez conectar esas ideas a la aparato conceptual de la psicologa cognitiva y la lingstica de una manera prometedora.

3 Lakatos, Lakoff y Nez: Hacia una definicin satisfactoria de la continuidad de 45 Es cierto que muchas preguntas siguen sin respuesta y que puede tener que considerar otros puntos de vista metforas de lo que somos y hacemos (cf. por ejemplo, Negro, 1962, Camino, 1991), sin embargo la idea bsica es el sonido. Sin embargo, el conocimiento matemtico es muy diferente de otros tipos de conocimiento: Eso es lo que necesita ms investigacin. Un rbitro de este artculo escribi: "Nosotros elegir metforas segn las necesidades retricas, pero no parece tener este latitud en la mayora de los casos matemtica. "Esto es correcto, pero yo dira que el certeza de las matemticas est relacionada con la ocurrencia de procesos de Lakatos perfeccionamiento en el desarrollo de las matemticas. La matemtica es un sistema conceptual de metforas refina en un proceso de pruebas y refutaciones hasta que una estructura rgida es alcanzado. El hecho de que esto sea posible es muy notable, aunque no es grave argumento en contra de Lakoff y Nez puntos de vista ". Agradecimientos Agradezco a Brendan Larvor y dos rbitros annimos por sus comentarios en una versin anterior de este documento. Referencias Allis, V., y Koetsier, T. (1991). En algunas paradojas del infinito. Diario britnico de la Filosofa Ciencias, 42 (1991): 187-194. Allis, V., y Koetsier, T. (1995). En algunas paradojas del infinito II. British Journal Filosofa de Ciencias, 46 (1995): 235-247. Koetsier, T., y Allis, V. (1997). Supertasks ensayo. Logique y Anlisis, 40 (1997): 291-313. Negro, M. (1962). Modelos y metforas. Ithaca: Cornell University Press. Bolzano, B. (1817). Rein analytischer Beweis des Lehrsatzes, dass zwischen je zwey Werthen, mueren ein entgegengesetztes Resultat gewhren, wenigstens eine relle Wurzel der seor Gleichung. Gottlieb Haase, Praga (Checoslovaquia reimpresin en Estudios de la Historia de la Ciencia 12 (1981). "Bernard Bolzano, los primeros trabajos matemticos. Edicin especial: 417-476). Cauchy, A. (1821). Cours d'analyse, Pars, Oeuvres, segunda serie, vol. 3. Clairaut. (1797). lmens d'Algbre par Clairaut, dition 5ime, Tomo II, Pars Un. V. Daval, R., & Guilbaud, G.-T. (1945). Le raisonnement Matemtica. Paris: Presses Universitaires de Francia. Dedekind, R. (1927). Stetigkeit und irrationale Zahlen, 5. Auflage, Braunschweig. De Swart, HCM, y Bergman, LJM (eds.) (1995). Perspectivas sobre la negacin, Ensayos honor de Johan J. de Iongh en su 80 cumpleaos. Tilburg: Tilburg University Press.

Encontre, D. (1813/1814). Mmoire sur les principes fondamentaux de la thorie gnrale des ecuaciones. Annales de Mathmatiques Pures et Aplicadas Tomo IV: 201-222. Disponible en formato digital: http://archive.numdam.org. Euler, L. (1748). Introductio in analysin infinitorum (Vol. I). Lausana (Opera Omnia de Euler, Serie I, vol. 8). Euler, L. (1751). Recherches sur les imaginaires racines des ecuaciones. Opera Omnia, Serie I, 6: 78-147. Grabiner, J. V. (1981). Los orgenes del clculo riguroso de Cauchy. Cambridge, London: MIT Prensa. Heath, T. (1956). Los trece libros de los elementos, 2 ed. Nueva York: Dover Publications. Heine, E. (1872). Mueren Elemente der Functionenlehre. Journal fr die reine und Angewandte Mathematik Banda 74: 172-188. Klgel, G. S. (1805). Mathematisches Wrterbuch, Banda II, de Leipzig. Koetsier, T. (1991). La filosofa de Lakatos de la Matemtica. Amsterdam: Elsevier. 46 T. Koetsier Koetsier, T. (1995). Negacin en el desarrollo de las matemticas: Platn, Lakatos, y Mannoury la historia del teorema del valor intermedio en el anlisis. En H. C. M. De Swart y L. Bergman (eds.): 105-121. Lagrange, J. L. (1808). Trait de la rsolution des ecuaciones numriques de tous les degrs. Pars: Courcier. Lakatos, I. (1976). Pruebas y refutaciones, La lgica de la matemtica. Ed. por J. Worrall Y E. Zahar. Cambridge: Cambridge University Press. Lakatos, I. (1961/1973). El mtodo de anlisis-sntesis. En Lakatos (1978). Las matemticas, Ciencia y Epistemologa: Philosophical Papers Volumen 2. Cambridge University Press, Cambridge, 1978: 70-103. Lakoff, G. y Nez, R. E. (2000). Donde la matemtica que toma, cmo la mente encarnada trae las matemticas a la existencia. Nueva York: Basic Books. Leibniz, G. W. (1695). Muestra luciferae geometriae. En C I. Gerhardt (Hrsg.) Mathematische Schriften, Band 7, Nueva York, 1971 (reimpresin de la edicin 1863). Mller, K., & Kronert, G. (1969). Leben und Werk von Leibniz. Eine Cronologie. Frankfurt. Spalt, D. D. (1988). Das Unwahre des Resultatismus, Eine historische Fallstudie aus der Analysis.

Mathematische Semesterberichte, 35 (1988): 6-36. Spalt, D. D. (1996). Mueren Vernunft im Cauchy-Mythos. Frankfurt / M: Deutsch. Manera, E. C. (1991). Representacin del conocimiento y la metfora. Dordrecht: Kluwer. 47 Mi inters, en este trabajo, est en cmo debemos entender preaxiomatic matemtica theorizing.1 una gran cantidad de teoras matemticas importantes claramente sucede antes de la formulacin de los axiomas matemticos especficos para una determinada teora (despus de de todo, fue antes de 1889 Peano public sus axiomas de la aritmtica, y sin embargo muchos se sabe acerca de los nmeros antes de este paso). Pero hay un punto de vista de matemtica segn la cual los axiomas matemticos definen su contexto la materia, de modo que lo que significa ser un sistema de numeracin natural es la de ser un sistema de objetos que satisfacen los axiomas (segundo orden) Peano. Este punto de vista podra simplemente parece inverosmil una vez que se reconoce la existencia de significativas perfectamente preaxiomatic teorizacin matemtica. Dado que, sin embargo, creo que la opinin de que los axiomas definir su tema tiene sus atractivos, quiero argumentar que algo as como este punto de vista se puede ampliar con el fin de hacer frente a las teoras preaxiomatic significativa. Antes de considerar las teoras matemticas preaxiomatic, ser til para obtener ms clara sobre qu se entiende por la opinin de que los axiomas son definiciones muy contextual. Despus de Geoffrey Hellman (2003), podemos describir el punto de vista de los axiomas como definiciones contextuales como tomar una "algebraica" para las teoras axiomticas. La etiqueta de "algebraica" aqu viene de ver a los axiomas como algo anlogo a los sistemas de ecuaciones con varias incgnitas. Los axiomas se llevan a cabo para "definir" sus trminos primitivos como lo que sera necesario para hacer que esos axiomas verdad, de la misma manera como los sistemas de de las ecuaciones de "definir" sus valores desconocidos como lo seran necesarios para hacer las ecuaciones de espera. Desde esta perspectiva, entonces, los axiomas no son verdades sencillas sobre un tema determinado de manera independiente la materia: sera un error de preguntar si los axiomas para, por ejemplo, la teora de grupos que las cosas acerca de sus trminos primitivos G, +, y 0, del mismo modo que sera un error de preguntar si la ecuacin x2 + 3x + 2 = 0 tiene M. Eslora () Departamento de Filosofa de la Universidad de Liverpool, 7 Abercromby Square,

Liverpool, L69 7WY, Reino Unido e-mail: mcleng@liv.ac.uk

Captulo 4 Razonamiento Matemtico Preaxiomatic: Un enfoque algebraico Mara Leng 1 'preaxiomatic La etiqueta puede indicar la expectativa de que tales teoras eventualmente recibirn una axiomatizacin. Hay, sin embargo, que nunca posibilidades de razonamiento matemtico importante se convierte en axiomatizada. Puedo tomar las consideraciones de este trabajo se aplican a tales teoras, as como a las teoras que finalmente sucumbir a la axiomatizacin. G. Hanna et al. (Eds.), La explicacin y la Prueba de Matemticas: Perspectivas filosficas y educativas, DOI 10.1007/978-1-4419-0576-5_4, Springer Science + Business Media, LLC 2010 48 M. Eslora cosas correctas acerca de x. Los trminos primitivos actan como marcadores de posicin de los muchos posibles "Soluciones" a la "ecuaciones" establecidos por los axiomas. A fin de comprender la motivacin de la opinin de que todos los axiomas se entendido "algebraicamente", que ser til para comparar el "algebraica" la comprensin de los sistemas axiomticos de una funcin alternativa que los axiomas puede pensar que tienen. Aunque es bastante controversial para ver los axiomas de la teora de grupos como contextual definiciones que nos dicen lo que tiene que ser vlido para cualquier sistema de los objetos a fin de que cuente como un grupo, no est tan claro que todos los sistemas de axiomas que ser visto como definiciones contextuales de esta manera. A la vista estndar de los sistemas axiomticos para la teora de la aritmtica o establecer, por ejemplo, es que estos axiomas deben ser vistos como las afirmaciones de las verdades acerca de un tema en particular - los nmeros naturales, o la juegos - no slo la definicin de lo que tendra que ser verdad de un sistema de objetos para contar como un ejemplo de un sistema de nmero natural o un sistema de ZFC-sets. Una vez ms, los prstamos

de Hellman, podemos etiquetar el punto de vista de los axiomas como las afirmaciones de la verdad como una "Asertivo" para las teoras axiomticas. Una visin natural de la axiomtica de las teoras matemticas es, entonces, que mientras que para algunos tales teoras (como la teora de grupos) los axiomas son slo para ser ledo algebraicamente, como la definicin de sus conceptos fundamentales, al menos en algunos casos importantes (como el nmero la teora o la teora de conjuntos), los trminos primitivos debe ser visto como se entiende de forma independiente de la axiomatizacin, y los axiomas deben tomarse como afirmaciones expresadas en los trminos anteriormente entender, las cuales pueden ser verdaderas o falsas de su intencin interpretacin. De hecho, tan natural es esta visin dual del papel de los axiomas que podra ser difcil de ver por qu alguien querra defender a uno de los dos puntos de vista como el nico, visin correcta de todo tipo de axiomas matemticos. Sin embargo, mirando a la historia de discusin sobre la naturaleza de los axiomas, encontramos este tema en debate, la mayora de los un lugar destacado en la famosa correspondencia entre Frege y Hilbert en el naturaleza de los axiomas (reimpreso en Gabriel et al. 1980). Por escrito a Hilbert, Frege adopta una visin comn reconocible asertivo de los axiomas, con el argumento que un enfoque algebraico a los axiomas es incoherente. De acuerdo con Frege, axiomas y teoremas no se puede tratar de establecer el significado de un signo o palabra que se produce en ellos, sino que debe estar ya establecido. (Frege a Hilbert 27/12/1899) (En la medida en sistemas de axiomas evidentes, tales como los axiomas de la teora de grupos, son los mejores entendida como las definiciones contextuales, entonces, probablemente en este punto de vista deben ser se convirti en definiciones explcitas expresadas en el marco de una bien entendida teora asertivo, por ejemplo, la teora de conjuntos ZFC). Por otra parte, Hilbert defiende una algebraicas enfoque a todos los sistemas axiomticos, sosteniendo que los axiomas proporcionan la nica posible manera de fijar el significado de los conceptos matemticos.

En mi opinin un concepto puede ser fijo lgicamente slo por su relacin con otros conceptos. Estos las relaciones, formulada en algunas declaraciones, que yo llamo axiomas, llegando as a la opinin de que axiomas (tal vez junto con las propuestas de asignar nombres a los conceptos) son las definiciones de los conceptos. (Hilbert a Frege 22/9/1900) Incluso en el caso de un "fondo" la teora como la teora de conjuntos ZFC, en el que otros conceptos matemticos se pueden definir, el significado de las nociones bsicas (en este caso, ajuste y miembro) es en ltima instancia, a la vista de Hilbert, dado por su contexto papel de los axiomas. Razonamiento Matemtico Preaxiomatic 4: Un enfoque algebraico 49 Estos dos puntos de vista sobre las matemticas llevan con ellos dos muy diferentes puntos de vista sobre la naturaleza de (pura) la prctica matemtica. En un punto de vista asertivo Frege, en la demostracin de teoremas matemticos a partir de axiomas que estamos tratando de establecer verdades acerca de determinados objetos matemticos, utilizando conceptos que son aprehensibles independientemente de cualquier axiomatizacin que pueda tener. Y aunque los axiomas puede expresar los resultados de nuestras intuiciones ms bsicas sobre los conceptos y los objetos que preocupacin, no hay margen para el error en este sentido: mientras vemos como axiomas intento de afirmaciones de la verdad acerca de los objetos particulares, es por lo menos tericamente posible para nosotros estar equivocados en la celebracin de los axiomas para ser verdad. Por otro lado, si axiomas son, como un mtodo algebraico global demanda, las definiciones contextuales de su terminologa primitiva, la definicin de lo que tendra que ser vlido para cualquier sistema de objetos para que cuente como, por ejemplo, un sistema de nmeros naturales, entonces no sentido preguntar si nuestros axiomas son realmente ciertas, por lo que la verdad de los axiomas se puede

no se trata en la prctica matemtica pura. En tanto que un sistema de axiomas se consistente, los axiomas son suficientes para caracterizar un concepto u otro, y en demostrar un teorema matemtico de los axiomas, todo lo que podemos establecer es que, si algn sistema de objetos satisface los axiomas, el teorema demostrado tambin se cierto cuando se interpreta como hablar de esos objetos. A pesar de que todava pueden estar preocupados sobre el inters / aplicabilidad de un concepto se caracteriza por los axiomas, la pregunta de lo absoluto "la verdad" 2 de teoremas demostrado conceptos sobre lo que se caracteriza, divorciado de estas cuestiones de inters / aplicacin, estar mal formed.3 Nuestro inters en probar teoremas matemticos, no es en el descubrimiento de las verdades acerca de cualquier objetos particulares, sino ms bien, en el descubrimiento de las consecuencias de nuestras matemticas supuestos, lo que nos dicen lo que tiene que ser verdad de los objetos particulares que fue as la satisfaccin de nuestros axiomas. Dicho esto, ahora podemos considerar por qu una imagen global algebraica, si es sostenible, podra ser atractivo como un punto de vista de las matemticas. Hay dos caractersticas de la asertivo punto de vista de los axiomas que hacen que ese punto de vista vulnerables a algunas dificultades importantes (presentada en sus formulaciones ms conocidas de Paul Benacerraf en su influyente (1965) y documentos (1973)). En primer lugar, el punto de vista de los axiomas como las afirmaciones acerca de algunos tema en particular nos lleva a preguntar, precisamente, que los objetos son los adecuados la materia de una determinada teora axiomtica? Tomar los axiomas de Peano para la aritmtica. Como Benacerraf (1965) seala, hay muchos sistemas diferentes de los objetos que satisfacen estos axiomas. Sin embargo, en un punto de vista asertivo estndar, slo uno de estos sistemas puede cuenta como el tema adecuado sobre el que los axiomas de Peano afirmar verdades. Pero no parece haber nada en nuestras prcticas matemticas que nos permiten

2 A diferencia de la verdad en relacin con una interpretacin particular de los axiomas de la teora. 3 Por esta razn, uno debe ser cuidadoso de no inducir a error de caracterizacin de Hilbert de la constante axiomas como verdades por definicin. Segn Hilbert, "si los axiomas arbitrariamente dado no se contradicen uno al otro con todas sus consecuencias, que son verdaderas y las cosas definidas por los axiomas existe. Esto es para m el criterio de la verdad y la existencia. "(Hilbert a Frege, 29/12/1899) El los conceptos de verdad y de la existencia en matemticas son, por Hilbert, muy diferente de los conceptos de la verdad y la existencia tal como las conocemos en otros lugares. Tan diferentes que creo que es preferible hablar de la consistencia y la existencia-de acuerdo a una teora consistente-, en lugar de secuestro terminologa que a la mayora de las mentes tiene implicaciones ms importantes que esto. 50 M. Eslora tomar cualquier decisin sobre la que no arbitraria, entre el candidato muchas wsecuencias que estn a nuestro alcance, nos referimos a elegir cuando se habla de lo natural nmeros. As que en un punto de vista asertivo de los axiomas de Peano, mientras que se afirma que trminos singulares como 0 se refieren a objetos nicos, parece totalmente misterioso cmo esta referencia se logra, y la cuestin de los trminos que se refieren a objetos parece siempre ms all de nuestro alcance. La segunda dificultad es el resultado de la habitacin que el punto de vista asertivo deja de error. Dado que los axiomas son, en este punto de vista, los intentos de hacer valer las verdades acerca de una forma independiente existentes tema, es lgico preguntar: Cmo podemos saber que los axiomas son verdaderas? Y puesto que los tipos de objetos que nuestros axiomas son el objetivo de caracterizar son, en la mayora de puntos de vista, el resumen, incluso tiene sentido preguntar: Cmo podemos saber nada de todos esos objetos? Benacerraf (1973) presenta esta preocupacin en el contexto de una teora causal del conocimiento: desde objetos abstractos son sin causa, la teora causal parece que el conocimiento de esos objetos imposibles. Pero incluso si dejamos

de lado la teora causal, sigue siendo una preocupacin para aquellos que deseen adoptar un punto de vista asertivo. Los defensores de este punto de vista tendra que decir algo sobre la relacin entre nuestros creencias matemticas (como se expresa en los axiomas) y su tema previsto, en el fin de servir de base para la suposicin de que esas creencias reflejan fielmente sus la materia (esta forma de poner la preocupacin se debe a campo Hartry (1989)). Sin embargo, en por lo menos en la norma (negativa) la caracterizacin de los objetos matemticos abstractos como (Nonspatiotemporal, la mente y el lenguaje-independiente), hay muy poco espacio para cualquier balance positivo de cmo este vnculo se puede lograr. Estas preocupaciones, por supuesto, son bien conocidos, y han sentado las bases para una gran de los trabajos recientes en la filosofa de las matemticas. Lo que es interesante, desde el punto de vista de la distincin que hemos trazado entre algebraicas y asertivo enfoques de las matemticas, es lo poco que afectan al enfoque algebraico. Tomar Primera preocupacin de Benacerraf. El problema de decir con precisin qu objetos nuestra axiomtica las teoras matemticas se trata es de evitar por completo: en la medida en la axiomas de una teora dada puede interpretarse como verdades sobre un sistema particular de objetos, que el sistema contar como uno de los muchos casos posibles del concepto contexto definido por los axiomas. No hay necesidad, en un punto de vista algebraico, a interpretar los axiomas como hablar de un sistema particular de los objetos. De hecho, dada que el punto de vista algebraico ve sistemas axiomticos como algo anlogo a los sistemas de ecuaciones con varias incgnitas, no debera sorprender que estos sistemas son susceptibles de a mltiples sistemas adecuados de las soluciones. La segunda preocupacin es tambin fcil de tratar en un enfoque algebraico. Ya que, Desde esta perspectiva, los axiomas contexto definir su objeto, no hay

sustanciales cuestin de si la materia objeto de un sistema axiomtico realmente satisface los axiomas. Si un sistema de objetos no satisfacen los axiomas de una teora dada, entonces los axiomas no habra estado hablando acerca de los objetos en primer lugar. Y esto es lo cierto que la naturaleza de los objetos en cuestin. Si hay alguna objetos abstractos, entonces no pueden ser las que satisfacen los axiomas de Peano, y si es as, los axiomas de Peano automticamente afirmar las verdades sobre los objetos. Pero si hay no los objetos abstractos, o ninguno que satisfacen los axiomas de Peano, esto no hace ninguna diferencia a la capacidad del algebrista para ver los axiomas de la teora de las definiciones contextuales Razonamiento Matemtico Preaxiomatic 4: Un enfoque algebraico 51 que las condiciones de lugar en lo que tendra que ser vlido para cualquier sistema de los objetos en para contar como un sistema de nmeros naturales. No puede haber trabajo perfectamente significativa descripciones, incluso si no existe uno que se ajusta al papel. Si una visin global de las teoras matemticas algebraicas fuera viable, entonces, podran evitar dos de las principales dificultades que han plagado la filosofa de la las matemticas en los ltimos aos. Esta es una razn suficiente, creo, para considerar si ese punto de vista es plausible. Pero a pesar de sus ventajas, existen algunas importantes dificultades que cualquier aproximacin algebraica de las matemticas se han de tratar. Entre estas dificultades son los que surgen cuando se tiene en cuenta los casos en que puede ser que deseemos hacer afirmaciones genuinas sobre los objetos matemticos. Conforme con el enfoque algebraico, cuando parecen hacer afirmaciones sobre matemticas los objetos de nuestra teorizacin matemtica, que son en realidad el desarrollo de nuestra caracterizacin de un concepto matemtico. Por ejemplo, cuando nos parecen demostrar que hay infinitos nmeros primos, todo lo que realmente muestra es que, si un sistema de objetos satisface los axiomas de Peano, que contendr los objetos infinitos satisfacer la descripcin de "nmero primo", algo que podemos decir sin dejar de ser

agnstico sobre si hay algn tipo de sistemas. (Para evitar la trivialidad potencial, la "Si" aqu debe interpretarse como el modal "si" de la implicacin, ms que el material desnudo condicional.) Pero tal vez hay algunas afirmaciones matemticas que se desea afirmar categricamente, en lugar de conformarse con estas alternativas hipotticas. Tomemos, por ejemplo, el "si ... entonces", afirma que hemos dicho es todo lo que se establecido por las demostraciones matemticas, en el punto de vista algebraico. Hemos dicho que una algebrista se desea afirmar que los axiomas de una teora implica sus teoremas. Sin embargo, en una comprensin de la implicacin, esto realmente se debe entender como una afirmacin sobre los modelos de los axiomas: en cualquier modelo (conjunto terico) en el que los axiomas son ciertos, los teoremas, son ciertas. Por lo tanto (categrico) afirmaciones acerca de implicacin se (Categrico) afirmaciones acerca de los objetos matemticos, despus de todo, y por lo tanto algebraism mundial falla. Con el fin de evitar esta dificultad, algebristas que rechazar la reduccin modal de las reclamaciones de implicacin a los no-modal afirmaciones acerca de los modelos de teora de conjuntos, introduciendo as los primitivos modos de transporte en su teora. Otro caso en el que podramos pensar que debemos ver nuestras afirmaciones matemticas en Vale la cara, como genuino afirmaciones categricas, en vez de elptica para la hipottica reclamaciones, se presenta cuando consideramos nuestras teoras cientfico emprico, donde mezcla afirmaciones matemticas / emprica estn en todas partes. En nuestra teora emprica, sin duda nuestro objetivo es afirmar las verdades, y no simplemente a hablar hipotticamente sobre lo que sera el caso estaban all todos los objetos que le pas a encajar nuestra teora. Pero si es as, entonces se esto no nos obliga a ver las declaraciones expresadas matemticamente de nuestra las teoras empricas como las afirmaciones de genuino? Los defensores de la visin algebraica que, se

Parece que tienen que responder por (a) explicar cmo podemos dar un sentido emprico de teorizacin cientfica an si consideramos que las afirmaciones matemticas declarado de los teoras como elpticas para las reclamaciones hipottica (vase, por ejemplo, Hellman (1989)), (b) muestra que el contenido de las teoras empricas se puede expresar matemticamente no (por ejemplo, De campo (1980)), o (c) rechazar la hiptesis de que el objetivo de nuestras teoras empricas hacer valer la verdad (por ejemplo, Leng (de prxima publicacin)). En cualquier caso, hay un trabajo importante que se hecho en la defensa de algebraism mundial a la luz de las aplicaciones de las matemticas. 52 M. Eslora Mi opinin es que estas dificultades pueden ser tratados de una manera que todava hace que la enfoque algebraico preferible a la alternativa asertivo, dadas las difciles preocupaciones planteadas por Benacerraf de esa vista. Pero aparte de estas preocupaciones si algebraism mundial es posible como un punto de vista de la axiomtica de las teoras matemticas, sigue existiendo la preocupacin inicial que hemos mencionado respecto a la credibilidad de este punto de vista a la luz de la importancia evidente de la teora preaxiomatic significativa en la historia de las matemticas. Si se trata de axiomas que dan sentido a la matemtica conceptos, entonces el razonamiento matemtico sin duda preaxiomatic es, en rigor, carece de sentido. Sin embargo, histricamente, una gran cantidad de razonamiento matemtico ha sucedido antes de la axiomatizacin, e incluso en las teoras que nunca han recibido una axiomatizacin formal. Explicaciones matemticas perfectamente coherente y pruebas, incluso se les ha dado fuera del entorno de un axioma: Euler no tena necesidad de los axiomas de Peano para demostrar que hay infinitos nmeros primos. Si un mtodo algebraico para las matemticas no puede dar cuenta de esta teora matemtica preaxiomatic como una significativa actividad, entonces, seguramente, a pesar de sus ventajas como una respuesta a los problemas de Benacerraf,

este punto de vista de las matemticas es indefendible. En glosar la versin de Hilbert de la vista, ya he dicho antes que Hilbert sostuvo que Axiom Systems fue la nica manera de fijar los conceptos matemticos. Si este brillo es correcta, entonces la existencia de la perfeccin matemtica significativa preaxiomatic razonamiento sobre los conceptos matemticos que parecen presentar un contraejemplo este punto de vista. Sin embargo, cabe sealar que el propio Hilbert fue sin duda sensibles a la importancia del razonamiento preformal, preaxiomatic. De hecho, en sus primeros correspondencia con Frege, Hilbert realmente est de acuerdo con la afirmacin de Frege de que formal, teorizacin simblico no es, o no debe ser, el principio de la historia, sino ms bien, es el mejor presentado como el desarrollo natural de un tema previamente estimado: Estoy de acuerdo en todo lo que el simbolismo debe venir ms tarde y en respuesta a una necesidad, de que le sigue, por supuesto, que todo el que quiera crear o desarrollar un simbolismo debe estudio de estas necesidades. (Hilbert a Frege, 04/10/1895) No es Hilbert entonces realmente de acuerdo en que el papel de los axiomas es afirmar las verdades de previamente entendido los conceptos? Por supuesto, una explicacin de este acuerdo es la fecha temprana: tal vez de Hilbert punto de vista sobre la importancia de las teoras formales endurecido, como l se convenci an ms de la incapacidad para captar los conceptos a travs de caracterizaciones nonaxiomatic. Ciertamente, Hilbert perdido la esperanza de alguna manera nonaxiomatic de escoger matemtica conceptos: Si uno est buscando otras definiciones de un "punto", por ejemplo, a travs de parafrasear en trminos de sin extensin, etc, entonces de hecho debe oponerse a estos intentos de la manera ms decisiva, una est buscando algo que nunca se puede encontrar, porque no hay nada all, y todo se pierde y se enreda y degenera en un juego de esconderse y buscar. (Hilbert Frege, 29/12/1899)

Pero, sea o no ms tarde de Hilbert ver qu significar un cambio en su propia actitud a la teorizacin preaxiomatic, hay, creo, el modo de conciliar su pronto acuerdo con Frege con el espritu de la visin algebraica. Y como yo creo que sera un error de minimizar la importancia del pensamiento matemtico preaxiomatic, es Razonamiento Matemtico Preaxiomatic 4: Un enfoque algebraico 53 la posibilidad de conciliar el enfoque algebraico con el significado de preaxiomatic pensado que voy a considerar aqu. El enfoque algebraico dice que el significado matemtico se fija por los axiomas. Uno forma de conciliar esta idea con la existencia de parecer significativ o preaxiomatic razonamiento es apelar a un sentido de los conceptos que usamos puede tener que no es rigor matemtico. Por ejemplo, en el caso de la geometra, las nociones de "Punto" y "lnea recta" tienen un uso emprico, en la seleccin de, por ejemplo, aristas y vrtices en los diagramas que dibujar. Cuando la razn fuera de la axiomtica contexto sobre los puntos y lneas rectas, que se puede considerar como un intento de caracterizar verdades aproximadas acerca de estos objetos cotidianos (verdades aproximadas, ya que son slo es cierto en la medida en que estos objetos enfoque de un ideal), con el candidato "axiomas" como las afirmaciones de la ms bsica (aproximadamente) las verdades acerca de tales cosas. En algn momento, sin embargo, la imagen cambia y pensamos de nosotros mismos como hablar acerca de los puntos ideales y las lneas rectas s mismos, y no los puntos ubicados fsicamente y las lneas se pueden dibujar en la arena. Un enfoque posible para un algebrista a tomar es para ver que el interruptor como el paso a la matemtica objeto, sosteniendo que, en ese momento, todo lo que puede dar sentido a la nocin de un "ideal" o punto de lnea recta es lo que est presente en nuestros axiomas. La medida en que nuestro tema es aproximado y empricos, nuestros axiomas y teoremas pueden ser asertivo y significativo, pero una vez que cambiar a las matemticas puras, que slo tienen los axiomas que pasan y que a

ese momento aceptar como nada en la materia potencial que se ajuste a los axiomas. Este doble enfoque funciona para algunos razonamientos preaxiomatic, en los casos en las teoras matemticas son claramente desarrollada a travs de la abstraccin y la idealizacin en los conceptos empricos. En estos casos, nada de original, el punto de vista algebraico tiene que ser sacrificado. La medida en que nuestro tema es matemtica, es decir, se fijado por los axiomas. Y la medida en que podemos pensar que existe alguna duda acerca de la la verdad de los axiomas, esto debe ser porque estamos comparando nuestras teoras axiomticas a nuestra materia antes de tema no matemtico: la geometra euclidiana puede ser cuestionada como no conformes con puntos y lneas rectas en el espacio fsico, pero esto no as falsifica la teora matemtica, que simplemente define lo que es ser un Euclidiana punto o una lnea recta. Pero no todas las teoras matemticas son sencillas idealizaciones sobre un tema previamente estimado emprico. Tiene el punto de vista algebraico tiene espacio para teorizar preaxiomatic cuando el tema es no reconocible emprica? Si no podemos confiar en un sentido emprico antes de dar un sentido al razonamiento respecto a los conceptos tericos antes de la axiomatizacin, donde ms podemos mirar? En este punto, creo, debemos reconsiderar la esencia de la visin algebraica para ver si se puede hacer y lugar para la existencia de matemticas, en lugar de emprica, es decir, antes de la axiomatizacin. Segn Hilbert, la razn de axiomas ver las definiciones contextuales es, como hemos dicho, porque piensa que "Un concepto puede ser fijo lgicamente slo por sus relaciones con otros conceptos." Pero quizs hay caracterizaciones nonaxiomatic de los conceptos matemticos que pueden tambin hacer el trabajo de precisar los conceptos matemticos en relacin con otros conceptos ya entender? Tome la aritmtica: que tienden a caracterizar los nmeros naturales

como "0, 1, 2, ...," donde la marcha de la misma manera de la "..." indica que cada 54 M. Eslora nmero sucesivo es diferente de lo que ha pasado y se diferencia de su inmediato sucesor por una, de tal manera que cualquier nmero puede llegar de 0 siguiendo un nmero finito de nmero de pasos en esta secuencia. Esto no es una axiomatizacin, pero se puede argumentar que tenemos una bastante fuerte "antes de" la comprensin de "..." de esta caracterizacin preaxiomatic para caracterizar completamente el concepto de w-secuencia, como cualquier cosa que quepa esta caracterizacin. Si la esencia de la visin algebraica es que los conceptos matemticos se fijan slo el contexto, ya que, si se quiere, "soluciones" a las ecuaciones en varias "Desconocidos", entonces seguramente esta esencia se mantiene incluso si permitimos que el contexto que se dado por otros medios que los axiomas? En efecto, si el punto de vista algebraico es ampliado para permitir la posibilidad de quedar atrapado conceptos por medio de caracterizaciones nonaxiomatic, entonces deja espacio por lo que creo que es una visin bastante plausible de algunos casos de la teora matemtica el desarrollo. Por la analoga que considera los conceptos matemticos como soluciones a ecuaciones de varias incgnitas se puede extender a las teoras axiomticas formales s: las teoras son a menudo las "soluciones" que se encuentra a la "ecuaciones" establecidos por preaxiomatic desiderata. Para ver cmo se puede, considere el ejemplo del descubrimiento de WR Hamilton de los cuaterniones. Anunci con las famosas ecuaciones "i 2 = j2 = k2 = -1, "muy entusiasmado, tallado en Brougham Bridge en Dubln, Hamilton nos dice cmo se senta "un problema haber sido resuelto en ese momento "(Tait 1866: 57). Hamilton haba puesto a s mismo problema de encontrar un anlogo tridimensional de los complejos de dos dimensiones,

la preservacin de las propiedades usuales de suma y multiplicacin (asociatividad, conmutatividad, la ley de los mdulos, ...). Resulta que este problema no tiene solucin: algo tiene que ceder. Pasando a las cuatro dimensiones y soltar conmutatividad llev Hamilton a los cuaterniones, el ms cercano solucin "en el parque de pelota" de lo que estaba busca. La teora formal de los cuaterniones seguido, pero en lugar de ser un punto de partida, es en s misma una solucin a algunos preaxiomatic desiderata. Si extendemos el punto de vista algebraico para permitir la caracterizacin preformal, nonaxiomatic de matemticas conceptos, el ejemplo de los cuaterniones es el agua al del algebrista molino. Para el punto de vista de la prueba matemtica como una profundizacin en lo que tiene que ser el caso fueron algunos supuestos tambin es el caso, ahora se puede extender a este tipo de razonamiento preaxiomatic. La caracterizacin formal de los resultados de los cuaterniones investigar lo que tendra que ser verdad de un sistema formal a fin de satisfacer como el mayor nmero posible de deseos originales de Hamilton, y por lo tanto un lugar se hace dentro de el mtodo algebraico para la prctica matemtica que se lleva a cabo en el perodo previo a el desarrollo de las teoras axiomticas formales, as como un axioma matemtico teorizacin. Para ejemplos un poco menos glamoroso de este tipo de fenmeno, podemos mirar a los muchos ejemplos de axiomatizaciones que aparecen por primera vez en el contexto de teoremas. As como la caracterizacin formal de los cuaterniones se produjo como solucin a un problema que se plantea en un contexto preaxiomatic, los sistemas formales de axiomas son Asimismo, a menudo presentadas como soluciones a problemas planteados en el contexto de la corriente teorizacin matemtica. Por citar slo un ejemplo, considere la Gelfand-Naimark axiomas de C *- lgebras. En su artculo original, la presentacin de estos axiomas, Gelfand Naimark y definir un anillo *- (que ms tarde se conocera como una C *- lgebra) de la siguiente manera:

Razonamiento Matemtico Preaxiomatic 4: Un enfoque algebraico 55

1 . ** x = x; 3 (xy) * = y * x *.; 5 . | | X * | | = | | x | |; 6 . En la terminologa moderna, un anillo normado que hoy se conoce como Banach algebra.4

redundantes. Pero por qu todo este trabajo duro, si los axiomas han de ser considerados como definiciones contextuales? Por qu no basta con sustituir las condiciones de 4 -6 desde el principio con la nica condicin

un sistema previamente encontradas de los objetos matemticos, sugiere una asertivo en lugar de acercamiento algebraico a estos axiomas: los axiomas son evaluados por su xito en la afirmacin de verdades sobre la subanillos de B (H). Sin embargo, la algebraica enfoque puede ser conservado en dos aspectos. podemos ver la configuracin que contiene lo suficiente como preaxiomatic de una caracterizacin preformal de los conceptos que se axiomatizada de los axiomas en cuestin para ser presentado como una solucin a un problema planteado por esta caracterizacin preformal los axiomas son ni a ser visto como la afirmacin de verdades acerca de los objetos con existencia independiente ni como simplemente est definiendo un nuevo concepto de la nada, sino ms bien como una fijacin abajo definicin adecuada de un concepto que ya estaba preaxiomatically comprendido. Pero en segundo lugar, como en el caso de la geometra euclidiana, podemos ver los axiomas de tomar en un vida propia una vez que se especifican. A pesar de C *- lgebras se caracterizaron originalmente con la coleccin de todas las lgebras autoadjunto norma-cerrado de la limitada los operadores de complejos espacios de Hilbert en la mente, mucho trabajo contemporneo sobre la C *lgebras se lleva a cabo dentro del marco axiomtico sin hacer referencia especfica a este "Concreto" de interpretacin. Del mismo modo, como una teora matemtica, la geometra euclidiana

ser investigados en un marco axiomtico totalmente divorciado de su fsico original interpretacin, del mismo modo, C *- lgebras puede ser investigado por derecho propio en una establecimiento de un axioma totalmente divorciado de las estructuras matemticas en particular que se introdujo originalmente para caracterizar. Despus de haber encontrado los axiomas de C *- lgebras, ahora se puede ver como la definicin de su objeto, por lo que las preguntas sobre C *lgebras de convertirse en preguntas a ser respondidas dentro del marco axiomtico nuevo. Como hemos sealado, una amplia "algebraica" para la prueba matemtica de "Asertivo" visin de las matemticas. Teoremas, una vez probado, no tiene que ser visto como establecer lo que tendra que ser verdad de los objetos de satisfaccin de los conceptos fijos en en nuestros axiomas. Sin embargo, a primera vista, la "algebraica" enfoque tiene ms dificultades para que lo hace el tradicional "asertivo" ver en la contabilizacin de preaxiomatic De acuerdo con el "asertivo" punto de vista, los axiomas expresar nuestra comprensin intuitiva de la 5 De hecho, al ver la axiomatizacin Gelfand-Naimark de C *- lgebras, Irving E. Segal fue capaz de afirmar que la C *- lgebras proporcionan la base perfecta para la teora cuntica de campos. De hecho, de acuerdo con Segal, C *- lgebras "prestado la mecnica cuntica no es menos intuitivo que el clsico mecnica una vez que se familiariz con ellos "(Segal, 1994: 58)., mientras que en la misma lnea, en ltima instancia, no se puede explicar. la mecnica cuntica ". Debido en gran parte con el teorema de Gelfand-Naimark, esto no es en el caso de las matemticas "(Effros 1994: 100).. Razonamiento Matemtico Preaxiomatic 4: Un enfoque algebraico 57 previamente entendido los conceptos matemticos, por lo que tiene perfecto sentido en este cuenta que una gran parte de la teorizacin matemtica significativa que podra suceder antes de

de axiomatizacin. He sostenido que el espritu de la visin algebraica se pueden desarrollar para hacer frente a teorizacin preaxiomatic de dos maneras. En primer lugar, podemos permitir que en los casos de verdadera "Asertivo" teorizacin preaxiomatic que se refiere a significativos conceptos empricos ha sido fijado). caracterizacin de un concepto matemtico, una axiomatizacin puede ser en este punto de vista entendida como una "solucin" al problema planteado por la caracterizacin preaxiomatic, como el ms cercano en la formalizacin de la bola del parque del concepto en el que nuestra preaxiomatic caracterizacin era el objetivo. Una vez que los axiomas se han dado, la teorizacin matemtica puede proceder en el establecimiento de corte axiomtico suelto de la caracterizacin preaxiomatic - Para que las preguntas acerca de los conceptos matemticos que se caracterizapreguntas punto de vista de la prctica matemtica. preaxiomatic razonamiento, entonces, adoptar un enfoque algebraico a la demostracin y la teora todava tiene alguna promesa como una cuenta de la naturaleza de las matemticas Referencias Benacerraf, P. (1965). Qu nmeros no pudo ser. Philosophical Review, 74: 4773. Benacerraf, P. (1973). La verdad matemtica. Revista de Filosofa, 70: 661-80. Doran, R. S. (1994). Vol. 167 de la matemtica contempornea. La sociedad. Effros, E. G. (1994). teorema. En Doran (1994): 99-114. Campo, H. (1980). La ciencia sin nmeros: una defensa del nominalismo.

Princeton, NJ: Princeton University Press. Campo, H. (1989). Realismo, las matemticas, y la modalidad. Oxford: Blackwell. Gabriel, G., Hermes, H., Kambertel, F., Thiel, C., & Veraat, A. (eds.) (1980). Chicago: University of Chicago Press. Gelfand, M. I., y Naimark, M. A. (1943). Mat. Sbornik, 12: 197-213. Reimpreso en Doran (1994): 3-20. Hellman, G. (1989). Matemticas sin nmeros: hacia una interpretacin modal estructural. Oxford: Clarendon Press. Tiene la teora de categoras proporcionan un marco para la matemtica estructuralismo? Leng, M. (en prensa). Matemticas y realidad. Oxford: Oxford University Press. Tait, P. G. (1866). Sir William Rowan Hamilton. North British Review, 14: 35-54. G. Hanna et al. Springer Science + Business Media, LLC 2010 5.1 Introduccin En su papel de un renacimiento del empirismo en la filosofa reciente de la Matemtica?

Hoy tomamos esta afirmacin como una tontera. Filosficamente, puede ser menos trivial que se piensa a primera vista. De acuerdo con

Esto suena un poco extrao, por decir lo menos.

e-mail: ylxmomot@sf.ehu.es Captulo 5 Terminaciones, Construcciones y corolarios Thomas Mormann Los axiomas de la geometra euclidiana no implica lgicamente los teoremas de Euclides geometra. En trminos ms generales, las pruebas de matemticas no debe contener ninguna ilgicas ingredientes. (Russell 1903, 5) Llamemos a esta tesis de Russell. Principios de las matemticas (Russell 1903). Los Principios estn fuertemente influenciados por los logros de lgica y matemtica de Peano, Cantor y Frege, Russell, pero puede ser acreditado como el primer filsofo profesional que abog por este logicista tesis. Si uno acepta la tesis de Russell, la filosofa de las matemticas y la filosofa de las ciencias empricas se ntidamente separados: En el lado de la ciencias empricas, se tiene una variedad de procedimientos para obtener el conocimiento cientfico, que van desde los argumentos deductivos e inductivos para experimentos de diversos tipos. No todo el mundo suscribieron de la ciencia emprica. Entre los disidentes, se puede citar (1) semitica de Peirce El pragmatismo, (2) idealismo crtico de Cassirer, y (3) cuasi-empirismo de Lakatos. Voy a decir nada acerca de Lakatos, pero se concentrar en Cassirer, con algunas ocasionales Cassirer y la filosofa en general, ms bien, me gustara concentrarme en uno pertinentes

conocimiento matemtico. Ambas cuentas se puede caracterizar como un intento de hacer justicia a la filosofa de Kant de las matemticas y al mismo tiempo para superar las pruebas. para que algo como la intuicin es completamente obsoleto para la moderna matemtica y el conocimiento cientfico. En particular, su nfasis en el papel de idealization1 en las matemticas y las ciencias puede ser interpretado como un intento de revivir algo como la intuicin pura de Kant, o por lo que quiero discutir. El resumen de mi trabajo es la siguiente manera: 1. El papel de la intuicin en las matemticas de acuerdo con Kant 2. La expulsin de Russell logicista de la intuicin 3. El idealismo crtico de Cassirer 4. Idealizaciones, Construcciones y corolarios 5. Observaciones finales

5.2 El papel de la intuicin en las matemticas De acuerdo con Kant En primer lugar tenemos que lidiar con la afirmacin de Kant de que los axiomas de la geometra euclidiana se De hecho, Kant sostuvo que el teorema de que la suma de los ngulos de un tringulo es dos rectos (180 ) no implica que los axiomas de Euclides. En primer lugar voy a dar la evidencia textual, a continuacin,

"Antilgico" de Kant, la tesis se expresa ms claramente en la disciplina "de puro La razn en su empleo dogmtica "en la Crtica de la razn pura, donde Kant en contraste filosfico con el razonamiento matemtico: La filosofa se limita a conceptos generales, las matemticas no puede lograr nada

en concreto, aunque todava no empricamente, sino slo en una intuicin que se presenta a priori, es decir, que se ha construido, y en el que todo lo que se desprende de la condiciones generales de la construccin deben tener, en general, para el objeto de la concepto as construido. Supongamos que un filsofo se da el concepto de un tringulo y que se dej de encontrar a cabo, a su manera, lo que la relacin de la suma de sus ngulos tiene un ngulo recto. Se ha nada ms que el concepto de una figura cerrada por tres lneas rectas, junto con el concepto de los ngulos de la misma cantidad. Por mucho que medita en estos conceptos, se nunca producirn nada nuevo. Se puede analizar y clarificar el concepto de Ahora vamos a tomar el gemetra esta pregunta. En seguida comienza la construccin de un tringulo. suma de todos los ngulos adyacentes que se puede construir desde un solo punto en un lnea recta, se prolonga un lado del tringulo y obtiene dos ngulos adyacentes que en conjunto equivalen a dos ngulos rectos. A continuacin, divide el ngulo externo de dibujo

De esta manera, a travs de una cadena de inferencias guiado a travs de la intuicin, que llega a una solucin del problema que es al mismo tiempo totalmente evidente y general. (Kant 1797/2006: B743-745) Segn Kant, el nico tipo de lgica para el filsofo para analizar conceptos fue la lgica silogstica tradicional. Como Peirce y Russell ya se ha sealado, la lgica silogstica no es muy til para demostrar teoremas de la geometra y otras las teoras matemticas. As, Kant estaba en lo cierto al afirmar que los axiomas de la Si nos basamos en la lgica silogstica, necesitamos la ayuda de una fuente no lgica para llevar a cabo Para Kant, esta fuente fue proporcionada por pura intuicin. Los expertos en la filosofa kantiana de las matemticas han formado un consenso En este caso,

No estoy interesado en el anlisis de la filologa kantiana. Ms bien, me gustara tener a Kant como un punto de partida.

(Kant 1787/2006: B 203-204)

componente. Expulsin 5,3 Russell logicista de la intuicin de Matemticas Para los matemticos, todo cambi a finales del siglo XIX, cuando lgica relacional modernos llegaron en el escenario. Filsofo kantiano de las matemticas, la fecha de este cambio se puede determinar En una carta de 1910 a su amigo Jourdain escriba: de los principios de las matemticas, porque saba que las cosas booleano y lo encontr intil. EPSILON de Peano, junto con el descubrimiento de que las relaciones podran caber en este (Citado en Proops 2006: 276) "Las cosas Boolean" se menciona Russell Boole es una investigacin de las Leyes

de pensamiento en que se sustentan las teoras matemticas de Lgica y Probabilidades (1854). Podemos identificar estas "cosas" con la lgica silogstica estndar, Russell, que justamente considerado como algo intil para las matemticas. Por lo menos, se le convencido de que no hara el trabajo de deduccin de teoremas matemticos a partir de axiomas matemticos. Por lo tanto, antes de que l se familiariz con la lgica de Peano en 1900, Russell estaba de acuerdo con Kant, que la "lgica" no es de mucha utilidad para la matemtica 5 terminaciones, Construcciones y corolarios 63 pruebas. Sin embargo, el trabajo de Peano, Cantor y Frege haba puesto a disposicin una gran una lgica ms poderosa que poda hacer todo lo que en tiempos menos afortunados perteneca en el ken de la intuicin pura. matemticas era simplemente que la intuicin pura ya no era necesario: Todas las matemticas, podemos decir - y en prueba de nuestra afirmacin de que tenemos la actual desarrollo de la materia - se deduce de las proposiciones primitivas de oficiales

de una concepcin puramente logicista de pruebas matemticas. filosofa de la corriente principal de la ciencia conceptualizado pruebas matemticas como algo puramente Por supuesto, la intuicin puede seguir desempeando un papel limitado, medida en que pueda ser considerada como esencial en la determinacin de que los axiomas son ciertos. Pero la intuicin fue expulsado incluso de este ltimo recurso, cuando los axiomas perdido su condicin de de verdades indudables y se convirti en meras convenciones o definiciones implcitas. Por lo tanto, la filosofa logicista de la matemtica establecida una frontera clara entre la Por otro lado - porque, obviamente, la lgica deductiva no era el nico mtodo para producir conocimiento en las ciencias empricas. A pesar de que podemos considerar Kant y los antagonistas de Russell con respecto a la

Ambos abogaron por una estructura fija y estable para hacer matemticas: De acuerdo con Kant, la matemtica se basa en una intuicin pura fija, Russell se basa en algn tipo de lgica igualmente fija relacional. aseado manera Russell haba esperado, ya que nunca la lgica relacional que alcances la fija

Por el contrario a la intuicin de Kant estable y la lgica estable Russell, la filosofa de Cassirer vi toda la ciencia como un proceso conceptual sin fin de que el contenido y la en un proceso sin fin de concepciones cientficas. Ya en Kant und die moderne Mathematik (1907) Cassirer esboz un intento de superar la logicista separacin entre las matemticas y las ciencias, que calific de "crtica (1910) y ms tarde en el tercer volumen de su obra magna La filosofa de la Las formas simblicas (1929). El concepto fundamental de la filosofa unificada Cassirer de las matemticas y la ciencia fue el concepto de idealizacin, o, ms precisamente, de idealizando su finalizacin. Segn l, la idealizacin juega un papel crucial tanto en conceptos, idealizando la terminacin era la fuente comn de los dos matemticos 64 T. Mormann Por lo tanto, Cassirer ocupaba una posicin bastante peculiar entre los intentos de vista filosfico entender las matemticas modernas y su lugar entre las otras ciencias: Por un lado, se apoy vigorosamente la lgica relacional entonces nuevo, inaugurado por Frege, Peano, Russell y otros. En Kant und die moderne Mathematik que acogi con entusiasmo Russell Los principios de las matemticas como un importante En el Por otra parte, pensaba que Russell y otros, no haba comprendido plenamente la filosofa consecuencias de la nueva lgica y su rechazo de la intuicin. Por razones de espacio

tesis (para una descripcin ms detallada ver Mormann 2008). Segn Cassirer, la filosofa de la ciencia ha de ser concebida como la teora de la formacin de conceptos cientficos. Estos conceptos no producen imgenes de la realidad; Para ejemplo, los conceptos fundamentales de la fsica terica son los planos del posible experiencias. En el intento de conceptualizar el mundo, lo fctico y lo terico componentes del conocimiento cientfico no se puede separar ntidamente. Una teora cientfica inextricablemente entretejidos "real" y los componentes de "no real". No es un concepto nico, sino La unidad de un concepto no debe ser se encuentra en un grupo fijo de propiedades, pero en una norma que legalmente representa a la la diversidad como una secuencia de elementos. El significado de un concepto depende del sistema de los conceptos en que se produce, que no es un nico sistema fijo sino ms bien una serie continua de los sistemas se desarrollan en el curso de la historia. El conocimiento cientfico Nuestra experiencia siempre es conceptualmente estructurado, no hay no conceptual estructurado "dado". Por el contrario, lo "dado" es un artefacto de una mala metafsica. ready-made entidades. Ms bien, se organiza objectually: se objetiva de los casos de relaciones invariantes en el flujo continuo de experiencia. Por lo tanto, los conceptos de las matemticas y los conceptos de las ciencias empricas son del mismo tipo. Me gustara concentrarme en la ltima reclamacin. Para empezar, puede ser conveniente para habitar Qu "idealismo crtico" busca y lo que debe exigir es una lgica del conocimiento objetivo (Gegenstndliche Erkenntnis). Slo cuando hemos entendido que la misma fundacional sntesis (Grundsynthesen) en el que la lgica y las matemticas resto tambin se aplican a los cientficos construccin del conocimiento experiencial, que primero hacen posible que nos permite hablar de una ordenamiento estricto, entre los aspectos legales y con ello de su significado

objetivo: slo Me referir a esta tesis como la "tesis de la igualdad." Se encuentra en el corazn de Cassirer la filosofa idealista crtica de la ciencia (cf. Mormann 2008). Si uno se suscribe a la tesis de la igualdad, la separacin logicista entre las matemticas y la ciencia no es aceptable. De acuerdo con el idealismo crtico, la filosofa de la ciencia debe Si se le permite expresar la relacin entre la filosofa y la ciencia en un contundente y Paradjicamente, se puede decir: El ojo de la filosofa debe ser dirigida ni a las matemticas ni en la fsica, sino que debe ser dirigida nicamente en la conexin de los dos reinos. (Cassirer, 1907: 48) 5 terminaciones, Construcciones y corolarios 65 Ms precisamente, Cassirer sostena que una filosofa de la ciencia tuvo que buscar la raz comn de la que tanto la fsica y las matemticas surgieron: a saber, la mtodo de introduccin de elementos ideales - que estableci el carcter de idealizar de cualquier conocimiento cientfico. En contraste con Russell, Cassirer no intent matemticas perfectamente separados y las ciencias empricas. Hoy en da, cuando se trata de la idealizacin de la ciencia, uno asume implcitamente que idealizacin se refiere nicamente a las ciencias empricas. Por ejemplo, cuando se habla de planos de friccin, las masas ideales punto y as sucesivamente. Rara vez se tiene en cuenta idealizacin dentro de las matemticas, que se cree que ya estn en el lado ideal, por as decirlo. Por lo tanto, asumimos que la idealizacin se refiere nicamente al mbito emprico. Segn Cassirer como una teora de la idealizacin se inicia demasiado tarde: Ya que la idealizacin tiene un papel en tanto, una teora comprensiva de la idealizacin que tener en cuenta las matemticas y las ciencias empricas. Por otra parte, insisti en que Cassirer no se debe hacer frente a este problema

armados con "Filosfica" los presupuestos de los mtodos correctos de la idealizacin. de idealizacin debe ser estudiado empricamente, por as decirlo, no filosfico la intuicin nos dar la clave, lo que tiene que ser descubierto mediante el estudio de la historia de la la ciencia. Por lo tanto, la filosofa de la ciencia tiene que prestar atencin a la evolucin en curso de la ciencia, sino que tiene que investigar y explicar la formacin de conceptos cientficos en la historia real de la ciencia. En pocas palabras, entonces, la tesis sostiene que la igualdad fundamental "comn sntesis ", en el que tanto el conocimiento matemtico y conocimiento fsico son base, son terminaciones idealizar llevada a cabo por la introduccin de "elementos ideales." Para Cassirer, la idealizacin es una marca comn de todas las ciencias qua ciencias. La funcin principal de la idealizacin de las matemticas es para financiar el constructiva procedimientos utilizados en la argumentacin matemtica, sobre todo en matemticas pruebas. en que se garantiza que ciertas construcciones simblicas y los procedimientos pueden llevarse a En el caso de la geometra elemental que esto significa, por ejemplo, que algunos puntos existen - de manera ms general, que ciertas construcciones son factibles. Menos primaria, y muy en general, el axioma de eleccin puede ser interpretada como una frecuencia supuesto indispensable idealizacin que garantiza la construccin de la eleccin funciones, es decir, la posibilidad de escoger exactamente un elemento de cada conjunto en un Terminaciones de idealizar la intencin de proporcionar los dominios conceptuales que ofrecen cmodos clculos. menos adecuadas para llevar a cabo menos de clculos elementales que, por ejemplo, el dominio de nmeros reales o complejos. El carcter ideal de un dominio se ha de evaluar no

de posibles acciones simblicas para los que ofrece un marco oportuno. O, para decirlo de todo lo contrario, carece de un dominio completo ideal o conceptual, si nos encontramos demasiado muchos obstculos, las excepciones, las contradicciones y suposiciones ad hoc en el curso de La integridad de un dominio conceptual 66 T. Mormann especialmente observable en el caso de la geometra, como se manifiesta en la variedad de geometra puntos, lneas, y otras entidades geomtricas. del mbito de la geometra fue pura intuicin, que nos asegur que el puntos ideales, lneas y planos de la geometra posean las propiedades que se han convertido posible ciertas construcciones. Para Cassirer, la idealizacin se convirti en una multifactica, pluralista esfuerzo que se desarroll en el actual proceso de la ciencia en la cual la unidad se mostr en la riqueza de las posibles acciones simblicas y transacciones. 5.5 idealizaciones, Construcciones y corolarios Ejemplo paradigmtico de un Cassirer finalizacin idealizando en matemticas fue Para entender su funcin de orientacin para el general La teora de la idealizacin, comento brevemente un problema de geometra elemental que demuestra la utilidad de la integridad Dedekind est en construccin geomtrica. Por otra parte, este ejemplo muestra claramente las semejanzas entre la intuicin pura de Kant, Idealizacin Cassirer y el pensamiento de Peirce diagrama para las matemticas y la ciencias empricas. tringulo con un lado AB dado de longitud 1. Considere el crculo alrededor de CA con un radio de longitud 1 y el CB crculo alrededor de B con un radio de 1. Entonces la interseccin de los dos crculos se obtiene la tercera X vrtice del tringulo equiltero ABX que estbamos buscando. Desde un punto logicista de vista, "la construccin intuitiva" es errnea. Asumiendo los axiomas originales

de Euclides, el logicista ser objeto que no sabemos que los dos crculos de CA y CB realidad se cruzan. De alguna manera puede evitar tener un punto X comn, ya que un crculo puede deslizarse a travs de la otra. Esto es ms que una posibilidad remota. De hecho, hay modelos involuntarios de la geometra euclidiana que muestran que este hecho puede ocurrir. La punto X no existe. Supongamos que A tiene las coordenadas (0, 0) y B del coordenadas (0, 1). Entonces X tiene las coordenadas (1, 3). por lo tanto, (1, 3) no pertenece a la Q2 plano racional. A fin de garantizar la existencia de la X punto de interseccin, uno tiene que confiar en un continuidad, que es esencialmente equivalente al axioma de Dedekind asegurar la existencia de cortes de Dedekind suficientemente numerosos. En suma, la construccin de la equiltero tringulo puede ser llevado a cabo con xito slo si nos movemos en un avin completo, lo que garantiza que nuestras construcciones rendimiento lo que esperamos de ellos. En otras palabras, la finalizacin del avin es un presupuesto necesario para permiten "ingenuo" construcciones como la de la X vrtice anterior. Terminaciones de este tipo no se limitan a la geometra elemental. Cassirer (Para algunos ejemplos modernos, ver Mormann 2008). Newton ideales espacio-tiempo determinado la variedad de estas construcciones. Por el contrario, en algunos fijos ahistrica "intuiciones puras", sino que surgen en la evolucin de los conocimientos

El diseo de marcos conceptuales o los ajustes para hacer matemticas, sin embargo, ciertamente no toda la historia de la evolucin de las matemticas. El importante parte es poner estos marcos de trabajo mediante la formulacin de problemas interesantes y

Cassirer no dijo mucho acerca de estos ms aspectos concretos de la prctica idealizational de las matemticas. Aqu la filosofa de Peirce seguro de s mismo caracterizado como su "primer descubrimiento real": Mi primer descubrimiento verdadero de procedimiento matemtico es que hay dos clases de las necesarias razonamiento, que yo llamo la Corolaria y teoremtico, porque los corolarios colocada en las proposiciones de Euclides son por lo general los argumentos de una especie, por el ms teoremas importantes de la otra. La peculiaridad de razonamiento es que teoremtico considera que algo no implica en absoluto en las concepciones hasta ahora adquirida, que ni el aunque dan lugar a ella. Euclides por ejemplo, agregar lneas a su diagrama que no son en absoluto necesarios, o sugerido por una proposicin anterior, y que la conclusin a la que llega por esta va no dice nada sobre. Yo s que no avance considerable se puede hecho en el pensamiento de cualquier tipo sin razonamiento teoremtico. Por razones de espacio slo puedo dar algunos consejos breves por qu distincin de Peirce o razonamiento simblico un papel indispensable en las matemticas que pueden soportar la crtica logicista de Russell presentar ms de un siglo (para una interpretacin detallada de la distincin de Peirce ver Hintikka, 1980). introduccin de nuevos puntos, lneas y otros objetos geomtricos que no estn presentes en el formulacin original de un problema, no se limita a la geometra. Por el contrario, teoremtico razonamiento impregna toda la matemtica. Como Hintikka seala, lo que hace un teoremtico deduccin no es que se basa en algunas figuras con ms o menos propiedades bien definidas, sino que hay que tener en cuenta los objetos que no sean los necesarios para el estado de la premisa del argumento (cf. Hintikka 1980: 306). El nuevo el argumento. necesario imaginar un caso en el que las premisas son ciertas, a fin de percibir

inmediatamente que la conclusin es vlida en este caso (cf. Peirce 1976, vol 4: 38).. Lo Parece oportuno, entonces, afirmar que el razonamiento Corolaria se basa en lo que Russell llama "las cosas Boolean", es decir, la lgica proposicional elemental y silogstica la lgica. Teoremtico deduccin, por el contrario, es la deduccin en el que se necesarios para llevar a cabo algn tipo de experimento imaginario con el fin de llevar a cabo 68 T. Mormann algunos efectos tiles que permitan la elaboracin ms deducciones que Corolaria finalmente llevan a la conclusin deseada (ibid.).

logicista crtica. Russell argumenta que no ha habido ningn papel de las intuiciones y las cifras en serio los argumentos matemticos desde el advenimiento de la lgica relacional moderno, Segn l, las cifras eran considerados como indispensable, simplemente por el Esto hizo necesario incompleto para los matemticos que van ms all de sus propios supuestos explcitos y hacer un llamamiento a una especie de kantiano "intuicin pura". Peirce, como uno de los fundadores de lgica relacional moderno, estara encantado de suscribirse a "la formalizacin completa de Russell tesis. "Sin embargo, l insiste en la necesidad de distinguir entre los diferentes niveles lgicos - a saber, los argumentos y Corolaria teoremtico. Esta distincin no desaparece ni siquiera cuando los argumentos geomtricos son "formal". Adems, como Hintikka ha sealado, si la inferencia teoremtico se caracteriza por la introduccin de personas auxiliares en el argumento, se puede considerar el carcter teoremtico de los argumentos de carcter gradual (Cf. Hintikka En otras palabras, no se debe considerar la lgica como una herramienta monoltica sino que permiten diferentes grados de complejidad, en contraste con el logicismo de Russell que barrer agrupa toda la lgica de conjunto. Siguiendo las ideas de Peirce y de Cassirer,

obtenemos tres niveles diferentes de "lgico" el razonamiento de las matemticas (y las ciencias) (1). Razonamiento Corolaria (2). (3). Razonamiento Completional Los tres niveles estn involucrados en el razonamiento matemtico. En el segundo nivel, se encuentra la reino de la razn teoremtico, que a menudo ha sido caracterizado como el reino de la una especie de "intuicin kantiana." Es importante, sin embargo, concebir este tipo de para llevar a cabo diversas construcciones simblicas o ideal. Lgicamente, estas construcciones puede ser descrita como la introduccin de nuevos individuos y las relaciones, lo que a un mayor nivel de complejidad cuantificacional. Por ltimo, el ms alto nivel, una el diseo apropiado de "ajustes" o marcos en los que el xito de croquis o construcciones simblicas, en el sentido de Peirce, pueden llevarse a cabo. En otras palabras, la sistemas axiomticos son las propuestas o planes de cmo producir construcciones tiles. Terminaciones de idealizar a ofrecer el marco para la construccin teoremtico, en El sentido de Peirce. Los marcos son las propuestas que la "correccin" tiene que ser evaluada pragmtica. Por lo tanto, Cassirer se puede considerar como la suscripcin de un terico " pragmatismo ", segn el cual: ... La verdad de los conceptos se basa en la capacidad [para llevar] a las consecuencias nuevas y fructferas. Su justificacin real es el efecto que produce en la tendencia hacia la progresiva unificacin. Cada hiptesis del conocimiento tiene su justificacin slo con referencia a la presente Pragmatismo terico Cassirer encaja bien con el pragmatismo implcito confirm por los matemticos de trabajo, que prefieren los lugares en que los teoremas "le

gusta ser verdad "en realidad son verdaderos (ver Mormann 2008). Del mismo modo, tal como lo ha acusado teoremtico razonamiento se basa en vagas intuiciones de inters psicolgico solo, una filosofa logicista estrecha de las matemticas a menudo relegado a la eleccin de "adecuada La evolucin de las matemticas del siglo XX ha demostrado que esta apreciacin es difcil de sostener. una teora explcita que se ocupa de estos problemas: la teora de categora ofrece un general marco en el que los matemticos pueden discutir los problemas de la configuracin apropiada de una manera que va ms all de las presentaciones subjetivista y preferencias. En la categora teora, los problemas de la idealizacin, la realizacin y el desarrollo de las matemticas Estas preguntas son no se limita a consideraciones filosficas informal pero han obtenido el estado de bien definidos los problemas matemticos. 5.6 Observaciones finales fue que las terminaciones idealizar como Dedekind eran ms que los logros tcnicos de inters matemtico. Ms bien, estas construcciones construcciones idealizational esencial para las matemticas del siglo XX y de idealizational construcciones en las ciencias empricas tambin. La evidencia de esta afirmacin radical no proviene de consideraciones a priori, sino de la observacin emprica de que las idealizaciones y las terminaciones se han convertido en rutina partes de trabajo diario de los matemticos (cf. Mormann 2008). marcos idealizada organizar la prctica de las matemticas pueden ser estudiados apoyndose en el aparato conceptual centrado en torno a la distincin entre razonamiento teoremtico y Corolaria introducido por Peirce, Hintikka y otros. En suma, el papel de la idealizacin puede ser tenido en cuenta como una contribucin a una ms realista, la filosofa de las matemticas. a un exceso de modelos simplificados de lgica de las matemticas. Cassirer dio

un paso en esta nueva camino, haciendo hincapi en el papel de las terminaciones idealizar. Peirce tom otro por sealando la importancia de las construcciones de diagrama. No es que los pensamientos de estos autores estn plenamente de acuerdo con Ansatz idealista original de Kant. Por el contrario, Kant, Peirce, Cassirer y todos an tienen ideas tiles que ofrecer en la tarea filosfica de explicar el papel de la idealizacin y construcciones conceptuales en la formacin los conceptos matemticos. Este esfuerzo est en consonancia con los principios generales neokantiana actitud que la filosofa no tiene la tarea de contar con una base segura y firme para las matemticas, la ciencia o cualquier actividad simblica otro, sino de la comprensin cmo funcionan y para dilucidar su permanente evolucin. Referencias Kant und die moderne Mathematik. Kant-Studien, 12: 1-49. Cassirer, E. (1910/1953). Sustancia y funcin, la teora de la relatividad de Einstein. Nueva York: Cassirer, E. (1923-1929/1955-1957). La filosofa de las formas simblicas, Vols. IIII. Smbolo y el conocimiento fsico. Berln, Heidelberg, New York: Springer. Friedman, M. (1992). Kant y las ciencias exactas. Cambridge / Massachusetts: Harvard University Prensa. Hintikka, J. (1980). La (1996). En M. Plumacher y Schrmann V. (Hrg.): pp 141-163. (1997). 'Erlanger programms. Cassirer Forschungen Band 2. Hamburgo: Meiner Verlag. Kant, I. (1787/2006). Crtica de la razn pura. Nueva York: Dover. Lakatos, I. (1978). Las matemticas, la ciencia y la epistemologa. En J. Worrall y G. Curry (eds.). 2. Cambridge: Cambridge University Press.

Levy, S. (1997). En N. Houser, D. D. Roberts y J. Van Evra (eds.). Philosophia Peirce, C. S. (1976). Editado por C. Eisele. Vols. 4.1.

Rudolph, E. & Stamatescu, I. O. (1997). Cassirer Forschungen Band 3. Hamburgo: Meiner Verlag. Russell, B. (1903). Los principios de las matemticas. London: Routledge. Ryckman, T. A. (1991). Conditio sine qua non? Cassirer y Schlick. Synthese, 88: 57-95. G. Hanna et al.