Pierre Joray

Professeur de logique

Pierre Joray

E-mail : 

Phone :  +33 223236104

Fax :  +33 223235151

  1. Fonction administrative
  2. Domaines de recherche
  3. Principales publications
  4. Colloques et événements organisés
  5. Doctorants

Fonction administrative

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:
  • 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)
  • A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic”, Notre Dame Journal of Formal Logic, to appear (accepted 2014).
  • 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èse soutenue:

  • Baptiste LE BIHAN, Un espace temps de contingence, (soutenue le 24 juin 2015), co-directeur: Jiri Benovsky (Université de Fribourg, Suisse).

Thèses en cours:

  • Quentin RUYANT, Le réalisme structural et le statut des sciences spéciales, en cotutelle avec l'Université Catholique de Louvain, promoteur thèse (Belgique): Alexandre Guay.
  • Youna TONNERRE, Thomas Kuhn à l'épreuve de la physique contemporaine, co-directrice: Anouk Barberousse (Paris IV).