¿Es el espacio una entidad física real en toda regla o se trata simplemente de un conjunto de relaciones entre objetos materiales coexistentes? Esta pregunta sobre el estatus ontológico del espacio físico enfrentó a Leibniz y Newton. Mientras que Leibniz cuestionó la identidad de las partes del espacio, Newton pudo cargar a la tradición relacional originada en Leibniz con el problema de la inercia. La importancia de la estructura inercial en esta discusión fue reconocida por Mach y sus críticas fueron (...) adoptadas como una especie de credo relacional por Einstein. De la mano de los protagonistas más destacados en este debate, se muestra que la identidad de las partes del espacio absoluto, frecuentemente discutida en artículos sobre el tema, es casi irrelevante al lado del problema del origen de la estructura inercial. Para esto incluyo una breve presentación de la representación neo-newtoniana de la dinámica clásica. (shrink)

A manera de estudio comparativo, en este artículo se propone un paralelo formal entre la física de Aristóteles y la física de Einstein. La finalidad no es la del rigor histórico. Se trata más bien de un ejercicio de análisis conceptual. En este sentido, se discute la posible similitud entre la forma..

En su artículo titulado Weimar Culture; Causality and Quantum Theory,1918-1927: Adaptation by German Physicists to a Hostile IntellectualEnvironment, Paul Forman intentó dibujar una historia de la vieja mecánicacuántica según la cual la influencia cultural de la época resultó determinanteen la introducción, aceptación y asimilación de la acausalidad en esta teoría.Estas afirmaciones conocidas como las tesis de Forman, son puestas enperspectiva historiográfica, es decir, desde el panorama ofrecido por lastensiones propias de la historiografía y la filosofía de la ciencia contemporá-nea se (...) perfila su importancia. Se argumenta que el dilema del determinismoes central en esta discusión y finalmente se presenta una breve revisióncrítica de las tesis de Forman revelando sus principales debilidades. (shrink)

This paper proposes a parallel in the forms of Aristotle’s and Einstein’s physics. It’s an exercise on conceptual analysis rather than history. The possible similarity between Aristotle’s world and the form (global geometry) of Einstein’s universe is discussed. The correlation between kinematics, dynamics and gravity in their respective theories is also studied. Finally, Aristotle’s ontology of space is compared to the relativistic ontology spacetime.

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

Se busca rastrear la imagen que Platón tiene de Heráclito y articularla con la estructura argumentativa del Cratilo, para comprender las necesidades textuales a las que responde la doctrina del flujo perpetuo, es decir, la discusión sobre la corrección (ὀρθότης) del nombre. Gracias a la inclusión del testimonio heraclíteo, resulta posible rastrear la presunta consolidación de la tesis sobre los nombres primarios y los secundarios como el eje de la separación entre dos planos de realidad (uno estable y uno móvil) (...) y de la teoría de las Ideas -es decir, como la base de la epistemología platónica presente en los diálogos de madurez-. The article seeks to trace the image Plato has of Heraclitus and connect it with the argumentative structure of the Cratylus in order to understand the textual needs that give rise to the doctrine of perpetual flux, that is, the discussion regarding the correctness (ὀρθότης) of names. The inclusion of Heraclitus's testimony makes it possible to trace the alleged consolidation of the thesis regarding primary and secondary names as the axis of separation between two levels of reality (one stable, the other, changing) and the theory of Ideas -that is, as the basis of Plato's epistemology as set forth in the late dialogues-. (shrink)

En este artículo pretendo desmantelar la opinión generalizada según la cual una interpretación relacional del espaciotiempo no es posible. Centro mi atención en el hecho de que las variables dinámicas usualmente están asociadas a objetos materiales en las teorías físicas. El tensor métrico de la Teoría General de la Relatividad (TGR) es un objeto dinámico así que —sostengo— este debe ser mejor entendido como un campo material en toda regla. Este argumento me lleva a vincular la naturaleza relacional del espaciotiempo (...) a las dificultades para formular una genuina ley de conservación de energía-momento en la TGR.I will try to dismantle the widespread impression that a relational account of spacetime is not possible. I concentrate on the fact that dynamical variables are usually linked to material objects in physical theories. The metric tensor field of GR is a dynamical object so, I claim, it should be viewed as a matter field. The argument links the relational ontological status of spacetime to the failure to provide a genuine law of energy-momentum conservation within General Relativity. (shrink)

This paper proposes a parallel in the forms of Aristotle’s and Einstein’s physics. It’s an exercise on conceptual analysis rather than history. The possible similarity between Aristotle’s world and the form (global geometry) of Einstein’s universe is discussed. The correlation between kinematics, dynamics and gravity in their respective theories is also studied. Finally, Aristotle’s ontology of space is compared to the relativistic ontology spacetime.

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

La presente obra en cinco volúmenes, es una edición bilingüe latín-español de la Obra Completa (Institutionis Oratoriae Libri XII) de Marco Favio Quintiliano. La obra de Quintiliano de Calahorra está considerada como el tratado más completo y mejor estructurado y fundamentado de Retórica de cuantos se escribieron en la antigüedad. Ortega Carmona utiliza para la edición el texto crítico de 1L. Radermacher. Su traducción al castellano es impecable y de gran belleza. En el volumen quinto van incluidos varios ensayos (...) de Ortega sobre Quintiliano, así como unos interesantísimos aportes bibliográficos. (shrink)