Though some Christian theologians have argued that Western human rights theory is grounded in religious faith, human rights morality is, in fact, autonomous. The ideologies of religion and of human rights differ in their sources, the bases of their authority, their forms of expression, and even their substantive norms. Moreover, historically, religious communities have often themselves violated human rights norms-and such violations persist today in some geographical regions and with respect to some norms. On the other hand, religious communities have (...) an obvious interest in the development and defense of some human rights, particularly religious human rights, and religious communities that once were hostile to the human rights ideology have more recently, particularly in the West, coopted the human rights idea and claimed it as their own. An "approchement" between religion and human rights is possible and highly desirable. (shrink)

The concept of sovereignty is a recurring and controversial theme in international law, and it has a long history in western philosophy. The traditionally favored concept of sovereignty proves problematic in the context of international law. International law’s own claims to sovereignty, which are premised on traditional concept of sovereignty, undermine individual nations’ claims to sovereignty. These problems are attributable to deep-seated flaws in the traditional concept of sovereignty. A viable alternative concept of sovereignty can be derived from key concepts (...) in Friedrich Nietzsche’s views on human reason and epistemology. The essay begins by considering the problem of sovereignty from the ancient philosophical perspective inherent in the fundamental assumptions and ideas of Plato’s political philosophy and epistemology. It then considers the contemporary problem of sovereignty in the context of international law by examining Louis Henkin’s formulation of and approach to it in his essay That S-Word: Sovereignty, and Globalization, and Human Rights, Etc. Finally, the essay articulates Nietzsche’s views on intellectual conscience, discusses their merits and advantages when used in dealing the problem of sovereignty in the context of international law, and proposes a solution to this problem that draws on the philosophies of Nietzsche, Novalis, Kant and Plato. The essay illustrates the relevance and advantages of this solution by examining the issue of states’ reservations to international treaties and conventions. (shrink)

Michaël Crevoisier : Fraichement retraité, vous avez été Maître de conférences au département de philosophie de l’Université de Franche-Comté. Toute votre carrière, mais en réalité déjà vos études, se sera déroulée ici, à Besançon. Je souhaiterais donc commencer par cette ville, cet ancrage. Est-ce que cela revêt une signification particulière pour vous? Et s’il fallait nous le rappeler en quelques mots, qu’avez-vous fait et vécu à Besançon à travers vos travaux philosophiques? Louis Uccian...

It is a widely held belief that one can will to believe, disbelieve, and withhold belief concerning propositions. It is sometimes said that we have a duty to believe certain propositions. These theses have had a long and respected history. In one form or another they receive the support of a large number of philosophers and theologians who have written on the relationship of the will to believing. In the New Testament Jesus holds his disciples responsible for their beliefs, reprimands (...) them for doubting, and speaks of the ability to believe as if it were optional. Paul makes it clear that he thinks propositional belief is a necessary condition for salvation. If a man confesses Christ as Lord with his lips and believes in his heart that God has raised him from the dead, he shall be saved . The writer of Hebrews implies that unless we have certain propositional beliefs we cannot please God . In the New Testament most cases of pistis involve more than a propositional attitude. They involve the idea of trust and faithfulness. Nevertheless, a prima facie case for saying that the volitional theses can be found in the New Testament can be made. Forms of volitionalism can be found stated more explicitly in the writings of the early Church, in the writings of Irenaeus, in the Athanasian Creed, and in Augustine. Acquinas describes faith as an act of the intellect moved by the will. Descartes is perhaps the classic example of a volitionalist, holding that if we were not responsible for our beliefs , then God would be - which is tantamount to blasphemy in that it makes God into a deceiver. (shrink)

In debate on faith and reason two opposing positions have dominated the field. The first position asserts that faith and reason are commensurable and the second position denies that assertion. Those holding to the first position differ among themselves as to the extent of the compatibility between faith and reason, most adherents relegating the compatibility to the ‘preambles of faith’ over against the ‘articles of faith’ . Few have maintained complete harmony between reason and faith, i.e. a religious belief within (...) the realm of reason alone. The second position divides into two sub-positions: that which asserts that faith is opposed to reason , placing faith in the area of irrationality; and that which asserts that faith is higher than reason, is transrational. Calvin and Barth assert that a natural theology is inappropriate because it seeks to meet unbelief on its own ground . Revelation, however, is ‘self-authenticating’, ‘carrying with it its own evidence’. 1 We may call this position the ‘transrationalist’ view of faith. Faith is not so much against reason as above it and beyond its proper domain. Actually, Kierkegaard shows that the two sub-positions are compatible. He holds both that faith is above reason and against reason . The irrationalist and transrationalist positions are sometimes hard to separate in the incommensurabilist's arguments. At least, it seems that faith gets such a high value that reason comes off looking not simply inadequate but culpable. To use reason where faith claims the field is not only inappropriate but irreverent or faithless. (shrink)

Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension $L_{*}^{1}$ (H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close $L_{*}^{1}$ (H) with respect to Boolean operations, and obtain the language L¹(H). At the next level, we consider an extension $L_{*}^{2}$ (H) of L¹(H) in which every sentence is an (...) L¹(H)-sentence prefixed with a Henkin quantifier. We repeat this construction to infinity. Using the (un)definability of truth - in - N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996). (shrink)

For several centuries prior to the founding of the Theosophical Society in 1875, individual 'theosophers' in Britain and Europe were quietly in touch with one another all seekers of the inward way. Theosophic Correspondence (1792 1797) is a series of inspiring letters, personal and philosophic, exchanged during the climactic days of the French Revolution between Kirchberger, member of the Sovereign Council at Berne, Switzerland, and Saint-Martin, whom Kirchberger regarded as 'the most eminent writer . . . and most profound of (...) his age'. (shrink)

This note corrects a lemma in the recent paper 1] of one of the authors by rst correcting problems with Poole's rule for speci city of arguments. It also responds to the criticism of Touretzky, et al. 9].

We describe techniques for constructing models of size continuum inωsteps by simultaneously building a perfect set of enmeshed countable Henkin sets. Such models have perfect, asymptotically similar subsets. We survey applications involving Borel models, atomic models, two-cardinal transfers and models respecting various closure relations.

This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive (...) logical connectives and necessity as the only primitive modal operator. The full source code is available online and has been typechecked with Lean 3.4.2. (shrink)

Hofstadter has introduced the notion of an explicit Henkin sentence. Roughly speaking, an explicit Henkin sentence not only asserts its own provability, as ordinary Henkin sentences do, but explicitly provides a detailed description of a proof. We provide, in this paper, a precise formalization of Hofstadter's notion and then show that true explicit Henkin sentences exist.

In this paper a proposal by Henkin of a nominalistic interpretation for second and higher-order logic is developed in detail and analysed. It was proposed as a response to Quine’s claim that second and higher-order logic not only are committed to the existence of sets, but also are committed to the existence of more sets than can ever be referred to in the language. Henkin’s interpretation is rarely cited in the debate on semantics and ontological commitments for these (...) logics, though it has many interesting ideas that are worth exploring. The detailed development will show that it employs an early strategy of using substitutional quantification in order to reduce ontological commitments. It will be argued that the perspective adopted for the predicate variables renders it a natural extension of Quine’s nominalistic interpretation for first-order logic. However, we will argue that, with respect to Quine’s nominalistic program and his notion of ontological commitment, still holds and thus Henkin’s interpretation is not nominalistic. Nevertheless, it will be seen that is addressed successfully and this provides further insights on the so-called “Skolem Paradox”. Moreover, the interpretation is ontologically parsimonious and, in this respect, it arguably fares better than a recent proposal by Bob Hale. (shrink)

The paper addresses Leon Hen.kin's proposition as a " lighthouse", which can elucidate a vast territory of knowledge uniformly: logic, set theory, information theory, and quantum mechanics: Two strategies to infinity are equally relevant for it is as universal and t hus complete as open and thus incomplete. Henkin's, Godel's, Robert Jeroslow's, and Hartley Rogers' proposition are reformulated so that both completeness and incompleteness to be unified and thus reduced as a joint property of infinity and of all infinite (...) sets. However, only Henkin's proposition equivalent to an internal position to infinity is consistent . This can be retraced back to set theory and its axioms, where that of choice is a key. Quantum mechanics is forced to introduce infinity implicitly by Hilbert space, on which is founded its formalism. One can demonstrate that some essential properties of quantum information, entanglement, and quantum computer originate directly from infinity once it is involved in quantum mechanics. Thus, these phenomena can be elucidated as both complete and incomplete, after which choice is the border between them. A special kind of invariance to the axiom of choice shared by quantum mechanics is discussed to be involved that border between the completeness and incompleteness of infinity in a consistent way. The so-called paradox of Albert Einstein, Boris Podolsky, and Nathan Rosen is interpreted entirely in the same terms only of set theory. Quantum computer can demonstrate especially clearly the privilege of the internal position, or " observer'' , or "user" to infinity implied by Henkin's proposition as the only consistent ones as to infinity. An essential area of contemporary knowledge may be synthesized from a single viewpoint. (shrink)