Logique, dynamique et cognition
Jean-Baptiste Joinet - Collection Logique, langage, sciences, philosophie
Résumé
Le présent volume regroupe les textes de conférences données lors de la rencontre "Logique mathématique, Informatique et Philosophie", organisée en avril 2003 à l'université Paris I 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 de champs scientifiques spécifiques (physique, biologie).
Ces contributions (J.-Y. Girard, J.-B. Joinet, F. Bailly 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.
Sommaire
- La logique a la croisée des chemins
- La logique comme géométrie du cognitif
- Sur le temps logique
- Causalités et symétries dans les sciences de la nature
- le continu et le discret mathématiques
- La mécanique quantique vue comme processus dynamique
- Questions sémantiques : réalisme, règles et vérité
- Interaction et signification
- Au-delà du forcing : la notion de vérité essentielle en théorie des ensembles
- La notion de modèle suppose-t-elle une conception réaliste de la vérité mathématiques ?
- Ontologie phénoménale et connecteurs linéaires
- Règles et signification : le point de vue de la logique classique
Caractéristiques techniques
| PAPIER | NUMERIQUE | |
| Éditeur(s) | Editions de la Sorbonne | |
| Auteur(s) | Jean-Baptiste Joinet | |
| Collection | Logique, langage, sciences, philosophie | |
| Parution | 13/09/2007 | 28/03/2017 |
| Nb. de pages | 240 | 239 |
| Format | 16 x 24 | - |
| Couverture | Broché | - |
| Poids | 394g | - |
| Intérieur | Noir et Blanc | - |
| Contenu | - |
ePub + PDF + Mobi/Kindle |
| EAN13 | 9782859445843 |
9782859448103 |
| ISBN13 | 978-2-85944-584-3 | - |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Algorithmique et informatique appliquée Intelligence artificielle
- Sciences Mathématiques Mathématiques appliquées
- Sciences Sciences de la vie Physiologie Neurophysiologie
- Sciences Techniques Robotique
- Sciences Techniques Intelligence artificielle I.A. théorique
- Sciences Techniques Intelligence artificielle I.A. appliquée
- Sciences Techniques Intelligence artificielle Systèmes experts
- Sciences Techniques Intelligence artificielle Réseaux de neurones
- Sciences Techniques Intelligence artificielle Sciences cognitives
- Sciences Techniques Automatique
