Les Prémisses De La Démonstration Indémontrables

tous conviés porte le titre de Rencontres internationales ; le sujet de l’exposé de ce soir a trait à la connaissance scientifique et par ailleurs le thème général de ces Rencontres est : L’homme devant la science. Il est clair, d’après ces prémisses, que vous attendez de la science, par l’intermédiaire d’un de ses représentants, qu’elle aille à la rencontre de l’homme, qu’elle s’humanise en quelque sorte. Je m’y efforcerai, tout en demandant à cet homme placé en face de moi, et qui n’est

que l'imprévu, l'indéterminé, l'accidentel, serait entièrement banni de l'histoire ? Mais ce postulat est arbitraire. Si l'on y réfléchit, on sera stupéfait de la facilité singulière avec laquelle on l'admet, quoiqu'il échappe à tout essai de démonstration et qu'il repose sur une hypothèse qu'on sait irréalisable, inconcevable, impliquant contradiction au fond, celle d'un cerveau infiniment intelligent. Sous cette évidence apparente, comme sous toutes les évidences a priori en général, il y a une

nous pouvons présenter à l’ordinateur une formule que nous savons être vraie, mais que l’ordinateur, lui, ne peut pas prouver comme étant vraie. C’est exact. Mais il est aussi exact que l’ordinateur peut faire la même chose. La formule n’est indémontrable que pour celui qui travaille à l’intérieur du système, tu comprends ? Seul celui qui se trouve hors du système peut prouver la formule. C’est valable pour un ordinateur comme pour un être humain. Conclusion : il est possible qu’un ordinateur

dispositif par la création 16 Partie 1 Chapitre I Section 1 : Du contrôle au management de la qualité d’un corps d’inspecteurs des manufactures, chargé de surveiller l’application de ces règlements, Colbert inscrit dans le temps, selon nous, les prémisses de ce qui constituera au XXème siècle un des modes principaux de relation contractuelle entre fournisseurs et donneurs d’ordres. Le XVIIIème siècle est considéré par certains historiens de la qualité comme le siècle qui « a lancé, parmi les grandes

Il indiqua plusieurs règles strictes pour que des conclusions ou des preuves soient logiquement valables. Nous allons nous en tenir à un exemple : Si j'affirme que tous les êtres vivants sont mortels (première prémisse) et que j'énonce que « Hermès est un être vivant » (deuxième prémisse), alors j'en tire l'élégante conclusion que « Hermès est mortel ». L'exemple montre que la logique d'Aristote s'attache aux relations entre les concepts, dans le cas présent entre le concept de vie et le concept

Il indiqua plusieurs règles strictes pour que des conclusions ou des preuves soient logiquement valables. Nous allons nous en tenir à un exemple : Si j'affirme que tous les êtres vivants sont mortels (première prémisse) et que j'énonce que « Hermès est un être vivant » (deuxième prémisse), alors j'en tire l'élégante conclusion que « Hermès est mortel ». L'exemple montre que la logique d'Aristote s'attache aux relations entre les concepts, dans le cas présent entre le concept de vie et le concept