Pierre Joray

• Responsable du Master recherche (Nomos)
• Référent déontologue de l'Université de Rennes 1 ( https://www.univ-rennes1.fr/le-referent-deontologue )

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

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.
 

• 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-1^er 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).

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.