La presente contribución enfoca la apertura de la Política de Aristóteles (I 1-2) desde una hipótesis de lectura que se inscribe en la epistemología de la ciencia política y que pretende demostrar, a diferencia de la inmensa mayoría de los comentadores de esta obra, que los procesos que llevan hacia la definición del objeto teórico pólis se corresponden metodológicamente con el programa de investigación científica delineado por Aristóteles en los Analíticos Segundos.

Lo que el lector tiene en sus manos es el resultado de reelaboraciones de un trabajo anterior, que en su primera versión se tituló «Apuntes introductorios a la lógica matemática elemental». Aunque el autor se sintió satisfecho por los logros docentes conseguidos mediante la utilización de ese texto poligrafiado, la ulterior práctica más arriba aludida ha aconsejado las modificaciones del mismo que han desembocado en la presente obra. Espero, a la vez, que su utilización como texto universitario de iniciación al estudio de lógicas no clásicas permita un más amplio conocimiento de estas lógicas y, junto con ello, aporte una nueva experiencia que se tendría en cuenta para ulteriores ediciones de este librito

We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory ⟨M,∈M⟩, we explain senses in which one may compute M-generic filters G⊆P∈M and the corresponding forcing extensions M[G]. Specifically, from the atomic diagram one may compute G, from the Δ0-diagram one may compute M[G] and its Δ0-diagram, and from the elementary diagram one may compute the elementary diagram of M[G]. We also examine the information necessary to make the process functorial, and conclude that in the general case, no such computational process will be functorial.

We review the special theory of relativity kinematics and dynamics as well as the general theory of relativity under the aspect of logic.

In this note I will comment on two episodes from the complex history of logic, involving Aristotle, the father of logic, and two later figures: Saccheri and Frege. Each episode may be viewed as an attempt to revise and improve the Aristotelian legacy. Saccheri wants to purify the method of interpretations, Frege wants to purify the notion of predication. To understand logic we need some insight into its history, and to write on the history of logic we need some previous understanding of logical theory. This is not an inhibiting circularity— it is, simply, a twofold requisite, unavoidable for any discipline of a foundational type.

According to Michael Friedman, Ernst Cassirer’s “outstanding contribution [to Neo-Kantianism] was to articulate, for the ªrst time, a clear and coherent conception of formal logic within the context of the Marburg School” (Friedman 2000, p. 30). In his paper “Kant und die moderne Mathematik” (1907), Cassirer argued not only that the new relational logic of Frege1 and Russell was a major breakthrough with profound philosophical implications, but also that the logicist thesis itself was a “fact” of modern mathematics.

Georg Cantor sought secure foundations for his set theory. This article presents an account of Cantor’s differentiations concerning the notion of infinity and a tentative historical parsepctive on his notion of set.

La lógica, por ser analítica, alcanzó al nacer su apogeo —según el pensador de Königsberg—; con Aristóteles nace y con Aristóteles llega a su cenit, de tal suerte que, después de él, no habría dado ni un paso adelante ni un paso atrás; ni habría de dar ya nunca en el futuro pasos, ni adelante ni atrás. Lo genuinamente innovador en Frege es el cálculo cuantificacional; con él se da el más decisivo paso adelante en relación con la lógica aristotélica; vimos también que ese aporte fregeano está basado en la dicotomía entre objeto y función, y quedamos en analizar tal dicotomía más a fondo. Éste es el lugar de hacerlo.

¿Hay una psique elemental compartida por animales humanos y no humanos? ¿Existe una psique animal común con la que pueda ser contrastada la psique humana? ¿Se diferencian la psique animal de la humana cualitativamente o sólo hay una diferencia de grado, sólo un modo más complejo de psique animal? La respuesta a estas preguntas depende de lo que se entienda por inteligencia. Xavier Zubiri (1898-1983) responde a las preguntas formuladas más arriba afirmando que todos los animales, incluido el animal humano, poseen una psique sentiente, pero que entre la psique humana y la del resto de animales, sea la de una ameba o la de un chimpancé, sea cual sea la complejidad de sus sistemas nerviosos, hay una diferencia esencial: el animal no humano meramente siente; el humano siente intelectivamente, o lo que es lo mismo, intelige sentientemente. La concepción zubiriana de inteligencia difiere radicalmente de la clásica: para Zubiri la inteligencia es simplemente la capacidad de sentir lo real como real. La inteligencia no es primariamente la capacidad de idear o razonar; el ser humano no es primariamente animal racional, sino animal de realidades.

Let us learn from the lessons of history. Let us grant to those who work in any special field of investigation the freedom to use any form of expression which seems useful to them; the work in the field will sooner or later lead to the elimination of those forms which have no useful function. Let us be cautious in making assertions and critical in exam-ining them, but tolerant in permitting linguistic forms.