In this article, we formally define and investigate the computational complexity of the definability problem for open first-order formulas with equality. Given a logic $\boldsymbol{\mathcal{L}}$, the $\boldsymbol{\mathcal{L}}$-definability problem for finite structures takes as an input a finite structure $\boldsymbol{A}$ and a target relation $T$ over the domain of $\boldsymbol{A}$ and determines whether there is a formula of $\boldsymbol{\mathcal{L}}$ whose interpretation in $\boldsymbol{A}$ coincides with $T$. We show that the complexity of this problem for open first-order formulas is coNP-complete. We also (...) investigate the parametric complexity of the problem and prove that if the size and the arity of the target relation $T$ are taken as parameters, then open definability is $\textrm{coW}[1]$-complete for every vocabulary $\tau $ with at least one, at least binary, relation. (shrink)

La atención es uno de los fenómenos psicológicos más presentes en la obra orteguiana y, a la vez, uno de los más desatendidos por la crítica. Habitualmente el fenómeno ha quedado eclipsado por ideas tradicionalmente más nodales como la de “perspectiva”, sin embargo, no podemos ignorar que ideas como esta hallan su fundamento precisamente sobre el fenómeno de la atención, lo que le otorga una importancia a considerar. En el presente libro, mediante una revisión crítica de los textos orteguianos, se (...) despliega y reúne un conjunto de argumentos con los que defender la centralidad de la atención en el pensamiento orteguiano ofreciendo, con ella, uno de los elementos cardinales en la estructuración sistemática de su obra, pues, como veremos, es en la atención donde el autor halla el fundamento para edi car su método perspectivista y, a su vez, donde descansa cierta posibilidad de cristalizar su doctrina raciovitalista. (shrink)

Daniel Isaacson has advanced an epistemic notion of arithmetical truth according to which the latter is the set of truths that we grasp on the basis of our understanding of the structure of natural numbers alone. Isaacson’s thesis is then the claim that Peano Arithmetic (PA) is the theory of finite mathematics, in the sense that it proves all and only arithmetical truths thus understood. In this paper, we raise a challenge for the thesis and show how it can be (...) overcome. We introduce the concept of purity for theories of arithmetic: a theory of arithmetic is pure when it only proves arithmetical truths. Then, we argue that, under Isaacson’s thesis, some PA-provable truths—including transfinite induction claims for infinite ordinals and some consistency statements—are seemingly not arithmetical in Isaacson’s sense, and hence that Isaacson’s thesis might entail the impurity of PA. Nonetheless, we conjecture that the advocate of Isaacson’s thesis can avoid this undesirable consequence: the arithmetical nature, as understood by Isaacson, of all contentious PA-provable statements can be justified. As a case study, we explore how this is done for transfinite induction claims with infinite ordinals below ε0. To this end, we show that the PA-proof of such claims employs exclusively resources from finite mathematics, and that ordinals below ε0 are finitary objects despite being infinite. (shrink)

This paper is concerned with the claim that supervaluationist consequence is not classical for a language including an operator for definiteness. Although there is some sense in which this claim is uncontroversial, there is a sense in which the claim must be qualified. In particular I defend Keefe's position according to which supervaluationism is classical except when the inference from phi to Dphi is involved. The paper provides a precise content to this claim showing that we might provide complete (and (...) sound) systems of deduction for supervaluationist consequence in which proofs are completely classical with the exception of a single last step (involving the above mentioned inference). (shrink)

For over a decade neuroscience has uncovered that appropriate decision-making in daily life decisions results from a strong interplay between cognition and covert biases produced by emotional processes. This interplay is particularly important in social contexts: lesions in the pathways supporting these processes provoke serious impairments on social behavior. One important mechanism in social contexts is empathy, fundamental for appropriate social behavior. This paper presents arguments supporting this connection between cognition and emotion, in individual as well as in social contexts. (...) The central claim of this paper is that biologically inspired cognitive architectures ought to include these mechanisms. A taxonomy of computational models addressing emotions is presented, together with a brief survey of the research published in this area. The Prisoner Dilemma game is used as a case study exposing the trade-off between individual rationality and cooperative behavior. Experiments using a simple implementation of empathy and emotion expression, employing an Iterated Prisoner Dilemma setup, illustrate the emergence of a cooperative behavior mutually beneficial for both players. (shrink)

To what degree can language be acquired from linguistic input alone? This question has vexed scholars for millennia and is still a major focus of debate in the cognitive science of language. The complexity of human language has hampered progress because studies of language–especially those involving computational modeling–have only been able to deal with small fragments of our linguistic skills. We suggest that the most recent generation of Large Language Models (LLMs) might finally provide the computational tools to determine empirically (...) how much of the human language ability can be acquired from linguistic experience. LLMs are sophisticated deep learning architectures trained on vast amounts of natural language data, enabling them to perform an impressive range of linguistic tasks. We argue that, despite their clear semantic and pragmatic limitations, LLMs have already demonstrated that human-like grammatical language can be acquired without the need for a built-in grammar. Thus, while there is still much to learn about how humans acquire and use language, LLMs provide full-fledged computational models for cognitive scientists to empirically evaluate just how far statistical learning might take us in explaining the full complexity of human language. (shrink)

A partir de una presentación general del concepto de especie aplicado a los humanos, este texto expone dos nociones generales sobre la naturaleza humana: la tipológica y la filogenética. Una vez expuestos los fundamentos de cada noción, se defiende una distinción entre naturaleza humana e identidad humana como dos aspectos que se han confundido respecto a este problema, pero que cumplen distintos roles en las explicaciones, por lo que se proponen como dos nociones complementarias. Así, la naturaleza humana estaría definida (...) en términos metafísicos y daría cuenta de la realidad biológica de los humanos desde un punto de vista filogenético, mientras que la identidad humana estaría definida en términos epistemológicos y daría cuenta de los conocimientos que tienen los humanos sobre ellos mismos, aludiendo a aspectos contingentes. (shrink)

Topics in Cognitive Science, Volume 14, Issue 3, Page 634-645, July 2022.

This chapter contains sections titled: Introduction On Law and Morality Legal Rights and Legal Principles Law and Legal Systems Deontic Logic and Legal Philosophy Philosophical Doctrines in Latin America Conclusion References.

The relevance of Martin Heidegger’s thinking to Paul Celan’s poetry is well known. Between Celan and Heidegger proposes that, while the relation between them is undeniable, it is also marked by irreducible discord. Pablo Oyarzun begins with a deconstruction of Celan’s Todtnauberg, written after the poet visited Heidegger in his Schwarzwald cabin. The poem stands as a milestone, not only in the complex relationship between the two men but also in the state of poetry and philosophy in late modernity, (...) in the aftermath of the Holocaust. Discussion then turns to The Meridian, Celan’s acceptance speech for the prestigious Büchner Prize for German language literature. Other issues are insistently addressed—place, art, language, pain, existence, and the Heideggerian notion of dialogue—as Oyarzun revisits several essential poems from Celan’s oeuvre. A rare translation of Oyarzun’s work into English, Between Celan and Heidegger affirms the uniqueness of Celan’s poetry in confrontation both with Heidegger’s discourse on Dichtung (a poetic saying centered in the idea of gathering) and with Western philosophical notions of art, technē, mimesis, poiesis, language, and thinking more broadly. (shrink)

What kind of discourse is likely to build up constitutional norms? How do legal-philosophical insights get along with competing political claims? This book presents the main conclusions from the CITC (Congreso Internacional de Teoria Constitucional) in Cordoba, Argentina. While addressing the very foundations of Constitutional Law, leading scholars from Europe and America got together to debate legal and political issues which impinge upon institutional design and polity assessment, political representation and rights protection. Not to mention other vexing challenges such as (...) the proper latitude of judicial review, the threatening phenomena of untamed emergency powers and the current international dimension of supra-national state-building. Beyond governance and human rights discourse, the core content of this book is concentrated on shedding some light on which theoretical and/or political conditions could better stand and give shelter to civil obedience and constitutional patriotism. (shrink)

La lectio divina es un ejercicio ascético y espiritual usado por la comunicad cristiana en las asambleas litúrgicas. Desde los Padres del Desierto su práctica nunca se ha extinguido como ejercicio espiritual. Ahora parece haber vuelto con fuerza como ejercicio de lectura de la Palabra de Dios. La primera parte del artículo recrea los datos históricos fundamentales, la segunda explica su validez para los cristianos y las comunidades de nuestro tiempo.

A partir de la aparentemente contradictoria expresión “nostalgia de futuro”, en el presente artículo nos adentramos en el análisis del complejo entramado de tensiones temporales que subyacen a la experiencia humana, en concreto bajo la coloración del tono nostálgico. Trataremos de analizar las relaciones de interdependencia que guardan los distintos horizontes temporales, tanto en la experiencia nostálgica como en la experiencia originaria a la que esta refiere y que es materia de evocación. En tal contexto, pondremos especial énfasis en el (...) papel de las expectativas, y en su influencia en la “futura” emergencia del temple nostálgico, un papel que, aun cuando actúan de manera preconsciente, resulta esencial para comprender la sensación de pérdida de familiaridad que siente quien ve incumplidas tales pretensiones. (shrink)

In this paper we investigate a semantics for first-order logic originally proposed by R. van Rooij to account for the idea that vague predicates are tolerant, that is, for the principle that if x is P, then y should be P whenever y is similar enough to x. The semantics, which makes use of indifference relations to model similarity, rests on the interaction of three notions of truth: the classical notion, and two dual notions simultaneously defined in terms of it, (...) which we call tolerant truth and strict truth. We characterize the space of consequence relations definable in terms of those and discuss the kind of solution this gives to the sorites paradox. We discuss some applications of the framework to the pragmatics and psycholinguistics of vague predicates, in particular regarding judgments about borderline cases. (shrink)

Nostalgia refers to that painful experience due to the impossibility of recovering a past whose memory provokes a feeling of comforting happiness and which, nevertheless, inevitably attracts us. This leads us to a reiterated tendency to remember in search of that space of familiarity, of sense, which we know is lost, although we trust that it’s still redeemable. In this article we will analyze this possibility of reencounter that, in its expression, enables a potential recognition of oneself, that is, an (...) opportunity to reaffirm the past-present continuity that reinforces the unfolding of a life project today, looking at the future. (shrink)

Attention is an essential phenome-non to understand the scope of the perspectival methodology in Ortega; therefore, it’s a useful tool to go further in the study of the applicability of ratiovitalism. At the same time, for it is easy tracking in the Ortega’s work, it’s a good knoll to investigate the sources which influenced Ortega in the establishment and, therefore, to explore the shaping of his meth-odology. Our study, based on an analysis of the phenomenon of attention in Ortega's work, (...) guides us to find, in the phenomenolog-ical studies of perception, the core of such influence, thereby accentuating the role of phenomenology in the establishment of Ortega's thought. (shrink)

Many times we have discussed about the appropriateness of situating to Vygotski in the Olympus of psychology. Even today, 80 years later, his theories continue creating as many supporters, defenders of his originality, as effusive critics who accuse the methodological shortcomings of his work. In our view, one of the shortcomings that have accused more his work is the lack of a solid theoretical foundation that endows meaning with the available host of data and results. Therefore, the objective of this (...) article is to show a feasible solution that would be to approach, sometimes encounter with certain phenomenological propositions, for that matter, from the phenomenological studies of perception and its attention to the weight of cultural predicates, where the language is the main element and, at the same time, the meeting point with Vygotski which will help strengthen the foundations of its proposal. (shrink)

La “percepción” es uno de los elementos imprescindibles para la comprensión del pensamiento orteguiano: es la vía por la que nuestra consciencia se abre a lo circundante, fundamento de toda perspectiva y, en consecuencia, elemento fundamental para el autor. A su vez, es uno de los elementos que convierte al pensador madrileño en uno de los estudiosos más originales en este campo. El presente artículo pretende mostrar cómo, para Ortega, ya desde sus inicios, su filosofía de la percepción –de matriz (...) perspectivista–, al fundamentarse en la mundaneidad del individuo y apoyar su percepción cognoscitiva sobre el fenómeno de la atención, incluye o muda, de un modo nada forzado, a una filosofía de la cultura, pues cuando Ortega habla de percepción, lo hace siempre en tanto percepción con predicados culturales. Fue Ortega uno de los primeros en advertir lo ineludible de dicha cualidad. (shrink)

Un atlas zoopolítico es lo que pretende tener aquí lugar. Un atlas en el sentido en que cada pequeño tratado de los cincuenta y dos que configuran el libro se presenta en la forma de un retrato donde el pensamiento, entre sus pensadores, se aplica en el esfuerzo de hacerse cargo de la presencia animal sin renunciar a la diferencia humana, y en que, entre todos ellos, se delinea en todas sus valoraciones posibles esta nueva presencia del animal entre nosotros. (...) Retrato con animal. Prefacio. Pablo Perera Velamazán es escritor, además de filósofo e historiador del arte. Esta triple condición –y alguna otra (profesor, traductor)- le han permitido entrar en el círculo de los que escriben siempre de los que no saben y le ha impedido, también formar parte de ninguna empresa concreta, salvo la del precipicio del pensamiento en la singularidad que se resiste a los nombres. Allí suelen estar acompañado de niños y animales, de ángeles como muñecos, pero allí también se pueden encontrar a cualquiera. Buen compañero de viaje de invierno. (shrink)