Hemeroteca de la sección ‘Opinion’

El Teorema de indecidibilidad de Church (1936): Formulación y presentación de las ideas principales de su prueba

Por • 10 oct, 2017 • Category: Opinion

El Teorema de indecidibilidad de Church es uno de los resultados meta-teóricos de mediados de la tercera década del siglo pasado, que junto a otros teoremas limitativos como los de Gödel y Tarski, han generado todo un sinfín de reflexiones y análisis tanto en el marco de las ciencias formales, esto es, la matemática, la lógica y la computación teórica, como fuera de ellas, en especial la filosofía de la matemática, la filosofía de la lógica y la filosofía de la mente. Nos proponemos, como propósito general del presente artículo, formular el Teorema de indecidibilidad de Church y presentar las ideas principales de su demostración. Para llevar a cabo el primer objetivo necesitamos introducir y explicar las nociones de función recursiva y la numeración de Gödel, que permitirán enunciar de manera formal y rigurosa el Teorema de Church.



An Abstract Approach to Consequence Relations

Por • 5 oct, 2017 • Category: Opinion

We generalise the Blok-Jonsson account of structural consequence relations, later developed by Galatos, Tsinakis and other authors, in such a way as to naturally accommodate multiset consequence. While Blok and Jonsson admit, in place of sheer formulas, a wider range of syntactic units to be manipulated in deductions (including sequents or equations), these objects are invariably aggregated via set-theoretical union. Our approach is more general in that non-idempotent forms of premiss and conclusion aggregation, including multiset sum and fuzzy set union, are considered. In their abstract form, thus, deductive relations are defined as additional compatible preorderings over certain partially ordered monoids. We investigate these relations using categorical methods, and provide analogues of the main results obtained in the general theory of consequence relations. Then we focus on the driving example of multiset deductive relations, providing variations of the methods of matrix semantics and Hilbert systems in Abstract Algebraic Logic.



Time and Consciousness in a Quantum World

Por • 30 sep, 2017 • Category: Opinion

We address the relation between two apparently distinct problems: The quest for a deeper understanding of the nature of consciousness and the search for time and space as emergent structures in the quantum mechanical world. We also advance a toy-model proposal of emergence of time from a timeless unus mundus quantum-like space by using Aharonov’s two state formalism of quantum mechanics. We further speculate on these issues within a quantum cognitive perspective with particular interest in two recent papers on this emerging field of science. One (Aerts et al) entails (as we argue) a panpsychist top-down approach to the problem of consciousness. The second paper (Blutner et al) proposes a quantum cognitive model for Jung’s psychological type structure. We discuss these concepts and their relation with our main thesis, that time is a measure of individuality. One of our central motivations is to provide arguments that allows the mainstream physicist to take seriously a panpsychist worldview, a position that has been openly forwarded by many modern philosophers.



Compressibility, laws of nature, initial conditions and complexity

Por • 23 sep, 2017 • Category: Opinion

We critically analyse the point of view for which laws of nature are just a mean to compress data. Discussing some basic notions of dynamical systems and information theory, we show that the idea that the analysis of large amount of data by means of an algorithm of compression is equivalent to the knowledge one can have from scientific laws, is rather naive. In particular we discuss the subtle conceptual topic of the initial conditions of phenomena which are generally incompressible. Starting from this point, we argue that laws of nature represent more than a pure compression of data, and that the availability of large amount of data, in general, is not particularly useful to understand the behaviour of complex phenomena.



Patricio Meller: La triple brecha educacional latinoamericana

Por • 17 sep, 2017 • Category: Opinion

¿Cuáles serían las medidas que habría que utilizar para cerrar las tres brechas? Obviamente, no hay una sola medida que resuelva las tres brechas simultáneamente. A nuestro juicio, la brecha absoluta respecto a alcanzar los niveles básicos mínimos de LEA (Lectura, Escritura y Aritmética) podría abordarse con la metodología sugerida por la Academia Khan; esto requiere orientación y supervisión de profesores.



Filosofía y Ontología en el pensamiento de Alain Badiou

Por • 3 sep, 2017 • Category: Opinion

Este presente artículo tiene como objetivo el acercamiento al proyecto filosófico de Alain Badiou (1937). Vamos a tratar de mostrar la tarea que el autor francés emprende a finales del siglo XX. Viendo que de lo que se trata es de una particular rehabilitación de la propia filosofía en el contexto del postmodernismo. Lo interesante va a ser ver cómo una ontología entendida en términos de matemática va a posibilitar la vuelta a los conceptos clásicos de la filosofía: verdad, sujeto y ser. Para ello trataremos de mostrar el punto de partida de su proyecto. En un segundo momento veremos qué es lo que entiende por ontología y de qué manera se identifica con las matemáticas. Por último mostraremos que tal afirmación de que las matemáticas son ontología determina en cierta manera lo que el pensamiento filosófico pueda ser. Finalmente veremos cómo quedan discernidos dos tipos de pensamientos totalmente distintos: El ontológico y el meta-ontológico. Con ello tendremos lo que el filósofo francés entiende tanto por filosofía como por ontología, lo que nos va a permitir, a partir de este momento, entender la tarea que lleva a cabo tanto para con la ontología como para con el sujeto.



Sustancia e inherencia en las Categorías de Aristóteles

Por • 23 ago, 2017 • Category: Opinion

Las combinaciones y los tipos de relaciones posibles entre las distintas entidades que acepta la ontología de las Categorías regulan la economía ontológica de la primera metafísica aristotélica, estableciendo vínculos de prioridad y posterioridad entre las sustancias sobre la base de ciertos criterios que Aristóteles se esfuerza por clarificar. Pero el primer esencialismo aristotélico se elabora a medida que el autor de las Categorías fija una distinción entre propiedades esenciales y accidentales a fin de explicar qué es necesariamente una cosa y qué puede o no tener sin que por ello se vea afectada su propia identidad. Este texto pretende reconstruir la relación transversal entre sustancias y accidentes, perfilando la noción de accidente junto a otras de orden semántico. Esta relación, R2, se distingue de la predicación esencial, R1, que tiene lugar verticalmente entre sustancias segundas y primeras.



Existencia e historicidad. El problema de la identidad en Martin Heidegger

Por • 10 ago, 2017 • Category: Opinion

La identidad humana puede ser interpretada de muy diversas maneras. El artículo explora, en primer lugar, los fundamentos de la crítica heideggeriana a la idea de “sujeto” como categoría apropiada para la existencia humana; en segundo lugar, y al hilo de esa crítica, señala algunos momentos relevantes que configuran la identidad pensada no ya como subiectum, sino como unidad histórico-acontecida.



Logic and Topology for Knowledge, Knowability, and Belief – Extended Abstract

Por • 3 ago, 2017 • Category: Opinion

In recent work, Stalnaker proposes a logical framework in which belief is realized as a weakened form of knowledge. Building on Stalnaker’s core insights, and using frameworks developed by Bjorndahl and Baltag et al., we employ topological tools to refine and, we argue, improve on this analysis. The structure of topological subset spaces allows for a natural distinction between what is known and (roughly speaking) what is knowable; we argue that the foundational axioms of Stalnaker’s system rely intuitively on both of these notions. More precisely, we argue that the plausibility of the principles Stalnaker proposes relating knowledge and belief relies on a subtle equivocation between an “evidence-in-hand” conception of knowledge and a weaker “evidence-out-there” notion of what could come to be known.



China en Europa:Avance estratégico, alianzas, hegemonía y “puentes” hacia América Latina

Por • 28 jul, 2017 • Category: Opinion

La Unión Europea es el mayor socio comercial de China y ésta es el segundo socio mayor de la UE. Se consolida aceleradamente la alianza estratégica que Beijing va tejiendo tanto con las potencias de la UE como con los socios comunitarios menores. Con los efectos todavía vigentes de la crisis económica mundial iniciada en 2007, y tras la decisión británica de abandonar el proyecto comunitario europeo (Brexit), el vínculo entre China y Alemania se torna núcleo de un alineamiento económico y político capaz de competir mundialmente con la declinante potencia norteamericana, y apunta a la posible conformación de un eje euroasiático Beijing-Moscú-Berlín como nuevo polo hegemónico mundial. Paralelamente, dirigencias de los países europeos con antiguo arraigo en América Latina son atraídas por la posibilidad de constituirse en intermediarias y socias activas para el arribo masivo del capital de la ascendente potencia china a la región.