6,99 €
Mehr erfahren.
- Herausgeber: Encyclopaedia Universalis
- Kategorie: Geisteswissenschaft
- Sprache: Französisch
Partez à la découverte du formalisme avec ce Grand Article Universalis !
Au sens moderne la formalisation est la présentation des théories scientifiques – et, en premier lieu sinon exclusivement, des mathématiques – dans le cadre d'un système formel, permettant de caractériser sans ambiguïté les expressions du langage et les règles de démonstration recevables....
Un ouvrage spécialement conçu pour le numérique afin d’en savoir plus sur le formalisme
À PROPOS DES GRANDS ARTICLES D’UNIVERSALIS
La collection des Grands Articles d’Universalis rassemble, dans tous les domaines du savoir, des articles écrits par des spécialistes reconnus mondialement et édités selon les critères professionnels les plus exigeants.
Une sélection thématique, effectuée parmi les nombreux articles qui composent l’Encyclopaedia Universalis, permet au lecteur curieux d'en savoir plus sur un sujet précis et d’en faire le tour grâce à des ouvrages conçus pour une lecture en numérique.
À PROPOS DE L’ENCYCLOPAEDIA UNIVERSALIS
Écrite par plus de 7 400 auteurs spécialistes de renommée internationale et riche de près de 30 000 médias (vidéos, photos, cartes, dessins…), Encyclopaedia Universalis offre des réponses d’une grande qualité dans toutes les disciplines et sur tous les grands domaines de la connaissance. Elle est la référence encyclopédique du monde francophone.
Das E-Book können Sie in Legimi-Apps oder einer beliebigen App lesen, die das folgende Format unterstützen:
Seitenzahl: 25
Veröffentlichungsjahr: 2017
Ähnliche
Universalis, une gamme complète de resssources numériques pour la recherche documentaire et l’enseignement.
ISBN : 9782341003025
© Encyclopædia Universalis France, 2019. Tous droits réservés.
Photo de couverture : © Dirk Ercken/Shutterstock
Retrouvez notre catalogue sur www.boutique.universalis.fr
Pour tout problème relatif aux ebooks Universalis, merci de nous contacter directement sur notre site internet :http://www.universalis.fr/assistance/espace-contact/contact
Bienvenue dans ce Grand Article publié par Encyclopædia Universalis.
La collection des Grands Articles rassemble, dans tous les domaines du savoir, des articles : · écrits par des spécialistes reconnus ; · édités selon les critères professionnels les plus exigeants.
Afin de consulter dans les meilleures conditions cet ouvrage, nous vous conseillons d'utiliser, parmi les polices de caractères que propose votre tablette ou votre liseuse, une fonte adaptée aux ouvrages de référence. À défaut, vous risquez de voir certains caractères spéciaux remplacés par des carrés vides (□).
Formalisme
Au sens moderne la formalisation est la présentation des théories scientifiques – et, en premier lieu sinon exclusivement, des mathématiques – dans le cadre d’un système formel, permettant de caractériser sans ambiguïté les expressions du langage et les règles de démonstration recevables.
On aurait tort de considérer pour autant que l’importance scientifique de la formalisation se réduise à une question de formulation. La formalisation des théories mathématiques fondamentales, suscitée à l’origine par les problèmes de « fondement » des mathématiques, a conduit tout au long du XXe siècle au développement autonome d’une logique mathématique qui crée ses propres problèmes et concepts.
D’un autre côté, la formalisation des mathématiques est liée, dès son apparition, au développement de l’axiomatique et à l’étude des espèces de structures abstraites (selon la terminologie de Bourbaki), généralement « multivalentes », qui sont présentes dans les domaines les plus apparemment divers de la mathématique et en expliquent l’unité (structures algébriques surtout, à l’origine).
En ce sens, si le travail mathématique contemporain ne se déroule pas tout entier à l’intérieur d’un langage formalisé, on peut dire néanmoins qu’il met en évidence le formalisme, c’est-à-dire le caractère formel, de la connaissance mathématique.
• L’idée de connaissance formelle
L’idée d’une connaissance formelle est en un sens aussi ancienne que la réflexion sur la science, c’est-à-dire que la philosophie. Mais c’est une idée aussi multivoque, et capable de transformations, que la catégorie même de forme, et que les couples de forme et matière, forme et contenu, forme et signification.
Les historiens de la logique, discutent toujours, à cet égard, sur l’interprétation de la syllogistique d’Aristote, de la logique stoïcienne des énoncés ou de la théorie médiévale des « conséquences ». Mais ils s’accordent généralement à faire remonter quelques-unes des conceptions modernes sur la formalisation à la période classique et notamment à l’œuvre de Leibniz.
Le développement du calcul algébrique et de son symbolisme, l’explicitation des concepts de « relation » et de « fonction », sous-tendent, chez ce dernier, l’idée que le calcul, non seulement est la véritable forme du raisonnement rigoureux, mais peut s’étendre à d’autres objets que les grandeurs numériques. Leibniz établit le principe d’un calculus ratiocinator
