Há anos ou décadas, vemos países que estavam em marcha em direção à democracia como a Rússia, a Turquia e mesmo reais democracias como o Brasil, se tornarem verdadeiras democraduras, ou se encaminharem para esse tipo de regime, a Hungria por exemplo, mas igualmente outros países. Os analistas políticos continuam lutando para entender a origem e a natureza desse direcionamento sobre o qual a leitura de Tocqueville ainda fornece um esclarecimento notável, cujas análises mantêm perfeita atualidade; é um grande pensador (...) para os dias atuais que estabelece como, para pensar o surgimento da democracia e os problemas que aparecem a ela, é apropriado partir do estado social democrático. (shrink)

Christianism often mentions perfumes. Its liturgy based on Scripture uses incense and balm. A reading from the Bible and the lives of saints reveals many extraordinary perfumes (“odours of sanctity”). The Virgin Mary holds extreme importance among saints and it is quite common to see her spreading miraculous fragrances. These are subtle, discrete but pleasant signals from Heaven. They are sent to everyone in order to convert non‑believers or turn back believers to the faith in God. The divine origin of (...) perfumes is tied up with the memories and hopes from Paradise. It marks bodies escaping from death and entering into eternal life. (shrink)

Dans la théologie contemporaine, la notion d’hospitalité dépend, en premier lieu, de la réception que le thème, compris en sens divers, a connue dans la société et la culture (1. Polysémie, plasticité, tensions). Son actualité est due à une réalité géopolitique du début du xxi e siècle qui concerne Europe et Amérique du nord, à savoir la crise migratoire, en même temps qu’au flot de réflexions et de prises de position que cette crise a généré (2. Actualité politique). À propos (...) des migrations, on doit se demander si la théologie contemporaine apporte une réponse à la mesure des enjeux (3. Contribution théologique). Enfin il paraît utile d’indiquer deux réflexions originales ayant trait à l’hospitalité, dues à Jean-Yves Lacoste et Jean-Louis Chrétien, que la théologie contemporaine peut à bon droit regarder comme des promesses (4. Pierres d’attente). (shrink)

Inλ-calculus, the strategy of leftmost reduction (“call-by-name”) is known to have good mathematical properties; in particular, it always terminates when applied to a normalizable term. On the other hand, with this strategy, the argument of a function is re-evaluated at each time it is used.To avoid this drawback, we define the notion of “storage operator”, for each data type. IfT is a storage operator for integers, for example, let us replace the evaluation, by leftmost reduction, ofϕτ (whereτ is an integer, (...) andϕ anyλ-term) by the evaluation oftτϕ. Then, this computation is the same as the following: first computeτ up to some reduced formτ 0, and then applyϕ toτ 0. So, we have simulated “call-by-value” evaluation within the strategy of leftmost reduction.The main theorem of the paper (Corollary of Theorem 4.1) shows that, in a second orderλ-calculus, using Gödel's translation of classical intuitionistic logic, we can find a very simple type (or specification) for storage operators. Thus, it gives a way to get such operators, which is to prove this type in second order intuitionistic predicate calculus. (shrink)

The biological function of human reasoning abilities cannot be to improve shared knowledge. This is at best a side effect. A more plausible function of argumentation, and thus of reasoning, is to advertise one's ability to detect lies and errors. Such selfish behavior is closer to what we should expect from a naturally selected competence.

Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical validity does (...) not explain the relevance of Aristotle’s distinction between complete and incomplete deductions. Logicians speak of complete deduction by adding the term “obvious” or “transparent” to logical validity, and then criticize Aristotle’s view for being unclear. However, Aristotle’s position is not confronted with this difficulty. There is nothing to add to inferential necessity, which already means complete deducibility, as opposed to incomplete deducibility, deemed to be potentially complete. Accordingly, the Prior Analytics reduces the incomplete deductions to the complete deductions in order to prove the potential, inferential necessity of the incomplete deductions. Logical validity would have been faithful to Aristotle’s text, if it had been possible to coin a notion of potential validity, distinct from both validity and invalidity. (shrink)

Philosophical hermeneutics developed by the German philosopher Hans-Georg Gadamer and founded on interpretation as explicit form of comprehension generated a debate on contemporary hermeneutics about texts written at different periods of time from those in which they must then be applied. This debate is necessarily very instructive for the jurist when he interprets texts and creates positive law to produce a determined effect on recipients. Comprehension as participation in truth involves questioning and an interpretation devoid of prejudices. Illustration of hermeneutics (...) in law demonstrates that interpretation related to comprehension is strictly bound to the question of application bearing in mind that application does not only consist in concretizing comprehension, it constitutes his nucleus. It follows that hermeneutics oscillates between a theoretical and practical meaning. Regarding the concept of a presumption it is perceived as an instrumental necessity and a necessary corollary of interpretation in that it anticipates on the meaning found on the possibility. It is specified in a context of legal hermeneutics that it is necessary to distinguish the interpretation of the observer from the one of the player such the judge put in the performative position. (shrink)

Jean-Louis Fournel, abordant la période des guerres d’Italie, tente de montrer comment ces nouvelles guerres modifient l’intensité et le rythme de la guerre guerroyée : la conscience d’une violence et d’une rapidité inédites fait planer une menace de mort sur les États eux-mêmes et la question de la guerre est dès lors placée au cœur de la pensée politique. Trois manifestations de ces « nouvelles » guerres marquent particulièrement les contemporains et autorisent l’analyste à évoquer ici une « (...) brutalisation » ou un ensauvagement des conflits, bien avant la Première Guerre mondiale qui a fondé récemment le développement d’une telle problématique : les sacs de ville, la mise en coupe réglée des territoires conquis avec le développement d’une véritable guerre contre les civils et, enfin, l’augmentation exponentielle du nombre de morts durant les batailles (du fait entre autres des modifications dans l’armement et du nombre de soldats constituant les nouvelles armées « nationales »). S’ensuivent des tentatives d’une nouvelle « humanisation », très relative des conflits armés fondée sur un nouvel examen du jus in bello (par opposition à une quasi disparition de la question du jus ad bellum). Il est notable à cet égard que le lexique de la « barbarie » est très peu utilisé chez les chroniqueurs et historiens des guerres d’Italie alors même qu’il a une forte présence chez les historiens et témoins des guerres de Religion en France. On peut se poser la question de savoir s’il ne faudrait pas voir là une certaine « rechristianisation » du discours sur la guerre. De la sorte, cette « rechristianisation » d’une partie de la réflexion sur la violence de guerre, au croisement du déclin de l’idéologie chevaleresque, des réflexions philosophiques, théologiques ou juridiques nées des massacres commis par les conquistadores dans le « nouveau monde » (Cortez avait fait ses premières armes sur les champs de bataille italiens) et des réactions face aux atrocités de la guerre civile, permettrait peut-être tout à la fois d’inscrire la barbarie dans le présent des conflits, de permettre un nouveau discours pacifiste, de confier paradoxalement au souverain comme instance laïque, au-dessus des choix religieux personnels, le rôle d’arbitre et de régulateur des guerres (cf. les politiques), et, enfin, de relancer la question du jus in bello (le jus ad bellum n’étant plus vraiment opératoire, pas plus que le rôle d’arbitre du pape qui s’effondrera bientôt définitivement dans l’Europe née du traité de Westphalie). (shrink)

, which uses the intuitionistic propositional calculus, with the only connective →. It is very important, because the well known Curry-Howard correspondence between proofs and programs was originally discovered with it, and because it enjoys the normalization property: every typed term is strongly normalizable. It was extended to second order intuitionistic logic, in 1970, by J.-Y. Girard [4], under the name of system F, still with the normalization property.More recently, in 1990, the Curry-Howard correspondence was extended to classical logic, following (...) Felleisen and Griffin [6] who discovered that the law of Peirce corresponds to control instructions in functional programming languages. It is interesting to notice that, as early as 1972, Clint and Hoare [1] had made an analogous remark for the law of excluded middle and controlled jump instructions in imperative languages.There are now many type systems which are based on classical logic; among the best known are the system LC of J.-Y. Girard [5] and the λμ-calculus of M. Parigot [11]. We shall use below a system closely related to the latter, called the λ c -calculus [8, 9]. Both systems use classical second order logic and have the normalization property.In the sequel, we shall extend the λ c -calculus to the Zermelo-Frænkel set theory. The main problem is due to the axiom of extensionality. To overcome this difficulty, we first give the axioms of ZF in a suitable (equivalent) form, which we call ZF ɛ. (shrink)

We describe here a simple method in order to obtain programs from proofs in second-order classical logic. Then we extend to classical logic the results about storage operators proved by Krivine for intuitionistic logic. This work generalizes previous results of Parigot.

Dans les traditions philosophiques occidentales, c'est à la critique développée par la pensée marxiste que l'on doit de pouvoir aborder l'oeuvre de Moses Hess (1812-1875). Pourtant, le "rabbin des communistes", comme on l'a appelé, fut l'un des penseurs du XIXe siècle qui questionna au plus près les conditions de la liberté et de l'égalité sociales, en même temps qu'il ouvrit la voie à l'idée d'un foyer juif en Palestine, où cette liberté et cette égalité se seraient pleinement épanouies. Dans les (...) études juives, la philosophie de Moses Hess est rarement évoquée, si l'on excepte quelques commentaires qui font de lui ce "communiste et sioniste, qui joua un rôle décisif dans le premier mouvement et inventa virtuellement le second". Le livre de Jean-Louis Bertocchi veut porter un éclairage nouveau sur cette oeuvre pionnière et singulière à bien des égards, dont le coeur est bel et bien la discussion serrée, "en accord divergeant", de la pensée de Spinoza, lu attentivement par Marx lui-même, et qui, dans le ciel d'un humanisme juif émancipé et émancipateur, dessine une constellation en perpétuel mouvement, où scintillent tour à tour philosophie, communisme et sionisme."--Page 4 of cover. (shrink)

La dualité.objectif-subjectif constitue pour le dualisme une structure a priori par essence : ceci se vérifie aussi bien avec le couple contemporain de l'en-soi et du pour-soi qu'avec, sur une autre base, le couple cartésien de la chose étendue et de la chose pensante. Dans le champ théorique actuel règne, de facto, un double monisme juxtaposé qui se partage entre le réductionnisme phénoménologique et celui du néomatérialisme, aussi systématiques l'un que l'autre. Aussi la difficulté générale inhérente au dualisme, loin de (...) disparaître avec cette scission, a-t-elle pris une forme nouvelle. Au lieu de se réduire à une expérience subjective pure (comme dans la phénoménologie) ou à la seule expérience objective (dont se réclame l'explication néomatérialiste), l'auteur du présent essai explore une voie nouvelle pour interpréter la dualité du côté de l'ontologie, grâce à une division préalable et proprement ontologique. La détermination du fondement de cette dualité ne doit plus relever de l'expérience (toujours particulière), mais d'une déduction plus générale."--Page 4 of cover. (shrink)

Le problème de la vérité a toujours préoccupé l'esprit humain; il hante pour ainsi dire l'homme d'aujourd'hui. Dans les brèves réflexions qui vont suivre, nous nous proposons de présenter une approximation tres limitée de ce problème tel qu'il se pose à la philosophic traditionnelle, à savoir: Le caractère historique et relatifde la connaissance humaine est-il conciliable avec I'affirmation de vérites immuables?

En l'occurrence, au XXe siècle, le cinéma, alors que le XIXe était appareillé par la photographie. Dans une radicale philosophie de la temporalité comme la sienne, les appareils font chacun leur tour époque sans pourtant s'éliminer.

Predicates involved in language and reasoning are claimed to radically differ from categories applied to objects. Human predicates are the cognitive result of a contrast between perceived objects. Object recognition alone cannot generate such operations as modification and explicit negation. The mechanism studied by Hurford constitutes at best an evolutionary prerequisite of human predication ability.

Two strains of male mice have bred over fortygenerations, starting with the work of RobertCairns and his colleagues, one strain with ahigh level of intra-species aggression, theother a low level of aggression. Thehigh-aggression mice tend to establishdominance hierarchies and particularly fight inthe presence of female mice. Thelow-aggression mice tend, in groups of theirown, to have a high degree of low-intensity,peaceful social contact, and to be more timidin initiating action than the high-aggressionmice. Biochemical differences have beenobserved between the two strains, and (...) confirmedby the present data: the high-aggression micehave greater dopamine concentrations (in thecaudate nucleus and nucleus accumbens), lowerlevels of the stress hormone corticosterone,and higher levels of testosterone than thelow-aggression mice. The current experimentswere designed to answer questions about theflexibility of adaptive behaviors:specifically, what is the effect of early dailymaternal separation on adult stress response ineach strain? What are the behavioral andhormonal mechanisms by which, as has beenobserved, low-aggression mice achieve adominant status when brought into situationswhere they compete for territory withhigh-aggression mice? Finally, what are thesocial and neurochemical mechanisms by whichhigh-aggression mice can develop low-aggressionbehavior if brought out of isolation and intogroups?Maternal separation was found to lead todecreases in stress levels, as measured bycorticosterone, in the low-aggression but notthe high-aggression, mice – presumably becauseof the surplus of maternal care the pupsreceive on returning to the nest. When alow-aggression mouse became dominant and ahigh-aggression mouse became submissive, theirusual pattern of corticosterone andtestosterone levels was found to be reversed. The change to low-aggression behavior inhigh-aggression mice switching from anisolation condition to a group condition, wasmediated by a decrease in D 1 dopaminereceptor densities.These results, like the ones on which theybuild, argue for substantial developmentalinfluences in expressions of the genesinfluencing aggressive or cooperative behavior. In this approach to evolution, epigenesis istreated not as a set of traits and behaviorspredetermined by the genome, but as a set ofprobabilistic tendencies toward certain traitsand behaviors. (shrink)

This paper sketches a history of definition of identity from the Aristotle’s Topics down to the modern set theory. The author tries to explain particularly: first, how the transformation of the concept of predicate at the end of the nineteenth century made it necessary to revise the leibnitian definition of the identity of individuals; secondly, why Dedekind, Peano, Schröder, etc. made, between two possible definitions of identity of predicates or of sets, a choice which later made it necessary to postulate (...) in set theory the axiom of extensionality. (shrink)