Bienvenue sur PhilFree

Pourquoi Philfree ? La réponse est ici.

Vous voulez lire la FAQ concernant la liste educasup.philo ? Cliquez sur ce lien.

Si vous êtes ici pour lire d’autres articles, merci de votre visite et de votre usage du site.

Articles les plus récents

vendredi 13 avril 2012
par Joseph Vidal-Rosset

Pluralisme philosophique versus logique intuitionniste

Philosophie de la logique et du langage - Aucun commentaire

Cet article montre dans un premier temps pourquoi la classification que Vuillemin donne des systèmes philosophiques est un progrès dans l’histoire de la philosophie de la connaissance, et il répond dans un second temps aux embarras exprimés par Bouveresse et Engel au sujet du pluralisme

Lire la suite de l'article

samedi 11 février 2012
par Elss Claire

Recueil de textes - Licence 2

Philosophie morale et politique - Aucun commentaire

Vous trouverez ici un recueil de photocopies non exhaustif contenant des textes relatifs aux cours de M. Merle, le recueil est consultable sur place au CCLSH.

Lire la suite de l'article

samedi 11 février 2012
par Joseph Vidal-Rosset

Séminaire de François Lepage

Méthodes de Logique - Aucun commentaire

Les pièces jointes à cet articles sont des documents utilisés par François Lepage lors de son séminaire à l’Université de Lorraine.

Lire la suite de l'article

vendredi 10 février 2012
par Joseph Vidal-Rosset

Logiciels pour l’automatisation des preuves en logique intuitionniste

Méthodes de Logique - Aucun commentaire

On donne dans cet article quelques liens qui permettent de se procurer des logiciels qui prouvent ou réfutent automatiquement la validité intuitionniste des formules du calcul propositionnel.

Lire la suite de l'article

vendredi 10 février 2012
par Joseph Vidal-Rosset