Category Archives: Logique

Critique hégélienne de la logique formelle et logiques formelles contemporaines

http://www.implications-philosophiques.org/semaines-thematiques/actualite-de-hegel/critique-hegelienne-de-la-logique-formelle-et-logiques-formelles-contemporaines/ Advertisements

Posted in category theory, Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Leave a comment

Logique et mathématiques chez Hegel

https://revuemosaique.files.wordpress.com/2013/06/mosaique-8-05_pagc3a8s.pdf

Posted in category theory, Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Leave a comment

Hegel’s Logic as modal type theory

https://ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal+Type+Theory

Posted in Hegel, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Leave a comment

William Lawvere : Tools for the advancement of objective Logic: closed categories and toposes

https://github.com/mattearnshaw/lawvere/blob/master/pdfs/1994-tools-for-the-advancement-of-objective-logic-closed-categories-and-toposes.pdf https://ncatlab.org/nlab/show/Tools+for+the+advancement+of+objective+logic https://ncatlab.org/nlab/show/objective+and+subjective+logic

Posted in category theory, Hegel, Logique, Philosophie, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory) | Tagged , | Leave a comment

Formal Logic and dialectics

https://www.marxists.org/reference/archive/hegel/help/mean05.htm

Posted in Logique, Philosophie, Philosophie mathématique, Science-internelle | Leave a comment

#HoTT comprehension categories

https://anthroposophiephilosophieetscience.wordpress.com/2017/09/15/hott-relation-des-tribes-et-des-comprehension-categories/ https://ncatlab.org/nlab/show/categorical+model+of+dependent+types https://ac.els-cdn.com/030439759390169T/1-s2.0-030439759390169T-main.pdf?_tid=6fd623ba-b1af-11e7-abf0-00000aab0f01&acdnat=1508075451_c0d3fe1fa0a1acb2015e5f08b868259b

Posted in category theory, Computer science, homotopy type theory, Logique, Philosophie mathématique

Catégories et lambda-calcul

https://www.irif.fr/~mellies/mpri-ens.html avec une multitude de liens intéressants, notamment « Proofs and types » de Girard

Posted in category theory, Logique, Philosophie mathématique, Science-internelle