LEADER 03285oam  2200649 n 450 
001 9910168752803321
005 20250709223736.0
010   $a9782859448103
024 7 $a10.4000/books.psorbonne.291
035   $a(CKB)3710000001127786
035   $a(FrMaCLE)OB-psorbonne-291
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/51954
035   $a(PPN)267930666
035   $a(FR-PaCSA)88924619
035   $a(FRCYB88924619)88924619
035   $a(oapen)doab51954
035   $a(EXLCZ)993710000001127786
100   $a20170328j||||||||  |||         0
101 0 $afre
135   $auu||||||m||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLogique, dynamique et cognition /$fJean-Baptiste Joinet
210   $aParis $cÉditions de la Sorbonne$d2014
215   $a1 online resource (239 p.)
311 1 $a9782859445843 
330   $aLe 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.
606   $aPhilosophy
606   $alogique mathématique
606   $atemps
606   $asciences de la nature
606   $amécanique quantique
610   $alogique mathématique
610   $asciences de la nature
610   $atemps
610   $amécanique quantique
615  4$aPhilosophy
615  4$alogique mathématique
615  4$atemps
615  4$asciences de la nature
615  4$amécanique quantique
700   $aBailly$b Francis$0947087
701   $aBonnay$b Denis$01356394
701   $aDehornoy$b Patrick$051512
701   $aDowek$b Gilles$01356395
701   $aGirard$b Jean-Yves$059717
701   $aJoinet$b Jean-Baptiste$01356396
701   $aLivet$b Pierre$01233999
701   $aLongo$b Giuseppe$042264
701   $aPaul$b Thierry$01313114
701   $aTronçon$b Samuel$01356397
801  0$bFR-FrMaCLE
906   $aBOOK
912   $a9910168752803321
996   $aLogique, dynamique et cognition$93360913
997   $aUNINA