logique formelle

Que le soleil ne se lèvera pas demain n'est pas moins intelligible et n'implique pas plus de contradiction que l'affirmation qu'il se lèvera.

Auteur: Hume David

Info: “An Enquiry Concerning Human Understanding: Revision of Great Book”, p.19, VM eBooks 2016

[ croyance ] [ expérience ] [ bytié ]

logique formelle

Dans les Mathématiques, la censure et la critique ne peuvent être permises à tout le monde; les discours des rhéteurs et les défenses des avocats n'y valent rien.

Auteur: Viète François

Info: In arlem analyticem Isagoge

[ initiés ] [ spécialistes ]

logique formelle

Les mathématiques ne sont pas seulement une collection de faits isolés : c'est plutôt un paysage ; elles ont une géographie inhérente que leurs utilisateurs et créateurs utilisent pour naviguer dans ce qui serait autrement une jungle impénétrable.

Auteur: Stewart Ian

Info: Nature’s Numbers: The Unreal Reality of Mathematical Imagination Chapter 3 (p. 38) Basic Books. New York, New York, USA. 1995

[ monde parallèle ]

logique formelle

La linguistique devra reconnaître des lois opérant de manière universelle dans la langue, et de manière strictement rationnelle, et en séparant les phénomènes généraux de ceux qui sont limités à une branche des langues ou à une autre. 

Auteur: Saussure Ferdinand de

Info:

[ arborescences onomasiologiques ] [ désambiguïsation lexicographique ]

logique formelle

S’il se trouve que les lois physiques obéissent à des régularités qui ne sont formalisables que dans le langage des mathématiques, c’est uniquement parce que ce langage vise, depuis toujours, à penser les formes possibles de tout ce qui se soutient dans son être de quelque cohérence. 

Auteur: Badiou Alain

Info: Éloge des mathématiques p.59, 72–80

[ extensions ] [ définition ]

logique formelle

Les questions relatives aux fondements des mathématiques, bien que traitées par beaucoup ces derniers temps, n'ont toujours pas de solution satisfaisante. L'ambiguïté du langage est la principale source de problèmes de la philosophie. C'est pourquoi il est de la plus haute importance d'examiner attentivement les mots mêmes que nous utilisons.

Auteur: Peano Giuseppe

Info: "The Principles of Arithmetic, presented by a new method". 1889

[ précision terminologique ] [ justesse sémantique ] [ exactitude ]

logique formelle

Il me semble que cet immense ensemble de théorèmes [de toutes les mathématiques], d'une extraordinaire richesse, d'une incomparable profondeur (et difficulté !), d'une étonnante cohérence (chaque théorème est dépendant de tous les autres !), d'une formidable fécondité (a science et la technologie), il me semble que tout cela représente un ensemble gigantesque et majestueux de savoirs, de propositions, de symboles, qui forme la plus solide et peut-être la plus belle de toutes les constructions de l'esprit humain. Il me semble que la mathématique constitue la base la plus ferme de ce que les hommes ont appelé Civilisation, et dont ils sont encore si éloignés. La mathématique, certes, ne nous donne pas de Vérités Absolues, et ne nous permet pas de distinguer le Bien du Mal. Mais elle nous apprend à raisonner, à utiliser cette raison dont certains croient qu'elle est présente chez tous les hommes.
La mathématique est le révélateur de la Raison humaine.
La mathématique est le fondement de la Civilisation.

Auteur: Baudet Jean-C.

Info: Histoire des mathématiques, p. 269

[ nombres ] [ langage ]