Pour tous les textes qui ne sont pas en accès depuis cette page, vous pouvez me contacter par e-mail: pierre.joray@univ-rennes1.fr
Une grande partie de mes publications est également accessible sur ma page academia.edu
Ouvrages
- Joray P. & Miéville D. (éds). Regards croisés sur l’axiomatique. Travaux de logique 20. (130 p.), 2011.
- Joray P. & Miéville D. (éds). Définition. Rôles et fonctions en logique et en mathématiques. Travaux de logique 19. (248 p.), 2008.
- Joray P. (ed.), Contemporary Perspectives on Logicism and the Foundation of Mathematics. Neuchâtel: Travaux de logique 18. (208 p.), 2007.
- 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.
- Joray P. La subordination logique. Une étude du nom complexe dans l’Ontologie de Leśniewski. Berne: Peter Lang. (283 p.), 2001.
Articles
- "Definition and Inference in Lesniewski's Logic", à paraître (2020) dans un prochain volume de la série Studies in Universal Logic, J.-Y. Béziau (ed.), Birkhaüser/Springer.
- "La négation dans les logiques étendues de Russell et Lesniewski", dans R. Clos-Goudard (éditeur), Denis Vernant en dialogues, Presses Universitaires de Nancy, à paraître (2020).
- "Un système de déduction naturelle pour le Protothétique de Lesniewski", Argumentum 18 (1), 45-65, 2020. (en ligne: lien)
- Avec Corcoran, J et Tracy K., "Deduction, reduction, and eduction: three proof-theoretic processes in Prior Analytics". Abstract of the 2018 North American Annual Meeting of the Association for Symbolic Logic, Bulletin of Symbolic Logic 24 (2018). 523-4.
- “Syllogisme”, entrée de L'Encyclopédie Philosophique, versions 'grand public' (pdf) et 'académique' (pdf), en ligne (http://encyclo-philo.fr/), 2016. Attention: les versions en lignes présentent encore quelques défauts formels qui seront corrigées par l'éditeur; les pdf en accès ici sont de meilleure qualité formelle, toute citation est cependant à relier au site de l'encyclopédie.
- “Teaching Leśniewski's Pro[to]thetic 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.
- “A Completed System for Robin Smith’s Incomplete Ecthetic Syllogistic”, Notre Dame Journal of Formal Logic, 58/3, 2017 (accepted 2014).
- “The Principle of Contradiction and Ecthesis in Aristotle’s Syllogistic”, History and Philosophy of Logic 35/3, 2014.
Site éditeur (ou contactez-moi)
- “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. Draft Site éditeur
- «Axiomatiques minimales et définitions. La thèse de Tarski sur le calcul biconditionnel», Travaux de logique 20, 57-83, 2011.
- 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. Preview Site éditeur (ou contactez-moi)
- «Principe de contradiction et ecthèse dans la syllogistique d’Aristote» in Hourcade A. & Lefebvre R. (éds). Aristote : rationalités. Presses Universitaires de Rouen et du Havre, 41-53, 2011. Site éditeur
- «Définitions explicites et abstraction», Travaux de logique 19, 135-157, 2008.
- “A New Path to the Logicist Construction of Numbers”, Travaux de logique 18, 147-165, 2007.
- «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. Draft Site éditeur
- “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.
- «Logicisme et définition explicite», Travaux de logique 16, 37-58, 2005.
- « La Quantification catégorielle » dans Joray P. (éd.) La quantification dans la logique moderne, Paris: L’Harmattan, 233-260, 2005.
- “A note on definitions in propositional calculi”. In Béziau J.-Y., Costa-Leite A. & Facchini A. (éds), Aspects of Universal Logic. Travaux de logique 17, 170-182, 2004. Pdf
- “Logicism in Leśniewski’s Ontology”. Logica Trianguli (Łódź, Nantes, Santiago de Compostella) 6, 3-20, 2003.
- « L’identité est-elle relative? Remarques sur une illusion logique ». Revue de Théologie et de Philosophie 134, 1-14, 2002.
- 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.
- «Objets de discours et subordination en logique naturelle». Travaux du Centre de Recherches Sémiologiques 67, 13-30, 2000.
- «Domaines de quantification et catégories syntaxico-sémantiques». Travaux de logique 13, 43-62, 1999.
- «Les logiques modales». Travaux de logique 11, 15-55, 1997.
- «Du langage naturel aux langages logiques: esquisse d’une approche catégorielle». Travaux de logique 10, 53-77. 1996.
- «Port-Royal: une logique des idées». Travaux de logique 9, 1-70, 1993.
Liens:
- les Travaux de Logique en ligne
- ma page academia (où la plupart de mes publications sont disponibles aux adhérents)