Logique, dynamique et cognition
Par :Formats :
Disponible dans votre compte client Decitre ou Furet du Nord dès validation de votre commande. Le format Multi-format est :
- Pour les liseuses autres que Vivlio, vous devez utiliser le logiciel Adobe Digital Edition. Non compatible avec la lecture sur les liseuses Kindle, Remarkable et Sony
, qui est-ce ?Notre partenaire de plateforme de lecture numérique où vous retrouverez l'ensemble de vos ebooks gratuitement
Pour en savoir plus sur nos ebooks, consultez notre aide en ligne ici
C'est si simple ! Lisez votre ebook avec l'app Vivlio sur votre tablette, mobile ou ordinateur :
- Nombre de pages239
- FormatMulti-format
- ISBN978-2-85944-810-3
- EAN9782859448103
- Date de parution28/03/2017
- Protection num.NC
- Infos supplémentairesMulti-format incluant PDF avec W...
- ÉditeurEditions de la Sorbonne
Résumé
Le présent volume regroupe les textes de conférences données lors de la rencontre « Logique mathémathique, Informatique et Philosophie », organisé en avril 2003 à l'université Paris 1 Panthéon-Sorbonne sous la direction de Jean-Baptiste Joinet. Ce colloque réunissait les principaux acteurs du collectif interdisciplinaire « Logique et Interaction : vers une Géométrie de la Cognition » (LIGC) et divers universitaires d'autres horizons.
La première partie, intitulée La logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation des champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l'intelligibilité de la nature.
Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l'angle des évolutions récentes de la logique dans son dialogue avec l'informatique fondamentale.
La première partie, intitulée La logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation des champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l'intelligibilité de la nature.
Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l'angle des évolutions récentes de la logique dans son dialogue avec l'informatique fondamentale.
Le présent volume regroupe les textes de conférences données lors de la rencontre « Logique mathémathique, Informatique et Philosophie », organisé en avril 2003 à l'université Paris 1 Panthéon-Sorbonne sous la direction de Jean-Baptiste Joinet. Ce colloque réunissait les principaux acteurs du collectif interdisciplinaire « Logique et Interaction : vers une Géométrie de la Cognition » (LIGC) et divers universitaires d'autres horizons.
La première partie, intitulée La logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation des champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l'intelligibilité de la nature.
Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l'angle des évolutions récentes de la logique dans son dialogue avec l'informatique fondamentale.
La première partie, intitulée La logique à la croisée des chemins, rassemble des réflexions sur les évolutions récentes de la logique et les aspects fondamentaux de la mathématisation des champs scientifiques spécifiques (physique, biologie). Ces contributions (J.-Y. Girard, J.-B. Joinet et G. Longo, T. Paul) visent à dégager un nouveau statut épistémologique pour la logique et les mathématiques, et à tirer les leçons philosophiques de ces évolutions quant à la rationalité scientifique et l'intelligibilité de la nature.
Dans la seconde partie, intitulée Questions sémantiques : réalisme, règles et vérité, les contributeurs (S. Tronçon, P. Dehornoy, G. Dowek, P. Livet, D. Bonnay) revisitent les grandes notions sémantiques traditionnelles sous l'angle des évolutions récentes de la logique dans son dialogue avec l'informatique fondamentale.
