Baptiste Mélès
129
Documents
Publications
- 19
- 13
- 10
- 10
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 70
- 30
- 27
- 27
- 15
- 13
- 9
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Tout fichier est un programme... et non l’inverseGazette des Mathématiciens, 2023, 176
Article dans une revue
halshs-04385961v1
|
Jules Vuillemin, disciple hétérodoxe de Martial GueroultRevue internationale de philosophie, 2020, n°291 (1), pp.63. ⟨10.3917/rip.291.0063⟩
Article dans une revue
halshs-03097148v1
|
|
|
Lectures et postérités de La Philosophie de l’algèbre de Jules Vuillemin. IntroductionPhilosophia 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’informatiqueCahiers François Viète, 2020, 3 (9), pp.177-195. ⟨10.4000/cahierscfv.532⟩
Article dans une revue
hal-04081200v1
|
|
|
Structure et évolution de La Philosophie de l’algèbre de Jules Vuillemin (tomes I et II)Philosophia Scientiae, 2020, 24-3, pp.17-42. ⟨10.4000/philosophiascientiae.2512⟩
Article dans une revue
halshs-03096996v2
|
PréfaceRevue 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 TuringIntellectica - 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 »Philosophia Scientiae, 2019, 23 (3), pp.109-118. ⟨10.4000/philosophiascientiae.2093⟩
Article dans une revue
hal-02431039v1
|
|
Les langages du webTextes 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’histoirePhilosophia Scientiae, 2017, 21-2, pp.149 - 161. ⟨10.4000/philosophiascientiae.1283⟩
Article dans une revue
hal-01679658v1
|
|
Sommes-nous libres ?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 physiquesCahiers 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 UnixRé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 VuilleminPhilosophia Scientiae, 2017, 21 (2), pp.141-147. ⟨10.4000/philosophiascientiae.1280⟩
Article dans une revue
hal-01529028v1
|
|
|
Approche philologique des langages de programmationRevue 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 transformationsPhilosophia 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 VuilleminLes é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 ordinateurImages des Mathématiques, 2015
Article dans une revue
hal-01223482v1
|
|
PrésentationLes é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 divisionsImages des Mathématiques, 2015
Article dans une revue
hal-01224073v1
|
|
Un Français peut-il encore comprendre les philosophes d’outre-Manche ? PrésentationLes é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
|
|
|
PrésentationLes é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
|
|
Les « règles de formation » comme catégories foucaldiennesLes é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
|
|
Thématisation et philosophie de l'informatiqueRevue de l'EPI (Enseignement Public et Informatique), 2014
Article dans une revue
hal-01224082v1
|
|
Unix selon l’ordre des raisons : la philosophie de la pratique informatiquePhilosophia 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 paresseCahiers du football, 2013
Article dans une revue
hal-01224109v1
|
|
|
Fragments de mathématiques existentiellesRevue de Synthèse, 2013, 134 (3), pp.406-408
Article dans une revue
hal-01224106v1
|
|
Pratique mathématique et lectures de Hegel, de Jean Cavaillès à William LawverePhilosophia 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 sourcesAspects 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 formellesSéminaire Philmath, Oct 2023, Paris & en distanciel, France
Communication dans un congrès
halshs-04238867v1
|
|
Jules Vuillemin philosopheÉ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èsJean 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 algorithmesFormalising the notion of algorithm, Alberto Naibo, May 2023, Paris, France
Communication dans un congrès
halshs-04385834v1
|
|
How programming languages rehabilitate morphologyNancy-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 programmingFuture 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éeLes 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É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 AlgorithmsFormalization in Logic, Language, and Mathematics Conference #2, Andrew Arana, Sep 2023, Nancy, France
Communication dans un congrès
halshs-04385896v1
|
|
Philosophical Uses of Software ArchivePreserving 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É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?Global Forum on AI for Humanity, Oct 2019, Paris, France
Communication dans un congrès
hal-02431217v1
|
|
Systèmes philosophiques et paradigmes de programmationSé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 VuilleminThe 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 sciencesL’é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À propos de figure fondamentale : Christine Proust, Dec 2019, Paris, France
Communication dans un congrès
hal-02431225v1
|
|
Turing languagesInformatique 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 PracticeAutumn 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 v6Formalisms 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 philosophieLa 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 JavaPhilosophie 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èsSé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É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 formellesJourné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 philosophieSéminaire Epistemon, Oct 2017, Montpellier, France
Communication dans un congrès
hal-01679892v1
|
|
Les Amis de Jean Cavaillès : historiqueJourné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 KantLa 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 VuilleminLa 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 GoldschmidtL’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?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 circles2016-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 VuilleminGrandes 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’Éthiqueséminaire Philosophie, Mathématiques, Neurosciences, Mar 2016, Besançon, France
Communication dans un congrès
hal-01428781v1
|
|
MesoCalc, la calculatrice mésopotamienne en JavaScriptSé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é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 informatiquesé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 ?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 scienceFrench 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 dialogiqueInteraction 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 CoqJournées scientifiques des Archives Henri-Poincaré, Jun 2015, Nancy, France
Communication dans un congrès
hal-01224197v1
|
|
Upgrade Your Abacus : Computing Tool ExtensionsComputability 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’ÉthiqueMathématiques, Informatique et Philosophie, Sébastien Maronne, Sep 2015, Toulouse, France
Communication dans un congrès
hal-01224195v1
|
|
Approche philologique des langages de programmationsé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 ?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éelJourné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éelJourné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 programmationSé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 programmationLa Logique en question IV, May 2014, Paris, France
Communication dans un congrès
hal-01225059v1
|
|
|
Le langage et l'individuel selon Jean-Claude Pariente et Jules VuilleminApproche 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é algorithmiqueLe Calcul et le temps, Jean-Baptiste Joinet, Nov 2014, Lyon, France
Communication dans un congrès
hal-01225028v1
|
|
Approche philologique des langages de programmationGroupe 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 informatiqueSéminaire Complex Networks, Jun 2014, Paris, France
Communication dans un congrès
hal-01225038v1
|
|
Une science a priori : l’informatiqueTable 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’informatiqueJourné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 AbacusCultures 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ödelJourné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 programmesGroupe 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 pratiqueGroupe 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 ?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étiquesCinquiè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 informatiqueInformatique, 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 discursivesComment 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 LanguagesHistory and Philosophy of Computing 2013, Maarten Bullynck; Jean-Baptiste Joinet, Oct 2013, Paris, France
Communication dans un congrès
hal-01224156v1
|
|
Algorithms as textsLa 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?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 kantienL’Intuitionnisme kantien de Jules Vuillemin, Joseph Vidal-Rosset, Dec 2012, Nancy, France
Communication dans un congrès
hal-01225110v1
|
|
|
Cavaillès et les « moments de la conscience »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égoriesGroupe 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 VuilleminJourné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 ToolsCultures 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 LawvereModèles mathématiques pour la philosophie, Baptiste Mélès, Mar 2011, Clermont-Ferrand, France
Communication dans un congrès
hal-01225125v1
|
|
|
Les ordinateurs peuvent-ils penser ?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 Programming14th 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 philosophieLe 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 LogicSquare of Opposition 2010, Jean-Yves Beziau, Jun 2010, Corte, France
Communication dans un congrès
hal-01224178v1
|
|
Panorama philosophique pascalienSé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égoriesColloque « Concepts purs, concepts appliqués » du groupe PHENOMATH, Dec 2010, Nice, France
Communication dans un congrès
hal-01225129v1
|
|
|
La Négation en théorie de la démonstration, de Gerhard Gentzen à Jean-Yves GirardSéminaire du centre de recherches Philosophies et rationalités, May 2009, Clermont-Ferrand, France
Communication dans un congrès
hal-01225141v1
|
|
Systems and Teaching in Stoic and Confucian PhilosophiesThinking, Doing, Teaching, Jul 2009, Tokyo, Japan
Communication dans un congrès
hal-01224187v1
|
|
Experience and Subjectivity: François Jullien and Jean François BilleterPersonality and Subjectivity, East and West, Dec 2009, Clermont-Ferrand, France
Communication dans un congrès
hal-01224181v1
|
Le juste et le bien : essais de philosophie morale et politiqueAgone, 2022, 978-2-7489-0482-6
Ouvrages
halshs-03930190v1
|
|
Hommage à Jean CavaillèsHermann, 2019
Ouvrages
halshs-02052075v1
|
|
Les Classifications des systèmes philosophiquesVrin, 2016, Mathesis, Hourya Benis Sinaceur, 978-2-7116-2691-5
Ouvrages
hal-01413934v1
|
|
Jules Vuillemin et les systèmes philosophiquesOuvrages hal-01250633v1 |
|
Comment lire L'Archéologie du savoir de Michel Foucault ?Ouvrages hal-01250637v1 |
Computing Tools and Representations of ArithmeticCultures 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é historiquePierre-É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’informatiqueJean-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’huiJean-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)Chapitre d'ouvrage hal-01413616v1 |
|
Abacus as a Programming Language: Computer Science and History of MathematicsCultures 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 philosophiquesMaria 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 CasesJean-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
|
|
|
Systems and Teaching in Stoic and Confucian PhilosophiesDeveloping International Communications Skills in Japanese Cultural Studies, Ochanomizu University, pp.54-56, 2010
Chapitre d'ouvrage
hal-01224117v1
|
|
Les Tables de vérité en braille2011
Pré-publication, Document de travail
hal-01225178v1
|
|
Méthodologie du mémoire de MasterMaster. France. 2020
Cours
cel-01225190v2
|
|
Méthode de la dissertation philosophiqueLicence. France. 2020
Cours
cel-01225188v2
|
|
Méthode universitaire du commentaire de texteLicence. France. 2018
Cours
cel-01225186v2
|
|
Le travail personnel en philosophie, de la licence à l'agrégationLicence. France. 2015
Cours
cel-01225184v1
|