Varia

Mot-clé -

Fil des billets

12 septembre 2006

Bolzano et les compléteurs temporels

Personne en Phrance ne connaît Bolzano, et c'est tant mieux : qui irait donc s'intéresser à un curé, accessoirement logicien, et autrichien par dessus le marché ?

Tout ce qui est, c’est-à-dire qui subsiste dans la réalité effective, qui subsiste dans cette réalité effective soit pour toujours soit ne serait-ce que pour un certain temps, relève de l’un ou l’autre des genres suivants : soit cela est et subsiste sur quelque chose d’autre, comme propriété de cette chose, soit ce n’est pas une simple propriété sur quelque chose d’autre, mais cela subsiste, comme on a coutume de le dire, pour soi. La couleur, l’odeur, le poids d’un corps nous fournissent des exemples du premier genre ; car toutes ces choses sont quelque chose de réel-effectif, qui ne subsiste pourtant pas pour soi, mais seulement sur quelque chose d’autre, à savoir en l’occurrence le corps, et alors assurément comme propriété de celui-ci. Un exemple du second genre est donné avec la matière, dont le corps est composé ; car cette matière est quelque chose de réel-effectif, qui ne subsiste sur aucun autre réel-effectif comme propriété, mais le fait déjà pour soi. Les réalités effectives du premier genre, les philosophes ont coutume de les appeler d’un mot latin adhérences, celles du dernier genre substances.

Bolzano, Athanasia.

Je ne signalerai pas l'existence du numéro 1 du volume 30 de la revue Philosophiques, consacré à Bernard Bolzano. Philosophie de la logique et théorie de la connaissance.

On n'y lira pas son dialogue avec Kant ni la présentation de sa conception du temps.

31 août 2006

Les théories formelles de la révision des croyances

L'objet d'étude fondamental des théories de la révision des croyances prend son sens au sein d'une classe de situations que l'on peut comprendre sur le modèle de l'interaction. Les TRC s'intéressent, dans l'interaction, aux structures informationnelles et à leur dynamique. Les agents se servent de l'information pour former et réviser une représentation de leur environnement, laquelle oriente de nouvelles actions qui modifient le flux d'information dans lequel elles s'inscrivent.

Théories formelles de la révision des croyances

Un carnet Web autour du séminaire est également disponible.

20 juillet 2006

Exercices de logique

Une introduction à la logique (via phnk).

26 avril 2006

Théorie des ensembles : histoire, enjeux et perspectives

L'Institut de Logique de l'Université de Neuchâtel organise un colloque le vendredi 19 et samedi 20 mai 2006. Au programme :

vendredi 19 mai 2003

samedi 20 mai 2006

Un résumé des interventions est disponible (fichier PDF).

Merci à Thomas de me l'avoir signalé.

29 mars 2006

Le langage et la logique

Dans le prolongement du dossier Les chemins de la logique d'octobre dernier, la revue Pour la science et l'ENS propose une conférence de Paul Égré, La logique et le langage.

- page 4 de 8 -