This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...) MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)

Over the past decade, many findings in cognitive about the contents of consciousness: we will not address neuroscience have resulted in the view that selective what might be called the ‘enabling factors’ for conscious- attention, working memory and cognitive control ness (e.g. appropriate neuromodulation from the brain- stem, etc.). involve competition between widely distributed rep-.

En la España del siglo que agoniza se han dado tres generaciones de mujeres bien definidas: las madres de la posguerra, sacrificadas y abnegadas, que dejaron, en muchos casos, su profesión por el matrimonio, que entendían como un deber sagrado; mi generación, que es la puente e incomprendida por todos: padres, hermanos, compañeros y amigos, y hasta por la generación actual difícilmente puede entender cómo era la vida de las mujeres hace apenas cuarenta años, y la juventud de nuestros días, (...) resuelta y decidida a compatibilizar su profesión, como primera condición, con el matrimonio. Si, además se tiene en cuenta la pobre consideración social que la música ha tenido hasta hace bien poco tiempo, es fácil imaginar lo difícil que resultaba esta profesión para las mujer de la España reciente. (shrink)

Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...) in order to produce the -politically correct- pons scholasticorum, a terministic version of the pons asinorum that relates the inventio medii with the dictum de omni et nullo. (shrink)

In this paper we ask ourselves whether Szabolcsi’s numerical term logic is a fuzzy logic. Our answer is in the affirmative. In order to justify such a claim, we first expound some preliminaries that help us understand why the inclusion of fuzzy quantifiers is a sufficient condition for fuzziness. Then we present Szabolcsi’s logic, which includes said quantifiers.

Creating a mobile software-based exploration (artwork?/app?) puts the artist-coder in a position to interact with the mediated image streams that connect people on the Internet. The mediated streams often contain portraits and self-portraits, selfies, of the participants. These selfies are visual status messages of the people participating in the data streams. They can be used by the poster to identify themselves in the data stream and represent a way the creator of the selfie wants to be seen by the social (...) circle in which the image is posted. These images could reveal recognizable characteristics of the subject. The characteristics could be recognizable by people and software along the mediated path that the image traverses. Algorithmic intervention on the image affects the human and software interpretation of the image. In the works #autoselfie and FIFO ribbon, images are modified on a pixel level, in a way that the user of the app/work cannot control completely. The modifications reveals the potential power of the software systems to modify the imagery that people use to identify themselves in mediated communication environments. Moreover, the changes applied are chosen by the artist coder to impede recognition by software systems downstream but make human recognition possible in some cases. The alterations make the software in the app visible on a pixel level. The works then let the user post the altered images on Twitter or Google+ social media streams. The framing of this work as artwork or mobile app creates a tension, which affects audience interpretation and user experience choices made by the artist. These ideas are explored in the 2013 work #autoselfie and the 2014 work FIFO ribbon that runs on Android devices. #autoselfie was used to remix images created by winners of the South African 2013 Sanlam National Portrait Award, to explore the intervention of algorithms on mediated portraits and self-portraits. (shrink)

Un análisis de la situación actual del estado de salud mental de un alto número de la población global basta para dar cuenta de la gravedad del asunto y plantear diversas posibles soluciones. El transhumanismopropone mejorar al ser humano mediante innovación tecnológica. En este trabajo se explica cómo esa innovación pude mejorar el bienestar del ser humano, analizando las consecuencias éticas y sociales de la propuesta del superbienestar y discutiendo también las críticas al transhumanismo por parte de los bioconservadores.

Against Nihilism compares the writings of Nietzsche and Dostoevsky on key topics such as criminality, Christianity and the figure of the Outsider to reveal the urgency and contemporary resonance of their shared struggle against nihilism.

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in (...) the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first (...) case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method. (shrink)

Although the skeptical crisis at the dawn of modern philosophy can be properly labelled Pyrrhonian specific features of the academic school of skepticism played an important role in this crisis. Academic skepticism becomes even more influential in post-Cartesian skepticism from Foucher to Hume.

Jose Raimundo Maia Neto - The Limits of Doubt: The Moral and Political Implications of Skepticism - Journal of the History of Philosophy 40:4 Journal of the History of Philosophy 40.4 551-552 Book Review The Limits of Doubt: The Moral and Political Implications of Skepticism Petr Lom. The Limits of Doubt: The Moral and Political Implications of Skepticism. Albany: The State University of New York Press, 2001. Pp. xiv + 138. Cloth, $49.50. Paper, $16.95. Since the appearance in 1960 of (...) Richard Popkin's The History of Skepticism from Erasmus to Descartes skepticism has been acknowledged as a powerful intellectual force in modern philosophy. Lom's The Limits of Doubt corroborates this view by showing the relevance of this ancient tradition in the political and moral thought of a number of major modern.. (shrink)

Drawing on feminist and sociocultural theories of emotion that focus on the social, political, and dynamic nature of emotions in history teachers’ pedagogical decision-making, this article presents findings from the analysis of interviews with two white teachers on the role of emotions in their teaching of history in comprehensive, urban high schools. While the teachers perceived that students’ emotional connection to historical content was a necessary step in learning history, each teacher negotiated different emotional rules in their classrooms, creating unique (...) learning experiences for their students. This study demonstrates the significance of emotions in history teaching, providing examples of the complexity of how teachers navigate dominant discourses about students and education and their own personal goals when it comes to teaching about the past. (shrink)

This introduction presents the symposium on Sam Knafo and Benno Teschke’s article in Historical Materialism, ‘Political Marxism and the Rules of Reproduction of Capitalism: A Historicist Critique’ (2021). It briefly summarises the foundations of Political Marxism, discusses the broader implications of the debate raised by Knafo and Teschke for questions of collective knowledge-production and methods in Marxist historiography, and outlines the seven contributions of the symposium. The introduction concludes by tracing, through the evolution of debates in Political Marxism and the (...) contributions of its protagonists, some of the lineages of Marxist historiography as well as of the history of this journal. (shrink)

This article explores the correlations between linguistic figurative features and their corresponding conceptual representations, by considering their respective continuities and discontinuities in language shift. I compare the figurative encoding of emotions in Kriol, a creole of northern Australia, with those of Dalabon, one of the languages replaced by this creole, with a particular focus on evidence from metaphorical gestures. The conclusions are three-fold. Firstly, the prominent figurative association between the body and the emotions observed in Dalabon is, overall, not matched (...) in Kriol. Secondly, although this association is not prominent in Kriol, it is not entirely absent. It surfaces where speakers are less constrained by linguistic conventions: in non-conventionalized tropes, and gestures in particular. Indeed, some of the verbal emotion metaphors that have disappeared with language shift are preserved as gestural metaphors. Thus, Kriol speakers endorse the conceptual association between emotions and the body, in spite of the lower linguistic incidence of this association. The third conclusion is that therefore, in language shift, conceptual figurative representations and linguistic figurative representations are independent of each other. The former can persist when the latter largely disappear. Conversely, the fact that speakers endorse a certain type of conceptual representation does not entail that they will use corresponding linguistic forms in the new language. The transfer of linguistic figurative representations seems to depend, instead, upon purely linguistic parameters. (shrink)

El presente trabajo analiza el concepto de ciudadanía y algunas de sus implicaciones en el marco de las democracias occidentales actuales. Partiendo de la premisa de que ser ciudadano supone una determinada relación con un Estado, se revisan algunas de las fundamentaciones clásicas del concepto y se concluye que lo relevante es la variedad de derechos sustantivos que el Estado reconoce a sus sujetos políticos. La esencia de ser ciudadano se desvela revisando el repertorio de derechos a los que su (...) estatuto jurídico permite acceder. Se reflexiona desde ese punto de partida sobre el momento actual, advirtiendo que la pérdida de peso político de los Estados merma derechos ciudadanos y provoca la desafección hacia la política tradicional creando nuevas formas de participación política, cuyos riesgos y virtualidades son destacados. Finalmente, se señala la necesidad de generar estructuras de poder en las que los ciudadanos tengan la posibilidad de ejercer sus derechos políticos y cómo dicha pretensión está ligada al ideal del ciudadano cosmopolita y a instituciones internacionales que den cabida a la diversidad cultural. Se concluye apuntando el papel decisivo que juega la reflexión ética en el reconocimiento de valores mínimos que permitan alcanzar acuerdos que se traduzcan en derechos universalizables. (shrink)

El artículo explora algunos de los principales rasgos políticos de la época globalizada y defiende la necesidad de entidades políticas representativas que superen el marco del Estado nación. A continuación se pregunta bajo qué presupuestos ético-políticos podría defenderse un modelo político-jurídico global para un mundo axiológicamente diverso y qué concepciones políticas y valores podrían proponerse como referente normativo para una gobernanza global cuya meta habría de ser el ejercicio legítimo del poder. Teniendo en cuenta las dificultades de tal empresa, se (...) presentan posibles estrategias y razones que invitan a considerar que la posibilidad de un acuerdo global no es del todo implausible. (shrink)

The present study aims to apply a program based on Hellison’s Teaching Personal and Social Responsibility Model (TPSR), traditionally used in Physical Education, to other educational subjects and examine the assessment of the teachers who carried it out during the 2018-2019 school year. The program was applied over eight months of one academic year and during at least 60% of the weekly class hours. Initially, 586 students participated, 429 being experimental subjects with 30 teachers, of whom 16 participated in the (...) interviews carried out, all of them being Secondary Education teachers. We used qualitative methodology through content analysis carried out with ATLAS.ti 7.1.3. The instruments used to collect information were semi-structured recorded group interviews. The conclusion is that the Personal and Social Responsibility Model can be applied to all subjects in the curriculum and is adaptable to any content and type of student body. As a basis for future research, we suggest the application of the model by all teachers involved in the same school year and the participation of students’ families. (shrink)

Circular sets are said to provide clear-cut cases of circular orders of ontological dependence. I argue that this claim is unwarranted given the epistemic parity of two principles of set-dependence.

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (shrink)

Partimos de que en sociedades políticas complejas, aun siendo el Estado un artificio necesario para evitar situaciones de dominación, su entramado institucional no está exento de reproducir análogas situaciones a aquellas cuya eliminación justificaba su existencia. Analizaremos desde esta óptica las críticas de Rawls y Nozick al utilitarismo, al que acusan de amparar actuaciones injustas por parte del colectivo hacia los individuos. En concreto, abordaremos el problema de los derechos inviolables desde estas tres líneas de pensamiento para concluir que, a (...) pesar de que existen marcadas diferencias en sus respectivos planteamientos metodológicos, hay en las tres líneas de convergencia en lo sustantivo. Concluiremos con una réplica a las objeciones antiutilitaristas y una defensa, siguiendo a John Stuart Mill de la mayor adecuación de esta escuela a la hora de defender la inviolabilidad de ciertos derechos fundamentales. (shrink)

International Indigenous rights coalitions increasingly involve Indigenous and non-Indigenous civil society organizations with diverse backgrounds and interests. As these organizations more frequently interact and partner with one another, what issues are being emphasized in their advocacy efforts? This study utilizes content analysis of 60 Indigenous rights organizations’ websites, as well as interviews of several leaders and staff, to explore whether African Indigenous organizations emphasize different aspects of Indigenous rights in their messaging and advocacy than their other Indigenous and non-Indigenous coalition (...) partners, We find that African Indigenous CSOs discuss issues of unequal treatment more frequently, and issues of self-determination and assimilation less frequently, than their coalition partners. The messaging of Indigenous organizations outside of Africa contained similar themes as that of non-Indigenous CSOs. This raises questions regarding why these messages differ: do African Indigenous groups have distinct concerns and/or are there other reasons for the variance in messaging across international Indigenous rights coalitions. (shrink)

This article reviews Alex Anievas and Kerem Nişancıoğlu’sHow the West Came to Rule: The Geopolitical Origins of Capitalism(2015). It argues that the book offers a stimulating and ambitious approach to solving the problems of Eurocentrism and the origins of capitalism in growing critical scholarship in historical sociology and International Relations. However, by focusing on the ‘problem of the international’ and proposing a ‘single unified theory’ based on uneven and combined development, the authors present a history of international relations that trades (...) off methodological openness and legal complexity for a structural and exclusive consequentialism driven by anti-Eurocentrism. By misrepresenting the concept of social-property relations in terms of the internal/external fallacy, and by confusing different types of ‘internalism’ required by early-modern jurisdictional struggles, the book problematically conflates histories of international law and capitalism. These methodological problems are contextualised by examples from the Spanish, French and British empires’ conceptions of sovereignty and jurisdiction and their significant legal actors and processes. (shrink)

Resenha do livro: CASALINO, Vinícius. Karl Marx e a crítica do direito. Curitiba: Íthala, 2024.

L’ancienneté d’une organisation en classes d’âge et des rites de passage pour les enfants et les jeunes dans le monde grec égéen est une idée qui a d’abord été développée par l’anthropologie historique au xxe s., avant d’être mise en doute par un courant historiographique plus critique pour la Grèce des cités. Ces questionnements ont cependant peu affecté la recherche sur la protohistoire égéenne, qui continue d’user et d’abuser de ces catégories, malgré l’ambiguïté des sources invoquées. Cet article propose une (...) relecture de la documentation de l’Âge du Bronze Récent, principalement iconographique, pour mettre en évidence les failles méthodologiques de raisonnements amplement diffusés mais aussi les limites d’interprétations exclusivement fondées sur les données archéologiques. Un bilan de nos connaissances sur les classes d’âge et les rites de passage pour la jeunesse est ainsi esquissé. (shrink)