Results for 'Jean-Yves Jolif'

938 found
Order:
  1.  9
    Comprendre l'homme.Jean Yves Jolif - 1967 - Paris,: Éditions du Cerf.
    t.l. Introduction à une anthropologie philosophique.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  7
    Saint Thomas D'Aquin aujourd'hui.Jean Yves Jolif - 1963 - Desclée de Brouwer.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. L'Éthique à Nieomaque.R. Antoine Gauthier & Jean-Yves Jolif - 1963 - Revue de Métaphysique et de Morale 68 (4):498-499.
    No categories
     
    Export citation  
     
    Bookmark   13 citations  
  4. L'éthique à Nicomaque.R. Antoine Gauthier & Jean-Yves Jolif - 1962 - Revue de Métaphysique et de Morale 67 (4):502-503.
    No categories
     
    Export citation  
     
    Bookmark   20 citations  
  5.  48
    L'Ethique a Nicomaque.La Morale d'Aristote.James J. Walsh, Rene Antoine Gauthier, Jean Yves Jolif & R. -A. Gauthier - 1959 - Journal of Philosophy 56 (18):735.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  21
    Aristote, L'Ethique a Nicomaque.Richard Robinson, Rene Antoine Gauthier & Jean Yves Jolif - 1962 - American Journal of Philology 83 (4):424.
  7.  21
    Saint Thomas d'Aquin aujourd'hui. Par Jean-Yves Jolif, O.P., et al. Recherches de Philosophie, VI. Paris, Desclée de Brouwer, 1963. 260 pages. 270 frs beiges. [REVIEW]Vernon J. Bourke - 1964 - Dialogue 3 (3):332-334.
  8. Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–101.
    The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality “of course” which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   133 citations  
  9. Liber amicorum Jean-Yves Cherot: Le droit entre théories et pratique.Jean-Yves Cherot & Valérie Michel (eds.) - 2023 - Bruxelles: Émile Bruylant.
     
    Export citation  
     
    Bookmark  
  10.  53
    Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
    Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  34
    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.  23
    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   64 citations  
  13.  30
    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  
  14.  13
    De Nietzsche à Maître Eckhart.Jean-Yves Leloup - 2014 - Paris: Almora.
    Jean-Yves Leloup nous propose ici deux lectures magistrales de deux géants de la culture occidentale : Nietzsche, l'athée et Maître Eckhart, le théologien-mystique. Il tente de remettre "à l'endroit" un texte de Nietzsche, Ecce Homo, souvent cité pour justifier tous les athéismes. Leloup montre que le Dieu en lequel Nietzsche voyait une "antithèse de la vie" n'a rien à voir avec le Dieu des Evangiles qui est au contraire une puissance de vie et de libération, une claire lumière (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  15. 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   61 citations  
  16. Is Modern Logic Non-Aristotelian?Jean-Yves Beziau - 2017 - In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic. Cham: Springer Verlag.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  17.  25
    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  
  18.  43
    The Square of Opposition: A General Framework for Cognition.Jean-Yves Beziau & Gillman Payette (eds.) - 2011 - Peter Lang.
    Papers... "selected from a larger number of contributions most of them based on talks presented at the First World Congress on the Square of Opposition organized in Montreux in June 2007"--Preface, p. 12.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  19.  7
    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  
  20.  66
    From consequence operator to universal logic: a survey of general abstract logic.Jean-Yves Beziau - 2005 - In Jean-Yves Béziau (ed.), Logica Universalis: Towards a General Theory of Logic. Boston: Birkhäuser Verlog. pp. 3--17.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  21.  68
    Disentangling Contradiction from Contrariety via Incompatibility.Jean-Yves Beziau - 2016 - Logica Universalis 10 (2-3):157-170.
    Contradiction is often confused with contrariety. We propose to disentangle contrariety from contradiction using the hexagon of opposition, providing a clear and distinct characterization of three notions: contrariety, contradiction, incompatibility. At the same time, this hexagonal structure describes and explains the relations between them.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  73
    The Vatican Square.Jean-Yves Beziau & Raffaela Giovagnoli - 2016 - Logica Universalis 10 (2-3):135-141.
    After explaining the interdisciplinary aspect of the series of events organized around the square of opposition since 2007, we discuss papers related to the 4th World Congress on the Square of Opposition which was organized in the Vatican at the Pontifical Lateran University in 2014. We distinguish three categories of work: those dealing with the evolution and development of the theory of opposition, those using the square as a metalogical tool to give a better understanding of various systems of logic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  22
    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  
  24.  78
    New Directions in Paraconsistent Logic.Jean-Yves Beziau (ed.) - 2015 - New Delhi, India: Springer, India.
    The present book discusses all aspects of paraconsistent logic, including the latest findings, and its various systems. It includes papers by leading international researchers, which address the subject in many different ways: development of abstract paraconsistent systems and new theorems about them; studies of the connections between these systems and other non-classical logics, such as non-monotonic, many-valued, relevant, paracomplete and fuzzy logics; philosophical interpretations of these constructions; and applications to other sciences, in particular quantum physics and mathematics. Reasoning with contradictions (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  25.  71
    Coherent bets under partially resolving uncertainty and belief functions.Jean-Yves Jaffray - 1989 - Theory and Decision 26 (2):99-105.
  26.  86
    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  
  27. 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  
  28.  80
    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  
  29.  95
    Is the Principle of Contradiction a Consequence of x2=xx^{2}=x x 2 = x?Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):55-81.
    According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \. We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  15
    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  
  31.  22
    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  
  32.  60
    Politique.Jean-Yves Tilliette, Alessandro Stella, Bernard Merdrignac, Hugues Marchal, Marie-Frédérique Pellegrin, Laurent Feller, Dino Bellucci, Laurent Bourquin, Joël Cornette, François Billacois, Françoise Waquet, Sophie Peytavin, Barbara De Negroni, Marie-Jeanne Königson-Montain, Jean-Claude Bourdin, Christophe Prochasson, Perrine Simon-Nahum & Jean-François Kervégan - 1997 - Revue de Synthèse 118 (2-3):309-358.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33.  26
    Being Aware of Rational Animals.Jean-Yves Beziau - 2017 - In Gordana Dodig-Crnkovic & Raffaela Giovagnoli (eds.), Representation of Reality: Humans, Other Living Organism and Intelligent Machines. Heidelberg: Springer.
    Modern science has qualified human beings as homo sapiens. Is there a serious scientific theory backing this nomenclature? And can we proclaim ourselves as wise? The classical rational animals characterization has apparently the same syntactic form but it is not working exactly in the same way. Moreover the semantics behind is more appropriate, encompassing a pivotal ambiguity. In the second part of the paper, we further delve into this ambiguity, relating rationality with three fundamental features of these creatures: ability to (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  57
    CONCEPTUAL CLARIFICATIONS Tributes to Patrick Suppes (1922-2014).Jean-Yves Beziau (ed.) - 2015 - London, England: College Publication.
    This is a volume containing papers honoring Patrick Suppes (1922-2014). All contributors have worked directly with Suppes or/and with his ideas. The book also contains one of the last papers by Suppes (co-authored by two of his collaborators). -/- The work of Suppes touches many different areas, ranging from meteorology to physics, through logic, mathematics, psychology, neuroscience, education, painting, but he was first of all and above all a philosopher, always questioning, but not in vain. There are not many philosophers (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  59
    Many-valued and Kripke semantics.Jean-Yves Béziau - 2006 - In Johan van Benthem, Gerhard Heinzman, M. Rebushi & H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today. Dordrecht, Netherland: Springer. pp. 89--101.
  36.  29
    L'apparaître et l'irréducible.Jean-Yves Lacoste - 2006 - Revue Philosophique De Louvain 104 (3):498-528.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  18
    Les personnes en situation de handicap complexe avec altérations des capacités de décision, d’action et de communication : retour sur la méthode.Jean-Yves Barreyre - 2019 - Alter - European Journal of Disability Research / Revue Européenne de Recherche Sur le Handicap 13 (3):207-217.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  50
    Paraconsistent logic from a modal viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
  39.  14
    Alexandrie (Égypte).Jean-Yves Empereur - 2000 - Bulletin de Correspondance Hellénique 124 (2):595-619.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40. Notes on French and English demonstratives.Jean-Yves Pollock & Richard S. Kayne - unknown
    (4) Jean apprécie ce livre-là. (‘Jean appreciates ce book-there’) (5) Jean apprécie ce livre-ci. (‘Jean appreciates ce book-here’) in a way that recalls in part non-standard English: (6) John is reading that there book. (7) John is reading this here book. with (6) akin to (4) and with (7) akin to (5). The difference in word order, whereby English has there/here prenominal in (6)/(7) and French has - là/-ci postnominal in (4)/(5), was analyzed by Bernstein (1997) (...)
     
    Export citation  
     
    Bookmark   2 citations  
  41. The oak and the woodpecker, observations on Singer's utilitarianism.Jean-Yves Goffi - 1998 - In Georges Chapouthier & Jean-Claude Nouët (eds.), The universal declaration of animal rights: comments and intentions. Paris: Ligue Française des Droits de l'Animal.
     
    Export citation  
     
    Bookmark  
  42.  45
    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  
  43. Logiques construites suivant les méthodes de da Costa.Jean-Yves Béziau - 1990 - Logique Et Analyse 131 (132):259-272.
     
    Export citation  
     
    Bookmark   4 citations  
  44. De la donation comme promesse.Jean Yves Lacoste - 2009 - Revista Portuguesa de Filosofia 65 (1):841-856.
     
    Export citation  
     
    Bookmark  
  45. The relativity and universality of logic.Jean-Yves Beziau - 2015 - Synthese 192 (7):1939-1954.
    After recalling the distinction between logic as reasoning and logic as theory of reasoning, we first examine the question of relativity of logic arguing that the theory of reasoning as any other science is relative. In a second part we discuss the emergence of universal logic as a general theory of logical systems, making comparison with universal algebra and the project of mathesis universalis. In a third part we critically present three lines of research connected to universal logic: logical pluralism, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  46.  83
    A new four-valued approach to modal logic.Jean-Yves Béziau - 2011 - Logique Et Analyse 54 (213):109.
  47.  23
    Un informateur du landgrave de Hesse a la cour de Lorraine Nicolas mengin.Jean-Yves Mariotte - forthcoming - Bibliothèque d'Humanisme Et Renaissance.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  7
    Histoire des démarches scientifiques: de l'Antiquité au monde contemporain.Jean-Yves Cariou - 2019 - Paris: Éditions matériologiques.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  11
    La technique de Platon à Simondon: persuader la nécessité.Jean-Yves Chateau - 2022 - Grenoble: Millon.
    Il ne s'agit pas seulement ici de rendre compte de la philosophie de la technique que l'on trouve chez Platon et chez Simondon, et de quelques autres parmi les plus importantes, mais d'affronter véritablement la question : qu'est-ce que la technique? On voudrait faire apparaître d'abord le caractère exemplaire et décisif de Platon pour la compréhension de ce qu'a été la réalité technique de son temps aussi bien que pour la compréhension, aujourd'hui encore, de la réalité technique actuelle, des problèmes (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  7
    L’épreuve artistique διὰ πάντων.Jean-Yves Strasser - 2006 - História 55 (3):298-327.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 938