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.

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)

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.

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)

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.