|
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 888 | PER | Périodique | cabinet Physique Chimie | documentaire | Exclu du prêt |
Dépouillements
Ajouter le résultat dans votre panierRéseaux de neurones capables de raisonner / Hannes Leitgeb in Pour la science. Dossier, 049 (10/2005)
Titre : Réseaux de neurones capables de raisonner Type de document : texte imprimé Auteurs : Hannes Leitgeb, Auteur Année de publication : 2005 Article en page(s) : p.97-101 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Intelligence artificielle Mots-clés : raisonnement philosophique processus cognitif 20e siècle Résumé : Les études théoriques de la logique non monotone interviennent depuis 1940 sur les questions de sciences cognitives et permettent d'envisager la réalisation de réseaux de neurones artificiels susceptibles de simuler la pensée : travaux du psychiatre neurologue américain Warren Sturgis McCulloch et Walter Pitts en intelligence artificielle ; situation des recherches depuis 1980 ; interprétation des propositions conditionnelles par la logique non monotone. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] Réseaux de neurones capables de raisonner [texte imprimé] / Hannes Leitgeb, Auteur . - 2005 . - p.97-101 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Intelligence artificielle Mots-clés : raisonnement philosophique processus cognitif 20e siècle Résumé : Les études théoriques de la logique non monotone interviennent depuis 1940 sur les questions de sciences cognitives et permettent d'envisager la réalisation de réseaux de neurones artificiels susceptibles de simuler la pensée : travaux du psychiatre neurologue américain Warren Sturgis McCulloch et Walter Pitts en intelligence artificielle ; situation des recherches depuis 1980 ; interprétation des propositions conditionnelles par la logique non monotone. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Traiter le flou et l'incertain Type de document : texte imprimé Auteurs : Didier Dubois, Auteur ; Henri Prade, Auteur Année de publication : 2005 Article en page(s) : p.114-120 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Intelligence artificielle
Logique mathématiqueMots-clés : raisonnement philosophique processus cognitif 1950-1959 Résumé : Evolution, depuis 1950, des recherches et des applications possibles de la logique floue et de la théorie des possibilités dans le domaine de l'intelligence artificielle, notamment dans les commandes de systèmes et dans les sciences et techniques du traitement de l'information. Exemples de raisonnements et d'applications. Bibliographie, graphiques, schémas. Nature du document : documentaire Genre : Article de périodique [article] Traiter le flou et l'incertain [texte imprimé] / Didier Dubois, Auteur ; Henri Prade, Auteur . - 2005 . - p.114-120 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Intelligence artificielle
Logique mathématiqueMots-clés : raisonnement philosophique processus cognitif 1950-1959 Résumé : Evolution, depuis 1950, des recherches et des applications possibles de la logique floue et de la théorie des possibilités dans le domaine de l'intelligence artificielle, notamment dans les commandes de systèmes et dans les sciences et techniques du traitement de l'information. Exemples de raisonnements et d'applications. Bibliographie, graphiques, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : L'intuitionnisme : où l'on construit une preuve Type de document : texte imprimé Auteurs : Alexandre Miquel, Auteur Année de publication : 2005 Article en page(s) : p.30-36 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique mathématique Mots-clés : raisonnement philosophique programmation démarche scientifique 20e siècle Résumé : Place de l'intuitionnisme dans les mathématiques depuis l'énoncé de cette méthode de raisonnement par Luitzen Brouwer en 1907. Examen comparé de la constructivité en logique, des objets construits, de la notion d'infini, dans le traitement de la négation et double négation. Relation entre la prouvabilité intuitionniste et la calculabilité ; applications possibles en informatique (correspondance de Curry-Howard). Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique [article] L'intuitionnisme : où l'on construit une preuve [texte imprimé] / Alexandre Miquel, Auteur . - 2005 . - p.30-36 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique mathématique Mots-clés : raisonnement philosophique programmation démarche scientifique 20e siècle Résumé : Place de l'intuitionnisme dans les mathématiques depuis l'énoncé de cette méthode de raisonnement par Luitzen Brouwer en 1907. Examen comparé de la constructivité en logique, des objets construits, de la notion d'infini, dans le traitement de la négation et double négation. Relation entre la prouvabilité intuitionniste et la calculabilité ; applications possibles en informatique (correspondance de Curry-Howard). Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : L'analyse logique des langues naturelles Type de document : texte imprimé Auteurs : Paul Egré, Auteur Année de publication : 2005 Article en page(s) : p.45-50 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique mathématique
Mathématicien
PhilosopheMots-clés : raisonnement philosophique étude linguistique 1950-1959 Résumé : Origine et évolution, depuis 1950, du rapport entre logique et linguistique : structure du langage naturel et analyse de la théorie du syllogisme d'Aristote ; langage formel reposant sur l'idéographie de Gottlob Frege et analyse logique de Bertrand Russel ; formalisation de la syntaxe par Noam Chomsky qui introduit la grammaire générative et formalisation de la sémantique par Richard Montague. Etude des relations entre ces modèles logiques. Bibliographie, schémas, tablea Nature du document : documentaire Genre : Article de périodique [article] L'analyse logique des langues naturelles [texte imprimé] / Paul Egré, Auteur . - 2005 . - p.45-50 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique mathématique
Mathématicien
PhilosopheMots-clés : raisonnement philosophique étude linguistique 1950-1959 Résumé : Origine et évolution, depuis 1950, du rapport entre logique et linguistique : structure du langage naturel et analyse de la théorie du syllogisme d'Aristote ; langage formel reposant sur l'idéographie de Gottlob Frege et analyse logique de Bertrand Russel ; formalisation de la syntaxe par Noam Chomsky qui introduit la grammaire générative et formalisation de la sémantique par Richard Montague. Etude des relations entre ces modèles logiques. Bibliographie, schémas, tablea Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : La révision des croyances Type de document : texte imprimé Auteurs : Denis Zwirn, Auteur ; Hervé Zwirn, Auteur Année de publication : 2005 Article en page(s) : p.90-95 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique mathématique Mots-clés : raisonnement philosophique 1980-1989 Résumé : Fondement, depuis 1985, du champ d'application et évolution des modèles de révision des croyances possibles mettant en oeuvre un principe logique de révision lorsqu'interfèrent des informations nouvelles sur l'objet de la croyance ou lors d'une modification de l'objet. Description des différents types de révision des croyances et examen de différents modes de raisonnements. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique [article] La révision des croyances [texte imprimé] / Denis Zwirn, Auteur ; Hervé Zwirn, Auteur . - 2005 . - p.90-95 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique mathématique Mots-clés : raisonnement philosophique 1980-1989 Résumé : Fondement, depuis 1985, du champ d'application et évolution des modèles de révision des croyances possibles mettant en oeuvre un principe logique de révision lorsqu'interfèrent des informations nouvelles sur l'objet de la croyance ou lors d'une modification de l'objet. Description des différents types de révision des croyances et examen de différents modes de raisonnements. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : L'art et la logique de la conversation Type de document : texte imprimé Auteurs : Johan Van Benthem, Auteur Année de publication : 2005 Article en page(s) : p.69-73 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Mots-clés : raisonnement philosophique axiomatique information et communication Résumé : Examen de la place de la logique dans la conversation et dans les jeux : une dynamique est mise en oeuvre lors d'interactions proches de la logique dynamique des programmes informatiques utilisant les opérateurs de la logique épistémique dynamique intervenant dans la communication des informations. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] L'art et la logique de la conversation [texte imprimé] / Johan Van Benthem, Auteur . - 2005 . - p.69-73 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Mots-clés : raisonnement philosophique axiomatique information et communication Résumé : Examen de la place de la logique dans la conversation et dans les jeux : une dynamique est mise en oeuvre lors d'interactions proches de la logique dynamique des programmes informatiques utilisant les opérateurs de la logique épistémique dynamique intervenant dans la communication des informations. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Raisonnement psycho...logique ? Type de document : texte imprimé Auteurs : Guy Politzer, Auteur ; Jean-François Bonnefon, Auteur Année de publication : 2005 Article en page(s) : p.102-107 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique mathématique Mots-clés : raisonnement philosophique 2001-2009 Résumé : Description des raisonnements de la vie courante où intervient une logique non monotone. Tentative de définition d'une norme à partir de la logique formelle standard afin d'établir la logique d'une pensée ; limites de son application aux raisonnements de la vie courante. Encadrés sur les mécanismes de la déduction et la formule de Bayes. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] Raisonnement psycho...logique ? [texte imprimé] / Guy Politzer, Auteur ; Jean-François Bonnefon, Auteur . - 2005 . - p.102-107 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique mathématique Mots-clés : raisonnement philosophique 2001-2009 Résumé : Description des raisonnements de la vie courante où intervient une logique non monotone. Tentative de définition d'une norme à partir de la logique formelle standard afin d'établir la logique d'une pensée ; limites de son application aux raisonnements de la vie courante. Encadrés sur les mécanismes de la déduction et la formule de Bayes. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Démonstrations et certitude en mathématiques Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année de publication : 2005 Article en page(s) : p.38-43 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique mathématique Mots-clés : vérité Résumé : Les développements de la logique et de l'informatique permettent de redéfinir la notion de démonstration. Examen du cas des preuves graphiques : "les preuves sans mot", les preuves animées, les démonstrations aidées par l'ordinateur comme la démonstration de Thomas Hales ou le théorème des quatre couleurs. Principe général des preuves sans transfert de connaissance et idée des preuves quantiques. Bibliographie, schémas, webographie. Nature du document : documentaire Genre : Article de périodique [article] Démonstrations et certitude en mathématiques [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2005 . - p.38-43 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique mathématique Mots-clés : vérité Résumé : Les développements de la logique et de l'informatique permettent de redéfinir la notion de démonstration. Examen du cas des preuves graphiques : "les preuves sans mot", les preuves animées, les démonstrations aidées par l'ordinateur comme la démonstration de Thomas Hales ou le théorème des quatre couleurs. Principe général des preuves sans transfert de connaissance et idée des preuves quantiques. Bibliographie, schémas, webographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Les Stoïciens et les opérateurs logiques Type de document : texte imprimé Auteurs : Jean-Baptiste Gourinat, Auteur Année de publication : 2005 Article en page(s) : p.13 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique Mots-clés : vérité stoïcisme lieu de l'Antiquité grecque Résumé : Examen de la logique des propositions fondée par les dialecticiens et le stoïcien Chrysippe au 3e siècle, qui établit des rapports entre des propositions et des opérateurs logiques. Tableau de ces opérateurs stoïciens ou mégariques, appelé "Tables de vérité". Le cas du conditionnel, tel que Diodore et Philon l'ont pensé en définissant l'implication, en fonction de la relation établie entre l'antécédent et le conséquent. Nature du document : documentaire Genre : Article de périodique [article] Les Stoïciens et les opérateurs logiques [texte imprimé] / Jean-Baptiste Gourinat, Auteur . - 2005 . - p.13 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique Mots-clés : vérité stoïcisme lieu de l'Antiquité grecque Résumé : Examen de la logique des propositions fondée par les dialecticiens et le stoïcien Chrysippe au 3e siècle, qui établit des rapports entre des propositions et des opérateurs logiques. Tableau de ces opérateurs stoïciens ou mégariques, appelé "Tables de vérité". Le cas du conditionnel, tel que Diodore et Philon l'ont pensé en définissant l'implication, en fonction de la relation établie entre l'antécédent et le conséquent. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : La quête du sens et de la vérité Type de document : texte imprimé Auteurs : Gabriel Sandu, Auteur Année de publication : 2005 Article en page(s) : p.54-59 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
SémantiqueMots-clés : métalangage vérité 20e siècle Résumé : Peut-on analyser le langage ou la logique ? Thèses des universalistes Ludwig Wittgenstein et Gottlob Frege ; exemple du traitement du prédicat de vérité. Démarche opposée de logiciens qui définissent un métalangage dans les années 1930 : recherches de Rudolf Carnap et d'Alfred Tarski qui élabora la théorie des modèles pour définir la vérité d'un énoncé. Evolution depuis la fin des années 1970 vers un possible langage calculatoire. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] La quête du sens et de la vérité [texte imprimé] / Gabriel Sandu, Auteur . - 2005 . - p.54-59 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
SémantiqueMots-clés : métalangage vérité 20e siècle Résumé : Peut-on analyser le langage ou la logique ? Thèses des universalistes Ludwig Wittgenstein et Gottlob Frege ; exemple du traitement du prédicat de vérité. Démarche opposée de logiciens qui définissent un métalangage dans les années 1930 : recherches de Rudolf Carnap et d'Alfred Tarski qui élabora la théorie des modèles pour définir la vérité d'un énoncé. Evolution depuis la fin des années 1970 vers un possible langage calculatoire. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : L'argumentation au Moyen Age Type de document : texte imprimé Auteurs : Daniel Boquin, Auteur ; Jean Celeyrette, Auteur Année de publication : 2005 Article en page(s) : p.14-20 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Philosophe
ThéologieMots-clés : France Moyen Age (5e-15e siècle) Résumé : Exposé des thèses développées par la logique médiévale dans le cadre de l'Université, au 13e siècle et au 14e siècle et historique de l'enseignement des arts libéraux : relation entre la logique médiévale et la langue ; principes dialectiques dans l'argumentation de la foi ; usages de la syllogistique aristotélicienne ; théorie des "consequentiae" ; analyse d'exercices scolaires : les "sophismata" et "obligationes". Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] L'argumentation au Moyen Age [texte imprimé] / Daniel Boquin, Auteur ; Jean Celeyrette, Auteur . - 2005 . - p.14-20 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Philosophe
ThéologieMots-clés : France Moyen Age (5e-15e siècle) Résumé : Exposé des thèses développées par la logique médiévale dans le cadre de l'Université, au 13e siècle et au 14e siècle et historique de l'enseignement des arts libéraux : relation entre la logique médiévale et la langue ; principes dialectiques dans l'argumentation de la foi ; usages de la syllogistique aristotélicienne ; théorie des "consequentiae" ; analyse d'exercices scolaires : les "sophismata" et "obligationes". Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Guillaume d'Ockham et le nominalisme Type de document : texte imprimé Auteurs : Daniel Boquin, Auteur ; Jean Celeyrette, Auteur Année de publication : 2005 Article en page(s) : p.22-23 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Ontologie
PhilosopheMots-clés : théologien Moyen Age (14e-15e siècle) Résumé : Place de l'oeuvre du théologien franciscain anglais Guillaume d'Ockham dans l'évolution de la philosophie médiévale, principalement l'ontologie, dans la mesure où il appuie la logique sur une théorie du signe et une position "minimaliste" dans la question des "universaux". Présentation de Guillaume d'Ockham. Nature du document : documentaire Genre : Article de périodique [article] Guillaume d'Ockham et le nominalisme [texte imprimé] / Daniel Boquin, Auteur ; Jean Celeyrette, Auteur . - 2005 . - p.22-23 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Ontologie
PhilosopheMots-clés : théologien Moyen Age (14e-15e siècle) Résumé : Place de l'oeuvre du théologien franciscain anglais Guillaume d'Ockham dans l'évolution de la philosophie médiévale, principalement l'ontologie, dans la mesure où il appuie la logique sur une théorie du signe et une position "minimaliste" dans la question des "universaux". Présentation de Guillaume d'Ockham. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Le droit peut-il être automatisé ? Type de document : texte imprimé Auteurs : Patrice Bailhache, Auteur Année de publication : 2005 Article en page(s) : p.62-67 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Droit
LogiqueMots-clés : morale Résumé : Réflexion sur la formalisation logique du droit. Description du système axiomatique de Georg Henrik von Wright transposant la logique modale à la logique déontique (ou morale) ; évocation des théorèmes qui trouvent leur fondement dans ce système et exposé de différents paradoxes. Examen de la transposition de la sémantique des mondes possibles de Kripke au système déontique. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] Le droit peut-il être automatisé ? [texte imprimé] / Patrice Bailhache, Auteur . - 2005 . - p.62-67 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Droit
LogiqueMots-clés : morale Résumé : Réflexion sur la formalisation logique du droit. Description du système axiomatique de Georg Henrik von Wright transposant la logique modale à la logique déontique (ou morale) ; évocation des théorèmes qui trouvent leur fondement dans ce système et exposé de différents paradoxes. Examen de la transposition de la sémantique des mondes possibles de Kripke au système déontique. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Brouwer et Gödel : deux frères ennemis Type de document : texte imprimé Auteurs : Mark Van Atten, Auteur Année de publication : 2005 Article en page(s) : p.24-29 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématique
MathématicienMots-clés : loi et principe scientifique 20e siècle Résumé : Exposé des conceptions des mathématiques et de la logique énoncées à la fin du 19e siècle et au début du 20e siècle par Luitzen Brouwer et Kurt Gödel qui s'appuyaient sur des fondements philosophiques différents. Historique, divergences et convergences de leurs constructions mentales : "intuitionnisme" chez Brouwer ; primauté de la découverte chez Gödel qui énonce son théorème d'incomplétude en 1931. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique [article] Brouwer et Gödel : deux frères ennemis [texte imprimé] / Mark Van Atten, Auteur . - 2005 . - p.24-29 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématique
MathématicienMots-clés : loi et principe scientifique 20e siècle Résumé : Exposé des conceptions des mathématiques et de la logique énoncées à la fin du 19e siècle et au début du 20e siècle par Luitzen Brouwer et Kurt Gödel qui s'appuyaient sur des fondements philosophiques différents. Historique, divergences et convergences de leurs constructions mentales : "intuitionnisme" chez Brouwer ; primauté de la découverte chez Gödel qui énonce son théorème d'incomplétude en 1931. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : La logique de ce qui n'existe pas Type de document : texte imprimé Auteurs : Pascal Engel, Auteur Année de publication : 2005 Article en page(s) : p.51-53 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématique
Ontologie
SémantiqueMots-clés : époque contemporaine (19e-21e siècle) Résumé : Le paradoxe en logique classique depuis l'Antiquité grecque des objets non existants a amené le philosophe Alexius Meinong à distinguer l'existence en acte ou effective de l'existence possible. Positions logiques différentes de Bertrand Russell, Gottlob Frege, Saül Kripke et David Lewis concernant les modalités du possible et du nécessaire. Regard porté par les "logiques libres" sur les entités non existantes. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] La logique de ce qui n'existe pas [texte imprimé] / Pascal Engel, Auteur . - 2005 . - p.51-53 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématique
Ontologie
SémantiqueMots-clés : époque contemporaine (19e-21e siècle) Résumé : Le paradoxe en logique classique depuis l'Antiquité grecque des objets non existants a amené le philosophe Alexius Meinong à distinguer l'existence en acte ou effective de l'existence possible. Positions logiques différentes de Bertrand Russell, Gottlob Frege, Saül Kripke et David Lewis concernant les modalités du possible et du nécessaire. Regard porté par les "logiques libres" sur les entités non existantes. Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : La preuve par le dialogue Type de document : texte imprimé Auteurs : Shahid Rahman, Auteur ; Laurent Keiff, Auteur Année de publication : 2005 Article en page(s) : p.87-89 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématiqueMots-clés : jeu (loisirs) 20e siècle Résumé : Examen du lien entre la logique et les jeux par l'analyse de la notion dialogique de pragmatique. Historique de l'émergence de la théorie mathématique des jeux au début du 20e siècle par les logiciens Paul Lorenzen et Kuno Lorenz. Nature du document : documentaire Genre : Article de périodique [article] La preuve par le dialogue [texte imprimé] / Shahid Rahman, Auteur ; Laurent Keiff, Auteur . - 2005 . - p.87-89 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématiqueMots-clés : jeu (loisirs) 20e siècle Résumé : Examen du lien entre la logique et les jeux par l'analyse de la notion dialogique de pragmatique. Historique de l'émergence de la théorie mathématique des jeux au début du 20e siècle par les logiciens Paul Lorenzen et Kuno Lorenz. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Les chemins de la logique Type de document : texte imprimé Année de publication : 2005 Article en page(s) : p.1-120 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématique
Période historiqueRésumé : Dossier sur la logique : ses fondements antiques et médiévaux ; les nouvelles interrogations qu'elle suscite dès lors qu'elle rencontre les mathématiques au début du 20e siècle ; examen de la cohabitation contemporaine des différents aspects de la logique : mathématiques, philosophie et informatique, qui fondent les différentes manières de raisonner. Bibliographie, cartes, graphiques, schémas, tableaux, webogr. Nature du document : documentaire Genre : Article de périodique [article] Les chemins de la logique [texte imprimé] . - 2005 . - p.1-120 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématique
Période historiqueRésumé : Dossier sur la logique : ses fondements antiques et médiévaux ; les nouvelles interrogations qu'elle suscite dès lors qu'elle rencontre les mathématiques au début du 20e siècle ; examen de la cohabitation contemporaine des différents aspects de la logique : mathématiques, philosophie et informatique, qui fondent les différentes manières de raisonner. Bibliographie, cartes, graphiques, schémas, tableaux, webogr. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Croyances en théorie des jeux Type de document : texte imprimé Auteurs : Bernard Walliser, Auteur Année de publication : 2005 Article en page(s) : p.74-79 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématiqueMots-clés : information et communication jeu (loisirs) Résumé : Principes et finalité de la logique épistémique qui formalise la structure et la révision des croyances croisées entre acteurs ; son application dans la théorie des jeux, fondée en 1944 par le mathématicien John Von Neumann et l'économiste Oskar Morgenstern, pour définir la valeur ou le traitement de l'information lors de la coordination des joueurs, selon "l'équilibre de Nash". Examen de quelques situations types. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique [article] Croyances en théorie des jeux [texte imprimé] / Bernard Walliser, Auteur . - 2005 . - p.74-79 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématiqueMots-clés : information et communication jeu (loisirs) Résumé : Principes et finalité de la logique épistémique qui formalise la structure et la révision des croyances croisées entre acteurs ; son application dans la théorie des jeux, fondée en 1944 par le mathématicien John Von Neumann et l'économiste Oskar Morgenstern, pour définir la valeur ou le traitement de l'information lors de la coordination des joueurs, selon "l'équilibre de Nash". Examen de quelques situations types. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Voyager dans les mondes possibles Type de document : texte imprimé Auteurs : Patrice Bailhache, Auteur Année de publication : 2005 Article en page(s) : p.60-61 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique
Logique mathématiqueRésumé : Présentation des axiomes de la logique modale dite aléthique : en quoi la notion de vérité est modifiée par l'introduction des modalités ; comment il est possible de penser des mondes possibles depuis le philosophe Leibniz selon des logiciens contemporains tels Jaakko Hintikka, Stig Kanger et Saül Kripke, en introduisant notamment une relation d'accessibilité dans un modèle mathématique. Nature du document : documentaire Genre : Article de périodique [article] Voyager dans les mondes possibles [texte imprimé] / Patrice Bailhache, Auteur . - 2005 . - p.60-61 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique
Logique mathématiqueRésumé : Présentation des axiomes de la logique modale dite aléthique : en quoi la notion de vérité est modifiée par l'introduction des modalités ; comment il est possible de penser des mondes possibles depuis le philosophe Leibniz selon des logiciens contemporains tels Jaakko Hintikka, Stig Kanger et Saül Kripke, en introduisant notamment une relation d'accessibilité dans un modèle mathématique. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : On se sacrifie... pour nuire aux autres ! Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Année de publication : 2005 Article en page(s) : p.108-112 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique Mots-clés : irrationalité jeu (loisirs) 1980-1989 Résumé : Dans les jeux et dans l'économie interviennent l'irrationnel et une propension morale : l'intérêt personnel est supplanté par le souci d'équité. Démonstration de cette hypothèse par des études du jeu de l'ultimatum (jeu d'argent) menées depuis 1980, affirmant notamment la possibilité d'une origine sociale à cette volonté égalitariste. Bibliographie, cartes, graphiques, schémas. Nature du document : documentaire Genre : Article de périodique [article] On se sacrifie... pour nuire aux autres ! [texte imprimé] / Jean-Paul Delahaye, Auteur . - 2005 . - p.108-112 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique Mots-clés : irrationalité jeu (loisirs) 1980-1989 Résumé : Dans les jeux et dans l'économie interviennent l'irrationnel et une propension morale : l'intérêt personnel est supplanté par le souci d'équité. Démonstration de cette hypothèse par des études du jeu de l'ultimatum (jeu d'argent) menées depuis 1980, affirmant notamment la possibilité d'une origine sociale à cette volonté égalitariste. Bibliographie, cartes, graphiques, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : La connaissance interactive Type de document : texte imprimé Auteurs : Jacques Dubucs, Auteur Année de publication : 2005 Article en page(s) : p.80-86 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Connaissance
LogiqueMots-clés : 20e siècle Résumé : Analyse des fondements d'une logique de la connaissance, ou logique épistémique, et examen de quelques exemples. Limites de la logique extensionnelle, dépassées par les logiciens Jaakko Hintikka et Saül Kripke s'inspirant de la logique modale et par le formalisme des "mondes possibles"qui introduit la notion de connaissance interactive ou coopération épistémique. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique [article] La connaissance interactive [texte imprimé] / Jacques Dubucs, Auteur . - 2005 . - p.80-86 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Connaissance
LogiqueMots-clés : 20e siècle Résumé : Analyse des fondements d'une logique de la connaissance, ou logique épistémique, et examen de quelques exemples. Limites de la logique extensionnelle, dépassées par les logiciens Jaakko Hintikka et Saül Kripke s'inspirant de la logique modale et par le formalisme des "mondes possibles"qui introduit la notion de connaissance interactive ou coopération épistémique. Bibliographie, schémas. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : La logique : une création de la Grèce antique Type de document : texte imprimé Auteurs : Jean-Baptiste Gourinat, Auteur Année de publication : 2005 Article en page(s) : p.7-11 : Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Catégories : Logique Mots-clés : Aristote (384-322 av. J.-C.) stoïcisme lieu de l'Antiquité grecque Résumé : Origine historique et sémantique de la logique, partie de la philosophie qui concerne la raison, le langage et le raisonnement, dans la culture grecque antique. Définition du contenu de la logique par les stoïciens ; apports fondateurs d'Aristote à l'analyse d'un raisonnement par la théorie de la "logique des prédicats" ; énoncé des lois logiques de Chrysippe reposant sur une "logique des propositions". Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] La logique : une création de la Grèce antique [texte imprimé] / Jean-Baptiste Gourinat, Auteur . - 2005 . - p.7-11 :.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Catégories : Logique Mots-clés : Aristote (384-322 av. J.-C.) stoïcisme lieu de l'Antiquité grecque Résumé : Origine historique et sémantique de la logique, partie de la philosophie qui concerne la raison, le langage et le raisonnement, dans la culture grecque antique. Définition du contenu de la logique par les stoïciens ; apports fondateurs d'Aristote à l'analyse d'un raisonnement par la théorie de la "logique des prédicats" ; énoncé des lois logiques de Chrysippe reposant sur une "logique des propositions". Bibliographie. Nature du document : documentaire Genre : Article de périodique Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt
Titre : Dossier Pour la science 049 Type de document : texte imprimé Année de publication : 2005 Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)Nature du document : documentaire Genre : Documentaire [article] Dossier Pour la science 049 [texte imprimé] . - 2005.
Langues : Français (fre)
in Pour la science. Dossier > 049 (10/2005)
Nature du document : documentaire Genre : Documentaire Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 888 PER Périodique cabinet Physique Chimie documentaire Exclu du prêt