Accéder directement au contenu

Baptiste Mélès

129
Documents

Publications

Image document

Tout fichier est un programme... et non l’inverse

Baptiste Mélès
Gazette des Mathématiciens, 2023, 176
Article dans une revue halshs-04385961v1

Jules Vuillemin, disciple hétérodoxe de Martial Gueroult

Baptiste Mélès
Revue internationale de philosophie, 2020, n°291 (1), pp.63. ⟨10.3917/rip.291.0063⟩
Article dans une revue halshs-03097148v1
Image document

Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. Introduction

Sébastien Maronne , Baptiste Mélès
Philosophia Scientiae, 2020, 24-3, pp.3-16. ⟨10.4000/philosophiascientiae.2502⟩
Article dans une revue halshs-03097003v2

Regards croisés sur l’histoire et la philosophie de l’informatique

Florian Vetter , Baptiste Mélès , Camille Paloque-Bergès , Loic Petitgirard , Valérie Schafer
Cahiers François Viète, 2020, 3 (9), pp.177-195. ⟨10.4000/cahierscfv.532⟩
Article dans une revue hal-04081200v1
Image document

Structure et évolution de La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II)

Baptiste Mélès
Philosophia Scientiae, 2020, 24-3, pp.17-42. ⟨10.4000/philosophiascientiae.2512⟩
Article dans une revue halshs-03096996v2

Préface

Gerhard Heinzmann , Baptiste Mélès
Revue de Synthèse, 2020, 141, 7e Série (N° 1-2), pp. 1-10. ⟨10.4000/philosophiascientiae.1297⟩
Article dans une revue hal-02976150v1

Les langages de Turing

Baptiste Mélès
Intellectica - La revue de l’Association pour la Recherche sur les sciences de la Cognition (ARCo), 2020, 72, pp.81-110
Article dans une revue halshs-03097129v1

Présentation du texte de Jules Vuillemin « De la connaissance sensible et de la parité qu’elle manifeste entre l’homme et l’animal »

Baptiste Mélès , Renan Strauss
Philosophia Scientiae, 2019, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩
Article dans une revue hal-02431039v1

Les langages du web

Baptiste Mélès
Textes et documents pour la classe, 2018, Réseaux, 1116, pp.40-43
Article dans une revue halshs-01975025v1

Effets moraux de l’accélération de l’histoire

Jules Vuillemin , Baptiste Mélès , Raphaël Derobe
Philosophia Scientiae, 2017, 21-2, pp.149 - 161. ⟨10.4000/philosophiascientiae.1283⟩
Article dans une revue hal-01679658v1

Sommes-nous libres ?

Jules Vuillemin , Baptiste Mélès , Julien Borgeon
Philosophia Scientiae, 2017, 21-2, pp.163 - 174. ⟨10.4000/philosophiascientiae.1285⟩
Article dans une revue hal-01679656v1

Forme et matière informatiques Le concept de mémoire et ses réalisations physiques

Didier Lommelé , Baptiste Mélès
Cahiers philosophiques, 2017, La mémoire, 2 (149), pp.61-77. ⟨10.3917/caph1.149.0061⟩
Article dans une revue hal-01679677v1

Temps et activité selon Unix

Baptiste Mélès
Réseaux : communication, technologie, société, 2017, Décoder les programmes, 206 (6), pp.125-153. ⟨10.3917/res.206.0125⟩
Article dans une revue hal-01679647v1

Deux textes politiques de Jules Vuillemin

Baptiste Mélès , Julien Borgeon , Raphaël Derobe
Philosophia Scientiae, 2017, 21 (2), pp.141-147. ⟨10.4000/philosophiascientiae.1280⟩
Article dans une revue hal-01529028v1
Image document

Approche philologique des langages de programmation

Baptiste Mélès
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.237-254. ⟨10.3166/TSI.35.237-254⟩
Article dans une revue hal-01425868v1

Comment le scepticisme est devenu un système. La classification de Jules Vuillemin et ses transformations

Baptiste Mélès
Philosophia Scientiae, 2016, Le scepticisme selon Jules Vuillemin, 20 (3), pp.91-107. ⟨10.4000/philosophiascientiae.1204⟩
Article dans une revue hal-01413928v1

La classification cubique des systèmes philosophiques par Jules Vuillemin

Baptiste Mélès
Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.51-64. ⟨10.3917/leph.151.0051⟩
Article dans une revue hal-01224080v1

L’informatique sans ordinateur

Baptiste Mélès
Images des Mathématiques, 2015
Article dans une revue hal-01223482v1

Présentation

Thomas Bénatouïl , Baptiste Mélès
Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.3-8. ⟨10.3917/leph.151.0003⟩
Article dans une revue hal-01224078v1

La comptine des neuf divisions

Baptiste Mélès
Images des Mathématiques, 2015
Article dans une revue hal-01224073v1

Un Français peut-il encore comprendre les philosophes d’outre-Manche ? Présentation

Baptiste Mélès
Les études philosophiques, 2015, Jules Vuillemin et les systèmes philosophiques, 153 (1), pp.323-326. ⟨10.3917/leph.151.0009⟩
Article dans une revue hal-01224079v1
Image document

Présentation

Baptiste Mélès
Les études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.323-326. ⟨10.3917/leph.153.0323⟩
Article dans une revue hal-01224075v1
Image document

Les « règles de formation » comme catégories foucaldiennes

Baptiste Mélès
Les études philosophiques, 2015, Comment lire « L'Archéologie du savoir » de Michel Foucault ?, 3 (114), pp.391-412. ⟨10.3917/leph.153.0391⟩
Article dans une revue hal-01224074v1
Image document

Thématisation et philosophie de l'informatique

Baptiste Mélès
Revue de l'EPI (Enseignement Public et Informatique), 2014
Article dans une revue hal-01224082v1
Image document

Unix selon l’ordre des raisons : la philosophie de la pratique informatique

Baptiste Mélès
Philosophia Scientiae, 2013, 17 (3), pp.181-198. ⟨10.4000/philosophiascientiae.897⟩
Article dans une revue hal-01224091v2

Pastore ou l'élégance, fille de la paresse

Baptiste Mélès
Cahiers du football, 2013
Article dans une revue hal-01224109v1
Image document

Fragments de mathématiques existentielles

Baptiste Mélès , Laurent Derobert
Revue de Synthèse, 2013, 134 (3), pp.406-408
Article dans une revue hal-01224106v1
Image document

Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William Lawvere

Baptiste Mélès
Philosophia Scientiae, 2012, From Practice to Results in Logic and Mathematics, 16 (1), pp.153-182. ⟨10.4000/philosophiascientiae.725⟩
Article dans une revue hal-01224100v2

Défis archivistiques et philologiques de la préservation des codes sources

Baptiste Mélès
Aspects ontologiques et épistémiques des sources et des ressources textuelles, Pierre Willaime; Andrei Rodin, Jul 2023, Nancy, France
Communication dans un congrès halshs-04385767v1

La systématicité dans les sciences formelles

Baptiste Mélès
Séminaire Philmath, Oct 2023, Paris & en distanciel, France
Communication dans un congrès halshs-04238867v1

Jules Vuillemin philosophe

Baptiste Mélès
École thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France
Communication dans un congrès halshs-04385785v1

Les preuves de nécessité chez Cavaillès

Baptiste Mélès
Jean Cavaillès and His Intellectual Milieu, Paul Cortois; Massimiliano Simons; Marjolein Holvoet; Maarten Van Dyck, Jan 2023, Leuven (Belgique), Belgique
Communication dans un congrès halshs-03950330v1

Programmes sans algorithmes

Baptiste Mélès
Formalising the notion of algorithm, Alberto Naibo, May 2023, Paris, France
Communication dans un congrès halshs-04385834v1

How programming languages rehabilitate morphology

Baptiste Mélès
Nancy-Irvine Workshop on Formalization in Logic, Language, and Mathematics, Kai Wehmeier, Apr 2023, Irvine, CA (USA), France
Communication dans un congrès halshs-04385863v1

When analytic languages were the future of programming

Baptiste Mélès
Future visions on computing and programming then and now, Liesbeth De Mol, Jun 2023, Lille, France
Communication dans un congrès halshs-04385817v1

Les langages de programmation à la lumière de la linguistique comparée

Baptiste Mélès
Les Jeudis de l'Histoire et de la philosophie des sciences, Sophie Roux; Mathias Girel, Dec 2023, Paris, France
Communication dans un congrès halshs-04385926v1

Jules Vuillemin historien de la philosophie et des sciences

Baptiste Mélès
École thématique « Mathématiques et Philosophie Contemporaine X », Sébastien Maronne, Jun 2023, Saint-Ferréol, France
Communication dans un congrès halshs-04385794v1

Programs Without Algorithms

Baptiste Mélès
Formalization in Logic, Language, and Mathematics Conference #2, Andrew Arana, Sep 2023, Nancy, France
Communication dans un congrès halshs-04385896v1

Philosophical Uses of Software Archive

Baptiste Mélès
Preserving our Landmark Legacy Software: Collect, Archive, Display, Software Heritage, Oct 2022, Paris, France
Communication dans un congrès halshs-03828120v1

Les codes sources comme textes

Baptiste Mélès
Énonciation et langages de programmation, Sémir Badir; Maria Giulia Dondero; François Provenzano; Stéphane Polis, Nov 2019, Liège, Belgique
Communication dans un congrès hal-02431211v1

Which Artificial Intelligence for Philosophical Research?

Baptiste Mélès
Global Forum on AI for Humanity, Oct 2019, Paris, France
Communication dans un congrès hal-02431217v1

Systèmes philosophiques et paradigmes de programmation

Baptiste Mélès
Séminaire Gallinette, Guillaume Munch-Maccagnoni, Nov 2019, Nantes, France
Communication dans un congrès hal-02431223v1

From Abstraction To Philosophical Systems : Abstraction and Generalization in Jules Vuillemin

Baptiste Mélès
The Theory of definitions by abstraction : roots, history, contemporary developments, Jean-Baptiste Joinet, Feb 2019, Lyon, France
Communication dans un congrès hal-02431057v1

Nécessité et contingence en histoire des sciences

Baptiste Mélès
L’épistémologie historique, hier et aujourd’hui, Sébastien Maronne, Jun 2019, Toulouse, France
Communication dans un congrès hal-02431064v1

Christine Proust, âme du projet MesoCalc

Baptiste Mélès
À propos de figure fondamentale : Christine Proust, Dec 2019, Paris, France
Communication dans un congrès hal-02431225v1

Turing languages

Baptiste Mélès
Informatique et Philosophie : interactions contemporaines, Jean-Baptiste Joinet; Luiz Carlos Pereira, Aug 2019, Ilha Grande, Brazil
Communication dans un congrès hal-02431071v1

Turing languages : Theory and Practice

Baptiste Mélès
Autumn workshop II: Programming Languages and Notations, Liesbeth De Mol, Oct 2019, Bertinoro, Italy
Communication dans un congrès hal-02431074v1

Unix Ontology : Time and First Mover in Unix v6

Baptiste Mélès
Formalisms at the interface with machines, languages and systems, Oct 2018, Bertinoro, Italy
Communication dans un congrès halshs-01975098v1

Structures et morphismes en histoire de la philosophie

Baptiste Mélès
La Philosophie ventriloque, Feb 2018, Aix-en-Provence, France
Communication dans un congrès halshs-01975085v1

L’introduction de redondances dans un langage formel : les "parties du discours" dans le langage Java

Baptiste Mélès
Philosophie scientifique et philosophie pour l’âge de la science. Gilles Gaston Granger et Jules Vuillemin, Sep 2018, Marseille, France
Communication dans un congrès halshs-01975093v1

Historique de la société Les Amis de Jean Cavaillès

Baptiste Mélès
Séminaire d'histoire des mathématiques, Apr 2017, Nancy, France
Communication dans un congrès hal-01679888v1

Styles de programmation informatique et formes de prédication vuilleminiennes

Baptiste Mélès
Épistémologie comparative et philosophie du style : l’œuvre de Gilles Gaston Granger, Nov 2017, Clermont-Ferrand, France
Communication dans un congrès hal-01679893v1

Les nouvelles voies de l’anachronisme en histoire et philosophie des sciences formelles

Baptiste Mélès
Journée de réflexion sur l’histoire et la philosophie des sciences et des techniques en France, à l’occasion du 60e anniversaire du Comité National Français d’Histoire et de Philosophie des Sciences et des Techniques, Mar 2017, Paris, France
Communication dans un congrès hal-01679885v1

Classification des systèmes et paix perpétuelle en philosophie

Baptiste Mélès
Séminaire Epistemon, Oct 2017, Montpellier, France
Communication dans un congrès hal-01679892v1

Les Amis de Jean Cavaillès : historique

Baptiste Mélès
Journées en l’honneur d’Hourya Benis Sinaceur, Jun 2017, Paris, France
Communication dans un congrès hal-01679891v1

L’Histoire de la raison pure de Kant

Baptiste Mélès
La Méthodologie transcendantale de Kant, Baptiste Mélès; Ayşe Yuva, Mar 2016, Nancy, France
Communication dans un congrès hal-01428777v1

Présentation du tome II de la Philosophie de l’algèbre de Jules Vuillemin

Baptiste Mélès
La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II), David Thomasette, Dec 2016, Nancy, France
Communication dans un congrès hal-01428819v1

L’histoire structurale de la philosophie, de Martial Gueroult à Victor Goldschmidt

Baptiste Mélès
L’histoire structurale de la philosophie, Baptiste Mélès, Dec 2016, Nancy, France
Communication dans un congrès hal-01428813v1

Which mathematics was used to read ancient texts, and which impact had the mathematics used on the reading and interpretation of the ancient texts?

Pierre Chaigneau , Baptiste Mélès
séminaire SAW-ERC, Karine Chemla, Sep 2016, Paris, France
Communication dans un congrès hal-01428799v1

On formulas for computing both the volume of a truncated pyramid and the circumference of hermeneutic circles

Pierre Chaigneau , Baptiste Mélès
2016-10-25, Karine Chemla, Oct 2016, Paris, France
Communication dans un congrès hal-01428807v1

Le chaînon manquant : le tome 2 de la Philosophie de l’algèbre de Jules Vuillemin

Baptiste Mélès
Grandes conférences des Archives Henri-Poincaré, Apr 2016, Nancy, France
Communication dans un congrès hal-01428788v1

Spinoza en Coq : démonstration complète des premières propositions de l’Éthique

Baptiste Mélès
séminaire Philosophie, Mathématiques, Neurosciences, Mar 2016, Besançon, France
Communication dans un congrès hal-01428781v1

MesoCalc, la calculatrice mésopotamienne en JavaScript

Baptiste Mélès , Christine Proust
Séminaire Codes sources, Baptiste Mélès, Jan 2016, Paris, France
Communication dans un congrès hal-01267562v1

Philosophie de l’informatique concrète. I : Langages théoriques et langages concrets en programmation. II : Ontologies des langages de programmation. III : Le Temps selon Unix

Baptiste Mélès
école thématique « Mathématique, informatique et philosophie contemporaines III », Sébastien Maronne, Mar 2015, Toulouse, France
Communication dans un congrès hal-01224199v1

Le concept d’objet en programmation informatique

Baptiste Mélès
séminaire MathObRe, Gerhard Heinzmann, Feb 2015, Nancy, France
Communication dans un congrès hal-01224207v1

En quel sens les démonstrations assistées par ordinateur sont-elles formelles ?

Baptiste Mélès
Rhétorique en mathématiques, Caroline Jullien, Nov 2015, Nancy, France
Communication dans un congrès hal-01250747v1

Early relations between analytic and French philosophy of science

Baptiste Mélès
French and analytic approaches to science in the 20th century and today, Léna Soler, Jun 2015, Nancy, France
Communication dans un congrès hal-01224137v1

Réseaux informatiques et logique dialogique

Baptiste Mélès
Interaction entre logique, langage et informatique, Alberto Naibo; Liesbeth de Mol; Shahid Rahman; Mark van Atten, Mar 2015, Paris, France
Communication dans un congrès hal-01224204v1

Le rêve de Gueroult : Spinoza en Coq

Baptiste Mélès
Journées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France
Communication dans un congrès hal-01224197v1

Upgrade Your Abacus : Computing Tool Extensions

Baptiste Mélès
Computability in Europe 2015, Jun 2015, Bucarest, Romania
Communication dans un congrès hal-01224132v1

Spinoza en Coq : démonstration complète des premières propositions de l’Éthique

Baptiste Mélès
Mathématiques, Informatique et Philosophie, Sébastien Maronne, Sep 2015, Toulouse, France
Communication dans un congrès hal-01224195v1

Approche philologique des langages de programmation

Baptiste Mélès
séminaire d'informatique de Paris XIII, Jan 2015, Villetaneuse, France
Communication dans un congrès hal-01224209v1

Victor Goldschmidt avait-il une théorie des systèmes ?

Baptiste Mélès
Les questions platoniciennes de Victor Goldschmidt (1914-1981), David Lefebvre, Dec 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01225009v1

La science et le réel

Baptiste Mélès
Journée de formation continue des professeurs de philosophie de Lorraine, Nov 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01225018v1

Le langage et le réel

Baptiste Mélès
Journée de formation continue des professeurs de philosophie d’Auvergne, Dec 2014, Clermont-Ferrand, France
Communication dans un congrès hal-01225016v1

Systèmes philosophiques et langages de programmation

Baptiste Mélès
Séminaire de l’ISCC, Oct 2014, Paris, France
Communication dans un congrès hal-01225035v1

Une hiérarchie de sémantiques : le concept de machine dans la pratique de la programmation

Baptiste Mélès
La Logique en question IV, May 2014, Paris, France
Communication dans un congrès hal-01225059v1
Image document

Le langage et l'individuel selon Jean-Claude Pariente et Jules Vuillemin

Baptiste Mélès
Approche de l’individuel : hommage à Jean-Claude Pariente, Frédéric Worms, Dec 2014, Paris, France
Communication dans un congrès halshs-03850874v1

Espace et temps informatiques : l’Esthétique transcendantale de Kant à l’épreuve de la complexité algorithmique

Baptiste Mélès
Le Calcul et le temps, Jean-Baptiste Joinet, Nov 2014, Lyon, France
Communication dans un congrès hal-01225028v1

Approche philologique des langages de programmation

Baptiste Mélès
Groupe de travail Sémantique du laboratoire Preuves, Programmes et Systèmes, Feb 2014, Paris, France
Communication dans un congrès hal-01225088v1

L’invention des concepts en informatique

Baptiste Mélès
Séminaire Complex Networks, Jun 2014, Paris, France
Communication dans un congrès hal-01225038v1

Une science a priori : l’informatique

Baptiste Mélès
Table ronde de la session « Les mathématiques face à l’ordinateur », Liesbeth De Mol; Maarten Bullynck, May 2014, Paris, France
Communication dans un congrès hal-01225052v1

Thématisation et philosophie de l’informatique

Baptiste Mélès
Journée commémorative de la mort il y a 70 ans de Jean Cavaillès (1903-1944), Philosophe et Résistant., Feb 2014, Paris, France
Communication dans un congrès hal-01225086v1

How to Program an Abacus

Baptiste Mélès
Cultures of computation and quantification in the ancient world, Mar 2013, Paris, France
Communication dans un congrès hal-01224162v1

Le vrai est-il toujours démontrable ? Kant, l’intuitionnisme, Gödel

Baptiste Mélès
Journée de formation continue des professeurs de philosophie de l’académie de Clermont-Ferrand, Jan 2013, Clermont-Ferrand, France
Communication dans un congrès hal-01225106v1

Les langages de programmation : des codes sources aux programmes

Baptiste Mélès
Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Sylvain Cabanacq; Emmylou Haffner; David Rabouin, Dec 2013, Paris, France
Communication dans un congrès hal-01225090v1

Les dispositifs de calcul : théorie et pratique

Baptiste Mélès
Groupe de travail de l'IREM, Paris-Diderot, Dec 2013, Paris, France
Communication dans un congrès hal-01225093v1

Peut-on classer les langages de programmation ?

Baptiste Mélès
Séminaire Philosophie de l’informatique, de la logique et de leurs interfaces, Jean-Baptiste Joinet, Mar 2013, Paris, France
Communication dans un congrès hal-01225100v1

Instruments de calcul et propriétés arithmétiques

Baptiste Mélès
Cinquième rencontre française de philosophie des mathématiques — Fifth French Philosophy of Mathematics Workshop, Oct 2013, Clermont-Ferrand, France
Communication dans un congrès hal-01224159v1

Unix selon l’ordre des raisons : la philosophie de la pratique informatique

Baptiste Mélès
Informatique, Philosophie, Mathématiques, Sébastien Maronne, Nov 2013, Toulouse, France
Communication dans un congrès hal-01225098v1

Des catégories faisons table rase ! Les formations discursives

Baptiste Mélès
Comment lire L'Archéologie du savoir de Michel Foucault ?, Thomas Bénatouïl; Baptiste Mélès, Feb 2013, Nancy, France
Communication dans un congrès hal-01225103v1

Philology of Programming Languages

Baptiste Mélès
History and Philosophy of Computing 2013, Maarten Bullynck; Jean-Baptiste Joinet, Oct 2013, Paris, France
Communication dans un congrès hal-01224156v1

Algorithms as texts

Baptiste Mélès
La variété des sources mathématiques et la question de leur interprétation, Karine Chemla; Renaud Chorlay; Baptiste Mélès, Nov 2013, Luminy, France
Communication dans un congrès hal-01224149v1

Does Lawvere’s concept of Aufhebung lead to an algebra of Hegelian Dialectics?

Baptiste Mélès
Formalization and Dialectics, Zachary Luke Fraser, Jun 2012, Maastricht, Netherlands
Communication dans un congrès hal-01224172v1

Classifications kantiennes et classification vuilleminienne dans L’Intuitionnisme kantien

Baptiste Mélès
L’Intuitionnisme kantien de Jules Vuillemin, Joseph Vidal-Rosset, Dec 2012, Nancy, France
Communication dans un congrès hal-01225110v1
Image document

Cavaillès et les « moments de la conscience »

Baptiste Mélès
Groupe de travail Mathématiques et Philosophie, XIXe et XXe siècles de SPHERE, Mar 2012, Paris, France
Communication dans un congrès hal-01225118v1

Logique hegelienne et théorie des catégories

Baptiste Mélès
Groupe de Travail Logique, École Normale Supérieure de la rue d’Ulm, May 2012, Paris, France
Communication dans un congrès hal-01225115v1

Les classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin

Baptiste Mélès
Journée des Jeunes chercheurs, Université d’Aix-Marseille, Jun 2012, Aix-en-Provence, France
Communication dans un congrès hal-01225111v1

Programming Languages for Pre-Mechanical Calculating Tools

Baptiste Mélès
Cultures of Mathematics and Logic, Ju Shier; Benedikt Löwe; Thomas Müller; Yun Xie, Nov 2012, Guangzhou, China
Communication dans un congrès hal-01224165v1

Logique hegelienne et théorie des catégories chez William Lawvere

Baptiste Mélès
Modèles mathématiques pour la philosophie, Baptiste Mélès, Mar 2011, Clermont-Ferrand, France
Communication dans un congrès hal-01225125v1
Image document

Les ordinateurs peuvent-ils penser ?

Baptiste Mélès
Cycle de conférences L’Homme et la machine, lycée Charles-et-Adrien-Dupuy, Le Puy-en-Velay, Albane Susanna, Mar 2011, Le Puy-en-Velay, France
Communication dans un congrès hal-01225124v1

Nominalism of Things and Nominalism of Events, from Turing Machines to Functional Programming

Baptiste Mélès
14th Congress of Logic, Methodology and Philosophy of Science, Jul 2011, Nancy, France
Communication dans un congrès hal-01224174v1

Éclectisme et problèmes classificatoires en philosophie

Baptiste Mélès
Le Syncrétisme au carrefour des sciences humaines, May 2011, Clermont-Ferrand, France
Communication dans un congrès hal-01225121v1

One and a Half Square of Opposition in Linear Logic

Baptiste Mélès
Square of Opposition 2010, Jean-Yves Beziau, Jun 2010, Corte, France
Communication dans un congrès hal-01224178v1

Panorama philosophique pascalien

Baptiste Mélès
Séminaire du centre de recherches Philosophies et rationalités, Apr 2010, Clermont-Ferrand, France
Communication dans un congrès hal-01225138v1

Jean Cavaillès entre Hegel et la théorie des catégories

Baptiste Mélès
Colloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France
Communication dans un congrès hal-01225129v1
Image document

La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves Girard

Baptiste Mélès
Séminaire du centre de recherches Philosophies et rationalités, May 2009, Clermont-Ferrand, France
Communication dans un congrès hal-01225141v1
Image document

Systems and Teaching in Stoic and Confucian Philosophies

Baptiste Mélès
Thinking, Doing, Teaching, Jul 2009, Tokyo, Japan
Communication dans un congrès hal-01224187v1
Image document

Experience and Subjectivity: François Jullien and Jean François Billeter

Baptiste Mélès
Personality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France
Communication dans un congrès hal-01224181v1

Computing Tools and Representations of Arithmetic

Baptiste Mélès
Cultures of Computation and Quantification in the Ancient World, 6, Springer International Publishing, pp.401-431, 2023, Why the Sciences of the Ancient World Matter, 978-3-030-98360-4. ⟨10.1007/978-3-030-98361-1_7⟩
Chapitre d'ouvrage halshs-03931063v1

La notion de nécessité historique

Baptiste Mélès
Pierre-Édouard Bour; Manuel Rebuschi; Laurent Rollet. Sciences, Circulations, Révolutions. Festschrift pour Philippe Nabonnand, College Publications, pp.535-543, 2023, 978-1848904255
Chapitre d'ouvrage halshs-04385990v1

Thématisation et philosophie de l’informatique

Baptiste Mélès
Jean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.75-85, 2019
Chapitre d'ouvrage halshs-02431016v1

Les Amis de Jean Cavaillès, de 1947 à aujourd’hui

Baptiste Mélès
Jean-Jacques Szczeciniarz; Baptiste Mélès. Hommage à Jean Cavaillès, Hermann, pp.127-139, 2019
Chapitre d'ouvrage halshs-02431009v1

Démonstration (article grand public)

Baptiste Mélès
L'Encyclopédie philosophique, , 2016
Chapitre d'ouvrage hal-01413616v1

Abacus as a Programming Language: Computer Science and History of Mathematics

Baptiste Mélès
Cultures of Mathematics and Logic. Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012, , pp.43-59, 2016, Trends in the History of Science, 978-3-319-31500-3. ⟨10.1007/978-3-319-31502-7_3⟩
Chapitre d'ouvrage hal-01413931v1

Ornithorynques ou mulets ? L’éclectisme et le conflit des systèmes philosophiques

Baptiste Mélès
Maria Benedetta Collini; Pascale Auraix-Jonchière. Syncrétismes, mythes et littératures, Maison des Sciences de l’Homme, pp.67-83, 2014, 978-2-84516-655-4
Chapitre d'ouvrage hal-01224090v1

No Group for Constructive Logics: the Intuitionistic and Linear Cases

Baptiste Mélès
Jean-Yves Béziau; Dale Jacquette. Around and Beyond the Square of Opposition, Springer, pp.201-217, 2012, 978-3-0348-0378-6
Chapitre d'ouvrage hal-01224112v1
Image document

Systems and Teaching in Stoic and Confucian Philosophies

Baptiste Mélès
Developing International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010
Chapitre d'ouvrage hal-01224117v1