A-
Logique
1- "Au sens
étroit du terme, la logique formelle est la théorie de
l'inférence formellement valide, c'est à dire qui demeure vraie
quand on opère certaines substitutions dans l'énoncé"
(Par exemple l'inférence: "si p, alors q; or p,
donc q"
est une proposition analytique ou tautologie, qui ne doit rien à
l'intuition et reste vraie quelles que soient les variables
propositionnelles, p et q). L-L. Grateloup; Nouvelle anthologie
philosophique, Hachette p.233.
2- "En
logique il s'agit de lois nécessaires, non de lois contingentes,
non de la façon dont nous pensons, mais de la façon dont nous
devons penser. Les règles de la logique doivent donc être
dérivées non de l'usage contingent, mais de l'usage nécessaire
de l'entendement, que l'on trouve en soi même sans aucune
psychologie." Kant, Logique (1800)
3- "Je pris
garde que, pour la logique, ces syllogismes et la plupart de ses
autres instructions servent plutôt à expliquer à autrui les
choses qu'on sait ou même ... à parler sans jugement de celles
qu'on ignore, qu'à les apprendre." Descartes, Discours de
la méthode deuxième partie.
4- "La
logique traditionnelle dit: "Tous les hommes sont mortels,
Socrate est un homme, donc Socrate est mortel". Ce que nous
voulons affirmer, tout d'abord, est que les prémisses impliquent la
conclusion et non pas que prémisses et conclusions sont réellement
vraies." Russel, Introduction à la philosophie
mathématique, Payot p.234.
5- "Les
tautologies sont valables pour tous les mondes possibles... une
tautologie, ne nous apprend rien sur le réel, elle est vide de
contenu, elle est purement formelle; d'autre part, sa valeur de
vérité est soustraite aux contingences du réel, elle ne dépend
pas de l'expérience: une tautologie est vraie a priori parce
que vraie nécessairement." Blanché, Introduction à la
logique contemporaine, Colin, p.65.
- "Pour être
vraiment formelle, la logique est donc devenue formaliste, et
c'est ce formalisme ... qui aujourd'hui la caractérise."
Blanché, Introduction à la logique contemporaine, Colin,
p.18.
- "Le calcul des
propositions étudie comment la vérité (ou la fausseté) d'une
proposition complexe est fonction de la vérité (ou de la
fausseté) des propositions élémentaires dernières qui la
composent." Blanché, Introduction à la logique
contemporaine, Colin, p.35.
- "Les axiomatiques
modernes sont des systèmes hypothético-déductifs, où les axiomes
sont posés sans être affirmés, situés par de-là le vrai et le
faux, bref des "hypothèses" au sens propre du mot."
Blanché, La logique et son histoire, Colin, p.60
- "Les tautologies
les plus importantes ont souvent la forme d'implication. Beaucoup
ont la forme d'équivalence... " Blanché, Introduction à la
logique contemporaine, Colin, p.70.
6- "Le
syllogisme est un discours dans lequel, certaines choses étant
posées, quelque chose d'autre que ces données en résultent
nécessairement par le seul fait de ces données." Aristote, Organon,
Livre II.
7- "La
logique n'a ni à inspirer l'invention, ni à l'expliquer; elle se
contente de la contrôler et de la vérifier." Couturat.
8- "La
logique est donc la science des opérations intellectuelles, qui
servent à l'estimation de la preuve, c'est à dire à la
fois du procédé général consistant à aller du connu à
l'inconnu, et des autres opérations en tant qu'auxiliaires de
celui-ci." Stuart Mill, Système de logique, I. X.
9- "La
logique apparaît historiquement sous la forme du dialogue et
prend le nom de dialectique." Goblot, Traité de
logique, p.37.
10- "La
logique n'observe pas, n'invente pas, ne découvre pas; elle
juge." Stuart Mill.
11- "La
logique est la jeunesse des mathématiques." Russel
12- "La
logique est une axiomatisation des structures opératoires de la
pensée du sujet." Jean Piaget, Encyclopédie de la pléiade,
logique et connaissance scientifique, p.396.
13- "L'ordre
logique tient à la construction des propositions aux formes et à
l'ordre du langage qui est pour nous l'instrument de la pensée et
le moyen de la manifester." Cournot.
| A- Logique
| B- Mathématique | C-
logique et mathématique
Retour
à Citations/index
Retour
au "Parcours des notions"
- Retour
à J'aime la philosophie
Page
d'accueil du site Philagora
|