Liens internet

En Belgique : 

Centre national de recherches de logique
Société belge de logique et de philosophie des sciences
Société belge de philosophie
Centre de Logique, UCL
Logique à Liège, ULg
Logique à Mons, UMH
Logique à Bruxelles, ULB
Centrum voor Logica en Wetenschapsfilosofie, Brussel VUB
Center for Logic and Philosophy of Science, UGent
Centrum voor Logica en Analytische Wijsbegeerte, Leuven KUL
La logique pour les nuls
TAL à l'UCL
Linguistique à l'UCL

 

Ailleurs :

Le site de l'ASL (Association for Symbolic Logic)
Le site de la FoLLI (European Association for Logic Language and Information)
Le site de la LSA (Linguistic Society of America)
Linguistique informatique
Analyse du discours, argumentation, rhétorique (ADARR) de Tel-Aviv
The Kurt Gödel Society
Logic and set theory around the world (Sylvain Poirier)
Mathematical Logic around the World (Universités de Bonn et Vienne)

 

Sites spécialisés :

New Foundations Home Page (Randall Holmes ; Université de Boise)
Adaptive Logics Home Page (Diderik Batens ; Université de Gand)
Logique médiévale et philosophie (Paul Vincent Spade ; Université d'Indiana)
Stanford Encyclopedia of Philosophy

 

Termes :

Glossary of First-Order Logic (Peter Suber ; Earlham College)
Logic terms and concepts (Thomas A. Alspaugh ; University of California, Irvine)
Factasia (Roger Bishop Jones)
Lexicon of Linguistics (Université d'Utrecht)
Linguistic Glossary (SIL international)
Routledge Encyclopedia of Philosophy [ accès UCL ]

 

Logiciens :

Liste de biographies de mathématiciens, incluant des logiciens comme Aristote, Occam, Leibniz, Boole, Frege, Cantor, Russell, Wittgenstein, Gödel, Tarski, Herbrand, Gentzen, Quine , etc (Université de St Andrews)
Philosophes et logiciens polonais : École de Lvov-Varsovie, Ajdukiewicz, Chwistek, Kotarbiński, Leśniewski, Łukasiewicz, Tarski (Université de Catane)

 

Intéressants :

Tree Proof Generator

 

Problèmes logiques amusants :

Les amuse-gueule de Michel Blais (Université de Sherbrooke)
Énigmes entre amis
Énigmes et paradoxes
Énigmes de type logique

 

Textes divers :

Logique
Philosophie du langage
Un "Language Blog"

 

TeX, LaTeX  : 

LaTeX pour Mac
LaTeX pour Windows
Les traitements de textes sont stupides et inefficaces (Allin Cottrell)
LaTeX pour logiciens, philosophes...  (Peter Smith ; Cambridge)
TUG (TeX Users Group)
GUTenberg (Groupe francophone des utilisateurs de TeX)

 

Logicians Liberation League Manifesto


 [UCL] [ISP] [Centre de Logique]