We upgrade the light Dialectica interpretation [6] by adding two more light universal quantifiers, which are both semi-computational and semi-uniform and complement each other. An illustrative example is presented for the new light quantifiers and a new application is given for the older uniform quantifier. The realizability of new light negative formulations for the Axiom of Choice and for the Independence of Premises is explored in the new setting.

In view of an enhancement of our implementation on the computer, we explore the possibility of an algorithmic optimization of the various proof-theoretic techniques employed by Kohlenbach for the synthesis of new effective uniform bounds out of established qualitative proofs in Numerical Functional Analysis. Concretely, we prove that the method of “colouring” some of the quantifiers as “non-computational” extends well to ε-arithmetization, elimination-of-extensionality and model-interpretation.

People dedicate significant attention to others’ facial expressions and to deciphering their meaning. Hence, knowing whether such expressions are genuine or deliberate is important. Early research proposed that authenticity could be discerned based on reliable facial muscle activations unique to genuine emotional experiences that are impossible to produce voluntarily. With an increasing body of research, such claims may no longer hold up to empirical scrutiny. In this article, expression authenticity is considered within the context of senders’ ability to produce convincing (...) facial displays that resemble genuine affect and human decoders’ judgments of expression authenticity. This includes a discussion of spontaneous vs. posed expressions, as well as appearance- vs. elicitation-based approaches for defining emotion recognition accuracy. We further expand on the functional role of facial displays as neurophysiological states and communicative signals, thereby drawing upon the encoding-decoding and affect-induction perspectives of emotion expressions. Theoretical and methodological issues are addressed with the aim to instigate greater conceptual and operational clarity in future investigations of expression authenticity. (shrink)

One of the most important debates in the field of eighteenth?century French intellectual history concerns the ideological significance of the rise of the cult of the Great Frenchmen. Taking this debate as a frame of reference, the paper attempts a close reading of Robespierre's Éloge de Gresset (written in 1784, published in 1785). Usually dismissed by Robespierre scholars, this text is, in fact, a very important document offering clues not only to Robespierre's intellectual formation, but also his appropriation of what (...) he regarded as the official and conventional rhetoric of his age. These questions engage the larger debate regarding the origins of the French Revolution, in particular its ?cultural origins?, and its intellectual origins, defined as the distillation of and interactions between competing representations of society and its relation to the public sphere. The thesis proposed is that Robespierre's eulogy of Gresset indicates that his anti?philosophical ideas came from a much broader array of sources than previously believed. Among these sources, Gresset's 1740s?1750s polemics against the philosophes pointed the way towards the type of criticism of the Enlightenment that underpinned Robespierre's cultural revolutionary politics. (shrink)

Religious freedom in Romania after 1989 has contributed decisively to changes in the religious structure in the country. From a religious point of view, the fall of the communist regime meant the end of abuse or interdictions for many people and communities. Discussing about ecumenism and interreligious or inter-confessional dialogue in Bihor is, according to the current demographic realities, a need entailed by the ethno-confessional diversity and multiculturalism specific to the area. The religious diversity has led not only to inter-community (...) tensions but also to better mutual knowledge, a phenomenon that has finally led to dialogue and the establishment of relationships. There is a visible tendency towards the realization of a unity in diversity in full awareness of the obstacles ahead. Beyond the energetic discourse of high Christian clericals, contemporary ecumenism has been met with several impediments imposed by the reality of some “minor” local issues that have remained unsolved over the years. At times, underlying theological issues have been a hindrance to a genuine ecumenical dialogue. (shrink)

In this landmark book, first published in English in 1958, renowned scholar of religion Mircea Eliade lays the groundwork for a Western understanding of Yoga.

Hölder’s review of Robert Graßmann’s Theory of Number provides the first statement of Hölder’s most significant tenets concerning the distinction between the genetic and axiomatic presentation of mathematics, the mature expression of which is found in Hölder’s book The Mathematical Method of 1924. By translating Hölder’s review into English, I hope to make this unique document known to a wider public. In my introductory note I provide some context to Hölder’s paper and a few other remarks concerning the translation work.

Hölder’s review of Robert Graßmann’s Theory of Number provides the first statement of Hölder’s most significant tenets concerning the distinction between the genetic and axiomatic presentation of mathematics, the mature expression of which is found in Hölder’s book The Mathematical Method of 1924. By translating Hölder’s review into English, I hope to make this unique document known to a wider public. In my introductory note I provide some context to Hölder’s paper and a few other remarks concerning the translation work.

In this paper I provide a brief reconstruction of Otto Hölder’s conception of proof. My reconstruction focuses on Hölder’s critical assessment of David Hilbert’s account of axiomatics in general, and of Hilbert’s conception of metamathematics in particular. I argue that Hölder’s analysis of Hilbert’s general methodological ideas and, more importantly, Hölder’s analysis of the logical structure of the proofs provided by Hilbert in his Grundlagen der Geometrie of 1899 are helpful in reaching a clearer understanding of van der Waerden’s claim (...) linking Hölder’s conception of proof to the tradition established by Kurt Gödel. (shrink)

In this paper I provide a brief reconstruction of Otto Hölder’s conception of proof. My reconstruction focuses on Hölder’s critical assessment of David Hilbert’s account of axiomatics in general, and of Hilbert’s conception of metamathematics in particular. I argue that Hölder’s analysis of Hilbert’s general methodological ideas and, more importantly, Hölder’s analysis of the logical structure of the proofs provided by Hilbert in his Grundlagen der Geometrie of 1899 are helpful in reaching a clearer understanding of van der Waerden’s claim (...) linking Hölder’s conception of proof to the tradition established by Kurt Gödel. (shrink)

This is the first book on the provocative and innovative contributions to philosophy of language, metaphysics, the philosophy of mathematics, and logic made by Kit Fine, one of the world's foremost philosophers. Topics covered include meaning and representation, arbitrary objects, essence, ontological realism, and the metaphysics of modality.

First published in English in 1958, the author lays the groundwork for a Western understanding of Yoga, providing a comprehensive survey of Yoga in theory and practice from its earliest antecedents in the Vedas through the twentieth century.

Many Christian scholars, if not all of them, consider Genesis to be foundational texts of the Bible and the spring for all the other doctrines of the Scripture. Therefore, I'm considering the attempt to search and find arguments for cell therapy ethical issues in the fundamental text of Genesis as a challenging and educative task. Moreover, this could be the first step in analyzing the relationships between Christian religions and bioethics, in terms of finding reasonable decisions for ethical challenges, raised (...) by the current biomedical research. As for many other dilemmas of humanity, we have to recall the text of Genesis for analyzing the goodness or evilness of our actions in translational medicine, even though that is not the only way to get a reasonable ethical decision. My contribution is an essay that is trying to correlate the Genesis lessons with the needed arguments in deciding what could be good and what could be evil in the stem cell research, according to the religious convictions. The biggest challenges of biomedical research for Christian religions were due to the human cloning issue, made possible by the somatic cell nuclear transfer, but those challenges update the older debates on birth control pill, technologically assisted reproduction, or gene therapy. Issues related to in vitro fertilization, gene enhancement and gene therapy, human cell cloning, embryonic stem cell using, and chimera cell obtaining for research are being considered and related to the putative arguments extracted from the book of Genesis, describing the origins. As a matter of fact, I may conclude that the single way to reach a reasonable ethical decision in our society is to intersect ethics, science and theology and to engage large debates involving scientists, theologians, civil society representatives, ethicists (experts in applied ethics) and moral philosophers, having the two latest professionals as referees. (shrink)

" "Each of these essays contains insights which will be fruitful and challenging for professional students of religion, but at the same time they all retain the kind of cultural relevance and clarity of style which makes them accessible to ...