Home
Catalogue search
Refine your search:
Keyword
Creator / Publisher:
Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Université Sorbonne Nouvelle - Paris 3 (1)
Godart-Wendling, Béatrice (1)
HTL - Histoire des Théories Linguistiques - UMR 7597 (HTL) (1)
Mosca, Antonio (1)
Sciences, Philosophie, Histoire (SPHERE (UMR_7219)) (1)
Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) (1)
Year
Medium
Type
BLLDB-Access
Search in the Catalogues and Directories
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
AND
OR
AND NOT
All fields
Title
Creator / Publisher
Keyword
Year
Sort by
creator [A → Z]
'
creator [Z → A]
'
publishing year ↑ (asc)
'
publishing year ↓ (desc)
'
title [A → Z]
'
title [Z → A]
'
Simple Search
Hits 1 – 1 of 1
1
DIS, COMMENT FAIRE POUR LIRE ÇA ? ÉCRITURE ET GRAPHISME DANS LES FORMALISMES CONTEMPORAINS
Godart-Wendling, Béatrice
;
Mosca, Antonio
In: ISSN: 2610-3745 ; Dossiers d'HEL ; https://hal.archives-ouvertes.fr/hal-01304964 ; Dossiers d'HEL, SHESL, 2016, Écriture(s) et représentations du langage et des langues, 9, pp.194-211 ; http://shesl.org/index.php/dossier9-ecritures-et-representations/ (2016)
Abstract:
International audience ; After having pointed out that the difficulty in reading contemporary formalisms lies in the fact that they combine algebraic and geometric dimensions in their written form, this paper – which aims to question the merits of a number of dichotomies (visual versus oral reading, doing vs. saying .) which are usually referred to in describing the specificity of formal writings – first focuses on the practice of mathematicians, which was at the origin of the creation of this type of writing, in order to highlight different facets of mathematical doing in the fields of activity where a formalism occurs, and argues that these doings are usually interlaced with a saying. Examining the conceptual upheaval, resulting from logicians’ and computer scientists’ use of the proof-program correspondence (or Curry-Howard isomorphism), is then undertaken and this study offers us the opportunity to propose keys to understanding the main contemporary formalisms used for the analysis of natural languages. ; Après avoir mis en évidence que la difficulté de lecture des formalismes contemporains réside dans le fait qu’ils conjuguent dans leur graphie les dimensions algébrique et géométrique, cet article – qui entend questionner le bien-fondé d’un certain nombre de dichotomies (lecture visuelle versus orale, faire et dire, …) usuellement mobilisées pour qualifier la spécificité des écritures formelles – se penche tout d’abord sur la pratique des mathématiciens, qui fut à l’origine de la création de ce type d’écriture, pour dégager, dans les champs d’activité où le formalisme intervient, les différents facettes du faire mathématique et argumenter qu’il se retrouve le plus souvent entrelacé à un dire. L’examen du bouleversement conceptuel résultant de l’exploitation par les logiciens et les informaticiens de la correspondance preuve-programme (ou isomorphisme de Curry-Howard) est ensuite entrepris et cette étude offre alors la possibilité de proposer des clés de lecture des principaux formalismes contemporains utilisés pour l’analyse des langues naturelles.
Keyword:
[SHS.HISPHILSO]Humanities and Social Sciences/History
;
[SHS.LANGUE]Humanities and Social Sciences/Linguistics
;
algebra
;
algèbre
;
calcul des séquents
;
correspondance preuve-programme
;
Curry-Howard isomorphism
;
déduction naturelle
;
écritures
;
formalismes
;
formalisms
;
géométrie
;
geometry
;
isomorphisme de Curry-Howard
;
natural deduction
;
Philosophy and Sociology of Sciences
;
proof-nets
;
proofs-as-programs correspondence
;
réseaux de preuves
;
semantics
;
sémantique
;
sequent calculus
;
syntax
;
syntaxe
;
writings
URL:
https://hal.archives-ouvertes.fr/hal-01304964/file/Godart_Mosca_DossiersHEL9.pdf
https://hal.archives-ouvertes.fr/hal-01304964
https://hal.archives-ouvertes.fr/hal-01304964/document
BASE
Hide details
Mobile view
All
Catalogues
UB Frankfurt Linguistik
0
IDS Mannheim
0
OLC Linguistik
0
UB Frankfurt Retrokatalog
0
DNB Subject Category Language
0
Institut für Empirische Sprachwissenschaft
0
Leibniz-Centre General Linguistics (ZAS)
0
Bibliographies
BLLDB
0
BDSL
0
IDS Bibliografie zur deutschen Grammatik
0
IDS Bibliografie zur Gesprächsforschung
0
IDS Konnektoren im Deutschen
0
IDS Präpositionen im Deutschen
0
IDS OBELEX meta
0
MPI-SHH Linguistics Collection
0
MPI for Psycholinguistics
0
Linked Open Data catalogues
Annohub
0
Online resources
Link directory
0
Journal directory
0
Database directory
0
Dictionary directory
0
Open access documents
BASE
1
Linguistik-Repository
0
IDS Publikationsserver
0
Online dissertations
0
Language Description Heritage
0
© 2013 - 2024 Lin|gu|is|tik
|
Imprint
|
Privacy Policy
|
Datenschutzeinstellungen ändern