Comment
ça
marche ?

Accueil
Recherche avancée

1. Comment effectuer une recherche ?

      1.1. Recherche avec la barre de recherche

            1.1.1. Votre requête est guidée par la suggestion des mots-clés déjà enregistrés dans la base de données (auto-complétion)

            1.1.2. Pour combiner des mots-clés dans une requête, plusieurs possibilités se présentent :

                    1) Opérateur ET : il doit être entré avec le symbole "&" :

                    2) Opérateur OU : il doit être entré avec le symbole "+" :

                    3) Opérateur SAUF : il doit être entré avec le symbole "-" :

      1.2. Recherche avec barre alphabétique

            1.2.1. Cliquez sur une lettre :

            1.2.2. Vous avez la possibilité de faire tourner la boule des mots-clés associés au terme choisi :

            1.2.3. Vous avez aussi la possibilité de cliquer sur un mot-clé :

            1.2.4. Une fois un mot cliqué, un widget apparaît indiquant le nombre de notices indexées par le mot-clé sélectionné :

            1.2.5. En cliquant sur le widget, vous faites apparaître la liste des références bibliographiques indexées par le mot-clé que vous avez sélectionné :

                      Vous avez la possibilité de faire défiler cette liste de références bibliographiques

            1.2.6. Après avoir cliqué sur un résultat de requête, la notice associée à la référence bibliographique sélectionnée s’affiche :

            1.2.7. Vous avez alors la possibilité de faire défiler la notice pour la consulter et lire son contenu

     

      1.3. Recherche simple

            1.3.1. Cliquez sur le bouton accueil :

            1.3.2. Vous avez la possibilité de choisir un critère parmi les critères suivants :

            1.3.3. Cliquez sur le bouton OK ou sur la touche ENTER de votre clavier pour lancer la recherche

            1.3.4. La liste des résultats s’affiche :

                     Vous avez la possibilité de faire défiler et de cliquer sur un résultat de requête

            1.3.5. Une fois que vous avez sélectionné un résultat, la notice associée à cette référence bibliographique s’affiche et vous pouvez la consulter :

            1.3.6. Pour afficher ou masquer le détail des métadonnées de la référence appuyer sur + ou sur – :

      1.4. Recherche avancée

            1.4.1. Entrez une requête dans le ou les champs souhaités

            1.4.2. Votre requête est guidée par la suggestion des termes déjà enregistrés dans la base de données (auto-complétion) :

            1.4.3. Pour sélectionner un item appuyez sur « + » ; pour retirer un item de la recherche appuyez sur « - »

            1.4.4. Pour combiner les termes, sélectionnez les opérateurs que vous souhaitez utiliser dans votre requête :

            1.4.5. Pour lancer votre recherche appuyez sur « Rechercher »

2. Signification des pictogrammes utilisés dans la base de données

      2.1. Un pictogramme par type de document

Monographie


Dictionnaire / Encyclopédie


Collectif


Article


Revue / Périodique


Thèse

3. Possibilités manipulatoires de la sphère

      3.1. Vous pouvez la faire tourner dans tous les sens

      3.2. Vous pouvez la zoomer et la dézoomer

      3.3. Vous pouvez cliquer sur les mots-clés qu'elle présente





Nuage de mots-clés associé à : Quantification
    Logo SIPSPictogramme de Livres
    5
    NOTICES

    Liste des références bibliographiques indexées

    Monographie

    Formal logic. Its scope and limits

    Richard Carl JEFFREY
    Éditeur : McGraw-Hill - 1967


    Article

    Quantification canonique et énergie du vide

    Jacques RENAUD

    Sous la direction de Marc LACHIÈZE-REY
    Dans L’Espace physique entre mathématiques et philosophie - 2006


    Article

    L’analyse de la forme logique des propositions en grammaire universelle

    Daniel VANDERVEKEN

    Sous la direction de Jacques DUBUCS, François LEPAGE
    Dans Méthodes logiques pour les sciences cognitives - 1995


    Article

    Comparer l'incomparable : essai sur les usages sociaux des probabilités et des statistiques

    Alain DESROSIÈRES

    Sous la direction de Jean-Philippe TOUFFUT
    Dans La Société du probable. Les mathématiques sociales après Augustin Cournot - 2007


    Monographie

    Relevant Logic. A Philosophical Interpretation

    Edwin David MARES
    Éditeur : Cambridge University Press - 2004


    MONOGRAPHIE

    Formal logic. Its scope and limits

    • Pages : XII-238
    •  
    • Support : Print
    • Edition : Original
    • Ville : New York
    •  
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 26-09-2015

    Résumé :

    Anglais

    This book deals with an elementary exposition of propositional and quantificational logic, and gives a detailed elementary completeness proof. The tree method tests validity of inferences by a systematic search for counterexamples, using easy formal techniques related in a natural way to the semantical interpretation. Church’s undecidability theorem and a version of Gödel’s incompleteness theorem are proved in the final chapter. Numerous worked examples are included where techniques are to be acquired. – Part One, «Compound Statements» : 1, Introduction; 2, Logical equivalence; 3, Truth-functions; 4, Truth trees; 5, Adequacy of the method. Trees and proofs. – Part Two, «Quantification» : 6, Inference rules for quantifiers; 7, Multiple quantification. Translation; 8, Adequacy of the tree method; 9, Identity. Functions; 10, Undecidability. Incompleteness. – Guide to further study. M.-M. V.

     

    ARTICLE

    Quantification canonique et énergie du vide

    • Pages : 285 à 300
    •  
    •  
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 04-01-2011

    Résumé :

     

    ARTICLE

    L’analyse de la forme logique des propositions en grammaire universelle

    • Pages : 295 à 326
    •  
    •  
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 04-01-2011

    Résumé :

    Français

    1, Principes généraux de la logique de la quantification; 2, La langue-objet idéale; 3, La sémantique formelle; 4, Un système axiomatique; 5, Lois valides.

     

    ARTICLE

    Comparer l'incomparable : essai sur les usages sociaux des probabilités et des statistiques

    • Pages : 163 à 200
    •  
    • Support : Document imprimé
    • Edition : Original
    •  
    • Institution : Centre Cournot pour la recherche en économie
    •  
    • Date de création : 27-10-2011
    • Dernière mise à jour : 03-03-2015

    Résumé :

    Français

    Alain Desrosières a pour objectif de rendre compte de la réflexion cournotienne sur les implications philosophiques des méthodes quantitatives, de sorte à pouvoir l'utiliser comme un instrument d'analyse critique des divers usages des arguments quantitatifs. La réflexion de Cournot sur ce sujet se fonde sur deux idées centrales : d'une part la distinction entre probabilités objectives et probabilités subjectives ; d'autre part une analyse des coupes, c'est-à-dire des « catégories organisées par les statisticiens selon des conventions d'équivalence, pour ordonner et comparer leurs objets d'étude. » (p. 164) Il s'agit pour l'auteur de mobiliser ces deux idées cournotiennes pour les appliquer comme filtres critiques à trois contextes dans lesquels il est fait usage des arguments quantitatifs : à savoir la maîtrise des risques, les politiques macroéconomiques et l'évaluation des politiques publiques.

    F. F.

     

    MONOGRAPHIE

    Relevant Logic. A Philosophical Interpretation

    • Pages : X-229
    •  
    • Support : Print
    • Edition : Original
    • Ville : Cambridge
    •  
    • ISBN : 0521829232
    • URL : Lien externe
    •  
    • Date de création : 19-04-2012
    • Dernière mise à jour : 19-04-2012

    Résumé :

    Anglais

    This book introduces the reader to relevant logic and provides the subject with a philosophical interpretation. The defining feature of relevant logic is that it forces the premises of an argument to be really used ('relevant') in deriving its conclusion. The logic is placed in the context of possible world semantics and situation semantics, which are then applied to provide an understanding of the various logical particles (especially implication and negation) and natural language conditionals. The book ends by examining various applications of relevant logic and presenting some interesting open problems. It will be of interest to a range of readers including advanced students of logic, philosophical and mathematical logicians, and computer scientists. – Contents : – Preface; – Acknowledgements. – Part I. Relevant Logic and its Semantics: – 1. What is relevant logic and why do we need it?; – 2. Possible worlds and beyond; – 3. Situating implication; – 4. Ontological interlude; – 5. Negation; – 6. Modality, entailment and quantification. – Part II. Conditionals: – 7. Indicative conditionals; – 8. Counterfactuals. – Part III. Inference and its Applications: – 9. The structure of deduction; – 10. Disjunctive syllogism; – 11. Putting relevant logic to work; – 12. Afterword. – Appendix A: the logic R; – Appendix B: Routley-Meyer semantics for R; – Glossary; – Includes bibliographical references (p. 218-225) and index.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ