In this work, we study Hilbert-style proof systems for logics based on the data-aware language CoreDataXPath(↓) where the comparison relation between nodes is not necessarily an equivalence relation. We give a sound and complete axiomatization of the class of tree-like Kripke frames endowed with a general comparison relation between nodes. Modular extensions of this axiomatization are also discussed, including cases where the comparison relation is reflexive, symmetric, transitive and an equivalence. A notable highlight that we recover an axiomatization for CoreDataXPath(↓) (...) over any data-tree when the comparison is by ‘equal data’. Moreover, we prove that all these systems are decidable by leveraging the finite model property of their corresponding frame classes. (shrink)

En este trabajo sostendremos una interrogación a los sistemas computacionales y a la noción misma de computación desde perspectivas conceptuales, políticas y culturales. La ubicuidad y la insoslayable y creciente importancia que estos sistemas tienenen todos los ámbitos de la vida suele llevar a análisis apresurados y distópicos de sus alcances y límites,considerando algunas consecuencias propias de un estadio particular de su desarrollo como constitutivas o inevitables. Tratando de desenredar una vieja, pero renovada trama de confusiones, tomaremos algunas ideas (...) y descubrimientos fundacionales de la computación como la efectividad, la programabilidad y la abstracción, los programas como datos y el interjuego entre manipulación humana y mecánica de símbolos propuesta por Dijkstra, como claves para construir una mirada que se sustraiga a los frecuentes prejuicios antropomórficos y que habilite pensar un horizonte de mejores entramados entre humanos y algoritmos. Para ello presentaremos tres niveles de análisis de sistemas computacionales que dan cuenta de propiedades diferentes en cada nivel de manera de poder sopesar mejor no solo la actualidad de la IA, sino también las posibilidades de evolución de las mediaciones computacionales en general. (shrink)

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)

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.

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)

O artigo apresenta resultados deestudo sobre Interfaces de Pro-gramação de Aplicações (API, nasigla em inglês) de visão compu-tacional e sua interpretação de re-presentações em bancos de ima-gens. A visão computacional é umcampo das ciências da computa-ção dedicado a desenvolver algo-ritmos e heurísticas para interpre-tar dados visuais, mas são aindaincipientes os métodos para suaaplicação ou investigação críticas.O estudo investigou três APIs devisão computacional por meio desua reapropriação na análise de16.000 imagens relacionadas abrasileiros, nigerianos, austríacose portugueses em dois dos maio-res bancos de (...) imagens do ociden-te. Identificamos que: a) cada APIapresenta diferentes modos deetiquetamento das imagens; b)bancos de imagens representamvisualidades nacionais com temasrecorrentes, mostrando-se úteispara descrever figurações típi-cas emergentes; c) APIs de visãocomputacional apresentam dife-rentes graus de sensibilidade emodos de tratamento de imagensculturalmente específicas. (shrink)

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)

El aumento de los costos sanitarios y financieros de las enfermedades, las discapacidades y las disparidades respalda la aceleración mundial de los intereses y las inversiones en IA (inteligencia artificial) sanitaria para lograr soluciones sanitarias mejores, más baratas, más rápidas y justas a escala mundial y local. Sin embargo, no existe un consenso sobre la aplicación práctica de los principios de la IA responsable en diversos sectores, estados y sistemas de creencias de todo el mundo. Este estudio de prueba de (...) concepto utiliza el marco ético pluralista global (el Contrato Social Personalista) para proporcionar, por tanto, el primer análisis conocido de ética computacional (AiCE, por sus siglas en inglés) y política basado en IA aumentada bayesiana que integra análisis clínicos, de rentabilidad y de disparidades en la atención sanitaria con datos representativos a nivel nacional para estimar el costo global de las disparidades en la atención sanitaria en la colonoscopia (CS, por sus siglas en inglés) y el ahorro de la CS habilitada por IA para reducirlas. El estudio sugiere que revertir las disparidades raciales, en particular entre hispanos y asiáticos, puede ahorrar a los sistemas sanitarios estadounidenses 17.610 millones de dólares al año, con un ahorro potencial de 625,40 millones de dólares para los hispanos y 289 millones de dólares para los asiáticos en particular (con un ahorro similar para las comunidades vulnerables en países de ingresos medios y bajos). Los resultados anteriores respaldan el imperativo de ahorro de costos que supone la inversión estratégica y de capacitación en estas medidas impulsadas por la IA para mejorar los objetivos estratégicos de sostenibilidad, eficacia, eficiencia y equidad (SEEE) de la atención sanitaria. Estos resultados empíricos informan el argumento bioético global más amplio de las dimensiones gemelas de la dignidad y la seguridad humanas (arraigadas en el relato personalista, multicultural y metafísico de la persona como miembro de la familia humana global) para destacar el imperativo ético de la IA para optimizar el rendimiento del ecosistema sanitario digital global. Semejante fin instrumental es un medio decisivo para avanzar hacia el fin último del bien común, en el que se salvaguarda el bien individual de cada persona y en el que éste encuentra su realización trabajando hacia él. (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.

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.

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)

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

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)

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 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)

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)

En este artículo se presentan dos demostraciones del teorema de interpolación: Una para la lógica proposicional y otra para la lógica de primer orden. Ambas se realizan en el contexto de la teoría de modelos. El teorema de interpolación afirma que si A y B son fórmulas, donde A no es una contradicción, B no es válida, y B es una consecuencia lógica de A, entonces existe una fórmula C que esta escrita en el lenguaje común al de A y (...) de B, tal que C es una consecuencia lógica de A y B es una consecuencia lógica de C. El teorema de interpolación fue demostrado por primera vez para la lógica de primer orden por William Craig en 1957, y desde entonces se ha investigado la posibilidad de generalizarlo o aplicarlo. Dicho teorema tiene generalizaciones o aplicaciones en teoría de la demostración, teoría de modelos abstracta, ciencias de la computación, lógica modal, lógica intuicionista, etc. Se presentan ejemplos de aplicaciones o generalizaciones de la propiedad de interpolación relacionados con lógicas infinitarias, cuantificadores generalizados, segundo orden, no clásicas, abstractas, etc. También se ofrecen referencias de problemas abiertos sobre interpolación en el contexto de la teoría de modelos abstracta. (shrink)

Carlos Alchourrón, Peter Gärdenfors and David Makinson published in 1985 a seminal article on belief change in the Journal of Symbolic Logic. Researchers from various disciplines, from computer science to mathematical economics to philosophical logic, have continued the work first presented in this seminal paper during the last two decades. This paper explores some salient foundational trends that interpret the act of changing view as a decision. We will argue that some of these foundational trends are already present, although only (...) tacitly, in the original article by the AGM trio. Other accounts decidedly depart from the view of contraction and revision presented in this seminal paper. I shall survey various types of theories that progressively depart form the axiomatic treatment defended by AGM. First, I consider theories where rational agents are considered as maximizers as opposed to optimizers ). Second, I consider which feasible set to use in contraction understood as a cognitive decision. This leads to rethink the very notion of what minimal change in contraction is. I shall conclude with some philosophical reflections concerning the sort of epistemological voluntarism that is tacit in seeing change in view as a rational choice. Carlos Alchourrón, Peter Gärdenfors y David Makinson publicaron en 1985 un artículo seminal sobre cambio de creencias en Journal of Symbolic Logic. Investigadores de varias disciplinas, desde la ciencia de la computación hasta la economía matemática y la lógica filosófica, han continuado en las dos últimas décadas esta línea de investigación. Este trabajo explora algunos aspectos fundacionalmente salientes que interpretan el acto de cambio de vista como una decisión. Argumentaremos que algunos de esos aspectos fundacionales ya estaban presentes, aunque solo tácitamente, en el artículo original del trío AGM. Otros abordajes parten decididamente de la contracción y revisión tal como fueran presentadas en el trabajo seminal. Inspeccionaré varios tipos de teorías que progresivamente parten del tratamiento axiomático defendido por AGM. Primero, considero teorías donde los agentes racionales aparecen como maximizadres opuestos a los optimiadores ). Segundo, me pregunto cuál conjunto derrotable debe usarse en una contracción entendida como una decisión cognitiva, lo cual lleva a repensar la importante cuestión de en qué consiste la noción de cambio mínimo en la contracción. Concluiré con algunas reflexiones filosóficas acerca de la suerte de voluntarismo epistemológico que está tácito en la concepción del cambio como una opción racional. (shrink)

ResumenEn este trabajo queremos indagar sobre algunas cuestiones epistemológicas que se discuten en torno al fenómeno del big data. Como principal herramienta de análisis epistemológico utilizamos a la noción de Marco Epistémico formulada por Piaget y García, y revisada por nosotros en trabajos más recientes, para problematizar los condicionamientos de los valores éticos y políticos, así como de otras regulaciones, en el desarrollo del conocimiento científico. Para ello, proponemos ordenar los debates que se registran en la literatura reciente sobre big (...) data a través de diversas dualidades, tales como dato/interpretación, automático/no-automático o causalidad/correlación, en torno a las cuales vamos a argumentar que es posible pensar dos marcos epistémicos específicos tendientes a la escisión de estos términos o a su integración. Abogando por esta última manera de focalizar los debates, hacia el final del trabajo identificamos algunos desafíos epistemológicos de la investigación con big data, especialmente en las ciencias sociales computacionales.Palabras clave: big data; marco epistémico; constructivismo; computación. (shrink)

A cultura digital vem provocando mudanças nas experiências leitoras, sobretudo quando se observa a condição ontológica da mídia digital, exigindo olhares atentos acerca da condição da imagem. O artigo – a partir da pesquisa bibliográfica e da observação de objetos empíricos –, considerando a materialidade livresca e os protocolos de leitura próprios dos livros-aplicativos, reflete acerca do lugar da imagem diante da leitura em contexto digital. Tomando como arcabouços teóricos as noções acerca dos protocolos de leitura e a pragmática computacional, (...) o trabalho defende, a partir de uma breve análise dos caminhos da imagem no livro, a reversão hierárquica conquistada por essa matriz de linguagem nos atuais contextos, apontando a imagem como elemento narrativo e janela de acesso à informação em ambientes informáticos. (shrink)

Lo digital descansa en la computación. La programación utiliza algoritmos. Los algoritmos son el conjunto de reglas que resuelven problemas en un número finito de pasos. En este sentido, el mundo digital está regido por cantidades, números, reglas fijas. El grado de libertad parece muy limitado. Por el contrario, la actividad artística y la creatividad descansan en la apertura, la libertad y en experiencias cualitativas. Estas experiencias no solo son vitales para la expresión artística, sino para la vida cotidiana. (...) Los mundos-vitales tecnológicos tal como se representan en tecnologías actuales (por ejemplo, en las casas inteligentes o en la conducción automática) o en la ciencia ficción no parecen dar cabida a estas estructuras abiertas. La filosofía de la tecnología está dividida: muchos sostienen que la tecnología determina en gran medida la cognición humana (como Mark B. N. Hansen, Bernard Stiegle) y, consiguientemente, subordina la cognición humana a las organizaciones maquinales. Otros adoptan una aproximación diferente y reflexionan sobre el potencial creativo de las nuevas tecnologías (Erin Mannig, Jaime del Val). Este artículo discute teorías que abordan la relación humano-máquina en tanto que estructuras complejas que van más allá de la visión distópica del ser humano siendo trascendido o incorporado por la tecnología. Estas aproximaciones son centrales para discutir el futuro del ser humano y la conformación político-cultural de los mundos vitales. Para entender cómo las relaciones humano-máquina pueden considerarse como procesos abiertos y creativos, presento narrativas de cognición corporalizada, ejemplos artísticos de estrategias de performance con sistemas algorítmicos, y finalmente engarzo estos aspectos en un panorama más amplio sobre la conceptualización de la tecnología y la vida humana como un continuo, en vez de una sostenida oposición o un estar determinado por el otro. (shrink)

En las ciencias cognoscitivas, existe una teoría con respecto a la arquitectura computacional de la mente conocida como el modularismo masivo. Esta teoría sostiene que la mente está en su mayoría constituida por mecanismos que son cognoscitivamente modulares. Algunos de los defensores de esta teoría proponen un argumento cuya conclusión es que es muy probable que mecanismos que son cognoscitivamente muy modulares sean más evolucionables que aquellos mecanismos que no son cognoscitivamente modulares. Aquí muestro que para poder defender plausiblemente esta (...) conclusión es necesario añadir a la noción de modularidad cognoscitiva la siguiente característica: "Un sistema cognoscitivo S de organismos de una población P es cognoscitivamente modular sólo si S es variacionalmente modular en P." Defiendo también la idea que una de las características que normalmente se asocian al concepto de modularidad cognoscitiva-i.e., la noción de doble disociación cognoscitiva-es muy cercana a la idea de modularidad variacional. Adicionalmente, argumento que no hay razones positivas, y sí algunas razones negativas, para pensar que las otras características usualmente asociadas al concepto de modularidad cognoscitiva-tales como la especificidad de dominio o la especialización funcional-coadyuven a la evolucionabilidad de los módulos cognoscitivos. In the cognitive sciences, there is a theory concerning the computational architecture of the mind known as massive modularity. This theory holds that the mind is constituted mostly by cognitive modules. Some of the defenders of this theory have put forward an argument whose conclusion is that it is very likely that those mechanisms that are cognitively very modular are more evolvable than mechanisms that are not cognitively modular. Here I show that a plausible defense of this conclusion requires us to add to the usual notion of cognitive modularity the following characteristic: "A cognitive system S of organism of a population P is cognitively modular only if S is variationally modular in P." I also defend the view that one of the characteristics normally associated to the concept of cognitive modularity-namely, the notion of a double dissociation-is conceptually close to the concept of variational modularity. Additionally, I argue that there are not positive reasons-while there are some negative ones-to think that the other characteristics usually associated to cognitive modularity, such as domain specificity or functional specialization, enhance the evolvability of cognitive modules. (shrink)