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é à : Logique polyvalente
    Logo SIPSPictogramme de Livres
    5
    NOTICES

    Liste des références bibliographiques indexées

    Monographie

    Proof Theory for Fuzzy Logics

    George METCALFE, Nicola OLIVETTI, Dov M. GABBAY
    Éditeur : Springer Science+Business Media B.V. - 2009


    Article

    A Fuzzy Logic Approach to Non-Scalar Hedges

    Stephan van der WAART VAN GULIK

    Sous la direction de David MAKINSON, Jacek MALINOWSKI, Heinrich WANSING
    Dans Towards Mathematical Philosophy - 2009


    Revue-Périodique

    Philosophia Scientiae. Travaux d'histoire et de philosophie des sciences : La Syllogistique de Łukasiewicz

    Sous la direction de Gerhard HEINZMANN, Michel BASTIT
    Éditeur : Kimé - 2011


    Article

    On Jan Łukasiewicz's Many-Valued Logic and His Criticism of Determinism

    Dariusz LUKASIEWICZ

    Sous la direction de Gerhard HEINZMANN, Michel BASTIT
    Dans Philosophia Scientiae. Travaux d'histoire et de philosophie des sciences - 2011


    Monographie

    An Introduction to Non-Classical Logic. From If to Is

    Graham PRIEST
    Éditeur : Cambridge University Press - 2008


    MONOGRAPHIE

    Proof Theory for Fuzzy Logics

    • Pages : 285
    • Collection : Applied Logic Series
    •  
    • Support : Print
    • Edition : Original
    • Ville : Heidelberg ; Dordrecht ; New York
    •  
    • ISBN : 978-1-4020-9408-8
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 02-11-2015

    Résumé :

    Anglais

    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in particular on the development and applications of "proof-theoretic" presentations of fuzzy logics; the result of more than ten years of intensive work by researchers in the area, including the authors. In addition to providing alternative elegant presentations of fuzzy logics, proof-theoretic methods are useful for addressing theoretical problems (including key standard completeness results) and developing efficient deduction and decision algorithms. Proof-theoretic presentations also place fuzzy logics in the broader landscape of non-classical logics, revealing deep relations with other logics studied in Computer Science, Mathematics, and Philosophy. The book builds methodically from the semantic origins of fuzzy logics to proof-theoretic presentations such as Hilbert and Gentzen systems, introducing both theoretical and practical applications of these presentations. – 1. Introduction.- 2. The Semantic Basis.- 3. Hilbert Systems.- 4. Gentzen Systems.- 5. Syntactic Eliminations.- 6. Fundamental Logics.- 7. Uniformity and Efficiency.- 8. First-Order Logics.- 9. Further Topics. M.-M. V.

     

    ARTICLE

    A Fuzzy Logic Approach to Non-Scalar Hedges

    • Pages : 233 à 248
    •  
    •  
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 02-11-2015

    Résumé :

    Anglais

    Introduction; – Lakos's Proposal; – Some New Machinery; – The Generic Fuzzy Logic for Non-Scalar Hedges FLh; – Conclusion.

     

    REVUE-PÉRIODIQUE

    Philosophia Scientiae. Travaux d'histoire et de philosophie des sciences

    La Syllogistique de Łukasiewicz

    • Volume : 15
    • Pages : 184
    • Éditeur : Kimé
    •  
    • Support : Document imprimé
    • Ville : Paris
    •  
    • Institution : Laboratoire d'Histoire et de philosophie des sciences - Archives H. Poincaré
    • ISSN : 1281-2463
    • URL : Lien externe
    •  
    • Date de création : 27-10-2011
    • Dernière mise à jour : 28-02-2015

    Résumé :

    Français

    Axé sur le thème de la logique du polonais Jan Łukasiewicz (1878-1956), ce Cahier thématique de Philosophia Scientiae se divise en deux sections. La première inclut un liminaire suivi de quatre articles thématiques (Section 1 : « La syllogistique de Łukasiewicz : entre tradition et modernité ») ; la seconde, trois articles hors thème, la présentation de la traduction d'un compte rendu de Paul Ehrenfest sur L'Algèbre de la logique de Louis Couturat, et enfin cette traduction elle-même (Section 2 : « Varia »).

     

    ARTICLE

    On Jan Łukasiewicz's Many-Valued Logic and His Criticism of Determinism

    • Pages : 7 à 20
    •  
    • Support : Document imprimé
    • Edition : Original
    •  
    • Institution : Laboratoire d'Histoire et de philosophie des sciences - Archives H. Poincaré
    •  
    • Date de création : 27-10-2011
    • Dernière mise à jour : 28-02-2015

    Résumé :

    Français

    Dans le présent article, on analyse l’assertion, avancée par Jan Łukasiewicz, que la véracité ou la fausseté des propositions portant sur les événements futurs contingents implique le déterminisme. Pour éviter le déterminisme, il faut, selon Łukasiewicz, rejeter la logique classique (binaire) et remplacer cette logique par la logique polyvalente (trivalente). La conception défendue par Łukasiewicz est examinée en rapport avec la thèse proposée par Susan Haack, selon laquelle la véracité des propositions portant sur les événements futurs n’implique aucun déterminisme. Dans l’article, je démontre que le point de vue de Susan Haack est erroné, car elle ne prend pas en considération toutes les prémisses admises par Łukasiewicz. La prémisse la plus importante concerne la sémantique des verbes du futur. Or, j’essaie de prouver que Łukasiewicz s’appuie sur la sémantique dite peircienne et non ockhamienne. J’essaie de prouver que si on prend en considération la prémisse concernant les verbes du futur, le raisonnement qui a mené Jan Łukasiewicz à créer la logique trivalente s’avère correct. Dans la dernière partie de l’article, je signale que la logique trivalente proposée par Łukasiewicz pose certaines difficultés et je postule la nécessité de trouver, dans l’avenir, une autre solution du problème de la valeur logique des phrases sur le futur. (Auteur)

    Anglais

    The article deals with Jan Lukasiewicz’s thesis that the truth or falsity of some propositions about the future—future contingents—entails determinism. According to Lukasiewicz, determinism could be avoided by rejecting the classical logic (two-valued logic) and replacing it with manyvalued logic (three-valued logic). Lukasiewicz’s position is taken under scrutiny from the point of view of Susan Haack’s thesis that the truth values of future contingents do not entail any determinism. I argue in the paper that Haack’s view is incorrect because it does not take into account all premises accepted by Lukasiewicz. The most important of them concerns the semantics of future verbs. Lukasiewicz, as I try to show, assumes the so called Peircean semantics and not the Ockhamist one. Next, I try to argue that it is possible to preserve the validity of Lukasiewicz’s reasoning which led him to the three-valued logic by taking into account his assumptions regarding the meaning of future verbs. In the last part of my paper, I point out that three-valued logic proposed by Lukasiewicz has some flaws and, therefore, one needs to look for another solution of the problem of future contingents.

     

    MONOGRAPHIE

    An Introduction to Non-Classical Logic. From If to Is

    Résumé :

    Anglais

    This revised and considerably expanded 2nd edition, published in 2008, brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area. – Contents : Preface to the first edition; Preface to the second edition; Mathematical prolegomenon. – Part I. Propositional Logic: – 1. Classical logic and the material conditional; – 2. Basic modal logic; – 3. Normal modal logics; – 4. Non-normal modal logics; strict conditionals; – 5. Conditional logics; – 6. Intuitionist logic; – 7. Many-valued logics; – 8. First degree entailment; – 9. Logics with gaps, gluts, and worlds; – 10. Relevant logics; – 11. Fuzzy logics; 11a. Appendix: Many valued modal logics; Postscript: An historical perspective on conditionals. – Part II. Qualification and Identity: – 12. Classical logic; – 13. Free logic; – 14. Constant domain modal logics; – 15. Variable domain modal logics; – 16. Necessary identity in modal logic; – 17. Contingent identity in modal logic; – 18. Non-normal modal logics; – 19. Conditional logics; – 20. Intuitionist logic; – 21. Many-valued logics; – 22. First degree entailment; – 23. Logics with gaps, gluts, and worlds; – 24. Relevant logics; – 25. Fuzzy logics. – Postscript: A methodological coda. – Includes bibliographical references (p. 587-602) and index.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ