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)
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, CarlosAlvarez, 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)
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.
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)
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)
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)
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)
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)
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.
The Full Bayesian Significance Test, FBST, is extensively reviewed. Its test statistic, a genuine Bayesian measure of evidence, is discussed in detail. Its behavior in some problems of statistical inference like testing for independence in contingency tables is discussed.
We show how the Full Bayesian Significance Test (FBST) can be used as a model selection criterion. The FBST was presented by Pereira and Stern as a coherent Bayesian significance test. Key Words: Bayesian test; Evidence; Global optimization; Information; Model selection; Numerical integration; Posterior density; Precise hypothesis; Regularization. AMS: 62A15; 62F15; 62H15.
A Bayesian measure of evidence for precise hypotheses is presented. The intention is to give a Bayesian alternative to significance tests or, equivalently, to p-values. In fact, a set is defined in the parameter space and the posterior probability, its credibility, is evaluated. This set is the “Highest Posterior Density Region” that is “tangent” to the set that defines the null hypothesis. Our measure of evidence is the complement of the credibility of the “tangent” region.
Logic does not have purely existential theorems: the only existential sentences that are valid are those with valid universal analogues. Here, we show indeed this is so, when properly interpreted: every existential validity has a simple universal analogue, which is also valid. We also characterize existential and universal validities in terms of tautologies.
Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason (...) that sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)
in Oct-14-1998 ordinance INDESP-IO4 established the federal software certification and verification requirements for gaming machines in Brazil. The authors present the rationale behind these criteria, whose basic principles can find applications in several other software authentication applications.
Clearing algorithms are at the core of modern payment systems, facilitating the settling of multilateral credit messages with (near) minimum transfers of currency. Traditional clearing procedures use batch processing based on MILP - mixed-integer linear programming algorithms. The MILP approach demands intensive computational resources; moreover, it is also vulnerable to operational risks generated by possible defaults during the inter-batch period. This paper presents TORC3 - the Token-Ring Clearing Algorithm for Currency Circulation. In contrast to the MILP approach, TORC3 is a (...) real time heuristic procedure, demanding modest computational resources, and able to completely shield the clearing operation against the participating agents’ risk of default. (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)