Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation

Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation

The aim of this article is to study Euclid’s plane geometry, relatively to Book I of the Elements, from a formal point of view. Instead of making appeal to some already existent logical framework, we introduce a new formal language, as well as a new system of rules, specifically tailored to give a f...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Wagner, Pierre
Định dạng: Article ou chapitre numérique
Ngôn ngữ:Français
Được phát hành: 2025
Truy cập trực tuyến:Accès Université d'Orléans et IFPM
id cairn-SCIE_293_0013
record_format cairn
spelling cairn-SCIE_293_0013SCIEPhilosophia Scientiæ https://shs.cairn.info/revue-philosophia-scienti-2025-3-page-13?lang=fr Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation Wagner, Pierre2025 fre Philosophia Scientiæ | 29-3 | 3 | 2025-10-24 | p. 13-53 | 1281-2463 SCIE_29324 The aim of this article is to study Euclid’s plane geometry, relatively to Book I of the Elements, from a formal point of view. Instead of making appeal to some already existent logical framework, we introduce a new formal language, as well as a new system of rules, specifically tailored to give a faithful reconstruction of Euclid’s proof practice. Such a reconstruction shows that Euclid’s work can be understood as resting on a very peculiar inferential setting, involving much more mathematics than logic (understood as a general framework of reasoning): inference rules essentially deal with geometric objects and their relations, while no propositional connectives nor quantifiers are present.L’objectif de cet article est d’étudier la géométrie plane d’Euclide, relativement au Livre I des Éléments, d’un point de vue formel. Au lieu de faire appel à un cadre logique préexistant, nous présentons un nouveau langage formel ainsi qu’un nouveau système de règles spécifiquement conçu pour reconstruire fidèlement la pratique démonstrative d’Euclide. Une telle reconstruction montre que le travail d’Euclide peut être compris comme reposant sur un cadre inférentiel très particulier, faisant intervenir les mathématiques plus que la logique (entendue comme cadre général de raisonnement): les règles d’inférence traitent essentiellement d’objets géométriques et de leurs relations, sans recours à aucun connecteur propositionnel ni quantificateur.Cairn free access
language Français
format Article ou chapitre numérique
building 0/Bibliothèque numérique/
1/Bibliothèque numérique/Cairn/
description The aim of this article is to study Euclid’s plane geometry, relatively to Book I of the Elements, from a formal point of view. Instead of making appeal to some already existent logical framework, we introduce a new formal language, as well as a new system of rules, specifically tailored to give a faithful reconstruction of Euclid’s proof practice. Such a reconstruction shows that Euclid’s work can be understood as resting on a very peculiar inferential setting, involving much more mathematics than logic (understood as a general framework of reasoning): inference rules essentially deal with geometric objects and their relations, while no propositional connectives nor quantifiers are present.
author Wagner, Pierre
spellingShingle Wagner, Pierre
Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation
author_facet Wagner, Pierre
author_sort Wagner, Pierre
title Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation
title_short Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation
title_full Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation
title_fullStr Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation
title_full_unstemmed Le Cercle de Vienne entre imagination et réalité. Constitution, transmission et dépassement d’une représentation
title_sort le cercle de vienne entre imagination et réalité. constitution, transmission et dépassement d’une représentation
publishDate 2025
container_title
container_issue
url https://ezproxy.univ-orleans.fr/login?url=https://shs.cairn.info/revue-philosophia-scienti-2025-3-page-13?lang=fr
_version_ 1877246820813373440

Những quyển sách tương tự