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 non classique
    Logo SIPSPictogramme de Livres
    3
    NOTICES

    Liste des références bibliographiques indexées

    Monographie

    Constructive Negations and Paraconsistency

    Sergei P. ODINTSOV
    Éditeur : Springer Science+Business Media B.V. - 2008


    Article

    Le logique paraconsistante

    Newton C. A. da COSTA, Jean-Yves BÉZIAU

    Sous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTIN
    Dans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999


    Monographie

    Paradox and Paraconsistency Conflict. Resolution in the Abstract Sciences

    John Hayden WOODS
    Éditeur : Cambridge University Press - 2003


    MONOGRAPHIE

    Constructive Negations and Paraconsistency

    • Pages : VI-242
    • Collection : Trends in Logic
    • Nombre de volumes : 1
    •  
    • Support : Print
    • Edition : Original
    • Ville : Heidelberg ; Dordrecht ; New York
    •  
    • ISBN : 978-1-4020-6866-9
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 02-11-2015

    Résumé :

    Anglais

    This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic. The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson’s logic Lj and paraconsistent Nelson’s logic N4. It will be shown that refusing the explosion axiom "contradiction implies everything" does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4. The methods developed in this book can be applied for investigation of other classes of paraconsistent logics. – 1. Introduction.- Part I. Reductio ad Absurdum.- 2. Minimal Logic. Preliminary Remarks.- 3. Logic of Classical Refutability.- 4. The Class of Extensions of Minimal Logic.- 5. Adequate Algebraic Semantics for Extensions of Minimal Logic.- 6. Negatively Equivalent Logics.- 7. Absurdity as Unary Operator.- Part II. Strong Negation.- 8. Semantical Study of Paraconsistent Nelson's Logic.- 9. N4-Lattices.- 10. The Class of N4-Extensions. M.-M. V.

     

    ARTICLE

    Le logique paraconsistante

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

    Résumé :

    Français

    La logique paraconsistante permet de raisonner en présence de contradictions et offre par là même une nouvelle conception de la notion de preuve qui s’avère particulièrement intéressante pour l’intelligence artificielle. – Introduction. – 1. Qu’est-ce que la logique paraconsistante ?; – 2. Systèmes de preuves paraconsistantes (Déduction naturelle; Calcul des séquents); – 3. Interprétations et applications des systèmes de preuves paraconsistants.

     

    MONOGRAPHIE

    Paradox and Paraconsistency Conflict. Resolution in the Abstract Sciences

    • Pages : XVIII-362
    •  
    • Support : Print
    • Edition : Original
    • Ville : Cambridge
    •  
    • ISBN : 0521009340 (pbk.)
    • URL : Lien externe
    •  
    • Date de création : 09-05-2012
    • Dernière mise à jour : 09-05-2012

    Résumé :

    Anglais

    In a world plagued by disagreement and conflict, one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact these disciplines are rife with internal divisions between different, often incompatible, systems. Do these disagreements admit of resolution? Can such resolution be achieved without disturbing assumptions that the theorems of logic and mathematics state objective truths about the real world? In this original and historically rich book John Woods explores apparently intractable disagreements in logic and the foundations of mathematics and sets out conflict resolution strategies that evade or disarm these stalemates. An important sub-theme of the book is the extent to which pluralism in logic and the philosophy of mathematics undermines realist assumptions. This book makes an important contribution to such areas of philosophy as logic, philosophy of language and argumentation theory. It will also be of interest to mathematicians and computer scientists. – Contents : – 1. Conflict in the abstract sciences; – 2. Modalities; – 3. Managing inconsistency; – 4. Semantic intuitions; – 5. Sets and truths; – 6. Fiction; – 7. Currying liars; – 8. Normativity. – Includes bibliographical references (p. 341-358) and index.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ