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é à : Calcul des propositions
    Logo SIPSPictogramme de Livres
    4
    NOTICES

    Liste des références bibliographiques indexées

    Article

    Beth’s Nonclassical Valuations

    Dick de JONGH, Paul van ULSEN

    Sous la direction de Gerhard HEINZMANN
    Dans Philosophia Scientiae. Travaux d’histoire et de philosophie des sciences - 1999


    Article

    The Classical Model Existence Theorem in Subclassical Predicate Logics I

    Jui-Lin LEE

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


    Article

    Faithful and Invariant Conditional Probability in Lukasiewicz Logic

    Daniele MUNDICI

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


    Article

    Hermann Weyl and the « Ghost of Modality »

    Enrico MORICONI

    Dans Albert Einstein et Hermann Weyl (1955-2005) - 2010


    ARTICLE

    Beth’s Nonclassical Valuations

    • Pages : 279 à 302
    •  
    •  
    • URL : Lien externe
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 04-01-2011

    Résumé :

    Français

    We describe E. W. Beth’s use of nonclassical valuations (in his own terminology pseudo-valuations) in propositional logics. Three periods are distinguished. In the first period (1954) he develops the idea of pseudo-valuation intending to apply it to obtain a subformula theorem for arbitrary propositional logics. When this fails, he obtains in the second period (1958-1961) some simple but elegant applications of the idea, mainly with regard to proofs of independance of axioms systems. The thirs period (1961-1964) is the application of the idea towards the introduction of a semantics (his second one) for intuitionistic logics. We will show that it is highly likely that Beth discovered this version of “possible worlds semantics” for intuitionistic and some modal logics essentially independently from Kripke. The history of the concept of semantic tableaux is strongly bound to the birth of the concept of semantic tableaux, but we will touch the latter subject only in so far as is necessary for our considerations.

     

    ARTICLE

    The Classical Model Existence Theorem in Subclassical Predicate Logics I

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

    Résumé :

    Anglais

    Introduction; – Classical Model Existence Theorem in Propositional Logics; – A Herbrand-Henkin Style Proof of the Classical Model Existence Theorem for Prenex Normal Form Sentences; – Prenex Normal Form Theorem Holds in Logics Weaker than First Order Logic; – Concluding Remarks.

     

    ARTICLE

    Faithful and Invariant Conditional Probability in Lukasiewicz Logic

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

    Résumé :

    Anglais

    Introduction : Conditionals and de Finetti Coherence Criterion; – The i-Dimensional Volume of a Formula; – Conditionals in Lukasiewicz Propositional Logic Lx; – A Faithful Invariant Conditional for Lx; – Proof : Construction of a Faithful Conditional P; – Conclusion of the Proof : P is Invariant.

     

    ARTICLE

    Hermann Weyl and the « Ghost of Modality »

    • Pages : 129 à 138
    •  
    • Support : Document imprimé
    • Edition : Seconde édition
    •  
    •  
    • Date de création : 23-01-2012
    • Dernière mise à jour : 24-04-2015

    Résumé :

    Anglais

    This article contains : 1. Introduction ; 2. Logical and Mathematical knowledge ; 3. Questions and answers : a new perspective on logical operators 4. Lewis' modal logic ; 5. Conclusion. – References, 138-139. F. F.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ