n3-al-mukhatabat-journal

sont loin d’être tous isomorphes, mais la notion de morphisme fait sens sans
axiome, on peut par exemple définir la catégorie des algèbres d’un même type,
dont l’algèbre absolument libre est l’objet initial. Nous capturons ainsi
conceptuellement la structure non-mécanisable qui est le « modèle » de la
syntaxe logique.
XIII
BIBLIOGRAPHIE
L. Althusser, Philosophie et philosophie spontanée des savants (1967),
Maspero, Paris, 1974.
L. Althusser, L'avenir dure longtemps, Stock, Paris, 1992.
C. Autant-Lara, La rage dans le cœur, Veyrier, Paris, 1984.
A.Badiou, Le Concept de modèle, Maspero, Paris, 1969 ; seconde édition,
Fayard, Paris, 2007 ; édition anglaise The Concept of Model, Re.Press,
Melbourne, 2007.
A.Badiou, L’Être et l’événement, Le Seuil, Paris, 1988.
A.Badiou, Logiques des mondes, Le Seuil, Paris, 2006.
A.Badiou, “Derrière la loi foulardière, la peur”, Le Monde, 22 février 2004.
E.Balibar, “Notice nécrologique de Louis Althusser”, Annuaire de l’Association
Amicale de Secours des Anciens Elèves de l’Ecole Normale Supérieure, 1993.
J.-Y.Béziau, “What is a logic? - Towards axiomatic emptiness”, Logical
Investigations, 16 (2010), pp.272-279.
J.-Y.Béziau, “The mathematical structure of logical syntax”, in Advances in
contemporary logic and computer science, W.A.Carnielli et I.M.L.D’Ottaviano
(eds), American Mathematical Society, Providence, 1999, pp.1-17.
J.-Y.Béziau et M-V.Kritz, “Théories et modèles”, Relatório de Pesquisa e
Desenvolvimento – Laboratório Nacional de Computação Científica, 10 (2000).
AL-MUKHATABAT Numéro 03 Année 01/2012 لىولأا ةن سلا 30 ددعلا تابطانا
303
ISSN: 1737-6432