Resumen: En la actualidad uno de los libros más usados para dar lógica elemental es el de Irving Copi y Carl Cohen (Introducción a la lógica, 2001), allí se presentan unas reglas para decidir la validez de los silogismos categóricos de forma estándar. Pero en tal texto ni en ninguno que nosotros conozcamos se ofrece una fundamentación de las mismas. Es decir, una demostración de que ellas son realmente una condición necesaria y suficiente de la validez de un silogismo categórico (...) de forma estándar, lo único que hemos leído es su motivación como condición necesaria. El objetivo de este trabajo es ofrecer una fundamentación de las mismas usando la noción de conjunto (o clase) y la técnica de diagramas de Venn, un concepto y una técnica que están expuestos en los principales textos de lógica elemental, incluyendo el referido anteriormente. -/- Abstract: Currently, one of the most widely used textbooks in elementary logic is the one by Irving Copi and Carl Cohen (Introduction to Logic, 2001). They offer rules for deciding the validity of standard categorical syllogisms. But neither that textbook, nor any other we know of, provides the foundations of these rules; that is to say, the demonstration that they are a necessary and sufficient condition for the validity of a standard categorical syllogism. We have only found motivations for the necessary condition. The main goal of this work is to provide a foundation of these rules using the notion of set as well as Venn diagrams, a concept and a technique exposed in the main textbooks of logic, including the aforementioned. (shrink)

En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...) AE es la siguiente (B): “Existen ultraflitros sobre ℕ”. Se sabe que A implica B, pero se desconoce si B implica A. Di Prisco y Henle conjeturan en los artículos ([1], [2]) que esto no ocurre, es decir, conjeturan que B no implica A, en otras palabras, conjeturan que A es más fuerte estrictamente que B, que A es independiente de B, pero esto no se ha podido demostrar todavía aunque se ha intentado hacer desde hace aproximadamente 21 años. Una descripción detallada de este problema abierto puede encontrarse en esta ponencia (dictada en el marco del Día Mundial de la Lógica 14-01-2022) y en el artículo [3]. [1] C. Di Prisco y H. Henle. “Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters”. Journal of Symbolic Logic 65 (2000) 462-473. [2] C. Di Prisco y H. Henle. “Partitions of the reals and choice”. En “Models, algebras and proofs”. X. Caicedo y C.M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999. [3] F. Galindo. “Tópicos de ultrafiltros”. Divulgaciones Matemáticas. Vol. 21, No 1-2, 2020. (shrink)

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de reducción al absurdo (...) para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

¿Qué ha pasado con el problema del cardinal del continuo después de Gödel (1938) y Cohen (1964)? Intentos de responder esta pregunta pueden encontrarse en los artículos de José Alfredo Amor (1946-2011), "El Problema del continuo después de Cohen (1964-2004)", de Carlos Di Prisco , "Are we closer to a solution of the continuum problem", y de Joan Bagaria, "Natural axioms of set and the continuum problem" , que se pueden encontrar en la biblioteca digital de mi blog de Lógica (...) Matemática y Fundamentos de la Matemática (ver). También en la entrada "The Continuum Hypothesis" de la web de Enciclopedia de Filosofía de la Universidad de Stanford existe información importante y actualizada al respecto. En esta breve nota se comenta sobre el tema de una manera divulgativa. (shrink)

The objective of this article is to present an original proof of the following theorem: Thereis a generic extension of the Solovay’s model L(R) where there is a linear order of P(N)/fin that extends to the partial order (P(N)/f in), ≤*). Linear orders of P(N)/fin are important because, among other reasons, they allow constructing non-measurable sets, moreover they are applied in Ramsey's Theory .

El objetivo principal de este trabajo es presentar el sistema lógico que resulta de extender, de una manera natural, a la Silogística con la Lógica proposicional, y demostrar que tal extensión se puede caracterizar como un sistema axiomático. Los axiomas que se utilizan son los de Jan Łukasiewicz , y la completitud de tal sistema de axiomas se prueba utilizando un método análogo al método del conjunto maximal consistente con testigos de Henkin, siguiendo algunas ideas que utiliza John Corcoran para (...) probar que su sistema de reglas de inferencia para la Silogística es completo. (shrink)

El derecho a la propiedad forma parte indiscutible de la historia y evolución del constitucionalismo, y encuentra su reconocimiento en el artículo 33 de la Constitución Española delimitado por su función social. Cuando se van a cumplir 40 años de nuestra Carta Magna es un buen momento para realizar una revisión de su configuración en nuestro sistema constitucional y, teniendo en cuenta la apertura de nuestro texto constitucional, aproximarnos al mismo desde una perspectiva multinivel, atendiendo por tanto a la importancia (...) de su configuración en el nivel externo, en especial en el Convenio Europeo de Derechos Humanos y en el Derecho de la Unión Europea. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

En este trabajo matemático-filosófico se estudian cuatro tópicos de la Lógica matemática: El método de construcción de modelos llamado Ultraproductos, la Propiedad de Interpolación de Craig, las Álgebras booleanas y los Órdenes parciales separativos. El objetivo principal del mismo es analizar la importancia que tienen dichos tópicos para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático. Para cumplir con tal objetivo se trabajará en el ámbito de la Matemática, de la Metamatemática y (...) de la Filosofía de la matemática. El desarrollo de la investigación arrojó como resultado que tales tópicos son muy importantes para el estudio de los fundamentos de la matemática, desde el punto de vista del platonismo matemático, y en el trabajo se explica detalladamente con abundantes ejemplos el porqué (al final de cada sección y al final del mismo). (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

The debate concerning the proper way of understanding, and hence solving, the “is-ought problem” produced two mutually exclusive positions. One position claims that it is entirely impossible to deduce an imperative statement from a set of factual statements. The other position holds a contrary view to the effect that one can naturally derive an imperative statement from a set of factual statements under certain conditions. Although these two positions have opposing views concerning the problem, it should be evident that they (...) both accept that the “is-ought problem” is concerned with the deducibility of imperative statements from factual statements. Later I will argue that this should not be our concern when we try to make sense of the way we reason about morality. (shrink)

This article surveys different philosophical theories about the nature of truth. We give much importance to truth; some demand to know it, some fear it, and others would even die for it. But what exactly is truth? What is its nature? Does it even have a nature in the first place? When do we say that some truth-bearers are true? Philosophers offer varying answers to these questions. In this article, some of these answers are explored and some of the problems (...) raised against them are presented. (shrink)

This paper surveys medieval Christian philosophy.

El estudio de los "cardinales grandes" es uno de los principales temas de investigación de la teoría de conjuntos y de la teoría de modelos que ha contribuido con el desarrollo de dichas disciplinas. Existe una gran variedad de tales cardinales, por ejemplo cardinales inaccesibles, débilmente compactos, Ramsey, medibles, supercompactos, etc. Tres valiosos teoremas clásicos sobre cardinales medibles son los siguientes: (i) compacidad débil, (ii) Si κ es un cardinal medible, entonces κ es un cardinal inaccesible y existen κ cardinales (...) inaccesibles menores que κ , y (iii) Si existe un cardinal medible, entonces el axioma de constructibilidad (V=L) es falso. El objetivo de este artículo es presentar una demostración de cada uno de estos tres teoremas en el contexto de la teoría de modelos usando ideas del texto de Chang y Keisler (Model Theory). Tales demostraciones tienen en común el uso del método de construcción de modelos llamado ultraproductos, de lógicas infinitarias o fragmentos de la lógica de segundo orden, y del axioma de elección. Cardinales grandes y/o ultraproductos son importantes en teoría de conjuntos, teoría de modelos, análisis matemático, teoría de la medida, probabilidades, topología, análisis funcional, física, teoría de números, finanzas, etc. (shrink)

Para matemáticos interesados en problemas de fundamentos, lógico-matemáticos y filósofos de la matemática, el axioma de elección es centro obligado de reflexión, pues ha sido considerado esencial en el debate dentro de las posiciones consideradas clásicas en filosofía de la matemática (intuicionismo, formalismo, logicismo, platonismo), pero también ha tenido una presencia fundamental para el desarrollo de la matemática y metamatemática contemporánea. Desde una posición que privilegia el quehacer matemático, nos proponemos mostrar los aportes que ha tenido el axioma en varias (...) áreas fundamentales de la matemática, su aplicación en la lógica de primer orden, así como una breve descripción de las pruebas de consistencia relativa debidas a Gödel y Cohen, las cuales establecieron su independencia del sistema axiomático Zermelo-Fraenkel (ZF). Con todo lo anterior mostraremos cómo el quehacer matemático contemporáneo se adscribe al platonismo matemático en los términos de Bernays y Ferreirós. Revisaremos también los argumentos de Zermelo y Cantor para permitir el uso de asunciones en la matemática, los cuales se acercan a los planteamientos de la investigación científica y esbozan relaciones con la filosofía de la práctica matemática. Finalmente, justificamos el uso del axioma de elección en la contemporaneidad, abogando por unas relaciones de equidad entre la matemática y la filosofía, presentando además su plena vigencia, a través de la referencia a algunos problemas abiertos en la actualidad que vinculan el axioma de elección con la teoría de Ramsey. (shrink)

The objective of this document is to present three introductory notes on set theory: The first note presents an overview of this discipline from its origins to the present, in the second note some considerations are made about the evaluation of reasoning applying the first-order Logic and Löwenheim's theorems, Church Indecidibility, Completeness and Incompleteness of Gödel, it is known that the axiomatic theories of most commonly used sets are written in a specific first-order language, that is, they are developed within (...) the framework of first-order logic, so this note is relevant; and the third note refers to the presence of mathematical platonism in the axioms of ZFC and in the axioms of "complete ordered field", it is known that the last axioms mentioned characterize (except isomorphism) the real number system and are currently used to develop the real Analysis in the context of set theory. It is hoped that this article will be of pedagogical utility for students interested in set theory and in the philosophy of mathematics (that are beginning in the subject). (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)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

We study several perfect set properties of the Baire space which follow from the Ramsey property ω→(ω) ω . In particular we present some independence results which complete the picture of how these perfect set properties relate to each other.

El objetivo de este trabajo es presentar en un solo cuerpo tres maneras de relativizar (o generalizar) el concepto de conjunto constructible de Gödel que no suelen aparecer juntas en la literatura especializada y que son importantes en la Teoría de Conjuntos, por ejemplo para resolver problemas de consistencia o independencia. Presentamos algunos modelos resultantes de las diferentes formas de relativizar el concepto de constructibilidad, sus propiedades básicas y algunas formas débiles del Axioma de Elección válidas o no válidas en (...) ellas. (shrink)

El objetivo de este artículo es presentar dos tópicos de Lógica matemática y sus fundamentos: El primer tópico es una actualización de la demostración de Alonzo Church del Teorema de completitud de Gödel para la Lógica de primer orden, la cual aparece en su texto "Introduction to Mathematical Logic" (1956) y usa el procedimientos efectivos de Forma normal prenexa y Forma normal de Skolem; y el segundo tópico es una demostración de que la propiedad de partición (tipo Ramsey) del espacio (...) topológico de Baire llamada "Propiedad de partición polarizada" es falsa en el Modelo Básico de Cohen. (shrink)

Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y/o de fundamentos de la matemática. El destacado matemático Joan Bagaria afirma lo siguiente sobre el método de forcing en su artículo "Paul Cohen y la técnica del forcing" (Gaceta de la Real Sociedad Matemática Española, Vol. 2, Nº 3, 1999, págs 543-553) : "Aunque (...) Cohen recibió la medalla Fields por su demostración de la independencia de la hipótesis del continuo y del axioma de elección, su contribución va mucho más allá de estos problemas. Su nuevo método, el forcing, no sólo ha permitido resolver un sinfín de problemas importantes en prácticamente todas las áreas de las matemáticas, si no que ha cambiado para siempre nuestra concepción de la matemática como ciencia". El objetivo principal del siguiente trabajo es estudiar el método de forcing describiendo algunas de sus aplicaciones (forcing de Cohen, forcing aleatorio, forcing de Mathias, forcing de Sacks, forcing de Silver, etc.), y ofreciendo una aproximación a sus fundamentos metamatemáticos. Se aspira que estas notas sirvan de apoyo para aprender dicho método. (shrink)

Es conocido que el Teorema de Completitud de Gödel, el Teorema del Colapso Transitivo de Mostowski y el Principio de Reflexión son resultados muy útiles en las investigaciones de Lógica matemática y/o los Fundamentos de la matemática. El objetivo de este trabajo es presentar algunas demostraciones clásicas de tales resultados: Dos del Teorema de Completitud de Gödel, una del Teorema del Colapso Transitivo de Mostowski y una del Principio de Reflexión. Se aspira que estas notas sean de utilidad para estudiar (...) dichas pruebas. Vale la pena resaltar que entre los métodos matemáticos que se utilizan en tales demostraciones se encuentran: (1) La técnica de construcción de modelos a partir de constantes (o "método del conjunto maximal consistente con un conjunto de testigos" de Henkin) y (2) el Principio de inducción matemática en varias versiones [ (2.1) Inducción matemática sobre los números naturales y (2.2) Inducción transfinita ((2.2.1) Inducción transfinita sobre conjuntos bien ordenados cualesquiera, por ejemplo sobre un cardinal infinito Alef_alfa, (2.2.2) Inducción transfinita sobre una clase de conjuntos bien ordenada, por ejemplo sobre la "clase de todos los ordinales, finitos o infinitos", y (2.2.3) Inducción transfinita sobre relaciones bien fundamentadas, por ejemplo sobre la "relación de pertenencia" entre conjuntos)]. (shrink)

La siguiente ponencia-taller tiene por finalidad explicar cómo podría aplicarse el Método de George Polya para resolver problemas (matemáticos) en el contexto de la Lógica Matemática, especialmente en la lógica Matemática elemental (la lógica de primer orden con identidad). Es una propuesta pedagógica experimental (además de las ya existentes) que tal vez pueda ser útil para la enseñanza de la lógica matemática en ciencias o en humanidades. Dicha ponencia se presentó (vía web) con motivo de la celebración del Día Mundial (...) de Lógica 2022 en dos ocasiones: En la Universidad Central de Venezuela (Venezuela) y en la Universidad Mayor de San Andrés (Logic & Analytics Group - La Paz y La Sociedad Científica de Filosofía de la UMSA, Bolivia). Es un proyecto pedagógico en construcción. (shrink)

En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de (...) sistemas lógicos, las lógicas mixtas, que abarcan tanto a las lógicas puras como a las impuras. Finalmente, mostraré que con una interpretación razonable del formalismo se puede eludir aquellos problemas a la vez que se respeta el espíritu del programa pluralista. (shrink)

Con la entrada en vigor del Tratado de Lisboa, la Carta de Derechos Fundamentales adquiere eficacia jurídica, y se prevé la posibilidad de que la Unión Europea se adhiera al Convenio de Roma. En este trabajo pretendemos acercarnos a los antecedentes que han justificado una huída de la tutela de los derechos fundamentales de base jurisprudencial desarrollada por el Tribunal de Justicia hacia una formalización de la misma, a través de dos caminos: la formalización a través de una declaración de (...) derechos que se ha concretado en la Carta de Derechos Fundamentales, y la adhesión al Convenio de Roma. Finalmente trataremos de esbozar las perspectivas que se abren en el horizonte constitucional de la Unión Europea, donde gozamos ya de un Tribunal de Justicia que ejercerá una función tan constitucional como la tutela de los derechos fundamentales, contenidos ya en una declaración con fuerza jurídica, cuya interpretación se vincula al Convenio de Roma. (shrink)

En diversas ocasiones se han producido tensiones entre el Tribunal Constitucional y el Tribunal Supremo, que han trascendido a la opinión pública y que han sido motivo de debates, tanto en la doctrina como en la arena política. -/- Estas tensiones se agudizaron con ocasión de la famosa condena por responsabilidad civil de los Magistrados del Tribunal Constitucional por parte de la Sala Primera del Tribunal Supremo; y que ha sido causa de que el legislador haya introducido en la reforma (...) de la Ley Orgánica del Tribunal Constitucional una serie de medidas tendentes a fortalecer la posición institucional del máximo intérprete de la Constitución. -/- En este trabajo tratamos de acercarnos a estas tensiones, tanto cuando interviene la Sala Primera del Tribunal Supremo, como cuando interviene la Sala Segunda y la relevancia que tiene cada episodio. -/- A esta situación, se une la fuerza jurídica con la que se acaba de dotar al Tribunal Constitucional con motivo de la reciente reforma de su ley orgánica. El Tribunal Constitucional dispone ahora del instrumento del artículo 4 de la Ley Orgánica del Tribunal Constitucional, que pretende garantizar la fuerza vinculante de su jurisprudencia que ya se desprendía de la Constitución y su ley orgánica. -/- Es necesario estudiar si esta reforma va a ser o no suficiente para garantizar de forma definitiva la supremacía del Tribunal Constitucional en nuestro sistema jurídico-constitucional; y en qué medida esta reforma afecta al equilibrio institucional existente. -/- También se reflexiona, en último lugar, sobre la conveniencia de una articulación distinta del sistema de responsabilidad de los Magistrados constitucionales, que, sin restarles independencia, les dote de una mayor legitimidad en el ejercicio de su función. (shrink)

El régimen jurídico de la utilización de los drones plantea grandes retos, siendo esencial un estudio que atienda a los diferentes niveles de regulación que, al menos en la Unión Europea, están afectados de provisionalidad y contingencia; así ocurre con el Reglamento 216/2008. -/- Sin embargo, es necesario establecer una adecuada regulación del uso civil de los drones y de la tecnología incorporada –que está en constante desarrollo– garantizando al mismo tiempo seguridad jurídica para las operaciones con drones y el (...) respeto de los derechos fundamentales que pueden verse afectados, y ello desde una perspectiva multinivel (UE, interno). -/- Este trabajo pretende precisamente un análisis de la actual normativa europea y española desde esa perspectiva, atendiendo en particular al uso civil de los drones. (shrink)

Recientemente el Pleno de la Sala de lo Civil del Tribunal Supremo ha venido a resolver, en Sentencia de 18 de junio de 2012 (rec. núm. 489/2007), un recurso de casación en el que se planteaba la cuestión de la eficacia en España, a efectos registrales, de una escritura otorgada ante notario alemán, dándole validez, y, por tanto, estableciendo su aptitud para generar la oportuna inscripción en el Registro de la Propiedad español. -/- Los argumentos fundamentales de la sentencia que (...) comentamos son dos: en primer lugar, la libre prestación de servicios en el ámbito de la Unión Europea excluiría la posibilidad de interpretar que se pueda imponer la intervención en todo caso de un notario español lo que constituiría una restricción de la libertad fundamental antes citada; y en segundo lugar, entendiendo que los efectos de la escritura pública alemana debían regirse por lo previsto en el Derecho español, esto es, los previstos en el artículo 1.462 del Código Civil, y no los previstos en el Derecho alemán, donde se exige un segundo acuerdo de carácter dispositivo para que se produzca la transmisión de la propiedad. (shrink)

El régimen jurídico aplicable a los contratos en el procedimiento concursal se ha visto renovado por la nueva Ley Concursal (LC). En un periodo de crisis económica es importante conocer las condiciones jurídicas de los contratos una vez se ha declarado el concurso de acreedores. -/- Conforme al artículo 21.2 de la LC, dictado el auto de declaración del concurso, los efectos del mismo se producen de inmediato. Y los contratos estipulados previamente por el concursado y que están pendientes, le (...) dotan de derechos u obligaciones frente a otra u otras personas, y es necesario determinar en qué medida afecta la declaración de concurso a estos derechos u obligaciones. -/- En este trabajo tratamos de hacer un esbozo de este régimen jurídico, apuntando las cuestiones que ha planteado la doctrina respecto a problemas de interpretación que ha dejado abiertos la LC. -/- No queremos dejar de señalar que el actual escenario requiere un estudio en profundidad de este régimen jurídico contractual que aborde, no solo los aspectos problemáticos que ha encontrado la doctrina, sino también las soluciones prácticas que han terminado por adoptar los jueces de lo mercantil. Esperemos que pronto se lleve a cabo este estudio jurisprudencial del Derecho contractual concursal, que sin duda será interesante para los concursalistas, y que necesariamente deberá ser abordado con una sólida formación no solo en Derecho mercantil sino también en Derecho civil, lo que refleja la singularidad que comienza a adquirir el Derecho concursal como disciplina jurídica. Esta singularidad es más significativa en lo concerniente al Derecho contractual, pues incluso se introduce en el laberinto del Derecho administrativo como ponemos de manifiesto al tratar el artículo 67 de la LC en este trabajo. (shrink)

El Tribunal de Justicia ha comenzado a utilizar la Carta de los Derechos Fundamentales de la Unión Europea como un instrumento con fuerza jurídica equivalente al Tratado, a la vez que amplía el ámbito de su control jurisdiccional y su posición como garante de los derechos fundamentales en la Unión Europea. Sin embargo, esto debería ir acompañado de una auténtica garantía de los mismos y una pormenorizada justificación de sus límites y restricciones, lo que no parece evidente en todos los (...) casos. (shrink)

La Sentencia del TJUE de 13 de mayo de 2014, Google Spain (C-131/12) ha supuesto un hito muy relevante en el sistema de protección de derechos fundamentales de la Unión Europea, dando origen al derecho al olvido, y abriendo un camino del que queda mucho por explorar. Una de las cuestiones más controvertidas es determinar el alcance territorial del derecho al olvido, que está vinculado al alcance territorial de una sentencia que no tenemos derecho a olvidar.

This paper aims to study the configuration of a constitutional procedural status for consumers in the European Court ofJustice case law. Although we can see Consumer Protection primary asan instrument to develop the EU interna! market, it is also a relevant instrument to define the Individual Economic Status of EU citizens and residents as equality players in the EU market. Firstly, we will point out our motivation and objectives of the paper. After that we will explain our methodology, and we (...) will study the EU regulation bases and the concept of consume. Finally, we will analyse the relevant case law which developed the EU constitutional procedural status for EU consumers. (shrink)

La prueba de ADN constituye una herramienta esencial en la investigación criminal, más aún en un contexto de criminalidad globalizada como el que vivimos hoy en día. El objetivo de la utilización de los perfiles de ADN debe ser la obtención de una prueba válida, que goce de eficacia en un proceso penal (en general un proceso nacional), lo que exige que sea lo más fiable posible, y que su obtención respete los derechos fundamentales (y los requisitos legalmente establecidos). Estas (...) notas deben darse en las distintas fases que integran lo que se ha llamado «uso forense de la tecnología del ADN»: obtención de la muestra, extracción del perfil y su tratamiento en la base de datos. El objetivo de este trabajo es aproximarnos a las exigencias derivadas del respeto de los derechos fundamentales en la fase de la obtención de la muestra de ADN, a nivel interno, así como tratar de identificar los problemas existentes en este ámbito teniendo en consideración la participación de nuestro país en el proceso de integración europea. (shrink)

Pretendemos acercarnos a la posición que el Tribunal Constitucional ha desarrollado en su jurisprudencia respecto al Derecho de la Unión Europea. -/- La postura del Tribunal Constitucional español es compleja en sí misma por las dudas que plantea, dejando traslucir, se podría decir, cierta indecisión en cuanto a su propia naturaleza de juez comunitario. -/- Considerando la diferente perspectiva que mantiene el Tribunal de Justicia de la Unión Europea, se puede deducir una especie de relación en la arquitectura judicial europea (...) que está llamada a ser dialéctica y de equilibrio, máxime en una Unión Europea donde también el poder político reside en un sistema de equilibrios en diferentes direcciones. (shrink)

Aproximación a los problemas que implica la obtención y posterior tratamiento de muestras biológicas en menores para desarrollar investigación científica. Este trabajo se ha realizado en el marco y gracias al Proyecto I+D+i Minoría de edad, vulnerabilidad e investigación biomédica (Minor-Inbio) Ref. nº. DER2013-47232-R, Ministerio de Economía y Competitividad.

In the present work, we propose to analyse the category of consumer and how this individual status is being conditioned by European Union (EU) law. After a brief reference to the methodology used, the analysis begins with a consideration about the foundations of consumer protection in EU law and how it developed from an instrument to develop the EU internal market to a relevant one to define the EuroStatus of EU citizens and residents as consumers and players in the market (...) under modern EU law. We will consider consumer protection configuration, the notion of consumer, and the development of a consumer legal framework in the EU, with references to national legislation that can reinforce consumer status. We also consider the European Court of Justice (ECJ) case law, not only regarding its important role in the definition of the notion of a consumer but also in the development of a consumer constitutional procedural for EuroStatus, consolidating the consumer position in the national judicial process. (shrink)

ecientemente hemos podido asistir a una revitalización del debate sobre la primacía del Derecho de la Unión Europea y los eventuales límites de la misma que algunos tribunales constitucionales defienden para preservar la identidad constitucional y otros principios esenciales del orden jurídico interno. -/- El Tribunal Constitucional Federal alemán ha declarado, en sentencia de 5 de mayo de 2020, que la sentencia Weiss y otros del Tribunal de Justicia de la UE es ultra vires. La reacción mayoritaria institucional y doctrinal (...) ha sido la de cuestionar la decisión del Tribunal alemán, así como el pluralismo constitucional que entienden está detrás de la misma. -/- Este trabajo, desde una perspectiva abierta y plural, trata de aproximarse al debate constitucional, identificar algunos de los problemas existentes en el orden jurídico multinivel europeo, y defender que, no siendo las cosas fáciles, se hace más necesario que nunca huir de posiciones absolutas y buscar el diálogo entre tribunales. (shrink)

Resumen. -/- Premio de artículos jurídicos «GARCÍA GOYENA» (Curso 2013-2014). Tercer accésit El proceso de integración europea, en el que vivimos inmersos, reviste caracteres económicos, sociales, políticos y jurídicos; que dotan de características peculiares a un proyecto de integración cuya naturaleza está en constante discusión, casi tanto como su futuro. Sin duda, uno de los grandes protagonistas del proceso de integración ha sido y es el Tribunal de Justicia de la Unión Europea, sobre todo con la proclamación y consagración de (...) los principios definitorios de la relación entre el ordenamiento comunitario, hoy de la Unión Europea con los ordenamientos nacionales: los principios de eficacia directa y de primacía del Derecho comunitario. Esto lo ha hecho a la vez que desarrollaba su jurisprudencia sobre las libertades económicas fundamentales consagradas en el Tratado de la Comunidad Económica Europea (libre circulación de mercancías, libre prestación de servicios, libre circulación de trabajadores y libre circulación de capitales). Este trabajo tiene por objeto estudiar dicha jurisprudencia, analizando el papel preponderante de la libre circulación de mercancías, así como las perspectivas de futuro tras la entrada en vigor del Tratado de Lisboa. -/- Abstract. -/- The process of European integration, in which we are immersed, has economic, social, political and legal characters giving special characteristics to an integration project whose nature is in constant discussion as its future. Certainly one of the great protagonists of the integration process has been and is the European Court of Justice, especially with the proclamation and consecration of the defining principles of the relationship between Community law, now European Union law, and national law: principles of direct effect and supremacy of EU law. ECJ recognised this principles while it developed its jurisprudence on fundamental economic freedoms recognised in the Treaty establishing the European Economic Community (free movement of goods, freedom to provide services, free movement of workers and free movement of capitals). This work aims to study this case law, analyzing the dominant role of the free movement of goods as well as the future trends after the entry into force of Lisbon Treaty. (shrink)

This paper is an approach to the regulation of drones and the protection of fundamental rights, particularly in relation to the use of drones equipped with image and data capture technologies, with special attention to the position and protection of minors.

En Europa vivimos inmersos dentro de una pluralidad de sistemas constitucionales: tanto los sistemas estatales como el sistema de la Unión Europea. Esto podía llevar a ciertas situaciones de conflicto, al menos en una perspectiva teórica en principio, y por ello se ha tratado de explicar y solucionar la tutela de los derechos fundamentales en la Unión Europea mediante la teoría llamada «pluralismo constitucional». Sin embargo, se plantean dudas que pueden llevarnos a considerar dicha teoría como una mera «construcción artificial» (...) que no haría sino ocultar los verdaderos problemas de la tutela de los derechos fundamentales en la Unión Europea. (shrink)

La protección de datos constituye un derecho fundamental que, si bien vinculado a la esfera privada de los individuos, goza de entidad propia, y se entiende como un haz de facultades que implican el poder de disposición de los datos, esto es, el derecho a que se solicite el previo consentimiento para su recogida y uso, así como el derecho de acceso, rectificación y cancelación de los mismos. Derecho que en España está basado en el artículo 18.4 de la Constitución (...) Española, y del que deriva la facultad de cancelación al amparo de la Ley Orgánica 15/1999, de Protección de Datos de Carácter Personal. -/- En este trabajo estudiamos si este derecho puede afectar a los Libros de Bautismo de la Iglesia Católica o es más bien la libertad religiosa, que se contempla como derecho o libertad fundamental en el artículo 16 de la Constitución Española, la que debería tenerse en cuenta en relación con los Libros de Bautismo. Debemos considerar que esta libertad podría jugar desde dos perspectivas distintas, o, dicho de otro modo, respecto de dos titulares diferentes: por un lado la Iglesia Católica que considerada como confesión constituye un colectivo de fieles que ostenta la libertad religiosa y tiene derecho a la protección de la misma frente a agresiones externas; pero también la libertad religiosa del individuo, que se concretaría en la posibilidad de pertenecer o no a dicha confesión y en cualquier momento a abandonarla, y las posibles consecuencias de esta decisión en relación con los Libros de Bautismo. (shrink)

El principio de seguridad jurídica tiene, como una de sus manifestaciones características, dentro del Estado de Derecho, la fuerza de cosa juzgada (res iudicata) que se atribuye a las sentencias o resoluciones judiciales equivalentes firmes, y que implica tanto su impugnabilidad como su potencial influencia en litigios posteriores que guarden una conexión con el asunto ya resuelto en firme. Sin embargo, es posible que estas decisiones judiciales firmes de jueces nacionales, por diversas causas (error, omisión, interpretación manifiestamente contraria, etc.) vulneren (...) el Derecho de la Unión Europea y, por tanto, afecten tanto a su primacía como a su efectividad en sus relaciones con los ordenamientos jurídicos nacionales. El Tribunal de Justicia ha tenido oportunidad de enfrentarse al dilema de ponderar el principio de fuerza de cosa juzgada con las primacía y efectividad del Derecho de la Unión en diversas sentencias. Este trabajo tiene como objetivo realizar una aproximación y revisar la jurisprudencia más importante al respecto hasta la actualidad. (shrink)

Como es sabido el Tribunal de Justicia de la Unión Europea ha precisado que las relaciones entre el Derecho de la Unión Europea y el Derecho de los Estados miembros están regidas por el principio de primacía del primero sobre los segundos. Sin embargo, la autoridad formal que puede ostentar el Derecho de la Unión Europea en los sistemas jurídicos nacionales no va a depender en exclusiva de la jurisprudencia de dicho tribunal, sino que está condicionada, en gran medida, por (...) las características de cada ordenamiento nacional, y la jurisprudencia de los tribunales constitucionales o supremos nacionales. -/- De hecho, en gran parte de los Estados miembros, fundamentalmente en la jurisprudencia de los tribunales constitucionales o supremos de los mismos, se pueden encontrar ciertas reservas o límites a la aceptación de la primacía del Derecho de la Unión. El propósito de este trabajo es estudiar el origen y desarrollo de estas reservas como límites constitucionales a la integración europea para que, consiguiendo un pequeño esbozo de la situación actual de estos límites, podamos comprender mejor las relaciones entre las más altas cortes de los Estados miembros y el Tribunal de Justicia en un sistema jurídico multinivel. (shrink)

La primacía y efectividad del Derecho de la Unión Europea se proyecta también sobre la Administración Pública y sobre sus actos. Esto obliga a la Administración, como sucede con el juez nacional, a aplicar el Derecho europeo de forma efectiva, lo que exige realizar una interpretación conforme del derecho interno y de la práctica administrativa. -/- Sin embargo, a diferencia del juez nacional, la Administración Pública carece de la guía interpretativa del Tribunal de Justicia. Esto hace muy necesario tener en (...) consideración la doctrina de este tribunal sobre la primacía y efectividad del Derecho europeo y su proyección sobre los actos administrativos, donde si bien la seguridad jurídica protege como regla general a los actos administrativos firmes, en algunos casos se deriva una facultad o una obligación de revisión de actos administrativos firmes. -/- El presente trabajo tiene como propósito realizar un análisis actualizado de la jurisprudencia del Tribunal de Justicia sobre la aplicación de la primacía y efectividad del Derecho de la Unión sobre los actos administrativos. (shrink)

La función de los órganos jurisdiccionales nacionales como jueces ordinarios del Derecho de la Unión Europea es una de las cuestiones jurídicas fundamentales del proceso de integración europea. -/- En el ámbito de dicha función, la cuestión prejudicial es un instrumento esencial para garantizar una interpretación y aplicación homogénea del Derecho de la Unión además de coadyuvar a la cooperación entre los jueces nacionales y el Tribunal de Justicia. -/- Vamos a tratar de estudiar este instrumento del planteamiento de la (...) cuestión prejudicial, en particular por parte de los órganos jurisdiccionales españoles, tanto desde el punto de vista europeo como nacional, atendiendo a la jurisprudencia del Tribunal de Justicia y de nuestro Tribunal Constitucional. (shrink)

El presente trabajo analiza el reciente Auto del Tribunal Constitucional sobre la posibilidad de prohibir y limitar el derecho fundamental de reunión y manifestación para tutelar la salud, la vida y la integridad de las personas.

We discuss misinformation about “the liar antinomy” with special reference to Tarski’s 1933 truth-definition paper [1]. Lies are speech-acts, not merely sentences or propositions. Roughly, lies are statements of propositions not believed by their speakers. Speakers who state their false beliefs are often not lying. And speakers who state true propositions that they don’t believe are often lying—regardless of whether the non-belief is disbelief. Persons who state propositions on which they have no opinion are lying as much as those who (...) state propositions they believe to be false. Not all lies are statements of false propositions—some lies are true; some have no truth-value. People who only occasionally lie are not liars: roughly, liars repeatedly and habitually lie. Some half-truths are statements intended to mislead even though the speakers “interpret” the sentences used as expressing true propositions. Others are statements of propositions believed by the speakers to be questionable but without revealing their supposed problematic nature. The two “formulations” of “the antinomy of the liar” in [1], pp.157–8 and 161–2, have nothing to do with lying or liars. The first focuses on an “expression” Tarski calls ‘c’, namely the following. -/- c is not a true sentence -/- The second focuses on another “expression”, also called ‘c’, namely the following. -/- for all p, if c is identical with the sentence ‘p’, then not p -/- Without argumentation or even discussion, Tarski implies that these strange “expressions” are English sentences. [1] Alfred Tarski, The concept of truth in formalized languages, pp. 152–278, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Hackett, Indianapolis 1983. -/- https://www.academia.edu/12525833/Sentence_Proposition_Judgment_Statement_and_Fact_Speaking_about_th e_Written_English_Used_in_Logic. (shrink)