| Titre : | Pour la science. Dossier, 049. Bulletin N°049 - 10/2005 |
| Type de document : | Bulletin |
| Paru le : | 01/10/2005 |
Dépouillements
Ajouter le résultat dans votre panier
Article : texte imprimé
Hannes Leitgeb, Auteur
|
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 psychi[...]
Article : texte imprimé
Didier Dubois, Auteur ;
Henri Prade, Auteur
|
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 technique[...]
Article : texte imprimé
Alexandre Miquel, Auteur
|
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[...]
Article : texte imprimé
Paul Egré, Auteur
|
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 Bertr[...]
Article : texte imprimé
Denis Zwirn, Auteur ;
Hervé Zwirn, Auteur
|
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 [...]
Article : texte imprimé
Johan Van Benthem, Auteur
|
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 dynamiq[...]
Article : texte imprimé
Guy Politzer, Auteur ;
Jean-François Bonnefon, Auteur
|
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 raisonn[...]
Article : texte imprimé
Jean-Paul Delahaye, Auteur
|
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ém[...]
Article : texte imprimé
Jean-Baptiste Gourinat, Auteur
|
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é "Tabl[...]
Article : texte imprimé
Gabriel Sandu, Auteur
|
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 : recherc[...]
Article : texte imprimé
Daniel Boquin, Auteur ;
Jean Celeyrette, Auteur
|
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 da[...]
Article : texte imprimé
Daniel Boquin, Auteur ;
Jean Celeyrette, Auteur
|
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 l[...]
Article : texte imprimé
Patrice Bailhache, Auteur
|
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[...]
Article : texte imprimé
Mark Van Atten, Auteur
|
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 conve[...]
Article : texte imprimé
Pascal Engel, Auteur
|
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,[...]
Article : texte imprimé
Shahid Rahman, Auteur ;
Laurent Keiff, Auteur
|
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.
Article : texte imprimé
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 [...]
Article : texte imprimé
Bernard Walliser, Auteur
|
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[...]
Article : texte imprimé
Patrice Bailhache, Auteur
|
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 co[...]
Article : texte imprimé
Jean-Paul Delahaye, Auteur
|
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 1[...]
Article : texte imprimé
Jacques Dubucs, Auteur
|
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[...]
Article : texte imprimé
Jean-Baptiste Gourinat, Auteur
|
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'Aristot[...]
Exemplaires(1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 31588 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |
 | 046 - 01/2005 | 047 - 04/2005 | 048 - Bulletin N°048 07/2005 | 049 - Bulletin N°049 10/2005 | 050 - Bulletin N°050 01/2006 | 051 - Bulletin N°051 04/2006 | 052 - Bulletin N°052 07/2006 |  |