Constructive Type Theory and the Dialogical Approach to Meaning
نویسندگان
چکیده
منابع مشابه
The Dialogical Reality of Meaning
This paper offers a non-representational alternative to semiotic notions of meaning as the designatum of signs, the content of messages, or what a text is about. It derives from considerations of how things — artifacts and objects of nature — could mean something to somebody. Rather than treating things as signs of themselves and thereby undermining the two-world ontology of semiotics, it explo...
متن کاملA Pointfree approach to Constructive Analysis in Type Theory
The rst paper in this thesis presents a machine checked formalisation, in Martin-Löf's type theory, of pointfree topology with applications to domain theory. In the other papers pointfree topology is used in an approach to constructive analysis. The continuum is de ned as a formal space from a base of rational intervals. Then the closed rational interval [a; b] is de ned as a formal space, in t...
متن کاملa frame semantic approach to the study of translating cultural scripts in salingers franny and zooey
the frame semantic theory is a nascent approach in the area of translation studies which goes beyond the linguistic barriers and helps us to incorporate cognitive and cultural factors to the study of translation. based on rojos analytical model (2002b), which centered in the frames or knowledge structures activated in the text, the present research explores the various translation problems that...
15 صفحه اولthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
a synchronic and diachronic approach to the change route of address terms in the two recent centuries of persian language
terms of address as an important linguistics items provide valuable information about the interlocutors, their relationship and their circumstances. this study was done to investigate the change route of persian address terms in the two recent centuries including three historical periods of qajar, pahlavi and after the islamic revolution. data were extracted from a corpus consisting 24 novels w...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Baltic International Yearbook of Cognition, Logic and Communication
سال: 2013
ISSN: 1944-3676
DOI: 10.4148/1944-3676.1077