Results for 'Jean-Yves Trépos'

1000+ found
Order:
  1.  48
    La force des dispositifs faibles : la politique de réduction des risques en matière de drogues.Jean-Yves Trépos - 2003 - Cahiers Internationaux de Sociologie 1 (1):93-108.
    La conversion de la France à une politique de « réduction des risques » , est généralement interprétée comme l’indice d’un changement de paradigme en matière de toxicomanie. Il est néanmoins possible de la voir comme une forme de réagencement politique du monde des consommations de drogues, visant à définir de nouveaux seuils, les plus bas possibles, pour l’entrée dans des dispositifs de soin et de service. L’examen des visions du monde sur lesquelles reposent ces équipements politiques, en France comme (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2. L’élargissement de l’Europe par temps de guerre.Jean-Yves Potel - 2024 - Multitudes 95 (2):182-184.
    L’élargissement de l’Union à l’Ukraine se pose en des termes particuliers. Il est devenu le fondement politique d’une solidarité européenne et d’un soutien inconditionnel face à l’agression de Poutine. Bien que le pays se conforme à « l’acquis communautaire » en termes d’État de droit, le principe de l’élargissement se heurte à de nombreuses difficultés et oppositions des États membres : faible soutien militaire et insuffisance des industries de défense, concurrence des produits agricoles ukrainiens en cas d’intégration dans un grand (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    Proofs and types.Jean-Yves Girard - 1989 - New York: Cambridge University Press.
    This text is an outgrowth of notes prepared by J. Y. Girard for a course at the University of Paris VII. It deals with the mathematical background of the application to computer science of aspects of logic (namely the correspondence between proposition & types). Combined with the conceptual perspectives of Girard's ideas, this sheds light on both the traditional logic material & its prospective applications to computer science. The book covers a very active & exciting research area, & it will (...)
    Direct download  
     
    Export citation  
     
    Bookmark   58 citations  
  4. Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
    No categories
     
    Export citation  
     
    Bookmark   127 citations  
  5.  1
    Alexandrie (Égypte).Jean-Yves Empereur - 2000 - Bulletin de Correspondance Hellénique 124 (2):595-619.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    Alexandrie (Egypte).Jean-Yves Empereur - 2001 - Bulletin de Correspondance Hellénique 125 (2):679-700.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    Alexandrie (Egypte) 1992-1993.Jean-Yves Empereur, Albert Hesse & Olivier Picard - 1994 - Bulletin de Correspondance Hellénique 118 (2):503-519.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8.  32
    Délos et Rhénée.Jean-Yves Empereur, Jean-Pierre Braun, Hervé Le Bras, Philippe Fraisse & Marie-Thérèse Le Dinahet-Couilloud - 1983 - Bulletin de Correspondance Hellénique 107 (2):881-899.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9.  43
    Π12-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2-3):75-219.
  10.  59
    Coherent bets under partially resolving uncertainty and belief functions.Jean-Yves Jaffray - 1989 - Theory and Decision 26 (2):99-105.
  11.  25
    Jean-Jacques Rousseau ou l'anti-économique.Jean-Yves Naudet - 2012 - Journal des Economistes Et des Etudes Humaines 18 (1).
    Jean-Jacques Rousseau est l'auteur de l'entrée "économie politique" dans l'Encyclopédie en 1755. A ce titre, il aurait pu être l'un des fondateurs de cette discipline. Pourtant, la définition qu'il en donne est à l'encontre de la pensée libérale des physiocrates, puis des classiques, et constitue une véritable "anti-économique". En hypertrophiant le rôle de l'Etat et en niant l'intérêt personnel, Rousseau est au contraire l'un des pères du socialsme. En niant la liberté humaine, il nie aussi l'existence de choix éthiques.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  43
    [product]¹2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  13. Linear logic: its syntax and semantics.Jean-Yves Girard - 1995 - In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--1.
     
    Export citation  
     
    Bookmark   29 citations  
  14.  68
    On the unity of logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
    We present a single sequent calculus common to classical, intuitionistic and linear logics. The main novelty is that classical, intuitionistic and linear logics appear as fragments, i.e. as particular classes of formulas and sequents. For instance, a proof of an intuitionistic formula A may use classical or linear lemmas without any restriction: but after cut-elimination the proof of A is wholly intuitionistic, what is superficially achieved by the subformula property and more deeply by a very careful treatment of structural rules. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  15.  21
    Logic and Religion: Special Issue of Logica Universalis.Jean-Yves Beziau & Ricardo Silvestre (eds.) - 2017 - Londres, Reino Unido: Springer.
    This special issue of Logica Universalis (Springer) deals with the relations between logic and religion, broadly conceived. It contains the following articles: Logic and Religion, by Jean-Yves Beziau and Ricardo Silvestre; Thinking Negation in Early Hinduism and Classical Indian Philosophy, by Purushottama Bilimoria; Karma Theory, Determinism, Fatalism and Freedom of Will, by Ricardo Sousa Silvestre; From Logic in Islam to Islamic Logic, by Musa Akrami; Leibniz’s Ontological Proof of the Existence of God and the Problem of Impossible Objects, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  77
    Idempotent Full Paraconsistent Negations are not Algebraizable.Jean-Yves Béziau - 1998 - Notre Dame Journal of Formal Logic 39 (1):135-139.
    Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that $\neg(a\wedge\neg a)$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17.  18
    Les Olympia d'Alexandrie et le pancratiaste M. Aur. Asklèpiadès.Jean-Yves Strasser - 2004 - Bulletin de Correspondance Hellénique 128 (1):421-468.
    Jean-Yves Strasser The Olympia of Alexandria and the Pancratiast M. Aur. Asklepiades p.421-468 The Alexandrian Olympia are known thanks to inscriptions and especially papyri. The latter mention the olympionikoi, who may have been victors not in the great competition at Pisa, but in the Olympia of the Egyptian city. These competitions, created under Marcus Aurelius, became eiselastikoi under Gallien; they were first celebrated in 268. Like the majority of the great competitions in Egypt, they took place in the (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  6
    Alexandrie (Egypte).Jean-Yves Empereur - 1995 - Bulletin de Correspondance Hellénique 119 (2):743-760.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  19.  11
    Collection Paul Canellopoulos : Petits objets inscrits.Jean-Yves Empereur - 1981 - Bulletin de Correspondance Hellénique 105 (1):537-568.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20.  8
    Inscriptions de Delphes.Jean-Yves Empereur - 1981 - Bulletin de Correspondance Hellénique 105 (1):417-427.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  15
    Inscriptions du port de Thasos.Jean-Yves Empereur & Angeliki Simossi - 1994 - Bulletin de Correspondance Hellénique 118 (2):407-415.
    Trois incriptions trouvées au cours de la récente fouille sous-marine franco-grecque du port antique de Thasos sont publiées ici : il s'agit de bases de statues en l'honneur d'un philosophe, d'un évergète et d'un patron de la cité ; ce dernier appartient à la famille du grand Pompée.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  7
    Les anses d'amphores timbrées et les amphores : aspects quantitatifs.Jean-Yves Empereur - 1982 - Bulletin de Correspondance Hellénique 106 (1):219-233.
    Les anses d'amphores timbrées ne permettent guère, à elles seules, de retracer l'histoire du commerce du vin et de l'huile dans le bassin égéen. Une comparaison entre les différentes catégories d'anses timbrées puis entre une collection d'anses timbrées et un lot d'amphores complètes trouvées dans les mêmes conditions le montrent amplement (les exemples sont pris à Délos et à Alexandrie). Seule l'étude de l'ensemble des amphores, qu'elles soient estampillées ou non, permet des considérations d'ordre historique.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  29
    Recherches sur les centres de fabrication d'amphores de Crète occidentale.Jean-Yves Empereur, Stavroula Markoulaki & Antigone Marangou A. - 1989 - Bulletin de Correspondance Hellénique 113 (2):551-580.
    Ή επιφανειακή έρευνα πού αποσκοπούσε στην ανεύρεση εργαστηρίων παραγωγής αμφορέων στην Δυτική Κρήτη, μας επέτρεψε νά διακρίνουμε 4 τύπους αμφορέων ρωμαϊκής περιόδου. Τήν άνθιση πού παρατηρούμε στην παραγωγή καί εξαγωγή του κρητικού κρασιού, μαρτυρούν επίσης καί οί αρχαίες πηγές. Έκτος από μιά πρώτη τυπολογία θά βρούμε επίσης καί μιά λεπτομερή περιγραφή των εργαστηριακών εγκαταστάσεων καί τής κεραμεικής παραγωγής πού βρέθηκαν κατά τή διάρκεια τής ανασκαφής στό Καστέλλι Κισσάμου.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  15
    Recherches sur les amphores crétoises ( III ).Jean-Yves Empereur, Antigone Marangou A. & Nikos Papadakis - 1992 - Bulletin de Correspondance Hellénique 116 (2):633-648.
    Dans une première partie sont présentés les résultats d'une troisième et dernière campagne de prospection en Crète, consacrée à la partie orientale de l'île : deux ateliers ampho- riques ont été découverts, à Trypitos et à Lagada, et l'on dispose d'éléments suffisants pour localiser d'autres ateliers à Makry Ghialos, Aghios Nikolaos et Hiérapétra. Dans une seconde partie, nous essaierons de tirer quelques enseignements à l'issue de ces prospections qui ont permis de découvrir une vingtaine d'ateliers dans l'ensemble de l'île, avec (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  15
    Recherches sur les amphores crétoises II : les centres de fabrication d'amphores en Crète centrale.Jean-Yves Empereur, Antigone Marangou A. & Charalambos B. Kritzas - 1991 - Bulletin de Correspondance Hellénique 115 (1):481-523.
    Faisant suite à celles réalisées en Crète occidentale (BCH 113 [1989], p. 551-580), l'Éphorie des Antiquités d'Hérakleion et l'École française d'Athènes ont mené en collaboration en 1989 des recherches sur les ateliers de fabrication d'amphores de Crète centrale, dont l'activité s'échelonne entre l'époque hellénistique et l'époque impériale. On a ainsi localisé de nouveaux ateliers et réexaminé des ateliers déjà connus à Hérakleion, Chersonisos, Tsoutsouros (Inatos), Kératokambos et Dermatos. L'étude typologique permet d'affirmer que différents types d'amphores pouvaient être fabriqués dans le (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  7
    Thasos.Jean-Yves Empereur & Angeliki Simossi - 1989 - Bulletin de Correspondance Hellénique 113 (2):734-746.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  27.  46
    Thasos.Jean-Yves Empereur, Angeliki Simossi, Yves Grandjean, François Salviat, Zissis Bonias, Jean-Yves Marc, Jean-Charles Moretti, Didier Viviers, Francine Blondé, Arthur Muller, Dominique Mulliez & François Poplin - 1993 - Bulletin de Correspondance Hellénique 117 (2):647-669.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  28.  16
    Hegel’s Orientalist Philosophy of History and its Kantian Anthropological Legacy.Jean-Yves Heurtebise - 2017 - Journal of Chinese Philosophy 44 (3-4):175-192.
    This paper aims to shed new light on Hegel’s rather problematic statements about Asian thinking and Chinese philosophy by disclosing the Orientalist antecedents found in Kant’s anthropological works. First, the notion of Orientalism will be defined with reference to Orientalism and “Orientalism Reconsidered” by Edward Said. Second, an exploration of Kant’s anthropological research will show that this constituted the turning point in the Western Orientalist perception of China which had a strong influence on Hegel Finally, it will be claimed that (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  52
    Around and Beyond the Square of Opposition.Jean-Yves Béziau & Dale Jacquette (eds.) - 2012 - Springer Verlag.
    Jean-Yves Béziau Abstract In this paper I relate the story about the new rising of the square of opposition: how I got in touch with it and started to develop new ideas and to organize world congresses on the topic with subsequent publications.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  30. The power of the hexagon.Jean-Yves Béziau - 2012 - Logica Universalis 6 (1-2):1-43.
    The hexagon of opposition is an improvement of the square of opposition due to Robert Blanché. After a short presentation of the square and its various interpretations, we discuss two important problems related with the square: the problem of the I-corner and the problem of the O-corner. The meaning of the notion described by the I-corner does not correspond to the name used for it. In the case of the O-corner, the problem is not a wrong-name problem but a no-name (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  31.  65
    The Square of Opposition: A Cornerstone of Thought.Jean-Yves Béziau & Gianfranco Basti (eds.) - 2016 - Basel, Switzerland: Birkhäuser.
    This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathematical developments of the theory of opposition including applications to theology, theory of argumentation and metalogic.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  32.  14
    The Blind Spot: Lectures on Logic.Jean-Yves Girard - 2011 - Zurich, Switzerland: European Mathematical Society.
    These lectures on logic, more specifically proof theory, are basically intended for postgraduate students and researchers in logic. The question at stake is the nature of mathematical knowledge and the difference between a question and an answer, i.e., the implicit and the explicit. The problem is delicate mathematically and philosophically as well: the relation between a question and its answer is a sort of equality where one side is ``more equal than the other'': one thus discovers essentialist blind spots. Starting (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  33.  4
    Comprendre l'homme.Jean Yves Jolif - 1967 - Paris,: Éditions du Cerf.
    t.l. Introduction à une anthropologie philosophique.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  5
    From theology to theological thinking.Jean-Yves Lacoste - 2014 - Charlottesville: University of Virginia Press.
    "Christian philosophy" is commonly regarded as an oxymoron, philosophy being thought incompatible with the assumptions and conclusions required by religious faith. According to this way of thinking, philosophy and theology must forever remain distinct. In From Theology to Theological Thinking, Jean-Yves Lacoste takes a different approach. Stepping back from contemporary philosophical concerns, Lacoste--a leading figure in the philosophy of religion--looks at the relationship between philosophy and theology from the standpoint of the history of ideas. He notes in particular (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  6
    Locus Solum: From the Rules of Logic to the Logic of Rules.Jean-Yves Girard - 2001 - Mathematical Structures in Computer Science 11 (3):301–506.
    Go back to An-fang, the Peace Square at An-Fang, the Beginning Place at An-Fang, where all things start (… ) An-Fang was near a city, the only living city with a pre-atomic name (… ) The headquarters of the People Programmer was at An-Fang, and there the mistake happened: A ruby trembled. Two tourmaline nets failed to rectify the laser beam. A diamond noted the error. Both the error and the correction went into the general computer. Cordwainer SmithThe Dead Lady (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  61
    Constrained egalitarianism in a simple redistributive model.Jean-Yves Jaffray & Philippe Mongin - 2003 - Theory and Decision 54 (1):33-56.
    The paper extends a result in Dutta and Ray's (1989) theory of constrained egalitarianism initiated by relying on the concept of proportionate rather than absolute equality. We apply this framework to redistributive systems in which what the individuals get depends on what they receive or pay qua members of generally overlapping groups. We solve the constrained equalization problem for this class of models. The paper ends up comparing our solution with the alternative solution based on the Shapley value, which has (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  10
    Le Temps est-il une qualité seconde ou première du Réel? — Analyse historique des rapports entre science et philosophie du Temps d’Aristote à Bergson.Jean-Yves Heurtebise - 2011 - Philosophia Scientiae 15:115-139.
    Le but de cet article est, à travers l’histoire des relations entre science et philosophie du temps, de retracer l’archéologie épistémologique du temps pensé comme progrès linéaire. Nous voudrions montrer : 1. que la pensée du « temps » évolue avec le temps, 2. que cette évolution peut se lire en même temps en science et en philosophie sans qu’il soit nécessaire d opposer l’une à l’autre, 3. qu’elle n’est pas réductible à une opposition entre réversibilité ou irréversibilité ; 4. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  5
    Hadrien et le calendrier des concours (SEG, 56, 1359, II).Jean-Yves Strasser - 2016 - Hermes 144 (3):352-373.
    New commentary on Hadrian’s second letter to Dionysiac artists. A thorough study of the text structure and vocabulary reveals that the emperor has not always altered the schedule of Greek games. His main concern is to insert the competitions he himself has created and to avoid conflicts between the cities. He certainly didn’t offend the susceptibilities of the Greeks, but he probably also resisted numerous requests. He has favoured considerably Athens. The understanding of the end of the text can be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  2
    L’épreuve artistique διὰ πάντων.Jean-Yves Strasser - 2006 - História 55 (3):298-327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Linguistic Politics During the French Revolution.Jean-Yves Lartichaux - 1977 - Diogenes 25 (97):65-84.
    Rarely is the problem of the diversity of languages taken into account whenever population groups are formed into States. When the problem does come up, it is later, in a primarily political context which tries to find political solutions, such as we may presently see them in Canada or in Belgium for instance. These solutions are few and they deal with situations that may contain a host of nuances.Certain countries have chosen a vehicular language while keeping their local languages: the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  45
    Introduction to?2 1 -logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  42.  31
    Set recursion and Πhalf-logic.Jean-Yves Girard & Dag Normann - 1985 - Annals of Pure and Applied Logic 28 (3):255-286.
  43.  33
    How to deal with partially analyzable acts?Jean-Yves Jaffray & Meglena Jeleva - 2011 - Theory and Decision 71 (1):129-149.
    In some situations, a decision is best represented by an incompletely analyzed act: conditionally on a given event A, the consequences of the decision on sub-events are perfectly known and uncertainty becomes probabilizable, whereas the plausibility of this event itself remains vague and the decision outcome on the complementary event ${\bar{A}}$ is imprecisely known. In this framework, we study an axiomatic decision model and prove a representation theorem. Resulting decision criteria aggregate partial evaluations consisting of (i) the conditional expected utility (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  40
    Interpersonal level comparability does not imply comparability of utility differences? A comment on Ng.Jean-Yves Jaffray - 1985 - Theory and Decision 19 (2):201-203.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45.  18
    Choraules et pythaules d'époque impériale. À propos d' inscriptions de Delphes.Jean-Yves Strasser - 2002 - Bulletin de Correspondance Hellénique 126 (1):97-142.
    qui y recense ses nombreuses victoires. Une brève histoire des choraules et de leur participation aux concours peut ainsi être esquissée : malgré sa popularité, surtout en Occident, la discipline n'a été acceptée que tardivement dans les concours, et aux Pythia sans doute seulement à la fin du Ier siècle. Un premier appendice évoque rapidement les catalogues du personnel cultuel conservés à Olym- pie ; un second établit le texte d'une inscription de Nîmes (IG XIV 2499), où l'on doit reconnaître (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  16
    La carrière du pancratiaste Markos Aurèlios Dèmostratos Damas.Jean-Yves Strasser - 2003 - Bulletin de Correspondance Hellénique 127 (1):251-299.
    Le pancratiaste périodonique Markos Aurèlios Dèmostratos Damas de Sardes est connu par de nombreux témoignages trouvés dans sa patrie, à Rome, à Éphèse, à Delphes et en Egypte. Leur réexamen permet de reconstruire avec précision la carrière du champion, comme d'éclairer certains points de l'histoire des concours qu'il a remportés. Deux inscriptions d'Éphèse qui lui ont été rapportées ne doivent sans doute pas l'être. On peut proposer de nouveaux suppléments aux palmarès de Sardes et de Delphes ; un autre texte (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  9
    La fête des Daidala de Platées et la "Grande année" d'Oinopidès.Jean-Yves Strasser - 2004 - Hermes 132 (3):338-351.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  36
    Introduction to ?2 1 -logic.Jean-Yves Girard - 1985 - Synthese 62 (2):191-216.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  49.  2
    Saint Thomas d'Aquin aujourd'hui.Jean Yves Jolif - 1963 - Desclée de Brouwer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  33
    Jean de Saint-Samson, Œuvres mystiques. Texte établi et présenté par Hein Blommestijn et Max Huot de Longchamp.Jean-Yves Lacoste - 1987 - Revue Philosophique De Louvain 85 (67):407-408.
1 — 50 / 1000