Formalised knowledge systems, including universities and research institutes, are important for contemporary societies. They are, however, also arguably failing humanity when their impact is measured against the level of progress being made in stimulating the societal changes needed to address challenges like climate change. In this research we used a novel futures-oriented and participatory approach that asked what future envisioned knowledge systems might need to look like and how we might get there. Findings suggest that envisioned future systems will need (...) to be much more collaborative, open, diverse, egalitarian, and able to work with values and systemic issues. They will also need to go beyond producing knowledge about our world to generating wisdom about how to act within it. To get to envisioned systems we will need to rapidly scale methodological innovations, connect innovators, and creatively accelerate learning about working with intractable challenges. We will also need to create new funding schemes, a global knowledge commons, and challenge deeply held assumptions. To genuinely be a creative force in supporting longevity of human and non-human life on our planet, the shift in knowledge systems will probably need to be at the scale of the enlightenment and speed of the scientific and technological revolution accompanying the second World War. This will require bold and strategic action from governments, scientists, civic society and sustained transformational intent. (shrink)

La presente contribución indaga una dimensión de la intensa y compleja relación intelectual entre Henri de Lubac y Michel de Certeau, graficada en el paso del Corpus Mysticum a La fábula mística. En particular nos detenemos en una arista del proyecto intelectual de Lubac que busca desempolvar las potencialidades de la simbólica medieval para contrarrestar las nefastas derivas de la racionalidad moderna. Dicho proyecto se inspira en una ontología sacramental y en la centralidad de la allegoria in factis, heredada del (...) pensamiento de los Padres de la Iglesia. La reflexión que realiza Certeau en La fábula mística muestra ser no solo la continuación del Corpus Mysticum de Lubac, sino que de manera tangencial evidencia los límites del proyecto de su maestro, a través de su atención lúcida a la ruptura nominalista. Certeau muestra así que la emergencia de la mística moderna de los siglos xvi-xvii nace como respuesta al desaplazamiento de la allegoria in factis a la allegoria in verbis, que estaría a la raíz de la desontologización del lenguaje y del cisma entre la experiencia espiritual y la teología. (shrink)

This article seeks to identify the theoretical tools that supported Michel de Certeau's political discernment during the crisis of May 1968 in France. De Certeau's ability to elucidate the novelty and complexity of this event is linked to the intertwining of his experiences as a historian, traveller (voyageur), and Christian (specifically a Jesuit). De Certeau's articulation of a 'theology of difference' allowed him to construct the intellectual and spiritual tools that enabled a lucid discernment of May 1968. Through this theology, (...) derived from negative theology, de Certeau made the experience of faith operative at a moment of cultural crisis. The article also analyses possibilities involved in the ‘rupture’, that is, the fracture that is implied in modernity; in the notion of an event that highlights the deficiency of language, its incapacity to establish ‘a truthful communication’ in society; and the recognition of the poetic dimension of speech, which is capable of interweaving speech and action. The May 1968 event invites these elements mutually to redefine themselves. (shrink)

O presente texto se debruçou sobre as questões relacionadas ao ensino e avaliação da aprendizagem em filosofia após sua presença obrigatória nos currículos de ensino médio do país. Documentos como as Orientações Curriculares Nacionais e o Currículo de Filosofia do Estado de São Paulo indicam uma abordagem de seu ensino pautado por competências e habilidades.

O presente artigo deseja expor a apreciação dubitativa do realismo na Primeira Meditação, no intuito de mostrar o impacto dessa ação cartesiana sobre a doutrina da creatio ex nihilo, consolidada filosoficamente por Tomás de Aquino como autêntica cosmologia cristã, em substituição à cosmologia pagã erguida sobre o princípio ex nihilo nihil fit. Faremos, primeiramente, uma breve exposição dos fundamentos realistas que embasam as provas da criação elaboradas pelo Aquinate. Em seguida, apresentaremos como a submissão do realismo ao método cartesiano da (...) dúvida acarreta o inevitável desmoronamento do edifício cosmológico cristão. (shrink)

No cartesianismo contemporâneo, devido à retomada da teoria da livre criação das verdades eternas, alguns intérpretes trazem ao debate internacional um interessante viés interpretativo do pensamento de Descartes. Segundo eles, ao apresentar a indiferença da vontade como atributo de Deus, Descartes instaura uma concepção totalmente perigosa, da qual derivam a incompatibilidade entre a indiferença divina e o sistema cartesiano, deflagrando, enfim, um irracionalismo radical.

The contribution of Jesuits to the different fields of knowledge, including philosophy, is historically well known. In fact, since the foundation of the Society of Jesus, in the 16th century, Jesuits from different generations and cultures have taken part in the philosophical debates of their time and their different contexts. Since the foundation of the Society of Jesus, in 1540, the Jesuits, individually and as a body, have engaged in a fruitful dialogue between the Christian tradition and different dimensions of (...) human culture. During almost five centuries, numerous Jesuits taught philosophy in academic institutions all over the world. Some of them have their names recorded in the history of philosophy. Of course, the majority of them is not anymore remembered, despite their valuable contribution to the development of the Jesuit intellectual tradition up to our times. In fact, as an heir of the Roman College, the first academic institution founded by the Society of Jesus, in 1551, the Pontifical Gregorian University, in Rome, is a witness to this tradition, which has been kept alive thanks to the discrete work of both Jesuits and lay intellectuals. Known as the University of the Nations, this institution corroborates not only the capacity of the Jesuit tradition to put faith in dialogue with reason, but also the option to take the concrete reality of each human culture and its historical context as its point of departure. The Jesuits’ willingness to engage in dialogue with different intellectual perspectives is underpinned by one of the most defining traits of the Jesuit charism, namely, the conviction that God can be found and served in all things. Accordingly, Jesuits have adopted, from the beginning, an amenable stance towards the world with its different cultures and intellectual trends. As such, Jesuits have, since the beginning, inhabited the frontiers of human thought. According to the contemporary philosopher Paul Gilbert, SJ, within the institutions under the leadership of the Society of Jesus, it was always possible to maintain an equilibrium between two principles: “intellectual unity” and “openness to the world.” Without detriment to the Jesuit identity, the companions of Ignatius have been willing to dwell in the various dimensions of human reality, in their multiplicity and plurality. Either in the renewal of Aristotle’s and Aquinas’ metaphysics, or in the dialogue with modern philosophers such as Descartes, Kant, or Hegel, and even in the inculturation in non-European contexts, the Jesuits have been able to preserve the Christian tradition through an original development of human culture in all its richness and diversity. With respect to the last century, it has to be acknowledged that a significant number of Jesuits made significant contributions, with recognized competence, to philosophy. Certainly, the 20th century was particularly complex in many respects. It would be enough to recall that this period, which brought with it unprecedented social, scientific, and technological developments, was also the stage for the two World Wars. With the emergence or consolidation of philosophical currents such as Marxism, Phenomenology, Existentialism, Structuralism, and Post-Modernism, the past century was, without any doubt, fascinating from the intellectual point of view. Jesuits such as Karl Rahner, Frederick Copleston, Bernard Lonergan, William Norris Clarke, John F. Kavanaugh, Teilhard de Chardin, Gaston Fessard, Jean Daniélou, Henri de Lubac, Michel de Certeau, Xavier Tilliette, Paul Valadier, Paweł Siwek, Ignacio Ellacuría, Francisco Taborda, Henrique de Lima Vaz and, in the Portuguese context, Diamantino Martins or Júlio Fragata, among many others, were able to engage different philosophical currents, problems and controversies of their times. Faithful to their long tradition of being present in the frontiers of thought, those Jesuits have engaged in a fruitful dialogue with these intellectual trends, offering relevant contributions to different ongoing debates. Within this context, the present volume recalls and discusses the philosophical contribution of some of the most prominent Jesuit protagonists of the intellectual interchange that took place in the 20th century. This volume also intends to celebrate the 75th anniversary of the Revista Portuguesa de Filosofia, which happens just before the inauguration of the Ignatian Year. Decreed by Father Arturo Sosa, the Superior General of the Society of Jesus, this celebratory Year will start on May 20, 2021, precisely 500 years after Ignatius of Loyola, the founder of the Jesuit Order, was wounded at the battle of Pamplona. We are happy that this volume could bring together outstanding specialists in the thought of some of the most prominent Jesuits philosophers of the last century, namely Paul Valadier, Paul Gilbert, Józef Bremer, Jacek Poznański, Alexander Maar, Patrick H. Byrne, M. Ross Romero, Carlos Alvarez, Hélio Pereira Lima, José Gama, Domingos Terra, Gabriel Flynn, Marie-Gabrielle Lemaire, José Sols Lucia, Lorena Zuchel Lovera, Pedro Pablo Achondo Moya, Enzo Solari, Massimo Borghesi, Mendo Castro Henriques, João Barbosa, and Dominique Lambert. In addition, in the celebration of the 100th anniversary of Júlio Fragata’s birth, Maria Teresa Fragata presents a memory of his life and thought. We hope that this volume may be useful to all those interested in the Jesuit philosophical tradition. Hopefully, it will stimulate scholars to pursue a fruitful and creative dialogue with contemporary philosophy, in the footsteps of the Jesuit philosophers featured here. We would like to thank all the authors and all those who, in different ways, made this volume possible. (shrink)

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

Research has demonstrated that policing is a stressful occupation and has a negative impact on police officers’ mental and physical health, performance, and interactions with citizens. Mental health at the workplace has become a concern due to the costs of depression, anxiety, burnout, and even suicide, which is high among police officers.To ameliorate occupational health, it is crucial therefore to identify stress and burnout levels on a regular basis. However, the instruments frequently used to measure stress have not valorized the (...) specificity of policing tasks. This study aims: i) conducting a literature review, to identify questionnaires used to assess occupational stress and burnout among police officers; ii) to analyze the psychometric characteristics of a Portuguese version of Operational Police Stress Questionnaire (PSQ-Op); and, using the PSQ-op and other questionnaires, iii) to identify operational stress, burnout, and distress levels among Portuguese police officers. The literature review identified 108 studies, which use a multiplicity of questionnaires to measure burnout or occupational stress among police officers, but few studies use specific police stress questionnaires. Sample sizes were mostly below 500 participants and studies were mainly developed in the last decade in the USA and Brazil, but also in another 24 countries, showing the extent of the interest in this topic. This study applied to 2057 police officers from National Portuguese Police, a force policing urban centers, the PSQ-Op, as well the Spanish Burnout Inventory and the Kessler Psychological Distress Scale.The results show that the psychometric properties of the Portuguese version of PSQ-Op are adequate. Factorial analysis revealed two dimensions defined as social and work issues, which were associated with measures of distress and burnout.Fit indices suggested a second-order solution called operational police stress. Overall, and considering the scale range of each questionnaire, the results showed moderate values of operational stress, distress, and burnout. However, considering their cut-off points, 85% of the sample presented high operational stress levels, 11% critical values for burnout, and 28% high distress levels, with 55% of the sample at risk of psychological disorder. These results reinforce the need to prevent stress and to invest in police officers’ occupational health. (shrink)

The research is developed with the use of deductive and descriptive analytical methods used to obtain information on doctrine and jurisprudence and to establish and describe specific situations in the field of Ecuadorian Medical Law respectively. The main objective is to provide scientific and doctrinal tools to understand guilt in cases of omissive conduct in Ecuadorian medical practice, as well as its comparison with other countries such as Colombia, Mexico, Cuba and Argentina, the results of the research show that the (...) doctrine in the relationship to the categories of Omission, Guilt, Guarantor Position and Permitted Risk is broad and is based on scientific-doctrinal advances of the Normative Conception of Guilt comprised between 1995 and 2022. To establish useful criteria and conclusions, the discussion focuses on defining what is considered “guilty” in the context of Medical Law, highlighting the importance of elements such as the objective duty, the harmful result and the analysis of the concomitant circumstances, emphasizing the importance of considering the context and development of the facts in cases of omissive conduct in medicine and not only the result. In relation to omissions in criminal law, a distinction is made between proper and improper and finally, it concludes by suggesting the modification of article 146 of the Organic Integral Criminal Code to guarantee due process and a effective judicial protection in matters related to health in Ecuador, specifically with regard to causality in cases of omissive conduct. (shrink)

Background: COVID-19 has taken many lives worldwide and due to this, millions of persons are in grief. When the grief process lasts longer than 6 months, the person is in risk of developing Complicated Grief Disorder. The CGD is related to serious health consequences. To reduce the probability of developing CGD a preventive intervention could be applied. In developing countries like Mexico, the psychological services are scarce, self-applied interventions could provide support to solve this problem and reduce the health impact (...) even after the pandemic has already finished.Aims: To design and implement a self-applied intervention composed of 12 modules focused on the decrease of the risk of developing CGD, and increasing the life quality, and as a secondary objective to reduce the symptomatology of anxiety, depression, and increase of sleep quality. The Intervention Duelo COVID follows the principles of User Experience and is designed according to the needs and desires of a sample of the objective participants, to increase the adherence to the self-applied intervention, considered one of the main weaknesses of online interventions.Methods: A Randomized Controlled Trial will be conducted from the 22nd of December of 2020 to the first of June 2021. The participants will be assigned to an intervention with elements of Cognitive Behavioral Therapy, Acceptance and Commitment Therapy, Mindfulness and Positive Psychology. The control group will be a wait-list condition, that will receive the intervention 1.5–2 months after the pre-measurement were taken. The Power Size Calculation conducted through G*Power indicated the need for a total of 42 participants, which will be divided by 21 participants in each group. The platform will be delivered through responsive design assuring with this that the intervention will adapt to the screen size of cellphones, tablets, and computers.Ethics and Dissemination: The study counts with the approval of the Research Ethics Committee of the Autonomous University of Ciudad Juárez, México, and it is registered in Clinical Trials. The article is sent and registered in clinical trials before the recruitment started. The results will be reported in future conferences, scientific publications, and media. (shrink)

Neste artigo partimos da hipótese de que a afinidade que atrai evangélicos e conservadorismo está muito mais ligada às condições discursivas que engendram os sujeitos e suas subjetividades, do que as características intrínsecas à teologia cristã ou, especificamente, evangélica pentecostal. Com isso não queremos dizer que conformações teológicas específicas não ensejaram discursos religiosos regressivos, que a maioria de nós classificaria como conservador. Assim, chamamos a atenção, tanto para o caráter relacional, posicional das identidades evangélicas, que engendram o discurso conservador, quanto (...) para a base material deste discurso, ligando, portanto, sujeitos e formas de sujeição e subjetivação. Interessam-nos, as formas políticas em que se precipitarão os antagonismos articulados a partir dos grupos de identidade evangélica, bem como os deslocamentos na base material destes sujeitos, que possibilitam o engendramento de subjetividades atomizadas e refratárias a solidariedades coletivas exógenas a sua comunidade. Defenderemos que, embora evangélicos tenham ganhado relevo no espaço público por pautas reativas à ampliação de direitos de minorias, tais ações não se devem unicamente a aspectos intrínsecos à teologia pentecostal, ou ao seu caráter alienante ou irracional, mas, principalmente a forma como se posicionam no jogo político nacional, ou melhor, como se publicizaram, bem como a forma como o discurso de fundo conservador é acionado como estratégia de sobrevivência nas grandes cidades. (shrink)

In 2015 Dag Prawitz proposed a natural deduction ecumenical system, where classical logic and intuitionistic logic are codified in the same system. In his ecumenical system, Prawitz recovers the harmony of rules, but the rules for the classical operators do not satisfy separability. In fact, the classical rules are not pure, in the sense that negation is used in the definition of the introduction and elimination rules for the classical operators. In this work we propose an ecumenical system adapting, to (...) the natural deduction framework, Girard’s mechanism of stoup. This allows for the definition of a pure harmonic natural deduction system for the propositional fragment of Prawitz’s ecumenical logic. We conclude by presenting an extension proposal to the first-order setting and a different approach to purity based on some ideas proposed by Julien Murzi. (shrink)

La recreación de la subversión.--La escuela epistemológica francesa: Bachelard, el romanticismo de la inteligencia. Canguilhem, lógica de la historia patológica. Lacan, saber del sujeto de la verdad. Foucault, (dis)curso y (des)orden del acontecimiento.--La escuela de Frankfurt y la razón instrumental.--Heidegger, la teoría de lo real.--Conclusiones: El telar de la historia y dialéctica del regreso. La filosofía silenciosa.

This paper proposes a classification of economic models into three types: historical, axiomatic and conditional. Historical or empirical models utilize the historical-deductive method, and are generalizations from the economic regularities and tendencies that we find in the real world. Axiomatic models utilize the hypothetical-deductive method; they are syllogisms whose major premise is an axiom – a self-evident truth; they are appropriate for methodological sciences such as mathematics and econometrics. Conditional economic models are likewise syllogisms, but they are suitable for economics (...) because they make for clearer and more precise economic reasoning. The criterion of truth of the substantive sciences is the conformity with reality, of the methodological science, its internal consistency. When a school of economic thought adopts mainly axiomatic models, as is the case with neoclassical economics, it implicitly falls into contradiction because their best representatives believe in the conformity with reality criterion. (shrink)

El artículo, con base en un argumento de Michel Foucault: la vigencia –desde el siglo XVIII hasta hoy- de las estrategias liberales del poder para el gobierno de la población, hace una reflexión sobre la escuela actual. Argumenta que la democracia, en cuanto concreción visible de esas estrategias de poder, comporta procesos específicos en la escuela que son nombrados aquí, provisionalmente, como el tránsito desde una escuela disciplinada hasta otra conflictiva, violenta, terapéutica y falta de autoridad, es decir, indisciplinada. Pero, (...) y es el argumento fundamental, en la actualidad, más que invocar mayores cotas de libertad y de democracia para la escuela, se requiere reconocer las formas de sujeción de ese liberalismo democrático, y con ello, tal vez, proponer otras formas de estar en la escuela y en la sociedad. (shrink)

Em uma conferência de 1936, intitulada Hölderlin e a Essência da Poesia, o filósofo alemão Martin Heidegger comenta um escrito do poeta Friedrich Hölderlin, que caracteriza a linguagem como “o mais perigoso de todos os bens”. Na leitura de Heidegger, linguagem é, enquanto força de exposição do ser, também o principal perigo para o próprio ser. Isto porque, uma vez que o ser expõe-se por meio dos entes, ele jamais se deixa apreender enquanto tal, abrindo a possibilidade de se tomar (...) o ente pelo ser. Dessa forma, pertence à linguagem uma intrínseca ambiguidade: ao mesmo tempo em que é por meio dela que o ser se revela e expõe, é também por meio desse revelar que o ser se encobre – e ao manter-se encoberto, corre o risco de se deixar tomar pelo ente como vigência constante. Também em Ser e Tempo, obra de 1927, observa-se que Heidegger pensa a ambiguidade característica da linguagem, ao fazer derivar o enunciado demonstrativo da interpretação existencial. Nesse fenômeno, o ente se mostra não desde a essência, tal como é pensada pela tradição metafísica, mas como pura “manualidade”, isto é, uma possibilidade projetada no ser da existência, do Dasein. (shrink)

Después de la publicación de su tesis doctoral titulada La acción (1893), el filósofo francés Maurice Blondel escribió algunas obras en las que trató asuntos de enorme importancia, tanto en el campo filosófico como teológico, que desarrollaron las temáticas centrales de La acción, obra que a finales del siglo XIX generó tanto revuelo en el ambiente filosófico francés. Con la conciencia de su actualidad y su inmenso valor para una perspectiva novedosa de la metafísica y el diálogo fe-razón, se pretende (...) aquí una aproximación a cuatro obras que los estudiosos del pensamiento blondeliano han llamado “menores”. El presente artículo desarrolla los principales aportes de dichas obras a la reflexión filosófica contemporánea, indagando al mismo tiempo por la filosofía de la acción en cada una de ellas. Después de una corta biografía del pensador en cuestión, se abordará el significado de la filosofía de la acción con vistas a su elucidación para el lector. Posteriormente se presentará el contexto histórico de cada obra y se mostrarán sus vínculos con La acción, para terminar con algunas reflexiones que su lectura suscita en nuestro tiempo, cuyos desafíos son similares a los que Blondel tuvo que enfrentar en su momento. (shrink)

As ideias estão em Deus e são compreendidas por seus limites em relação à sua essência ilimitada. A originalidade do ser de Tomás de Aquino pode ser testada se comparada com as múltiplas teorias a respeito da ideia que se desenvolveram ao longo dos séculos na investigação filosófica. Das ideias subsistentes de Platão à ideia como subsistência em Hegel, os percursos aristotélico e tomista revelam-se opções intelectuais moderadas no âmbito gnosiológico, em razão de suas conquistas metafísicas. Deixando de lado os (...) problemas gnosiológicos em favor de uma abordagem metafísica do problema da ideia, pode-se perceber que, para Tomás, tanto o valor do conceito na ordem gnosiológica, quanto a subsistência da ideia na ordem metafísica, se resolvem apenas em ordem ao ser. A terceira das Quaestiones Disputatae De Veritate aborda diretamente o problema e traz sua formulação definitiva no pensamento de Tomás. Todas as perfeições das ideias estão em Deus formaliter, pertencem à sua essência, mas a ideia da essência divina somente Deus a conhece, pois identifica-se com seu ser, o Ipsum Esse Subsistens. (shrink)

In this paper we show the embedding of Hybrid Probabilistic Logic Programs into the rather general framework of Residuated Logic Programs, where the main results of (definite) logic programming are validly extrapolated, namely the extension of the immediate consequences operator of van Emden and Kowalski. The importance of this result is that for the first time a framework encompassing several quite distinct logic programming semantics is described, namely Generalized Annotated Logic Programs, Fuzzy Logic Programming, Hybrid Probabilistic Logic Programs, and Possibilistic (...) Logic Programming. Moreover, the embedding provides a more general semantical structure paving the way for defining paraconsistent probabilistic reasoning with a logic programming semantics. (shrink)

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

According to a growing body of studies, people’s ability to forecast future emotional experiences is generally biased. Nonetheless, the existing literature has mainly explored affective forecasting in relation to specific events, whereas little is still known about the ability to make general estimations of future emotional states. Based on existing evidence suggesting future-oriented disposition as a key factor for mental health, the aims of the current study were (1) to investigate the relationship between negative (NA) and positive (PA) affective forecasting (...) biases and perceived psychological well-being, and (2) to explore whether positively biased predictions are associated with resilience and foster one’s skills to cope with stressful events. To do so, we asked 85 undergraduate students to forecast PA and NA over two weeks, as well as to report their daily affect through a web-based Ecological Momentary Assessment. According to the results, positively biased PA forecasting (i.e., overestimating positive emotional states) was associated with greater perceived psychological well-being and higher resilience. When high levels of stress were experienced, participants holding an optimistic, yet biased, estimation of future PA were more likely to successfully manage stressors, thus maintaining lower levels of NA and higher levels of positive emotions. We suggest that positively biased PA forecasting is an adaptive cognitive distortion that boosts people’s resilience and mental health, thus opening new avenues for the promotion of psychological well-being. (shrink)

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)

Sambin [6] proved the normalization theorem for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a normalization proof for GL using reductions. Indeed, Sambin's proof is a decision procedure which builds cut-free proofs. In this work we formalize this procedure as a recursive function and prove its recursiveness in an arithmetically (...) formalizable way, concluding that the normalization of GL can be formalized in PA. MSC: 03F05, 03B35, 03B45. (shrink)

The sexual double standard refers to the acceptance of different criteria to assess the same sexual behavior in men and women. To date, the few studies that have addressed the relationship between SDS and sexual satisfaction have obtained inconclusive results. In addition, no study has analyzed sexual satisfaction in people who maintain different forms of adherence to the SDS. This study establishes three SDS typologies of adherence in two areas of sexual behavior to examine the predictive capacity of personal variables, (...) interpersonal variables and social variables in sexual satisfaction. A sample of 1194 heterosexual adults aged between 18 and 87 years, who had been in a relationship for more than 6 months, was evaluated. In men, the highest sexual satisfaction levels were obtained in the egalitarian typology in the sexual freedom area. In women, no significant differences were found between the typologies of adherence to the SDS. Regression models showed that relationship satisfaction was the main predictor of sexual satisfaction in all the typologies in both men and women. In addition, the predictive relationship of personal variables with sexual satisfaction varied according to gender and the SDS adherence type. The results show the importance of studying sexual satisfaction by taking into account not only the differences between men and women. Furthermore, it is essential to consider other differences between people; for example, the difference that derives from the way of psychologically internalizing attitude toward the SDS. (shrink)