Metalogic is an open-ended cognitive, formal methodology pertaining to semantics and information processing. The language that mathematizes metalogic is known as metalanguage and deals with metafunctions purely by extension on patterns. A metalogical process involves an effective enrichment in knowledge as logical statements, and, since human cognition is an inherently logic–based representation of knowledge, a metalogical process will always be aimed at developing the scope of cognition by exploring possible cognitive implications reflected on successive levels of abstraction. Indeed, it is (...) basically impracticable to maintain logic–and–metalogic without paying heed to cognitive theorizing. For it is cognitively irrelevant whether possible conclusions are deduced from some premises before the premises are determined to be true or whether the premises themselves are determined to be true first and, then, the conclusions are deduced from them. In this paper we consider the term metalogic as inherently embodied under the framework referred to as cognitive science and mathematics. We propose a metalogical interpretation of Arrow’s impossibility theorem and, to that end, choice theory is understood as a mental course of action dealing with logic and metalogic issues, in which a possible mathematical approach to model a mental course of action is adopted as a systematic operating method. Nevertheless, if we look closely at the core of Arrow’s impossibility theorem in terms of metalogic, a second fundamental contribution to this framework is represented by the Nash equilibrium. As a result of the foregoing, therefore, we prove the metalogical equivalence between Arrow’s impossibility theorem and the existence of the Nash equilibrium. More specifically, Arrow’s requirements correspond to the Nash equilibrium for finite mixed strategies with no symmetry conditions. To demonstrate this proof, we first verify that Arrow’s set and Nash’s set are isomorphic to each other, both sets being under stated conditions of non–symmetry. Then, the proof is completed by virtue of category theory. Indeed, the two sets are categories that correspond biuniquely to one another and, thus, it is possible to define a covariant functor that preserves their mutual structures. According to this, we show the proof–dedicated metalanguage as a precursor to a special equivalence theorem. (shrink)

In this paper, I present a framework where possible relations between learning and mental models are explored. In particular, I’ll be concerned with non-symbolic gestures accompanying discourse and their role in inducing the construction of models and therefore deep comprehension and learning in the listener. Also, I’ll be concerned with cognitive and socio-cognitive conflicts and their roles in inducing construction of alternative models of a problem and therefore in learning to reason. Human ability to learn is of great importance for (...) individuals interested in change. Indeed, to learn both declarative and procedural knowledge means to change, and in order to be able to intervene on change in a desired way it is necessary to have a theory of the mental representations and processes involved in learning and a theory of the communication and contexts that favour learning. (shrink)

The aim of the study was to analyze the psychometric properties of the Social Justice Scale, composed by Representation, Recognition, and Redistribution dimensions. Likewise, the contribution of social dominance and the belief in a just world in each dimension were analyzed. A total of 471 young adults residing in Madrid participated in the online preliminary study, with an age range of 18–42 years with different genders. The main results indicated adequate psychometric properties for Social Justice Scale through its three dimensions. (...) In addition, we observed that both social dominance and belief in a just world might be psychosocial variables that modulate the levels of social justice. The main findings of the research and need for replication in future studies are discussed. (shrink)

In this paper we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations, and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted arguments will (...) be used by the agent’s decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory. (shrink)

Los estudios clásicos sobre el humor identifican una interrelación estrecha entre humor y angustia. En la serie narrativa Papelucho, esta interacción es constante en la trama de las distintas novelas. Este trabajo describe la interacción entre humor y angustia que se da en la obra y reflexiona sobre su sentido. Se concluye que la serie propone el humor como estrategia para enfrentar los hechos angustiantes ineludibles en la vida.

BARRICADAS ENTRE LOS ESTANTES - Posturas anarquistas dentro de la bibliotecología.

The idea of family in the western culture has evolved throughout the centuries, from a strong-tied relationship between man-woman-children to the most varied combinations of person-to-person bonds. In many Western societies, the parents’ sexual orientation no longer defines the family structure. This paper studies identity and family relations by means of semiotics and conceptual metaphor theory.

Because of the failed coupe d’etat in Venezuela on April 11th of this year, the country has fallen into an institutional and governability crisis which appears to have no short run solution. This has not only influenced the political activism of new social actors and movements, very distinct f..

The mental model theory claims that the ability to falsify is at the core of human rationality. We assume that cognitive conflicts (CCs) and socio-cognitive conflicts (SCCs) induce falsification, and thus improve syllogistic reasoning performance. Our first study assesses adults’ ability to reason in two different conditions in a single experimental session. In both conditions the participants are presented with conclusions alternative to their own. In the CC condition they are told that these conclusions are casual, in the SCC condition (...) they are told they have been produced by another individual. The second study is analogous to the first, with the exception that the participants deal with the two conditions in two different experimental sessions. The overall results reveal that falsification is enhanced by conflicts experienced at the cognitive level. The results also reveal that learning to reason occurs in adults, when tested in two distinct experimental periods. (shrink)

This study concerned the role of gestures that accompany discourse in deep learning processes. We assumed that co‐speech gestures favor the construction of a complete mental representation of the discourse content, and we tested the predictions that a discourse accompanied by gestures, as compared with a discourse not accompanied by gestures, should result in better recollection of conceptual information, a greater number of discourse‐based inferences drawn from the information explicitly stated in the discourse, and poorer recognition of verbatim of the (...) discourse. The results of three experiments confirmed these predictions. (shrink)

In Engineering Philosophy, the author explores how the concerns of philosophers are relevant to engineering thought and practice in negotiating tradeoffs in diagnosing failure, in constructing adequate models and simulations, and in teaching.

One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide a formal (...) foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (shrink)

Influential theories on moral judgments propose that they rely either on emotions or on innate moral principles. In contrast, the mental model theory postulates that moral judgments rely on reasoning, either intuition or deliberation. The theory allows for the possibility that intuitions lead to utilitarian judgments. This paper reports two experiments involving fifth-grade children, adolescents, and adults; the results revealed that children reason intuitively to resolve moral dilemmas in which action and inaction lead to different outcomes. In particular, the results (...) showed female children to be more utilitarian than female adults in resolving classical moral dilemmas: they preferred an action that achieved a good outcome for a greater number of people. Within the mental model theory’s framework there is no reason to expect that females and males differ in their ability to reason, but at the moment the results for females cannot be generalized to males who were not properly represented in the adults groups of the two experiments. The result revealing that (female) children are more utilitarian than (female) adults, which is hard to explain via many current theories, was predicted by the mental model theory. (shrink)

We study the notion of logical relation in the coherence space semantics of multiplicative-additive linear logic . We show that, when the ground-type logical relation is “closed under restrictions”, the logical relation associated to any type can be seen as a map associating facts of a phase space to families of points of the web of the corresponding coherence space. We introduce a sequent calculus extension of whose formulae denote these families of points. This logic admits a truth-value semantics in (...) the previously mentioned phase space, and this truth-value semantics faithfully describes the logical relation model we started from. Then we generalize this notion of phase space, we prove a truth-value completeness result for and we derive from any phase model of a denotational model for . Using the truth-value completeness result, we obtain a weak denotational completeness result based on this new denotational semantics. (shrink)

As Freud convincingly shows, civilised political life is a source of constant uneasiness. Desire propels the subject towards an end that remains unfulfilled and pleasure is reduced to a transition from one moment of displeasure to another. Freud conceives pleasure as suppression of an absence, as the result of a process. Marcuse in his turn showed that excessive pleasure works as a counterbalance for displeasure, the repression of sexual impulse and the hypertrophy of the genitalia producing intense pleasure. A post-Freudian (...) theory of pleasure would complement Marcuse’s materialist critique of psychoanalysis by learning to conceive pure pleasure (with Aristotle’s Nichomachean Ethics) in a non-metaphysical way, segregated from the notion of superfluity. (shrink)

Este artículo se ocupa de las relaciones entre poder y verdad en los cursos de Michel Foucault. Busca mostrar cómo se ha pasado de una concepción en la que se insistía en las instancias de poder como productoras de discursos verdad al análisis de la fuerza de la propia verdad como límite del poder. En este contexto, luego de haberse ocupado de la introducción de la idea de voluntad en la arqueología de saber y sus consecuencias, aborda las nociones de (...) régimen de verdad y veridicción. (shrink)

Following the assumptions of the mental model theory and its account of moral judgements, we argue for a main role of reasoning in moral judgements, especially in dealing with moral conflicts. In four experiments, we invited adult participants to evaluate scenarios describing moral or immoral actions. Our results confirm the predictions deriving from our assumptions: Given a moral or immoral scenario, the manipulation of the propositions which refer to norms and values results in a scenario eliciting a moral conflict ; (...) when invited to create conflict versions from no-conflict versions of moral or immoral scenarios, individuals manipulate the propositions in the scenario which describe norms and values rather than emotional factors ; the evaluation of conflict scenarios takes longer than the evaluation of no-conflict scenarios, and this is because conflict scenarios involve more deliberative reasoning. We discuss our results in relation to competing.. (shrink)

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard 247). We define an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we associate an underlying formula of linear logic, and a family A of elements of , the interpretation of in the category of sets and relations. Then A is provable in indexed linear logic iff the family A (...) is contained in the interpretation of some proof of . We extend to this setting the product phase semantics of indexed multiplicative additive linear logic introduced in Bucciarelli and Ehrhard , defining the symmetric product phase spaces. We prove a soundness result for this truth-value semantics and show how a denotational model of linear logic can be associated to any symmetric product phase space. Considering a particular symmetric product phase space, we obtain a new coherence space model of linear logic, which is non-uniform in the sense that the interpretation of a proof of !A−B contains informations about the behavior of this proof when applied to “chimeric” arguments of type A . In this coherence semantics, an element of a web can be strictly coherent with itself, or two distinct elements can be “neutral”. (shrink)

The deep comprehension of a text is tantamount to the construction of an articulated mental model of that text. The number of correct recollections is an index of a learner's mental model of a text. We assume that another index of comprehension is the timing of the gestures produced during text recall; gestures are simultaneous with speech when the learner has built an articulated mental model of the text, whereas they anticipate the speech when the learner has built a less (...) articulated mental model. The results of four experiments confirm the predictions deriving from our assumptions for both children and adults. Provided that the recollections are correct, the timing of gestures can differ and can be considered a further measure of the quality of the mental model, beyond the number of correct recollections. (shrink)

Este artículo se ocupa de la recepción de la noción foucaultiana de “gubernamentalidad” en el pensamiento de Roberto Esposito a partir de la traducción al italiano de las lecciones de Foucault de los años 1977 y 1978 en el Collège de France. En primer lugar, se exponen los diferentes contextos de recepción de estas lecciones, en particular en el ámbito anglosajón de los estudios sobre la gubernamentalidad y en el de la crisis del marxismo italiano de finales de los setenta. (...) En segundo lugar, se analiza la posición de Foucault en sus cursos de estos años desde la perspectiva de la oposición entre maquiavelismo y antimaquiavelismo en vista, precisamente, de la recepción italiana. Por último, se aborda la recepción de la noción de “gubernamentalidad” por parte de Roberto Esposito en su obra de 1980, La politica e la storia. El artículo muestra la importancia de esta recepción temprana de las lecciones de Foucault respecto de la formación de la corriente biopolítica italiana y, sobre todo, sus especificidades. (shrink)

This article describes the evolution of the theme of the subject in the work of Michel Foucault. More precisely, it develops the relationship between subject and history, from his first works, dedicated to the history of psychology and of madness, to his courses devoted to biopolitics.Este artículo describe la evolución del tema del sujeto en la obra de Michel Foucault. Más precisamente, desarrolla la relación entre sujeto e historia desde sus primeros trabajos, dedicados a la historia de la psicología y (...) de la locura, hasta sus cursos consagrados a la biopolítica. (shrink)

The self/non-self model, first proposed by F.M. Burnet, has dominated immunology for 60 years now. According to this model, any foreign element will trigger an immune reaction in an organism, whereas endogenous elements will not, in normal circumstances, induce an immune reaction. In this paper we show that the self/non-self model is no longer an appropriate explanation of experimental data in immunology, and that this inadequacy may be rooted in an excessively strong metaphysical conception of biological identity. We suggest that (...) another hypothesis, one based on the notion of continuity, gives a better account of immune phenomena. Finally, we underscore the mapping between this metaphysical deflation from self to continuity in immunology and the philosophical debate between substantialism and empiricism about identity. (shrink)

We continue the investigation, initiated in Salibra et al. (Found Sci, 2020), of Boolean-like algebras of dimension n (nBA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\textrm{BA}$$\end{document}s), algebras having n constants e1,⋯,en\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf e_1,\dots,\mathsf e_n$$\end{document}, and an (n+1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$(n+1)$$\end{document}-ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of nBA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} (...) \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\textrm{BA}$$\end{document}s share many remarkable properties with the variety of Boolean algebras and with primal varieties. Putting to good use the concept of a central element, we extend the Boolean power construction to that of a semiring power and we prove two representation theorems: (i) Any pure nBA\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$n\textrm{BA}$$\end{document} is isomorphic to the algebra of n-central elements of a Boolean vector space; (ii) Any member of a variety of nBAs with one generator is isomorphic to a Boolean power of this generator. This yields a new proof of Foster’s theorem on primal varieties. (shrink)

Entrevista a Edgardo Castro realizada por Harold Dupuis, el 14 de noviembre de 2022.

The main objective of immunology is to establish why and when an immune response occurs, that is, to determine a criterion of immunogenicity. According to the consensus view, the proper criterion of immunogenicity lies in the discrimination between self and nonself. Here we challenge this consensus by suggesting a simpler and more comprehensive criterion, the criterion of continuity. Moreover, we show that this criterion may be considered as an interpretation of the immune 'self'. We conclude that immunologists can continue to (...) speak of the self, provided that they admit that the self/nonself discrimination is not an adequate criterion of immunogenicity. (shrink)

We introduce Boolean-like algebras of dimension n ($$n{\mathrm {BA}}$$ n BA s) having n constants $${{{\mathsf {e}}}}_1,\ldots,{{{\mathsf {e}}}}_n$$ e 1, …, e n, and an $$(n+1)$$ ( n + 1 ) -ary operation q (a “generalised if-then-else”) that induces a decomposition of the algebra into n factors through the so-called n-central elements. Varieties of $$n{\mathrm {BA}}$$ n BA s share many remarkable properties with the variety of Boolean algebras and with primal varieties. The $$n{\mathrm {BA}}$$ n BA s provide the (...) algebraic framework for generalising the classical propositional calculus to the case of n–perfectly symmetric–truth-values. Every finite-valued tabular logic can be embedded into such a n-valued propositional logic, $$n{\mathrm {CL}}$$ n CL, and this embedding preserves validity. We define a confluent and terminating first-order rewriting system for deciding validity in $$n{\mathrm {CL}}$$ n CL, and, via the embeddings, in all the finite tabular logics. (shrink)

En el siguiente trabajo, se analiza el desarrollo histórico del verbo meter, particularmente sus usos auxiliares como construcción incoativa y causativa. El objetivo consiste en establecer un contraste entre las variedades americana y peninsular; esta última, representada por la investigación de Comer. Para el contraste de variedades dialectales, se seleccionan cuatro criterios de análisis: la fijación sintáctica, la incorporación sintáctica, la animacidad del sujeto y la dinamicidad del infinitivo. En este sentido, el estudio se apoya en la teoría de la (...) gramaticalización y en la gramática de construcciones. Los datos analizados han sido extraídos de corpus históricos como el CORDE y CORDIAM. Como conclusión, se describe que el uso americano del verbo meter evidencia un mayor grado de gramaticalización en cuanto al grado de fijación formal y a la incorporación sintáctica, en tanto que el uso peninsular está más gramaticalizado en relación con la animacidad del sujeto y la dinamicidad del infinitivo. Además, se ofrece evidencia en favor de un mayor conservadurismo sintáctico del español americano. (shrink)