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)

Introduction: bearing politics -- Abortion, sin, and the state -- A history of the abortion debate -- Conceiving the nation: representations of abortion in Thailand -- Corrupt girls, victims of men, desperate women: representations of women who abort -- 'A small sin': everyday acts -- 'The truth of our day by day lives': situational ethics -- Global debates, local dilemmas.

This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes that the structural rule of contraction is the main cause of the lack of symmetry in Gödel's interpretation. We use the fact that the dialectica interpretation of intuitionistic logic can be viewed as a composition of Girard's embedding of intuitionistic logic into linear logic followed by de Paiva's dialectica interpretation of linear (...) logic. We then investigate the various properties of the dialectica interpretation, such as the characterisation theorem, and variants of Gödel's interpretation within the linear logic context. The role of contraction in extensions to classical logic, arithmetic and analysis is also discussed. (shrink)

This article presents a parametrized functional interpretation. Depending on the choice of two parameters one obtains well-known functional interpretations such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability, and Stein's family of functional interpretations. A functional interpretation consists of a formula interpretation and a soundness proof. I show that all these interpretations differ only on two design choices: first, on the number of counterexamples for A which became witnesses for ¬A when defining (...) the formula interpretation and, second, the inductive information about the witnesses of A which is considered in the proof of soundness. Sufficient conditions on the parameters are also given which ensure the soundness of the resulting functional interpretation. The relation between the parametrized interpretation and the recent bounded functional interpretation is also discussed. (shrink)

Originally presented as the author's thesis (doctoral--Gregorian University).

O objetivo do artigo é analisar as aparições do termo contemplação na parte IV da Ética de Espinosa, destacando a relação deste conceito com a questão da medida dos afetos. Mostrando que os afetos têm, ontologicamente, a mesma natureza da imaginação, veremos que a intensidade dos afetos dependerá do “grau de afirmação de presença” que a imaginação correspondente contém. A razão, que também é afetiva em Espinosa, difere dos outros afetos na medida em que não pode ter excesso.

In this contribution, I critically discuss the thesis, advanced by some recent writers, that nonreductive physicalists can solve the problem of causal exclusion by resorting to the metaphysical notion of grounding. After discussing the many problems confronted by very recent versions of this proposal, I conclude that a version of Nonreductive Physicalism framed in terms of a notion of realization of properties is in a better position than Grounding Physicalism in order to successfully deal with a notoriously complex metaphysical issue (...) such as the causal exclusion problem. (shrink)

Este artículo se adentra en los temas y tópicos vitales de la obra literaria de Eliacer Cansino, escritor dedicado a la literatura juvenil, e invita a reflexionar sobre cómo su lectura puede desarrollar el pensamiento crítico de los jóvenes lectores del siglo XXI. Para abordar esta investigación, se ha recurrido a una metodología de corte cualitativo, con especial atención a la narrativa biográfica. De esta manera, dado que literatura y realidad constituyen dos caras de una moneda al forjar lectores, se (...) analizó el perimundo literario de Eliacer Cansino. Los resultados justifican que la lectura de la obra de este autor es un referente literario para el desarrollo del pensamiento crítico desde la experiencia lectora de los adolescentes. (shrink)

Accompanying DVD is a filmed segment of the conversation.

El término red social se ha utilizado para denotar conjuntos complejos de relaciones entre miembros de los sistemas sociales en todas las dimensiones, desde el ámbito interpersonal hasta el internacional. Los jóvenes utilizan las redes sociales como un elemento de comunicación a través de las Nuevas Tecnologías. Estos espacios virtuales son una evasión para ellos, pero hay que alertar a los menores del peligro de revelar datos personales a través de Internet.

Friedrich Nietzsche in seinen Werken ist ein unveränderter, hochwertiger Nachdruck der Originalausgabe aus dem Jahr 1894. Hansebooks ist Herausgeber von Literatur zu unterschiedlichen Themengebieten wie Forschung und Wissenschaft, Reisen und Expeditionen, Kochen und Ernährung, Medizin und weiteren Genres. Der Schwerpunkt des Verlages liegt auf dem Erhalt historischer Literatur. Viele Werke historischer Schriftsteller und Wissenschaftler sind heute nur noch als Antiquitäten erhältlich. Hansebooks verlegt diese Bücher neu und trägt damit zum Erhalt selten gewordener Literatur und historischem Wissen auch für die Zukunft (...) bei. (shrink)

Resumen En este trabajo se analizan las pautas de elección entre los cuatro paradigmas gramaticales de segunda persona del español peninsular (los prototípicos, representados por los pronombres tú y vosotros, y los desplazados, por usted y ustedes), cuando se usan para indexar a interlocutores específicos, en un corpus de discurso radiofónico de la ciudad española de Salamanca. Se plantea la hipótesis de que los fundamentos cognitivos de las personas gramaticales se proyectan en su potencial sociopragmático como recursos para la configuración (...) de identidades contextuales. Tras clasificar a los participantes del corpus en cuatro tipos de identidad socioprofesional recurrentes en la comunicación radiofónica (locutores, personajes públicos, políticos y hablantes particulares), se calculan las frecuencias con que cada tipo dirige y recibe cada tratamiento de segunda persona. El análisis cuantitativo constituye un punto de partida para la observación cualitativa de los contextos de uso. Tras este se concluye que la elección entre las cuatro formas de segunda persona combina los parámetros sociopragmáticos de cercanía-distancia (que afecta a la elección entre formas prototípicas y desplazadas) e individualidad-grupalidad (que afecta a la elección entre formas singulares y plurales). Tales parámetros remiten, a su vez, al continuum discursivo-cognitivo entre la subjetividad y la objetividad. (shrink)

The purpose of this article is to analyze Spanish first-person plural subjects as a cognitively grounded grammatical choice serving various discursive functions. Both the expressed and omitted variants of the subject will be considered, even if omission is by far the more frequent choice in Spanish and the more communicatively versatile one. The particularly vague reference of omitted nosotros ‘we’ – always involving an extension of the self towards a wider notional scope – results in a remarkable variety of possible (...) contextual projections. It can be used to signal speaker identities as well as manage interpersonal relationships through the iconic suggestion of viewpoint coincidence. First-person plural clauses are quantitatively and qualitatively investigated across two corpora of contemporary Spanish comprising a variety of spoken and written genres. It is found that, aside from the basic distinction between hearer-exclusive and hearer-inclusive first persons, a third, intermediate variant can be considered, that of empathic hearer-exclusive uses. These are typical of interactions where involvement of the audience is sought even if they are not referentially included in the subject, as is usual in some varieties of spoken mass-media discourse. Each one of the referential variants is used with different frequencies and contextual repercussions, depending on the socio-functional demands and goals of particular textual genres. (shrink)

The Perfection of the Universe gives an account of the idea of the universe and its perfection in Aquinas's philosophy, but at the same time it provides an example of how a cosmology can be developed in a teleological framework. Although this is the cosmology of one who was first and foremost a theologian, the book tries to show how it was articulated philosophically and in relation to a particular model of the universe. As a contribution to the history of (...) philosophy, and Thomistic studies in particular, it seeks to draw more attention to Aquinas's view of the world, which has been relatively neglected in favor of emphasis on his theory of knowledge and theory of being, and at the same time to show how it is integral to his very understanding of being. The book thereby brings out a dimension of rationality in Aquinas's philosophy that is often ignored, especially as it concerns creation as a whole and what Aquinas refers to as convenientia in this whole. The systematic nature of Aquinas's conception of the universe is highlighted by the author's attempt to reconstruct the movement of his thought. Thus Oliva Blanchette focuses not just on the universe or on perfection but on the perfection of the universe as a unified idea that recurs frequently in both the philosophy and the theology of Aquinas and that has its own philosophical dynamic both as a logic and as an actuality. In doing so, he endeavors to correct misconceptions about Aquinas's idea of the universe, such as that found in Lovejoy's Great Chain of Being, and to show how the idea stands up philosophically even while being connected with a scientific model of the universe now viewed as obsolete. (shrink)

The reception of the translations of Aristotelian and pseudo-Aristotelian works at the University of Paris in the thirteenth century promoted a new understanding of the sciences as specialized fields of knowledge. The huge amount of translations required a new organization of knowledge, which included novel subjects and categories. Among these there is a very special case, namely the pseudo-Aristotelian De plantis, translated from Arabic into Latin and then back into Greek to be re-translated into Latin again. De plantis was included (...) in the new curriculum in Ripoll 109, and constituted the main source for botanical studies until the sixteenth century. Throughout this paper we will explore the reception and impact of De plantis in both the Arabic and the Latin traditions. We aim to show its foundational role in the development of botany as a theoretical discipline within the natural sciences. (shrink)

Recent research put forward the hypothesis that eye movements are integrated in memory representations and are reactivated when later recalled. However, “looking back to nothing” during recall might be a consequence of spatial memory retrieval. Here, we aimed at distinguishing between the effect of spatial and oculomotor information on perceptual memory. Participants’ task was to judge whether a morph looked rather like the first or second previously presented face. Crucially, faces and morphs were presented in a way that the morph (...) reactivated oculomotor and/or spatial information associated with one of the previously encoded faces. Perceptual face memory was largely influenced by these manipulations. We considered a simple computational model with an excellent match that expresses these biases as a linear combination of recency, saccade, and location. Surprisingly, saccades did not play a role. The results suggest that spatial and temporal rather than oculomotor information biases perceptual face memory. (shrink)