La Science de la logique

fonctionnelles, CHU de Bicêtre, Le Kremlin-Bicêtre. ** Cardiologue libéral, Paris. A ristote est le penseur le plus influent sur la pensée et la science occidentales. En dehors de la philosophie et de la morale, il exercera un rôle majeur dans tous les domaines scientifiques et en particulier dans l’étude critique des sciences, ou épistémologie, la “science des sciences”. Appliquée au domaine médical, l’épis- témologie étudie entre autres l’origine, la valeur et la portée de la médecine. L’un des problèmes

à travers l'histoire de la philosophie et à partir d'une conception de la philosophie de l'histoire. Simple conscience sensible immédiate au début, l'esprit s'élève d'abord, par le travail et la guerre, à la raison. Par l'art, la religion et la science, il finit par rejoindre l'Esprit, qui incarne la «fin» de la philosophie sous la forme du Savoir absolu.     Né le 27 août 1770, à Stuttgart, Georg Wilhelm Friedrich Hegel se familiarise avec la culture gréco-latine au séminaire de théologie protestante

++ 33 (0)1 40 27 26 55 E-mail yvon.pesqueux@cnam.fr Site web lirsa.cnam.fr « Epistémologie des sciences de gestion » Chapitre 1 : Pour une épistémologie des organisations Introduction C’est depuis l’apparition de la grande organisation comme phénomène social suffisamment important que se pose la question de la construction d’un champ de savoir qui lui soit spécifique, celui des sciences des organisations, la grande entreprise en étant la manifestation concrète majeure. C’est la socialisation

Développement International. Parcours APE Année universitaire 2009 2010 Méthodologie économique Première Partie P. Combes Motel 1ère partie. L’économie est-elle une science ? Sommaire 1er Partie.L’économie est-elle une science ? I. A. B. C. Qu’est-ce que la science ? LA CONCEPTION EMPIRISTE DE LA SCIENCE L’INDUCTION LE FALSIFICATIONNISME II. A. B. C. L’économie satisfait-elle un critère de scientificité ? LES CONCEPTIONS METHODOLOGIQUES DE L’ECONOMIE POLITIQUE NAISSANTE

signifie "opinion") peut être tantôt traduit par le mot "science", tantôt par le mot "savoir" » . On peut réconcilier ces deux acceptions en parlant, de manière très générale, de l'épistémologie comme de la théorie de la connaissance scientifique. Dans l'ensemble des textes que l'on trouvera sur ce site, on utilisera d'abord et avant tout ce sens, plus proche du versant français du terme. L'épistémologie a donc pour objet d'étude la science et, analytique et réflexive, elle constitue en ce sens une

sens large : prouver) la vérité d’une proposition? Les sciences, qui passent aujourd'hui pour les disciplines les plus fiables et les plus rigoureuses, avancent-elles des théories dont vérité serait parfaitement établie? Si même les théories scientifiques ne peuvent être considérées comme absolument vraies, faut-il pour autant tomber dans un scepticisme radical (l’idée que toutes les idées, tous les points de vue se valent, que les sciences se contentent de proposer une vision du monde parmi d'autres

vraie nature. Puis, dès l'arrivée du sens commun, la réalité sensible en est venue à prendre une bien trop grande place. Le penser ne devenait ainsi que la réflexion de la réalité sensible, c'est-à-dire celle captée à l'aide de nos cinq sens. (Science de la Logique, p. 14-15) Tout ce qui émanait de la raison ne valait pas la peine d'être étudié, et c'est de cette façon dont les hommes se sont éloignés de la vérité. En se limitant à une réalité sensible, ceux-ci entrent dans un problème de subjectivité

Boèce « professeur de logique du Moyen Âge » Oeuvre multiforme et qui a influencé par tous ses aspects le Moyen-Âge. Autorité la plus grande dans le domaine de la logique, où il eut une influence considérable : – commentaires + trad. de l'Isagoge de Porphyre, des Catégories d'Aristote, de De l'interprétation, des Premiers analytiques, des Seconds analytiques, des Arguments sophistiques, des Topiques d'Aristote. – Il a écrit tout un tas de traités de logique (sur syllogisme, division

d'origine extrinsèque. La nécessité des mathématiques ne provient pas d'une nécessité empirique. Sa nécessité provient de la forme de ses opérations. La nécessité tient à la cohérence interne du raisonnement (au même titre que n'importe quelle logique formelle). La vérification formelle est plus certaine que le recours à l'expérience. (cf. Hume Enquête sur l'entendement humain : IV, 1, §1-2) (cf. Kant CRP, Introduction : distinction entre preuve analytique et preuve empirique). II - La vérité

Annexe 1 : Programme scientifique du PICS Logique lin´aire et applications e 1 1.1 Projet de recherche Description et objectifs : Mots-cl´s: logique lin´aire, programmation fonctionnelle, typage, complexit´ implicite, concurrence. e e e (Les r´f´rences dans le texte ci-dessous renvoient ` la bibliographie de la Section 3.) ee a Ce projet concerne la logique lin´aire et ses applications ` diff´rents aspects des langages de programmae a e tion : langages de programmation fonctionnelle; complexit´