Este artigo discute o uso de simulações de computador em Epistemologia(Epistemologia Computacional). O objetivo o artigo é fundamentar e discu-tir a ideia de uma Epistemologia Computacional, além de apresentar umexemplo de estudo nesse campo. Na Introdução, discuto as objeções maiscomuns aos métodos da Epistemologia Tradicional e à proposta de Quine deuma Epistemologia Naturalizada. Argumento que a Epistemologia Compu-tacional não está sujeita a nenhuma destas objeções. Na Seção 1, apresentouma revisão bibliográfica dos estudos em Epistemologia Computacional(tanto em Epistemologia individualista quanto em (...) Epistemologia Social) ediscuto a estrutura geral destes estudos. Na Seção 2, apresento alguns resul-tados de um estudo em Epistemologia Computacional que realizei em minha tese de doutorado. -/- ENGLISH: This paper is about the use of computer simulations in Epistemology (Com- putational Epistemology). The goal of the paper is to ground and discuss theidea of a Computational Epistemology, and to present an example of studyin this field. In the Introduction, I discuss the most common objections tothe methods of Traditional Epistemology and to Quine’s Naturalized Episte-mology. I argue that Computation Epistemology is not subject to any of the-se objections. In Section 1, I review the literature on Computational Episte-mology (both in individualistic Epistemology and in Social Epistemology)and discuss the general structure of these studies. In Section 2, I presentsome results of my PhD dissertation on Computational Epistemology. (shrink)

Los juegos de mesa son un producto cultural emergente estrechamente vinculado a actividades de aprendizaje informal sobre disciplinas variadas como la biología, las matemáticas o los idiomas. De entre estas áreas de conocimiento destaca la Historia, ya que desde el inicio del juego de mesa moderno hace 50 años se han publicado miles de juegos inspirados en las más diversas eras y hechos históricos, desde la Prehistoria hasta la Guerra Fría. Existe un interés académico creciente para desarrollar métodos de Aprendizaje (...) Basado en Juegos para aprovechar el potencial del juego como herramienta didáctica, pero la mayor parte se centra en el uso de videojuegos en el aula, y son escasos los trabajos que analizen el juego de mesa histórico en tanto que actividad de aprendizaje informal. Este trabajo explora el contenido histórico recreado en miles de juegos de mesa entendidos como motores de aprendizaje informal, con el objetivo de conocer qué temas de la Historia aparecen en juegos de mesa comerciales y, por tanto, son susceptibles de aprendizaje por parte de los jugadores. Para ello se ha desarrollado un método computacional basado en el modelado de tópicos y la visualización de datos para la identificación automática de temas en juegos de mesa a partir de sus descripciones textuales. El análisis presentado aquí se centra en un estudio comparativo de tres períodos con una escala diferente: a) la época Medieval, b) el siglo XIX, y c) Segunda Guerra Mundial. Los resultados del trabajo muestran como las temáticas tratadas en los juegos dependen directamente de la época en la que éstos se enmarcan, así como la existencia de marcados sesgos hacia la sobrerepresentación de guerras y la historia de Europa. Estas contribuciones sugieren que los juegos de mesa pueden promover el aprendizaje informal crítico sobre hechos históricos y al mismo tiempo reforzar una percepción pública desigual de nuestro pasado. (shrink)

El objetivo de este trabajo es reflexionar acerca del lugar del “pensamiento computacional” en el discurso pedagógico en Argentina, especialmente en el nivel inicial. Para ello, tomamos referencias bibliográficas y ofrecemos algunos ejemplos tomados de algunos diseños curriculares que hacen referencia a esta categoría. La hipótesis que se despliega en la primera parte del escrito apunta a señalar algunas implicancias que la metáfora del ordenador- acuñada por la psicología cognitiva- tiene al momento de pensar al sujeto que aprende. En un (...) segundo momento, se abordan las relaciones entre el “pensamiento computacional” y otros modelos de pensamiento que suelen acompañar las propuestas de los diseños curriculares (pensamiento crítico, creativo, reflexivo, complejo, expresivo, etc.) En un tercer momento se plantea la pregunta acerca de las posibles implicancias políticas que la promoción del “pensamiento computacional” puede tener en relación a los procesos de mercantilización de los discursos y prácticas educativas. (shrink)

El objetivo de este trabajo es valorar el reciente proyecto de Jerry Fodor consistente en combinar una semántica informacional para el lenguaje del pensamiento y una teoría computacional de los procesos mentales. Examinamos, en primer lugar, una noción central en la obra de Fodor: la noción de "mecanismo". Defendemos entonces que, al menos para los llamados "casos-Frege", la propuesta de Fodor en The Elm and the Expert (1994) no es satisfactoria.

Una ética de la computación es necesaria, y hoy en día insoslayable, para garantizar la construcción ética, democrática y participativa de las tecnologías computacionales y, con ellas, de la sociedad de la información que caracteriza a un conjunto cada vez más creciente de grupos sociales por todo el planeta. Sólo desde un estudio pormenorizado de las características y posibilidades de las dichas tecnologías se puede abordar el trabajo de justificación de la singularidad de la ética de la computación (...) y el de la elaboración de sus principios generales. Aquí se presentan estos principios señalando su importancia para la evaluación constructiva de las tecnologías computacionales y defendiendo su singularidad frente a otros marcos éticos, sin que ello menoscabe las vías de articulación y justificación de los mismos con los principios generales de marcos macroéticos como la infoética o la teoría de la justicia. Palabras clave: código, software, ética. (shrink)

Una imagen muy generalizada a la hora de entender el software de computador es la que lo representa como una “caja negra”: no importa realmente saber qué partes lo componen internamente, sino qué resultados se obtienen de él según ciertos valores de entrada. Al hacer esto, muchos problemas filosóficos son ocultados, negados o simplemente mal entendidos. Este artículo discute tres unidades de análisis del software de computador, esto es, las especificaciones, los algoritmos y los procesos computacionales. El objetivo central es (...) entender las prácticas cientficas e ingenieriles detrás de cada unidad de software, así como analizar su metodología, ontología y epistemología. (shrink)

Los programas de computación, ante todo la ingeniería de la visión artificial y la programación de los sensores somáticos, ya han permitido, y lo harán con mayor perfección en el futuro, construir con alta perfección androides o cyborgs que colaborarán con el hombre y abrirán sin duda nuevas reflexiones morales sobre como respetar en su dignidad ontológica las nuevas máquinas humanoides. Además, tanto los hombres actuales como los nuevos androides estarán en conexión con inmensas redes de computación externa (...) que harán crecer de forma casi increíble la eficacia en el dominio del propio cuerpo y de la naturaleza. Sin embargo, nuestro conocimiento científico actual, por una parte, del hardware y del software que sostendrá tanto las máquinas humanoides como las redes de computación externa hechas con la ingeniería existente y, por otra, nuestro conocimiento científico sobre el comportamiento animal y humano desde las estructuras biológico-neuronales que producen un sistema psíquico, nos permiten establecer que no existe fundamento científico que permita hablar de una identidad ontológica entre las máquinas computacionales y el hombre. En consecuencia, diversas ontologías producirán sistemas funcionales diversos. Podrá haber simulación, pero nunca identidad ontológica. Estas ideas son esenciales para valorar el pensamiento transhumanista de Ray Kurzweil. (shrink)

El seminario consiste en la lectura comentada y el análisis del libro Computability, Computable Functions, Logic, and the Foundations of Mathematics , de Richard L. Epstein y Walter A. Carnielli. Este texto trata problemas de lógica y matemáticas vinculados con sus fundamentos filosóficos y sus alcances en el campo de la informática.

Montague’s theory of language is used to present a formal system that can be impIemented directly using PROLOG to obtain a semantic interpreter capable of analysing an im portant fragment of the Spanish language.

O trabalho trata do contexto de formação do professor Dr. John Hadji Argyris na Alemanha na década de 1930 e na Suíça na década de 1940. Elucida, a partir de documentação primária, publicações com teorias científicas de análise estrutural durante seu trabalho como membro de um Comitê secreto na Royal Aeronautical Society, na Inglaterra. Adentra o conteúdo da publicação seriada dos Teoremas de Energia e Análise Estrutural do periódico Aircraft Engineering, em 1954 e 1955, a partir das suas aulas proferidas (...) no Imperial College, em Londres, onde era professor e diretor do Departamento de Estruturas Aeronáuticas. O objetivo desta pesquisa é analisar o método de cálculo sistematizado de Argyris, a partir da teoria da Simulação Computacional. Por essa perspectiva, o modelo matemático conceitual seria um modelo computacional com base na unificação de conceitos da Teoria da Elasticidade e dos Teoremas de Energia formulados em matemática matricial para comunicação com o computador. (shrink)

O artigo propõe um balanço atualizado da abordagem computacional da mente, minudenciando aspectos conceituais e críticos. O balanço é pautado por três afirmações ‒ α) A mente humana é um sistema computacional; β) A mente humana pode ser descrita como um sistema computacional; γ) Sistemas computacionais precisam de conteúdo representacional ‒, a partir das quais mostro que o computacionalismo clássico se articula em termos de α∧γ e que as vertentes contemporâneas são melhor caracterizadas em termos de α∧~γ ou β∧~γ. Por (...) fim, após analisar uma série de objeções, argumentamos que o computacionalismo do século XXI é um programa de pesquisa filosoficamente relevante e que os críticos da abordagem computacional da mente incorrem em anacronismo quando se limitam a criticar as vertentes clássicas. (shrink)

This is a mathematical and computational intro to many-valued logics. The approach is mostly mathematical, namely algebraic (via the notion of logical matrix) and computational (via the satisfiability problem). An automated calculus -- the signed resolution calculus for many-valued logics -- is elaborated on.

EI análisis de algunos programas lógicos y de algunos problemas ya tradicionales de la teoría de la computabilidad -como el problema de la correspondencia de Post-, permiten mostrar algunas claves para argumentar acerca de la posibilidad o imposibilidad de un ordenador omnisciente. Los programas logicos inductivos y alguno de sus resultados más prometedores, como Golem, sirven para valorar la posibilidad de un ordenador corno ayudante cualificado en la tarea de hacer ciencia. Ambas discusiones dan paso a una reflexión final sobre (...) el mecanicismo.The analysis ofsome logical programs and some traditional topics from the computability theory -as the Post Correspondence Problem-, enables us to illustrate some key points for discussing the possibility ofa computer as an omniscient entity. Inductive logical programs and some oftheir most promising representatives, such as Golem, are showed useful for evaluating the possibility ofa computer as a qualified support ofscientific activity. Both topics give rise to a concluding discussion around mechanism. (shrink)

La nueva enfermedad del coronavirus de 2019 (Covid-19), producida por el coronavirus del Síndrome Respiratorio Agudo Severo 2 (SARS-CoV-2), es una pandemia que está creando una creciente crisis sanitaria mundial, dada su novedad, su alcance y sus inicialmente limitadas opciones de tratamiento eficaz. En efecto, se sabe poco acerca de las intervenciones no farmacéuticas óptimas para evitar la morbilidad y mortalidad causadas por él, y también se conoce poco sobre la rentabilidad y aspectos éticos de dichas intervenciones. Por lo tanto, (...) éste es el primer análisis ético y de rentabilidad de las medidas de contención del Covid-19 que se conoce (así como de las medidas de cuarentena de la población para cualquier pandemia en particular), con el fin de ayudar a los sistemas de salud y a los gobiernos a garantizar la atención clínica más rentable que pueda proporcionarse equitativamente al mayor número posible de pacientes, durante esta pandemia y en las futuras crisis mundiales que sean similares. Este análisis utilizó la metodología adoptada por los Centros para el Control y la Prevención de Enfermedades (CDC), cifras comúnmente aceptadas como entradas, y los supuestos mínimos tanto extremos como del mundo real para proporcionar los resultados más sólidos y confiables posibles. El análisis de costos indicó que en los escenarios extremos, o en el mejor de los casos para las medidas de contención del Covid-19 durante la cuarentena de la población, hay una relación de costo-efectividad de $154.86 millones de dólares gastados por cada muerte evitada, y un costo neto de $1.92 billones a nivel mundial. En el mundo real, esta intervención tiene una proporción de 2,520 millones de dólares gastados por cada muerte evitada y un costo neto de 1,99 billones de dólares. La ética del contrato social personalista, tal y como se articula en el popular sistema ético de derechos y deberes de las Naciones Unidas, pone de manifiesto la especial preocupación por el hecho de que estos confinamientos pueden derivar en injusticias poco éticas perpetuadas por los Estados, de manera que socavan las vidas y las libertades individuales, al tiempo que afectan de manera des- proporcionada a las comunidades de menores ingresos, especialmente a las minorías raciales. Este estudio sugiere, por tanto, que la práctica prevalente de la cuarentena entre la población, en comparación con las precauciones de tipo estándar y las intervenciones más específicas, puede proporcionar un beneficio neto inadecuado por su costo financiero y ético. En un momento de escasez mundial, que pone a prueba la capacidad de los sistemas sanitarios para detectar y atender adecuadamente a los pacientes con Covid-19, especialmente en los países en desarrollo y en las comunidades desatendidas, este estudio respalda que se dediquen menos recursos a intervenciones con una relación costo- beneficio poco clara, y más recursos a intervenciones más asequibles, éticas y equitativas, con mayores pruebas de sus beneficios netos para salvar vidas. (shrink)

Sparsity, Structure, Scaling and Stability in Computational Linear Algebra. Tutorial book for the IX Brazilian Computer Science School, held at Recife, in 1994.

El presente artículo aborda el debate filosófico entre el idealismo hegeliano y el vitalismo nietzscheano que surge en el marco de la filosofía moderna. Se trata de una transición en la que la concepción y el uso del lenguaje y la gramática pasan a tener connotaciones ontológicas fundamentales, las cuales se pueden apreciar muy bien en la contraposición de los textos principales de cada autor: Fenomenología del espíritu y Así habló Zaratustra, los cuales han conformado el corpus del presente estudio. (...) Para observar sus estructuras gramaticales, se ha visto oportuno un análisis mediante las nuevas herramientas y enfoques computacionales sugeridos desde los enfoques más recientes de las Humanidades digitales. Se trata de una aproximación cuantitativa intenta complementar la lectura cercana que un especialista puede realizar. Concretamente, se ha aplicado procesamiento del lenguaje natural, a través de un modelo preentrenado y mediante programación en R. Se ha podido detectar el tipo de términos empleados en ambos textos, distinguiendo sus diferentes funciones gramaticales, las dependencias entre términos y los tiempos verbales. El artículo muestra, cuantitativamente, cuán distante están ambos filósofos y cómo emplean de manera igualmente tenaz la gramática para dar a expresar y entender sus ideas. De sus filosofías se puede afirmar que gramática y ontología forman una unidad: la gramática se utiliza para reforzar las ideas filosóficas tanto como estas ideas están ya derivadas, conformadas, en las propias estructuras gramaticales. Finalmente, las herramientas computacionales demuestran ser, a través del presente artículo, un complemento pertinente para el análisis filosófico. (shrink)

En este artículo me propongo discutir si la propiedad de la recursión supone una buena explicación de la especificidad humana. Para ello, analizaré dos aproximaciones al estudio del lenguaje humano: las concepciones computacional y antropológica. La principal conclusión de este trabajo es doble. Por un lado, la recursión no es una buena explicación de la esencia humana. Por otro, lo que sí es específicamente humano es la construcción de una mitología, análoga a la metafísica, revestida en este caso con el (...) lenguaje de la ciencia. (shrink)

El objetivo de este trabajo es valorar el reciente proyecto de Jeriy Fodor consistente en combinar una semántica informacional para el lenguaje del pensamiento y una teoría computacional de los procesos mentales. Examinamos, en primer lugar, una noción central en la obra de Fodor: la noción de "mecanismo". Defendemos entonces que, al menos para los llamados "casos-Frege", la propuesta de Fodor en The Blm and tite Expert (1994) no es satisfactoria.

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil (...) a aquellos que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance. (shrink)

La Teoría de la Computación es un campo especialmente rico para la indagación filosófica. EI debate sobre el mecanicismo y la discusión en torno a los fundamentos de la matemática son tópicos que estan directamente asociados a la Teoria de la Computación desde su misma creación como disciplina independiente. La Tesis de Turing-Church constituye uno de los resultados mas característicos en este campo estando, además, lleno de consecuencias filosóficas. En este ensayo se ofrece una guía de referencia útil (...) a aquellos que desean prestar alguna atención a estos asuntos y carecen de la base técnica o histórica que se precisa. En primer lugar se ofrece un resurnen de los principales problemas relacionados con la Tesis de Turing-Church para ofrecer a continuación información sobre sus aspectos más controvertidos. Se proponen algunos problemas no resueltos y se analiza su relevancia filosófica.Computer Science is a field specially rich for philosophical inquiry. Mechanism and the discussion around foundations of mathematics are topics directly asociated to Computer Science for its very constitution as an independent discipline. Church-Turing Thesis is one of the most characteristic results in this field and is plenty of philosophical consequences. In this article I offer a referenee guide useful for those who are willing to pay some attention to these matters and ignore the technical and historical basis needed for this task. I resume the main topics related to Church-Turing Thesis and give some informationabout the most controversial aspects of this subject. Some open questions are settled for further investigation paying special attention to their philosophical importance. (shrink)

La llegada de inteligencias artificiales ―que acompañen a las personas vulnerables e incluso sean nuestros amigos y amantes, por ejemplo― es cada vez menos un sueño lejano, por lo que muchas de estas cuestiones éticas han de plantearse en un horizonte temporal a medio plazo, entre los problemas actuales y la hipotética llegada de la inteligencia artificial general. Plantearse las cuestiones correctas es una labor muy complicada en general, y más si cabe en el campo de la inteligencia artificial, lleno (...) de declaraciones y anuncios rimbombantes por parte de expertos, conspiraciones y miedos basados en las historias de ciencia ficción y un temor bien fundado a la luz del creciente número de escándalos causados por las malas prácticas de los proveedores de servicios a la hora de gestionar los datos que extraen de nuestra actividad en la red. La intención del presente trabajo es exponer una serie de problemas cuyo tratamiento normalmente queda en un segundo plano en la bibliografía a favor de otros debates, con el fin de contribuir a una visión más informada y crítica de la tecnología que parece que está por llegar para combatir el escepticismo basado en creencias de ciencia ficción y despertar un escepticismo bien informado. (shrink)

Resumen El artículo se estructura en torno a dos ejes: la concepción de la filosofía como una actividad extremadamente recursiva en su aplicación al saber científico, a la ética y a la pedagogía; la discusión en torno al realismo y al papel que le cabe a las representaciones en la explicación de la cognición. Se pone énfasis en mostrar la plausibilidad de los enfoques antirrepresentacionistas o constructivistas en las ciencias cognitivas, en la medida que estos enfoques pretenden superar las limitaciones (...) y prejuicios que son propios de los enfoques computacionalistas y conexionistas que le precedieron.This paper consists of two main topics: the conception of philosophy as an extremely recursive activity applied to scientific, ethics and educational knowledge; the discussion about realism and the role of the representations in the explanation of cognition. The validity of the anti-representationism or constructivist-based perspectives, is highlighted in Cognitive Sciences where these pretend to overcome the limitations and prejudices that belong to the previous computacionalism and connectionism perspectives. (shrink)

El tercer volumen de la obra estética de Kierkegaard publicada en 1843 reúne cuatro discursos que forman el objeto de estudio de este análisis. La intención es presentar una imagen del pensamiento religioso de Kierkegaard, mostrar la dimensiones temáticas de este tercer volumen, a la par de clarificar las interrelaciones de los discursos y ofrecer una herramienta que subraya las ideas principales por medio del listado de vocabulario de alta frecuencia de ocurrencias. Las preguntas principales que se atienden en este (...) trabajo son: ¿cuáles son las sesenta principales palabras utilizadas en el tercer volumen de los discursos de 1843? ¿cuáles son las tres dimensiones textuales primarias de este volumen? y ¿cuál es el núcleo o en qué se enfoca este volumen? El método que se utiliza en este análisis consiste en la construcción de una versión de los discursos legible para una máquina sobre la cual se aplican técnicas de análisis computacional que a partir de una lista de sesenta palabras anormalmente frecuentes en los cuatro discursos del tercer volumen genera una matriz que arroja porcentajes y estadísticas que ayudan al investigador a reconstruir el núcleo de la obra analizada, así como a identificar los argumentos principales y los puntos en común que el mapeo arroja de la comparación de las partes del texto. (shrink)

La sobrecarga de información resulta un problema epistemológico que preocupa a distintas áreas del conocimiento tales como al campo de las ciencias cognitivas, en su intento por modelar sistemas capaces de detectar relevancia como a la ya olvidada enciclopedística, practicada durante los siglos XVI- XVIII y abocada a la organización, disposición y difusión de la información científica de la época. El presente artículo intenta dar cuenta del fracaso de estos dos campos de investigación a la hora de hallar soluciones ante (...) la problemática de la sobrecarga informacional. Para abordar nuestra cuestión clave, examinaremos particularmente las miradas relativamente pesimistas de H. Dreyfus y de Novalis. Los tratamientos de estos autores demuestran que la sobrecarga de información no puede, ni podrá ser resuelta, si no se recurre a otra vía de investigación por fuera de aquellas que se muestran como insuficientes, a saber: el modelo computacional de la mente (Dreyfus) y la operación enciclopedística clasificatoria (Novalis). (shrink)