Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.

We give several characterizations of Schnorr trivial sets, including a new lowness notion for Schnorr triviality based on truth-table reducibility. These characterizations allow us to see not only that some natural classes of sets, including maximal sets, are composed entirely of Schnorr trivials, but also that the Schnorr trivial sets form an ideal in the truth-table degrees but not the weak truth-table degrees. This answers a question of Downey, Griffiths and LaForte.

We show that van Lambalgen's Theorem fails with respect to recursive randomness and Schnorr randomness for some real in every high degree and provide a full characterization of the Turing degrees for which van Lambalgen's Theorem can fail with respect to Kurtz randomness. However, we also show that there is a recursively random real that is not Martin-Löf random for which van Lambalgen's Theorem holds with respect to recursive randomness.

We study the connection between Schnorr triviality and genericity. We show that while no 2-generic is Turing equivalent to a Schnorr trivial and no 1-generic is tt-equivalent to a Schnorr trivial, there is a 1-generic that is Turing equivalent to a Schnorr trivial. However, every such 1-generic must be high. As a corollary, we prove that not all K-trivials are Schnorr trivial. We also use these techniques to extend a previous result and show that the bases of cones of Schnorr (...) trivial Turing degrees are precisely those whose jumps are at least 0". (shrink)

We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...) of categoricity is $\Pi_{1}^{1}$-complete. (shrink)

A real is Martin-Löf (Schnorr) random if it does not belong to any effectively presented null ${\Sigma^0_1}$ (recursive) class of reals. Although these randomness notions are very closely related, the set of Turing degrees containing reals that are K-trivial has very different properties from the set of Turing degrees that are Schnorr trivial. Nies proved in (Adv Math 197(1):274–305, 2005) that all K-trivial reals are low. In this paper, we prove that if ${{\bf h'} \geq_T {\bf 0''}}$ , then h (...) contains a Schnorr trivial real. Since this concept appears to separate computational complexity from computational strength, it suggests that Schnorr trivial reals should be considered in a structure other than the Turing degrees. (shrink)

We investigate the relationship between lowness for Schnorr randomness and Schnorr triviality. We show that a real is low for Schnorr randomness if and only if it is Schnorr trivial and hyperimmune free.

The weakly random reals contain not only the Schnorr random reals as a subclass but also the weakly 1-generic reals and therefore the n -generic reals for every n . While the class of Schnorr random reals does not overlap with any of these classes of generic reals, their degrees may. In this paper, we describe the extent to which this is possible for the Turing, weak truth-table, and truth-table degrees and then extend our analysis to the Schnorr random and (...) hyperimmune reals. (shrink)

We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders.

La construcción de la nación y la transformación de lo político / Ingrid Johanna Bolívar.

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)

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)

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)

L'amour a inspiré les chants les plus déchirants, les meilleurs romans et les pires, des comédies irrésistibles, des tragédies bouleversantes. Il est possible d'y ajouter quelques considérations philosophiques. Des préliminaires, seulement. Non à l'amour (le philosophe n'a là-dessus aucune expertise), mais à son concept (c'est son domaine, dit-on). L'amour n'est ni l'amitié, ni le désir, ni la passion. C'est la fusion improbable de ces tendances opposées. Car les composantes de l'amour ne jouent pas collectif, tel est le drame, et la (...) grandeur, de l'amour. C'est parce qu'il est de nature hétérogène, donc instable, qu'il est le moteur tout-puissant de tant d'histoires, grandioses ou banales, dans les littératures universelles et dans nos vies ordinaires. (shrink)

_The purpose_ of this study is the reflection on ways of philosophical legitimation for the "Self-made-man" idea in the worldview of the Renaissance and Reformation. _Theoretical basis._ Historical, comparative, and hermeneutic methods became the basis for this. The study is based on the works of Nicholas of Cusa, G. Pico della Mirandola, N. Machiavelli, M. Montaigne, E. Roterodamus, M. Luther, J. Calvin together with modern researchers of this period. _Originality._ The analysis allows us to come to the conclusion that casts (...) doubt on the still widespread belief according to which the emergence of the "Self-made-man" idea is localized by the process of forming the American cultural code and the ideological heritage of Benjamin Franklin. It is highlighted that the formation of this idea is the result of a long process that originated in the ancient world and gains a special impetus in the Renaissance and Reformation. Precisely in the cultural context of the latter, the ancient intention to recognize the individual’s right to self-determination and self-government, which in the depths of Christian theology acquires only a potentially universal character, becomes not only acceptable but also, in the context of Protestantism worldview, the only admissible, in fact, individual’s obligatory life guidelines. _Conclusions._ Humanistic and reformation thoughts quite naturally led to further ideological legitimation of the person’s idea of who is creating oneself. This legitimation was during the complex interaction of numerous factors of culture in the Late Middle Ages, as well as ideas and intentions inherited from Antiquity. Key among them was the gradual formation of a new social order, in essence, indifferent to paternalistic rudiments, together with the ethics of Protestantism corresponding to it. The latter does not only legalize but, de facto, sacralizes the individual’s reorientation from hopes for the synergy of God’s grace and own free will in personal salvation, toward the self-reliance and personal efforts, awareness of personal responsibility for the own fate as key principles of the "Self-made-man" concept. (shrink)

Machine generated contents note: Cajal and Consciousness: Introduction. By PEDRO C. MARIJUAN1 -- Part I. Consciousness, One Hundred Years after Textura -- Progress in the Neural Sciences in the Century after Cajal (and the Mysteries -- That Remain). By THOMAS D. ALBRIGHT, THOMAS M. JESSELL, -- ERIC R. KANDEL, AND MICHAEL I. POSNER11 -- Part II. Biological Complexity and the Emergence of Consciousness -- Consciousness, Reduction, and Emergence: Some Remarks. -- By MURRAY GELL-MANN41 -- The Epistemic Paradox of Mind and (...) Matter. By HAROLD J. MOROWITZ50 -- The Conscious Cell. BY LYNN MARGULIS55 -- Complexity and Tinkering. By FRANCOIS JACOB71 -- Consciousness, the Brain, and Spacetime Geometry. By STUART HAMEROFF. 74 -- Consciousness, the Brain, and Spacetime Geometry: An Addendum-Some -- New Developments on the Orch OR Model for Consciousness. -- By ROGER PENROSE105 -- Part III. From Primary to Higher-level Consciousness -- Consciousness: The Remembered Present. By GERALD EDELMAN111 -- Consciousness and the Binding Problem. By WOLF SINGER123 -- Cajal on Neurons, Molecules, and Consciousness. By JEAN-PIERRE CHANGEUX 147 -- A Neuronal Model of a Global Workspace in Effortful Cognitive Tasks. By -- STANISLAS DEHAENE, MICHEL KERSZBERG, AND JEAN-PIERRE -- CHANGEUX152 -- Consciousness and the Brain: The Thalamocortical Dialogue in Health and -- Disease. By RODOLFO LLINAS AND URS RIBARY166 -- The Neuroanatomy of Phenomenal Vision: A Psychological Perspective. -- ByPETRA STOERIG176 -- Co-evolution of Human Consciousness and Language. By MICHAEL A. ARBIB 195 -- From Computing with Numbers to Computing with Words-From -- Manipulation of Measurements to Manipulations of Perceptions. -- By LOTFI A. ZADEH221 -- Part IV. Closing Remarks -- Who Was Cajal? By ALBERTO PORTERA-SANCHEZ253 -- Index of Contributors259 -- Subject Index261. (shrink)

Abstract Internet communication technology has been said to affect our sense of self by altering the way we construct “personal identity,” understood as identificatory valuative narratives about the self; in addition, some authors have warned that internet communication creates special conditions for moral agency that might gradually change our moral intuitions. Both of these effects are attributed to the fact that internet communication is “disembodied.” Our aim in this paper is to establish a link between this complex of claims and (...) past and ongoing research in phenomenology, empirical psychology and cognitive science, in order to formulate an empirical hypothesis that can assist development and evaluation of recent technology for embodied telecommunication. We first suggest that for the purposes of interdisciplinary exchange, personal identity is formally best represented by a selection function that (for temporal intervals of variable length) “bundles” capacity ascriptions into identificatory narratives. Based on this model, we discuss which cultural changes engendered by the internet affect the construction of personal identity in ways that diminish our ethical sensitivies. In a second step, working from phenomenological claims by Martin Buber, we argue that disembodied communication severs two modes of cognitive function, preconceptual and conceptual, which tie together moral motivation, self-experience, and identity construction. We translate Buber’s claims into the theoretical idiom of the “theory of cognitive orientation,” a psychological theory of motivation that links up with recent research in embodied cognition. In a third step, we investigate whether the embodiment of the internet with communication robots (e.g., telenoids) holds out the prospect of reverting this structural change at least partially. We conclude by formulating an empirical hypothesis (for researchers in cognitive science) that has direct import, we submit, on the question whether embodied telecommunication promises a new form of ethically sensitive self-constituting encounter. Content Type Journal Article Category Special Issue Pages 1-23 DOI 10.1007/s13347-012-0064-9 Authors Johanna Seibt, Department for Philosophy and the History of Ideas, Aarhus University, Aarhus, Denmark Marco Nørskov, Department for Philosophy and the History of Ideas, Aarhus University, Aarhus, Denmark Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433. (shrink)

Interesante y muy bien lograda aproximación al universo teórico construido por Ricardo Guastini, filósofo del derecho italiano.

Definición del derecho natural -- Definición del derecho de gentes -- Diferencia de otras ciencias -- Del derecho público -- De la política -- Necesidad y utilidad del derecho natural y de gentes -- Origen y antiguedad de este derecho -- Formación de esta ciencia -- Progresos y escritores principales. Hugo Grotius -- John Selden -- Thomas Hobbes -- Samuel Pufendorf -- Christian Thomasius -- Johann Gottlieb Heineccius -- Christian Wolff -- Emer de Vattel -- Jean-Jacques Burlamaqui. Fortunato Bartolomeo De (...) Felice -- Otros escritores en com un -- Montesquieu -- Simon-Nicolas-Henri Linguet -- Jean-Jacques Rousseau -- Escritos modernos detestables -- Vicios y defectos de muchos modernos -- Modo para conocer los autores sospechosos -- Autores católicos con que se refutan -- Precaución para establecer las reglas del derecho natural -- Falsa preocupaci on de buscar un primer principio -- Métodos que se proponen -- No son necesarios -- Del método escolástico -- Universidades en que se enseña este derecho. (shrink)

Dans son dialogue Sur le Bien (19 F = fr. 11 dP), Numénius écrit que le dieu qui est « deuxième et troisième est un ». Par là, il désigne un dieu considéré selon deux aspects qui correspondent à la double orientation de son attention. Dans le second, il est tourné vers le monde et joue le rôle de démiurge. Selon la plupart des chercheurs, ce démiurge serait à identifier à l’âme du monde que les fragments parvenus du dialogue ne (...) mentionnent pas. L’article montre que cette interprétation ne rend peut-être pas compte du propos de Numénius. Il indique les raisons théoriques et polémiques expliquant qu’en réalité, même si le démiurge a la fonction de l’âme du monde, Numénius ne l’identifie pas avec celle-ci. Il veut définir les principes qu’il identifie à l’être, conçu comme incorporel. Le mouvement intrinsèque à l’âme et l’immanence qui la caractérise, d’après la tradition platonicienne que suit Numénius et la tradition stoïcienne à laquelle il s’oppose, interdisent de donner à cette âme le statut de pur intelligible – le lui accorder serait précisément céder à l’immanentisme et au corporalisme stoïciens. Enfin, il n’est pas davantage utile de reconnaître dans le second aspect du deuxième dieu, un moment nommé « troisième dieu » dans le dialogue, le troisième dieu que Numénius aurait identifié au monde d’après le témoignage de Proclus (29 T = fr. 21 dP). Ce troisième dieu-là peut réellement correspondre au monde dont Platon fait un dieu, à condition que ce monde soit considéré comme le produit du seul intellect, ordre (κόσμος) qui comporte certes une âme, et même un intellect en elle, mais qui n’est réduit ni à l’une ni à l’autre. (shrink)

Las dificultades teóricas que obstaculizan la idea de una ética constitucional -- ¿constitucionalismo global o constitucionalismo cosmopolita? -- El constitucionalismo, entre el cosmopolitismo, el universalismo y el localismo del estado nación -- El estado constitucional de derecho (o Estado constitucional de derecho, social y ambiental) y los derechos sociales -- El impacto del consenso de Washington en el derecho social colombiano, y la respuesta social desde la movilización y desde los derechos -- Los derechos, un espacio de lucha y emancipación (...) -- La autocrítica a modo de conclusión. (shrink)

La presente antología es fruto de la colaboración entre profesores de las Universidades de Paraíba (Brasil) y Jaén (España) y sólo pretende presentar un conjunto de textos extraídos de obras de autores de origen judeoconverso, o vinculados con la antigua Universidad de Baeza (siglos XVI y XVII). En estos fragmentos quedan de manifiesto planteamientos comunes sobre la observación de la naturaleza y el conocimiento, pautas y orientaciones de carácter pedagógico, criterios para la organización del cuerpo social, visión de la espiritualidad, (...) inquietudes por la formación de la mujer, o el problema de la evangelización y adoctrinamiento de los amerindios. (shrink)