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é à : Axiome
    Logo SIPSPictogramme de Livres
    10
    NOTICES

    Liste des références bibliographiques indexées

    Monographie

    Le Geometrie non euclidee e i fondamenti della geometria dal punto di vista elementare

    Evandro AGAZZI, Dario PALLADINO
    Éditeur : La Scuola - 1998


    Monographie

    Les Métamorphoses du calcul. Une étonnante histoire des mathématiques

    Gilles DOWEK
    Éditeur : Le Pommier - 2007


    Article

    La dispute de Bolzano avec Kant. Fragment d’un dialogue sur la connaissance mathématique

    Jan SEBESTIK

    Sous la direction de Daniel LAURIER
    Dans Philosophiques - 2003


    Article

    Logicité et non-logicité de l’axiomatique

    Jean-Michel SALANSKIS

    Sous la direction de François MARTY
    Dans Archives de philosophie - 2001


    Article

    Göttingen 1901 : Husserl et Hilbert

    François de GANDT

    Sous la direction de Frédéric WORMS
    Dans Le Moment 1900 en philosophie - 2004


    Article

    Sur la capacité de la raison à discerner : rationalité substantive et rationalité procédurale d’Aristote à H.A. Simon, par Descartes et Vico

    Jean-Louis LE MOIGNE

    Sous la direction de Louis-André GÉRARD-VARET, Jean-Claude PASSERON
    Dans Le Modèle et l’enquête. Les usages du principe de rationalité dans les sciences sociales - 1995


    Article

    Łukasiewicz contre le « dictum de omni et de nullo »

    Michel BASTIT

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


    Monographie

    L'Axiomatique

    Robert BLANCHÉ
    Éditeur : Presses Universitaires de France - 1955


    Monographie

    Filosofia e geometria : Temi teorici e storici

    Lorenzo MAGNANI
    Éditeur : Guerini e Associati - 1990


    Article

    Programmes, paradigmes, disciplines : pluralité et unité des sciences sociales

    Jean-Michel BERTHELOT

    Sous la direction de Jean-Michel BERTHELOT
    Dans Épistémologie des sciences sociales - 2012


    MONOGRAPHIE

    Le Geometrie non euclidee e i fondamenti della geometria dal punto di vista elementare

    • Pages : 342
    • Collection : Analisi e sintesi
    •  
    • Support : Document imprimé
    • Edition : Original
    • Ville : Brescia
    •  
    • ISBN : 88-350-9450-X
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 26-04-2015

    Résumé :

    Allemand

    La rivoluzione delle geometrie non euclidee, nel secolo XIX, dagli Autori del volume è considerata in una dimensione storica e nelle sue implicazioni relativamente alla matematica, alla filosofia e alle teorie fisiche. La trattazione riguarda la geometria euclidea, la non contraddittorietà e gli sviluppi tecnici della geometria non euclidea iperbolica e della geometria ellittica (e sferica) e, in fondo, il problema della natura della verità delle teorie geometriche. Prefazione. – Introduzione. – I. Storia delle teorie delle rette parallele. – II. La sistemazione Hilbertiana della geometria. – III. La geometria iperbolica. – IV. Il modello di Poincaré. – V. La geometria sferica e ellittica. – Considerazioni conclusive. M. F.

     

    MONOGRAPHIE

    Les Métamorphoses du calcul. Une étonnante histoire des mathématiques

    • Pages : 224
    •  
    • Support : Document imprimé
    • Edition : Original
    • Ville : Paris
    •  
    • ISBN : 978-2-7465-0324-3
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 05-11-2015

    Résumé :

    Français

    Considérée comme le socle même de la méthode mathématique depuis l’Antiquité grecque, la notion de démonstration s’est profondément transformée depuis le début des années soixante-dix. Plusieurs avancées mathématiques importantes, non toujours connectées les unes aux autres, remettent ainsi progressivement en cause la prééminence de raisonnement sur le calcul, pour proposer une vision plus équilibrée, dans laquelle l’un et l’autre jouent des rôles complémentaires. Cette véritable révolution amène à repenser le dialogue des mathématiques avec les sciences de la nature. Elle éclaire d’une lumière nouvelle certains concepts philosophiques, tels ceux de jugement analytique et de jugement synthétique. Elle conduit aussi à une interrogation sur les liens entre les mathématiques et l’informatique, et sur la singularité des mathématiques qui est longtemps restée l’unique science à ne pas utiliser d’instruments. Enfin, et c’est certainement le plus prometteur, cette révolution laisse entrevoir de nouvelles manières de résoudre des problèmes mathématiques, qui s’affranchissent de certaines limites arbitraires que la technologie du passé a imposées à la taille des démonstrations : les mathématiques sont peut-être en train de partir à la conquête d’espaces jusqu’alors inaccessibles. – Partie I, Une origine ancienne : 1, De la préhistoire des mathématiques aux mathématiques grecques; 2, Deux mille ans de calcul; – Partie II, L’âge classique : 3, La logique des prédicats; 4, Du problème de la décision au théorème de Church; 5, La thèse de Church; 6, Une tentative de donner sa place au calcul en mathématiques : le lambda-calcul; 7, La constructivité; 8, Les démonstrations constructives et les algorithmes; – Partie III, La crise de la méthode axiomatique : 9, La théorie intuitionniste des types; 10, La démonstration automatique; 11, La vérification des démonstrations; 12, Des nouvelles du terrain; 13, Les instruments: 14, En finir avec les axiomes ? M.-M. V.

     

    ARTICLE

    La dispute de Bolzano avec Kant. Fragment d’un dialogue sur la connaissance mathématique

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

    Résumé :

    Français

    Ce dialogue confronte deux conceptions qui dominent jusqu’à nos jours la philosophie des mathématiques : d’un côté la conception kantienne qui souligne l’irréductible apport de l’intuition dans la formulation des axiomes, ainsi que l’effectivité des procédés de construction; de l’autre côté la conception bolzanienne qui s’efforce d’éliminer toute intervention de l’intuition au profit des démonstrations et des procédés purement conceptuels.

     

    ARTICLE

    Logicité et non-logicité de l’axiomatique

    • Pages : 681 à 704
    •  
    •  
    • URL : Lien externe
    •  
    • Date de création : 04-01-2011
    • Dernière mise à jour : 26-09-2015

    Résumé :

    Français

    L’article se propose d’explorer ce qui, dans la démarche axiomatique de la mathématique contemporaine, excède la dimension logique. À cette fin, on commence par décrire, notamment en faisant appel au point de vue de la correspondance de Curry-Howard, l’extrémalité de l’axiome, sa principale propriété dans une perspective logique. Ensuite on évoque les modalités de l’axiomatisation dans la mathématique actuelle, en distinguant entre une axiomatique conceptuelle, non fondationnelle, liée au programme de classification, et l’axiomatique pure, instituante, par laquelle l’univers des ensembles, par exemple, est supposé donné. Enfin, on analyse philosophiquement ce style instituant, en montrant qu’il est lié pour le mathématicien à une intuition, et qu’il n’est pas absurde de reconnaître dans ce type d’intuition (une variante de) ce que Kant appelait intuition pure dans la Critique de la Raison pure. M.-M. V.

     

    ARTICLE

    Göttingen 1901 : Husserl et Hilbert

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

    ARTICLE

    Sur la capacité de la raison à discerner : rationalité substantive et rationalité procédurale d’Aristote à H.A. Simon, par Descartes et Vico

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

    Résumé :

    Français

    Cet article a pour objet le passage des théories de la rationalité substantive à la rationalité procédurale. C’est H.A. Simon qui diagnostique, à partir de 1973, une différence de conception quant à la nature même de la rationalité : non seulement sur ce qu’elle est, mais surtout sur ce qu’elle fait, et plus encore sur ce qu’elle peut faire. Un tel passage implique un changement fondamental en matière de «style scientifique», le passage d’un raisonnement privilégiant la déduction à partir d’un strict système d’axiomes, à un raisonnement privilégiant l’exploration empirique des procédures complexes de la pensée. – I. Le paradigme de la rationalité limitée ou De l’ordre rationnel à la stratégie rationnelle; – II. De la Logique à la Méthode, ou Du bon usage de la raison selon Aristote et selon Descartes; – Des «principes pour une science nouvelle».

     

    ARTICLE

    Łukasiewicz contre le « dictum de omni et de nullo »

    • Pages : 55 à 68
    •  
    • 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 : 18-11-2011

    Résumé :

    Français

    L’article explore les raisons pour lesquelles Łukasiewicz dans son exposé refuse de prendre en compte le dictum de omni et de nullo en qualité d’axiome de la syllogistique aristotélicienne. Après avoir établi la faiblesse de l’argumentation textuelle de Łukasiewicz, il est montré que les réserves de Łukasiewicz à l’égard du dictum doivent être recherchées dans un anti-essentialisme qui lui interdit de suivre Aristote jusqu’au bout de sa logique. (Auteur)

    Anglais

    This paper explores the reasons why Łukasiewicz in his explanation of Aristotelian syllogistic does not accept the dictum de omni et de nullo as an axiom. After having established the fragility of the textual argumentation of Łukasiewicz, it is shown that his reasons for being reserved about the dictum must be found in a anti-essentialism which forbids Łukasiewicz to follow Aristotle all the way to the ontological foundation of his logic.

     

    MONOGRAPHIE

    L'Axiomatique

    • Pages : 103
    •  
    • Support : Document imprimé
    • Edition : Original
    • Ville : Paris
    •  
    • URL : Lien externe
    •  
    • Date de création : 17-12-2011
    • Dernière mise à jour : 17-12-2011

    Résumé :

     

    MONOGRAPHIE

    Filosofia e geometria

    Temi teorici e storici

    • Pages : 178
    •  
    • Support : Document imprimé
    • Edition : Original
    • Ville : Milano
    •  
    • ISBN : 978-8-8780-2178-5
    •  
    • Date de création : 24-09-2012
    • Dernière mise à jour : 22-04-2015

    Résumé :

    Italien

    L’Autore intende illustrare aspetti fondamentali del rapporto tra filosofia e sapere geometrico. Filo conduttore del percorso del volume è il punto di vista kantiano che nella seconda metà dell’Ottocento costituisce, in seguito alla nascita delle geometrie non euclidee, il punto di partenza della riflessione filosofica sui fondamenti delle matematiche. «La geometria si mostra così come il paradigma di una filosofia, di una teoria della conoscenza». Questo volume consente una rilettura del convenzionalismo di Poincaré (storiograficamente impostosi nei termini di una reazione all’apriorismo kantiano) di cui è evidenziato il concetto di gruppo concepito come un a priori della mente e quindi lo stretto legame con il kantismo. Inoltre è stabilito un confronto fra la critica neoempirista svolta da Hans Reichenbach in Relativitätstheorie und Erkenntnis Apriori (1920) e il convenzionalismo generalizzato. – Premessa; I. Alle origini della conoscenza geometrica; II. Kant: la geometria, modello della conoscenza; III. Geometria, spazio, costruzione e logica; IV. Categorie, assiomi dell’intuizione, geometria; V. Il sapere geometrico degli antichi e la ϕαντασια di Proco; VI. Geometria e convenzione : Poincaré. – Bibliografia; Indice dei nomi. M. F.

     

    ARTICLE

    Programmes, paradigmes, disciplines

    pluralité et unité des sciences sociales

    • Pages : 457 à 519
    •  
    • Support : Document imprimé
    •  
    •  
    • Date de création : 24-01-2013
    • Dernière mise à jour : 02-03-2015

    Résumé :

    Français

    Ce chapitre a pour objet la notion de programme de recherche en sciences sociales. Il examine les divers paramètres impliqués dans la mise en oeuvre d'un programme de recherche scientifique (axiomes, théories, schèmes, pôles, points de vue ontologiques et épistémologiques) ; ainsi que les divers rapports qu'ils peuvent entretenir. – Bibliographie, pp. 518-519.

    F. F.

     
    ABCDEFGHIJKLMNOPQRSTUVWXYZ