Pierre Joray

Professeur de logique

Pierre Joray
Localité:

France

Adresse courriel : pierre [dot] joray [at] univ-rennes [dot] fr

Téléphone : +33 223236104

Fax : +33 223235151

Fonctions

Domaines de recherche

Mes recherches se situent essentiellement en

  • Logique, théorie de la preuve
  • Philosophie de la logique et du langage
  • Philosophie des mathématiques

Mes thématiques sont plus spécifiquement:

  • Logique développementale de S. Lesniewski: Protothétique, Ontologie, Méréologie.
  • Ecole de Varsovie: Lesniewski, Tarski, Lukasiewicz, Ajdukiewicz, Jaskowski
  • Logicisme contemporain
  • Théorie de la définition
  • Syllogistique d'Aristote
  • Grammaires catégorielles: Ajdukiewicz, Bar-Hillel, Lambek

Principales publications

Ouvrages:

  • Joray P. & Miéville D. (éds). Regards croisés sur l’axiomatique. Travaux de logique 20. (130 p.), 2011. (en ligne)
  • Joray P. (ed.), Contemporary Perspectives on Logicism and the Foundation of Mathematics. Neuchâtel: Travaux de logique 18. (208 p.), 2007. (en ligne)
  • Joray P. (éd.), La quantification dans la logique moderne. Paris: L’Harmattan, Coll. Epistémologie et Philosophie des Sciences. (372 p.), 2005.
  • Joray P., Gessler N. & Degrange C. Le logicisme catégoriel. Travaux de logique 16. (143 p.), 2005. (en ligne)
  • Joray P. La subordination logique. Une étude du nom complexe dans l’Ontologie de Lesniewski. Berne: Peter Lang. (283 p.), 2001.

Articles principaux:

  • "La négation dans les logiques étendues de Russell et Lesniewski", dans R. Clos-Goudard (éditeur), Denis Vernant en dialogues: logique, pragmatique, praxéologie. Revue Piste 3, Paris: Vrin, 2023.
  • "Un système de déduction naturelle pour le Protothétique de Lesniewski", Argumentum 18 (1), 45-65, 2020. (en ligne: lien)
  • A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic”, Notre Dame Journal of Formal Logic 58 (3), 2017.
  • Syllogisme”, entrée de L'Encyclopédie Philosophique, versions 'grand public' et 'académique', en ligne (http://encyclo-philo.fr/), 2016.
  • Teaching Lesniewski's Protothetic with a Natural Deduction System” [paper presented at the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015], arXiv.org, 2015. (en ligne)
  • The Principle of Contradiction and Ecthesis in Aristotle’s Syllogistic”, History and Philosophy of Logic 35/3, 2014.
  • A non reductionist logicism with explicit definitions” in Lepage F. & Fradet K. (eds). La crise des fondements: quelle crise ? , Montréal : Les Cahiers d’Ithaques, 185-201, 2013.
  • «Axiomatiques minimales et définitions. La thèse de Tarski sur le calcul biconditionnel», Travaux de logique 20, 57-83, 2011. (en ligne)
  • Avec Godart-Wendling B. “When Categories go back to Part of Speech” in Hassler G. (ed). History of Linguistics 2008. Amsterdam: John Benjamins, 399-407, 2011.
  • «La définition dans les systèmes logiques de Łukasiewicz, Leśniewski et Tarski». Dans Pouivet R. & Rebuschi M. (éds). La philosophie en Pologne 1918-1939. Paris: Vrin, 203-222, 2006.
  • What is wrong with creative definitions?. Logika 23 (Wrocław), 2006.
  • «La no-class theory de Stanisław Leśniewski», Philosophia Scientiae 9/2, 189-204, 2005.
  • Should definitions be internal?». In Bilkova M. & Behounek L. (eds), The Logica Yearbook 2004. Prague: Filosofia, 189-199, 2005.
  • Logicism in Leśniewski’s Ontology. Logica Trianguli (Łódź, Nantes, Santiago de Compostella) 6, 3-20, 2003.
  • Avec Godart-Wendling B., «De la théorie des catégories sémantiques de Leśniewski à l’analyse de la quantification dans la syntaxe d’Ajdukiewicz». Langages 148, 28-50, 2002.

Pour plus de détails, cf. ma page personnelle.
 

Colloques et événements organisés

  • Colloque international: Mereology: Parts and Wholes in Logic and Ontology, Rennes, les 17-18 octobre 2013. Co-organisé avec B. Le Bihan (Université de Rennes 1).
  • Colloque international: L’axiomatique, Rennes, les 16-17 octobre 2008. En collaboration avec l’Institut de logique de l’Université de Neuchâtel (Suisse).

  • Formation de haut niveau: Approches du raisonnement juridique, Rennes, 18-19 décembre 2007. Organisé dans le cadre de l’Ecole doctorale droit, sciences politiques et philosophie, avec l’EA «Philosophie des normes» et l’Institut de l’Ouest : Droit et Europe de Rennes 1.

  • Colloque international: Définition : rôles et fonctions en logique et en mathématiques, Neuchâtel (Suisse), 19-20 octobre 2007. Co-organisé avec le Prof. D. Miéville (Université de Neuchâtel).
  • Colloque international: Contemporary Perspectives on Logicism, Université de Neuchâtel (Suisse), 21-23 avril 2005.
  • Colloque annuel de l’Association Suisse de Sémiotique: Metaphern / Métaphores, Neuchâtel, 8-9 avril 2005. Co-organisé avec Pr. U. Bähler (Universität Zürich).
  • Colloque annuel de la Société Suisse de Logique et de Philosophie des Sciences: The Lambda-Calculus, Berne, 14-15 octobre 2004. Co-organisé avec le Prof. G. Jäger (Universität Bern).
  • Formation doctorale. La quantification interprétée, Crêt-Bérard (Suisse), 24 février-1er mars 2003. Collaboration entre les Universités de Neuchâtel et Lausanne.
  • Colloque international La quantification, Neuchâtel, 11-13 octobre 2002. Institut de logique de l’Université de Neuchâtel / Société Suisse de Logique et de Philosophie des Sciences.
  • Colloque annuel de l’Association Suisse de Sémiotique: Analyser le texte argumentatif, Neuchâtel, 14 avril 2000. Co-organisé avec Prof. E. Thommen (Université de Fribourg).

Doctorants

Thèses soutenues:

  • Baptiste LE BIHAN, Un espace temps de contingence, (soutenue le 24 juin 2015), co-directeur: Jiri Benovsky (Université de Fribourg, Suisse).
     
  • Quentin RUYANT, Le réalisme structural (soutenue le 29 septembre 2017), en cotutelle avec l'Université Catholique de Louvain, promoteur de thèse (Belgique): Alexandre Guay.
     
  • Dominique POITEVIN, La conscience augmentée: perception et conscience numériques (soutenue le 7 décembre 2020).

Thèses en cours

  • Youna TONNERRE, Thomas Kuhn à l'épreuve de la physique contemporaine, co-directrice: Anouk Barberousse (Paris IV).
     
  • Vincent CLOS, Le présentisme d'Arthur N. Prior, co-directeur: Jean-Maurice Monnoyer (Université d'Aix-Marseille).
  • Rodolphe THEVENOT, Au carrefour des définitions: enjeux sur la démontrabilité et la calculabilité.
  • Alexandre MOYENGA, La définition dans le logicisme de Frege: enjeux et limitations.