La logique déductive dans sa dernière phase de développementGauthier-Villars, 1912 - 106 pages |
Autres éditions - Tout afficher
La logique déductive dans sa dernière phase de développement Alessandro Padoa Affichage du livre entier - 1912 |
La logique déductive dans sa dernière phase de développement Alessandro Padoa Affichage du livre entier - 1912 |
La Logique Déductive: Dans Sa Dernière Phase de Développement (Classic Reprint) Alessandro Padoa Aucun aperçu disponible - 2016 |
Expressions et termes fréquents
analogues appartenances 24 appartient Boole c'est-à-dire carrés classe concepts concepts logiques condition par rapport définit le symbole démontrer disjointes distributive à gauche double rôle écriture effet égal employé énonce équiangle équilatéral exemple ɛ Cls fils de Napoléon Formulaire formules Géométrie GIUSEPPE PEANO Homère idéographie implique inclusions individu intersection invertébré j'ai l'affirmation simultanée l'Arithmétique l'autre l'écriture l'égalité l'Hp l'Idéographie logique l'implication l'inclusion l'intersection langage courant langage ordinaire lecture Leibniz Logique déductive Logique mathématique loi de dualité Napoléon Ier négation nombre premier PADOA Peano phrase polygone pourrait principe d'identité principe de permanence proposition propriété distributive rapport au signe réciproquement réflexible remplacer résulte réunion simple savoir seulement signes arithmétiques signification sténographie suite syllogisme symboles constants symboles logiques terme logique théorie théorie des nombres tiers exclu tion transformation corrélative Vailati variable réelle vérifient vertébré vocabulaire logique vraie vue de l'extension x ɛ
Fréquemment cités
Page 12 - J'ai parlé de ma Spécieuse générale à M. le marquis De l'Hospitdl, et à d'autres; mais ils n'y ont point donné plus d'attention que si je leur avais conté un songe. Il faudrait que je l'appuyasse par quelque usage palpable, mais pour cet effet il faudrait fabriquer une partie au moins de ma Caractéristique; ce qui n'est pas aisé, surtout dans l'état où je suis, et sans la conversation des personnes qui me puissent animer et assister dans des travaux de cette nature (1).
Page 12 - Ce pourrait être en même temps une manière de langue ou d'écriture universelle, mais infiniment différente de toutes celles qu'on a projetées jusqu'ici; car les caractères et les paroles mêmes y dirigeraient la raison; et les erreurs, excepté celles de fait, n'y seraient que des erreurs de calcul.
Page 12 - Si j'avais été moins distrait, ou si j'étais plus jeune, ou assisté par des jeunes gens bien disposés, j'espérerais donner une manière de spécieuse générale où toutes les vérités de raison seraient réduites à une façon de calcul. Ce pourrait être en même temps une manière de langue ou d'écriture universelle, mais infiniment différente de toutes celles qu'on a projetées jusqu'ici; car les caractères et les paroles mêmes...
Page 28 - Ausdehmtngslehre di Grassmann, un résumé des règles essentielles du calcul logique, dans le but de préparer le lecteur à l'usage qu'il allait en faire dans les démonstrations géométriques exposées dans le reste de l'ouvrage. C'était la première fois que la logique symbolique était présentée comme un instrument forgé en vue de son application immédiate à. une branche déterminée des recherches scientifiques. Tout en se conformant à la méthode de Boole, M. Peano se trouva ainsi...
Page 92 - Celle égalité n'esl pas une tautologie. Ainsi que des centaines de P analogues, elle énonce la découverte que deux Cls, différentes au point de vue de la compréhension (c'est-à-dire des propriétés qui les caractérisent), se sont révélées égales au point de vue de l'cxtensioii (c'est-à-dire des individus qui les composent); car les mêmes triangles sont en même temps équilatéraux el équiangles.
Page 21 - J'ose dire que cecy est le dernier effort de l'esprit humain, et quand le projet sera exécuté, il ne tiendra qu'aux hommes d'estre heureux puisqu'ils auront un instrument qui ne servira pas moins à exalter la raison, que le Télescope ne sert à perfectionner la veue *. C'est une de mes ambitions de venir à bout de ce projet si Dieu me donne la vie.
Page 50 - ... prédication entre les concepts généraux et abstraits; et, malgré les tentatives de Jungius, de Leibniz et de leurs disciples, qui avaient avorté ou restaient ignorées, rien ne pouvait faire prévoir une renaissance ou un nouveau développement de la Logique. De leur côté, les...
Page 76 - ... de la première [90]), on croit que notre Logique est plus restreinte que la Logique scholastique. Mais, au contraire, tandis qu'un si grand nombre de modes du syllogisme n'est qu'une illusion due aux moyens imparfaits d'expression dont se servent les scholastiques, nous avons déjà énoncé 100 P (et nous en verrons bien d'autres) dont 2 seulement sont des syllogismes!
Page 16 - Il ne faut pas croire que l'Idéographie logique soit le résultat de conventions absolument arbitraires; car — si le choix des signes moyennant lesquels on représente les idées n'est subordonné qu'à des exigences de commodité et de clarté — la liberté clans le choix des idées qu'il convient de représenter par des signes est très restreinte.
Page 64 - . Pour exprimer cela, en se passant du langage ordinaire, il suffit de remarquer que dans nos P les signes se suivent toujours sur une même ligne; c'est pourquoi une écriture quelconque, dans laquelle on rencontre la lettre x, aura nécessairement une des formes...