L’information et les tentatives de contrôle des dépenses sociales par le Parlement avant 1996. (notice n° 1559250)
[ vue normale ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02074cam a2200169 4500500 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251026003340.0 |
| 041 ## - LANGUAGE CODE | |
| Language code of text/sound track or separate title | fre |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 100 10 - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Desprez, Jean-Baptiste |
| Relator term | author |
| 245 00 - TITLE STATEMENT | |
| Title | L’information et les tentatives de contrôle des dépenses sociales par le Parlement avant 1996. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Date of publication, distribution, etc. | 2025.<br/> |
| 500 ## - GENERAL NOTE | |
| General note | 37 |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 786 0# - DATA SOURCE ENTRY | |
| Note | Les Tribunes de la santé | 85 | 3 | 2025-10-24 | p. 19-28 | 2678-9035 |
| 856 41 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://stm.cairn.info/revue-les-tribunes-de-la-sante-2025-3-page-19?lang=fr&redirect-ssocas=7080">https://stm.cairn.info/revue-les-tribunes-de-la-sante-2025-3-page-19?lang=fr&redirect-ssocas=7080</a> |
Pas d'exemplaire disponible.
Réseaux sociaux