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

    Liste des références bibliographiques indexées

    Monographie

    Philosophical Logic

    John P. BURGESS
    Éditeur : Princeton University Press - 2009


    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

    Intuitionistic Logic considered as an extension of Classical Logic : Some critical remarks

    Javier LEGRIS, Jorge A. MOLINA

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


    MONOGRAPHIE

    Philosophical Logic

    • Pages : VIII-153
    • Collection : Princeton Foundations of Contemporary Philosophy
    • Nombre de volumes : 1
    •  
    • Support : Print
    • Edition : Original
    • Ville : Princeton, N.J.
    •  
    • ISBN : 978-0-691-13789-6
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 01-11-2015

    Résumé :

    Anglais

    Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic (temporal, modal, conditional, relevantistic, and intuitionistic), focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances the philosophical and technical aspects of the subject. – The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading. – Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis. – Chapter One, Classical Logic; – Ch. Two, Temporal Logic; – Ch. Three, Modal Logic; – Ch. Four, Conditional Logic; – Ch. Five, Relevantistic Logic; – Ch. Six, Intuitionistic Logic. M.-M. V.

     

    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

    Intuitionistic Logic considered as an extension of Classical Logic : Some critical remarks

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

    Résumé :

    Français

    In this paper we analyze the consideration of intuitionistic logic as an extension of classical logic. This – at first sight surprising – point of view has been sustained explicitly by Jan Lukasiewicz on the basis of a mapping of classical propositional logic into intuitionistic propositional logic by Kurt Gödel in 1933. Simultaneously with Gödel, Gerhard Gentzen had proposed another mapping of Peano’s arithmetic into Heyting’s arithmetic. We shall discuss these mappings in conncection with the problem of determining what are the logical symbols that properly express the idiosyncracy of intuitionistic logic. Many philosophers and logicians do not seem to be sufficiently aware of the difficulties that arise when classical logic is considered as a subsystem of intuitionistic logic. As an outcome of the whole discussion these difficulties will be brought out. The notion of logical translation will play an essential role in the argumentation and some consequences related to the meaning of logical constants will be drawn.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ