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é à : Langage formel
    Logo SIPSPictogramme de Livres
    3
    NOTICES

    Liste des références bibliographiques indexées

    Article

    Les tableaux de Beth : syntaxe ou sémantique ?

    Philippe de ROUILHAN

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


    Article

    Les cadres probatoires

    Jean SALLANTIN

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


    Article

    Du temps sensible de Whitehead aux S-langages

    Sylviane R. SCHWER

    Sous la direction de Michel WEBER, Guillaume DURAND
    Dans Les principes de la connaissance naturelle d’Alfred North Whitehead - 2007


    ARTICLE

    Les tableaux de Beth : syntaxe ou sémantique ?

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

    Résumé :

    Français

    Les tableaux de Beth sont-ils syntaxiques ou, comme les qualifiait leur inventeur même, sémantiques ? Ou encore, comme on le prétend communément, ont-ils une place «entre syntaxe et sémantique» ? La syntaxe et la sémantique en tant que sciences relatives à des langages formels sont nées des mains de Gödel, Tarski et Carnap dans les années trente. La syntaxe d’un langage formel était conçue comme l’étude des expressions de ce langage selon leur forme, indépendamment de leur contenu; la sémantique, comme l’étude des relations entre ces expressions et leur contenu. Mais aujourd’hui, la distinction entre «syntaxe» et «sémantique» se fait en considération des méthodes utilisées dans l’étude des langages formels et non plus en fonction de la prise en compte éventuelle du contenu des expressions dans cette étude. Une mise au point terminologique, historique et raisonnée s’impose donc. D’où il résulte qu’en quelque sens historiquement attesté qu’on le prenne, les tableaux de Beth sont fondamentalement syntaxiques et non sémantiques, et ne méritent pas non plus la place qu’on leur imagine trop souvent «entre syntaxe et sémantique».

     

    ARTICLE

    Les cadres probatoires

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

    Résumé :

    Français

    Cet article définit une structure requise minimale appelée «cadre probatoire» pour encadrer la construction d’une preuve. Dans ces cadres, la preuve peut être jugée par quelqu’un comme pourvue de sens, sa formulation est syntaxiquement admissible pour tous et sa construction se fait à l’aide de signes manipulables par une machine. – Introduction; – Adéquation épistémique; – Adéquation ontologique; – Adéquation pragmatique; – Syntaxe du cadre probatoire; – Sémantique du cadre probatoire (Langage formel; Sémantique et syntaxe en logique; La sémantique des mondes possibles); – Définition d’un cadre probatoire minimal; – Formaliser les lois et les comportements des machines; – Pour les couches physiques; – Cadre probatoire euclidien; – Pour les couches symboliques (Le programme comme preuve; La preuve comme programme); – La construction à la règle et au compas; – Le jeu de la preuve et de l’épreuve.

     

    ARTICLE

    Du temps sensible de Whitehead aux S-langages

    • Pages : 203 à 214
    •  
    • Support : Document imprimé
    • Edition : Originale
    •  
    •  
    • Date de création : 18-10-2012
    • Dernière mise à jour : 03-03-2015

    Résumé :

    Français

    Cet article montre que modèle du temps élaboré par Whitehead est pertinent, dans la mesure il peut être mis en correspondance avec un type de langage formel (S-langage) permettant de représenter des relations temporelles. – Notes, pp. 213-214. F. F.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ