A new proof style adequate for modal logics is defined from the polynomial ring calculus. The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra???Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S 5, and can be easily extended to other modal (...) logics. (shrink)

Networks or partnerships are used by humans since the beginning of humanity and its analysis raises concerns from many different sectors of society. In the era of the network of networks, Internet, networks are generated by virtual connections of the agents. Social Network Analysis studies the relationship relation to each other, the social structure. It is an area that is emerging as essential in decision-making processes for its ability to analyze and intervene in the behaviour of structures. We analyze three (...) NSA tools that monitor conversations on the Organization "IFLA" keyword in order to measure the feeling of them, managing social efforts to relate the flows between the entities, groups, etc. (shrink)

RESUMEN Se exploran las relaciones entre hegemonía y filosofía de la praxis en A. Gramsci. Se examina la influencia de la filosofía hegeliana sobre estas nociones en los Cuadernos de la cárcel. Asimismo, se estudia la crítica a estas nociones a la luz del feminismo de la diferencia y del debate sobre hegemonía, universalidad y contingencia iniciado por E. Laclau, J. Butler y S. Žižek. Se concluye que concebir la hegemonía desde la perspectiva de la filosofía de la praxis significa (...) que la acción político-intelectual, según Gramsci, no solo implica la formación de una hegemonía alternativa, sino una crítica políticamente operante a la pretensión de universalidad del discurso hegemónico a partir de la exposición de su contingencia histórica. ABSTRACT The paper explores the relations between hegemony and the philosophy of praxis in A. Gramsci, and examines the influence of Hegelian philosophy on these notions as set forth in the Prison Notebooks. Likewise, it studies the critique of these notions from the perspective of difference feminism and of the debate over hegemony, universality, and contingency initiated by E. Laclau, J. Butler, and S. Žižek. The conclusion is that conceiving hegemony from the perspective of the philosophy of praxis means that, according to Gramsci, political-intellectual action implies not only the formation of an alternative hegemony, but also a politically operative critique of the claim to universality of hegemonic discourse, on the basis of the unveiling of its historical contingency. (shrink)

The ‘participatory turn’ in science and technology governance has resulted in the growth of initiatives designed to engage lay people in consultation and decision-making on controversial matters. Almost from the start there has been both enthusiasm and serious critique of these exercises, from scholars and activists. The gaps and challenges are well known. In this paper we indicate the limitations of deliberative mechanisms as regards how they cope with familiar forms of people’s engagement with a given matter. We examine how (...) this phenomenon unfolded at the Barcelona Citizen Conference on the Digitalization of Society; a participatory exercise inspired by the model of consensus conferences that took place in 2014 in Barcelona. Our perspective on the topic is inspired by Sociology of Engagements. Focusing on how participants and organizers deal with individual anecdotes, worries and testimonies reported during the conference, the analysis shows how these formats are ignored, externalized, banned and re-formed during deliberations. This phenomenon is seen as supporting a civic-liberal regime of engagement. (shrink)

Flexibility is a desired characteristic that people must have to adjust to inevitable processes of economic, cultural, and political globalization. Engineering education reform is often used as a justification for changes in curricula, delivery modes, and problem solving that should lead to curriculum integration, modular pedagogies, and systemic reform. Some educators have incorporated the concept in their programs and courses in a variety of ways whereas others have resisted changes to this day. Yet a detailed analysis of the meanings of (...) flexibility, its origins and different forms, along with its challenges and opportunities for engineering education, remains to be done. This article surveys the historical origins of flexibility, identifies different forms of flexibility in engineering education, outlines existing challenges to flexibility-drive educational reform, and provides alternative views to the existing interpretation of flexibility in engineering education. (shrink)

In this paper we investigated how justifications for price increases are associated with risky decision making and emotional responses. Across two studies with paired lottery choices and sequential decisions, we found that participants presented with a justification for price increases based on increasing demand decided to invest in a comparatively riskier asset more often than participants presented with a justification for price increases based on increasing tax or those presented with no justification at all. We also found that participants presented (...) with justifications for price increases based on increasing demand also reported more arousal displayed higher galvanic skin response than people in the other two justification conditions. Together, these studies provide evidence that the sole increasing demand underlying a price increase of a risky asset can influence the decision to buy it and suggests that emotional activation is involved in such a decision process. (shrink)

Prosocial behavior and its effects have been analyzed in times of crisis and natural disasters, although never before in the face of such exceptional circumstances as those created by the COVID-19 pandemic. This research analyzes the role of PsB on satisfaction with life in Colombia, considering the negative emotional impact of events that began in February 2020. We conduct an exploratory analysis using a sample of Colombia’s general population with an average age of 44.66 years. Using the Classification Tree technique, (...) we find that engaging in one or more PsBs enhances SWL and decreases the impact of negative emotions such as pessimism, indecisiveness, and irritability that have emerged during the COVID-19 pandemic. These findings are significant because they confirm the importance of life satisfaction as a personal resource for coping with complex situations and provide evidence of the benefits of PsB on one’s wellbeing. (shrink)

The initial stage for the discussion is the distinction between bona fide and fiat objects drawn by Barry Smith and collaborators in the context of formal ontology. This paper aims at both producing a rationale for introducing a hitherto unrecognized kind of object—here called ‘Interactive Fiat Objects’ (IFOs)—into the ontology of objects, and casting light on the relationship between embodied cognition and interactive ontology with the aid of the concepts of affordance and ad hoc category. I conclude that IFOs are (...) similar to fiat objects, affordances and ad hoc categories in a number of ways, yet they differ from these in important respects. Interaction is key to understanding the existence and peculiarities of IFOs. By adopting an embodied perspective on cognition, we can enrich our ontological typologies and highlight relevant features of our physical and symbolic environment that are otherwise overlooked. This should improve our understanding of object ontology and persuade us to include IFOs in our metaphysical inventories. (shrink)

RESUMENLa teoría representacional de la mente, basada en el concepto de representación, ha sido muy criticada, especialmente por recientes enfoques en la ciencia cognitiva, provenientes de la Biología y la Inteligencia Artificial. En este trabajo me centro especialmente en el punto de vista de Francisco Varela, quien sugiere la exclusión del término representación en la explicación de los sistemas cognitivos. Muestro que ello no es necesario, y que hay razones para hablar de representaciones en la relación que tenemos con el (...) mundo en términos de conocimiento, por tanto, el antirrepresentacionalismo de Varela es inadecuado. En ese sentido me parece más afortunada la apreciación que hacen de la ciencia cognitiva y la filosofía de la mente Andy Clark y Pascual Martínez-Freire, y ésta es la postura que defenderé en contra de Varela.PALABRAS CLAVEMENTE, REPRESENTACIÓN, COGNITIVISMO, CONDUCTA, SISTEMAABSTRACTThe representational theory of the mind, based on the concept of representation, has been very criticized, specially by recent approaches to cognitive science, originated from Biology and Artificial Intelligence. In this work I focus my attention specially on the point of view of Francisco Varela, who suggests the exclusion of the term representation in the explanation of cognitive systems. I show that it is unnecessary, and that there are reasons to talk about representations in the relation that we have with the world in terms of knowledge, and therefore, Varela’s antirepresentacionalism is inadequate. In that connection the appreciation that Andy Clark and Pascual Martínez-Freire do of cognitive science and the philosophy of the mind seems more fortunate to me, and this is the position that I will defend against Varela.KEYWORDSMIND, REPRESENTATION, COGNITIVISM, BEHAVIOR, SYSTEM. (shrink)

In the present paper we study the framework of additive utility theory, obtaining new results derived from a concurrence of algebraic and topological techniques. Such techniques lean on the concept of a connected topological totally ordered semigroup. We achieve a general result concerning the existence of continuous and additive utility functions on completely preordered sets endowed with a binary operation ``+'', not necessarily being commutative or associative. In the final part of the paper we get some applications to expected utility (...) theory, and a representation theorem for a class of complete preorders on a quite general family of real mixture spaces. (shrink)

This paper explores the concept of a social evaluation functional in the case of an arbitrary set of alternatives. In the first part, a characterization of projective social evaluations functionals is shown whenever the common restricted domain is the set of all bounded utility functions equipped with the supremum norm topology. The result makes a crucial use, among others, of a continuity axiom. In the second part, a comparison meaningful property is introduced for a social evaluation functional which allows us (...) for obtaining a more general result with no continuity requirements. Finally, an impossibility theorem, which is reminiscent of that is obtained by Chichilnisky in (Q J Econ 97:337–352, 1982) but without using topological conditions, is offered. (shrink)

Many philosophers and scientists rightly take hallucinations to be phenomena that challenge in a most pressing way our theories of perception and cognition, and epistemology in general. However, very few challenge the received views on the hallucinatory experience and even fewer critically delve into the subject with both breadth and depth. There are all kinds of problems concerning hallucinations—including conceptual, methodological, and empirical issues—that call for a multilevel analysis and an interdisciplinary approach which in turn provide the detail and scope (...) that the subject demands. In this paper, I present and briefly discuss four interrelated problems: (1) definitions, (2) dependence on perception, (3) two views on hallucinations, and (4) methodology. Neglect or underestimation of these problems, among other things, continue to prevent a proper understanding of the concept and the corresponding experience, giving rise to misconceptions and even plain myths on the subject. Hallucinations do occur; but in order to productively investigate them (for whatever end), we first need to get clear on the concept and develop a suitable epistemological framework for their analysis. (shrink)

This paper analyzes the process of perceptual recalibration (PR) in light of two cases of technologically-mediated cognition: sensory substitution and perceptual modification. We hold that PR is a very useful concept - perhaps necessary - for explaining the adaptive capacity that natural perceptive systems display as they respond to functional demands from the environment. We also survey critically related issues, such as the role of learning, training, and nervous system plasticity in the recalibrating process. Attention is given to the interaction (...) between technology and cognition, and the case of epistemic prostheses is presented as an illustration. Finally, we address the following theoretical issues: (1) the dynamic character of spatial perception; (2) the role of functional demands in perception; (3) the nature and interaction of sensory modalities. We aim to show that these issues may be addressed empirically and conceptually - hence, the usefulness of sensory-substitution and perceptual-modification studies in the analysis of perception, technologically-mediated cognition, and cognition in general. (shrink)

This paper analyzes the process of perceptual recalibration in light of two cases of technologically-mediated cognition: sensory substitution and perceptual modification. We hold that PR is a very useful concept — perhaps necessary — for explaining the adaptive capacity that natural perceptive systems display as they respond to functional demands from the environment. We also survey critically related issues, such as the role of learning, training, and nervous system plasticity in the recalibrating process. Attention is given to the interaction between (...) technology and cognition, and the case of epistemic prostheses is presented as an illustration. Finally, we address the following theoretical issues: the dynamic character of spatial perception; the role of functional demands in perception; the nature and interaction of sensory modalities. We aim to show that these issues may be addressed empirically and conceptually — hence, the usefulness of sensory-substitution and perceptual-modification studies in the analysis of perception, technologically-mediated cognition, and cognition in general. (shrink)

Gilbert Ryle claimed that intelligent actions and activities are not merely the external signs of inner mental workings but rather that such actions and activities are the workings of the mind itself. In this thesis I propose an interpretation and defence of sich claim, against a common an, in my view, mistaken way of understanding Ryle's position. In chapter [1]. I introduce the argumentative thread of this thesis and a more detailed overview of the chapters. In chapter [2], I criticise (...) Stanley and Williamson's understanding of Ryle's argument and position. In chapters [3]-[5] I examine Ryle's position and provide a way of understanding his view against what I take his main opponent, INTELLECTUALISM, to be. Chapter [6] offers an argument against INTELLECTUALISM as a way of motivating a Rylean account intelligent actions and activities. I conclude in chapter [7] with a response to purported counter-examples to the view I propose. (shrink)

The aim of our experiment was to analyse the effect of the emotional valence (positive, negative, or neutral) on true and false recognition, matching the arousal, frequency, concreteness, and associative strength of the study and recognition words. Fifty younger adults and 46 healthy older adults performed three study tasks (with words of different valence: positive, negative, neutral) and their corresponding recognition tests. Two weeks later, they performed the three recognition tests again. The results show that words with a negative valence (...) produced less true recognition and less false recognition than words with a positive or neutral valence, in both younger and older adults, on the immediate recognition test. This pattern of results was also found in the younger adults on the delayed recognition test, whereas in the older participants, these differences disappeared. Thus, when arousal is controlled, both younger and older adults tend to recognise negative information worse than positive or neutral information, but they also commit fewer errors. Results would suggest that the greater arousal commonly associated with negative stimuli, rather than their own valence, could explain some of the contradictory results found in the literature. (shrink)

The well-known algebraic semantics and topological semantics for intuitionistic logic (Int) is here extended to Wansing's bi-intuitionistic logic (2Int). The logic 2Int is also characterised by a quasi-twist structure semantics, which leads to an alternative topological characterisation of 2Int. Later, notions of Fregean negation and of unilateralisation are proposed. The logic 2Int is extended with a ‘Fregean negation’ connective ∼, obtaining 2Int∼, and it is showed that the logic N4⋆ (an extension of Nelson's paraconsistent logic) results to be the unilateralisation (...) of 2Int∼ via ∼. The logic 2Int∼ is also characterised by a Kripke-style semantics, a twist structure semantics and a topological semantics. (shrink)

Dyadic semantics is a sort of non-truth-functional bivalued semantics introduced in Caleiro et al. Logica Universalis, Birkhäuser, Basel, pp 169–189, 2005). Here we introduce an algorithmic procedure for constructing conservative translations of logics characterised by dyadic semantics into classical propositional logic. The procedure uses fresh propositional variables, which we call hidden variables, to represent the indeterminism of dyadic semantics. An alternative algorithmic procedure for constructing conservative translations of any finite-valued logic into classical logic is also introduced. In this alternative procedure (...) hidden variables are also used, but in this case to represent the degree of true or falsehood of propositions. (shrink)

Despite abundant evidence associating CD38 overexpression and CD4 T cell depletion in HIV infection, no causal relation has been investigated. To address this issue, a series of mechanisms are proposed, supported by evidence from different fields, by which CD38 overexpression can facilitate CD4 T cell depletion in HIV infection. According to this model, increased catalytic activity of CD38 may reduce CD4 T cells’ cytoplasmic nicotin‐amide adenine dinucleotide (NAD), leading to a chronic Warburg effect. This will reduce mitochondrial function. Simultaneously, CD38's (...) catalytic products ADPR and cADPR may be transported to the cytoplasm, where they can activate calcium channels and increase cytoplasmic Ca2+ concentrations, further altering mitochondrial integrity. These mechanisms will decrease the viability and regenerative capacity of CD4 T cells. These hypotheses can be tested experimentally, and might reveal novel therapeutic targets. (shrink)

Some properties and an algorithm for solving systems of multivariate polynomial equations over finite fields are presented. It is then shown how formulas of propositional logics can be translated into polynomials over finite fields in such a way that several logic problems are expressed in terms of algebraic problems. Consequently, algebraic properties and algorithms can be used to solve the algebraically-represented logic problems. The methods described herein combine and generalise those of various previous works.

La novela Habana Underguater y los cuentos del universo Underguater, publicados por el autor cubano Erick J. Mota en la primera década del siglo xxi, reflejan una forma diferente de hacer ciencia ficción en Cuba, y proponen una reapropiación y modernización de los mitos y las culturas transculturadas locales y caribeñas, poniendo énfasis en las culturas y etnias de origen afrodescendiente. A través de un ciberpunk —con “i” latina—, el universo Underguater reflexiona sobre el pasado, el presente y el futuro (...) distópicos de la isla caribeña y se pone como ejemplo de las propuestas de muchos otros escritores del fantástico caribeño del siglo xxi. (shrink)

The dropout rate among Spanish university students is very high compared to the European mean, creating a pressing need for the introduction of policies and programmes aimed at increasing rates of persistence. In this article, we study this problem by combining students? perceived learning outcomes with their dropout intentions, and we propose a research model that considers subjective factors that might impact this decision. The model is estimated for two degree courses: Business Administration and Nursing. The estimation method uses structural (...) equations based on the partial least squares algorithm. This allows the construction of indices for the variables of interest, enabling us to make comparisons between courses and over time. To reduce dropout intentions, efforts need to be focused on obtaining better cognitive outcomes, as well as on achieving a higher level of student satisfaction with their university experience. (shrink)