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.

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)

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.

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)

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.

In Reference without Referents, Mark Sainsbury aims to provide an account of reference that honours the common-sense view that sentences containing empty names like "Vulcan" and "Santa Claus" are entirely intelligible, and that many such sentences -"Vulcan doesn't exist", "Many children believe that Santa Claus will give them presents at Christmas", etc.- are literally true. Sainsbury's account endorses the Davidsonian program in the theory of meaning, and combines this with a commitment to Negative Free Logic, which holds that all simple (...) sentences containing empty names are false. In this critical review, we pose a number of problems for this account. In particular, we question the ability of Negative Free Logic to make appropriate sense of the truth of familiar sentences containing empty names, including negative existential claims like "Vulcan doesn't exist". /// En Reference without Referents, Mark Sainsbury se propone ofrecer una explicación de la referencia que respete la idea de sentido común de que las oraciones con nombres vacíos como "Vulcano" y "Santa Claus" son completamente inteligibles, y que muchas de oraciones de este tipo -"Vulcano no existe", "Muchos niños creen que Santa Claus les traerá regalos en Navidad", y demás- son literalmente verdaderas. La propuesta de Sainsbury se inscribe dentro del programa davidsoniano en teoría del significado, y combina éste con un compromiso con la Lógica Libre Negativa, según la cual todas las oraciones simples que contienen nombres vacíos son falsas. En este estudio crítico, presentamos varios problemas de esta explicación. En particular, ponemos en duda la habilidad de la Lógica Libre Negativa de entender de manera apropiada la verdad de oraciones conocidas que contienen nombres vacíos, incluidas negaciones de existencia como "Vulcano no existe". (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 ...

The debate over the authorship of the allegorical interpretation of Heliodorus’ novel extant in codex Marc. Gr. 410 bequeathed to subsequent scholarship the assumption that the text belongs to the Neoplatonic allegorical tradition of reading Homer. This essay aims to revisit this philosophical attribution and argue that the terms and philosophical categories alluded in this allegory are characteristic of a long tradition of Patristic analysis, and more specifically of Gregory of Nyssa and Maximus Confessor’s exegesis. Setting forth new textual evidence, (...) it argues that the exegetical practice displayed in the allegory reflects Maximus Confessor’s anagogical exegesis and Gregory of Nyssa’s pedagogy of desire and doctrine of spiritual progress as set forth in the Homilies on the Song of Songs and The Life of Moses. (shrink)

Explaining phenomenal consciousness may be the scientific and philosophical problem of our time, the last frontier of knowledge. This is not at all an easy task. For any serious attempt at finding a place for consciousness within the natural world was not successful so far. There is a conceptual tension here which makes this business of coming up with a unified (monist) explanation of mind and physical world one of the most intriguing mystery. The most predominant image of the natural (...) world is one of a physicalist type, whereas the mind, and especially the conscious subjective experience seem not to fit well within that physicalistexplanation. That explanatory failure may require a dualist metaphysical scheme (probably of a neo-Cartesian type). It may seem very well that we are caught in a dilemma, for we either embrace a physicalist explanation, but then it seems that we leave out consciousness from the big picture we are looking for, or else we face the huge task of conceiving a dramatic change of our scientific outlook about the natural world, and we don’t quite see how that would be possible or desirable. But then, should any attempt at understanding consciusness be a dead-end, something doomed to fail from a theoretical and explanatory point of view? In my paper I explore some philosophical underpinnings of contemporary dualism, focussing on the modal facets of the conceivability (neo-Cartesian) arguments. I will asses both the prospects and the moot points of this type of arguments. Of particular interest is the role that two-dimensional semantics plays in nowadays discussions of this topic. (shrink)

The paper examines some presuppositions of toleration and pluralism and explores two models, a deontological and a consequentialist model, that could support the view that rational agents should act in a tolerant way. Within the first model two arguments are given in favor of the view that people are better off and more rational if they are tolerant. The first argument draws upon a principle of charity that one usually makes use of in philosophy of mind and philosophy of language, (...) but which could work equally well with regard to this foundational issue in ethics and philosophy of action. The second argument is built upon the epistemic principle of fallibilism and is meant to show that from this vantage point acting in a tolerant way is the rational thing to do. (shrink)

The general slogan in the title of this paper gives a general, but nevertheless accurate, expression of Strawson’s view concerning the nature of formal logic per se in relation to natural language. What is at stake here is the extent to which the formal methods and the formal semantics of contemporary symbolic logic can render the meanings of natural language expressions. Strawson sets up an agenda for logical theory which, although rather dated for a logic text, is what one naturally (...) expects from an introduction to elementary formal logic and a systematic analysis of certain crucial metalogical concepts, most notably entailment. However, my own reading is that Strawson’s approach to logic makes a lasting contribution to understanding the inner workings of natural language through his critical discussion of the limits of the formal renderings of the semantics of natural language expressions via canonical first-order notations. One can recognize in this critical attitude towards the limits of formal methods a consistent generalization of Strawson’s own strategy from his critical response to Russell’s theory of descriptions.In my paper I shall focus on certain examples which illustrate the general slogan that characterizes Strawson’s views on the nature of logic in connection with ordinary language and talk. (shrink)

The dissertation gives a second-order-logic-based explanation of modal incompleteness. The leading concept is that modal incompleteness is to be explained in terms of the incompleteness of standard second-order logic, since modal language is basically a second-order language. The development of Kripke-style semantics for modal logic has been underpinned by the conjecture that all modal systems are characterizable by classes of frames defined by first-order conditions on a binary relation. However, the discovery of certain incomplete modal systems has undermined the all-encompassing (...) feature of Kripke-style approach. There are logics not determined by any class of Kripke frames at all. ;In the dissertation I investigate a normal incomplete sentential modal system due to J. F. A. K. Van Benthem, and I address both the formal and the philosophical facets of modal incompleteness from the vantage point that modal logic is essentially second-order in its nature. Modal systems can be analyzed in terms of structures with a domain of second-order individuals that are assigned under an interpretation to propositional variables within languages of sentential modal logic. Hence, the phenomenon of there being incomplete modal systems can be accounted for through the incompleteness of standard second-order logic. ;Since second-order logic plays a crucial role in the explanation, Quine's animadversions upon second-order logic and in particular his views that second-order logic is 'Set Theory in Sheep's Clothing' are examined. Against Quine's stance I will seek to show that a vindication of second-order logic can be gotten provided a proper due is given to the sharp distinction between the logical notion of set which is the concern of second-order logic and the iterative notion of set which lies within the realm of set theory. (shrink)

In this paper I examine some presuppositions of toleration and pluralism. I explore two models, viz. a deontological and a consequentialist model, respectively, which could support the view that rational agents should act in a tolerant way. Against the background which is offered by the first model I give two arguments in favor of the view that people are better off and more rational if they act in a tolerant way. The first argument draws upon a principle of charity which (...) one usually makes use of in philosophy of mind and philosophy of language but which could work equally well with regard to this foundational issue in ethics and philosophyof action. The second argument is built upon the epistemic principle of fallibilism and it is meant to show that from this vantage point acting in a tolerant way is the rational thing to do. (shrink)