Results for 'translational embeddings'

980 found
Order:
  1.  30
    Weaker-to-Stronger Translational Embeddings in Modal Logic.Lloyd Humberstone - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-297.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  8
    Weaker-to-Stronger Translational Embeddings in Modal Logic.Lloyd Humberstone - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 279-297.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. The Embodied and Embedded Self in Krause’s Analytische Philosophie as Translated and Explained by the Spanish Krausists.Daniel Rueda Garrido - 2022 - European Journal for Philosophy of Religion 14 (2).
    With this article, I seek to examine Krause’s analysis of the self in Analitische Philosophie, and in particular in Vorlesungen über die Psychische Anthropologie. But I do so through the texts that the Spanish Krausists devoted either to translating or to discussing and disseminating Krause’s ideas in dialogue with the philosophies of the time. In my exposition and examination of the doctrine of the self, I focus on its embedding in a particular existence through embodiment, and argue that these are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  60
    Minimally Congruential Contexts: Observations and Questions on Embedding E in K.Lloyd Humberstone - 2012 - Notre Dame Journal of Formal Logic 53 (4):581-598.
    Recently, an improvement in respect of simplicity was found by Rohan French over extant translations faithfully embedding the smallest congruential modal logic (E) in the smallest normal modal logic (K). After some preliminaries, we explore the possibility of further simplifying the translation, with various negative findings (but no positive solution). This line of inquiry leads, via a consideration of one candidate simpler translation whose status was left open earlier, to isolating the concept of a minimally congruential context. This amounts, roughly (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  56
    A simplified embedding of E into monomodal K.Rohan French - 2009 - Logic Journal of the IGPL 17 (4):421-428.
    In this paper we will provide a modal-to-modal translational embedding of E into K, simplifying a similar result which is obtainable using a novel translation due to S.K. Thomason.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  33
    Nice Embedding in Classical Logic.Peter Verdée & Diderik Batens - 2016 - Studia Logica 104 (1):47-78.
    It is shown that a set of semi-recursive logics, including many fragments of CL, can be embedded within CL in an interesting way. A logic belongs to the set iff it has a certain type of semantics, called nice semantics. The set includes many logics presented in the literature. The embedding reveals structural properties of the embedded logic. The embedding turns finite premise sets into finite premise sets. The partial decision methods for CL that are goal directed with respect to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Béziau's Translation Paradox.Lloyd Humberstone - 2005 - Theoria 71 (2):138-181.
    Jean-Yves Béziau (‘Classical Negation can be Expressed by One of its Halves’, Logic Journal of the IGPL 7 (1999), 145–151) has given an especially clear example of a phenomenon he considers a sufficiently puzzling to call the ‘paradox of translation’: the existence of pairs of logics, one logic being strictly weaker than another and yet such that the stronger logic can be embedded within it under a faithful translation. We elaborate on Béziau’s example, which concerns classical negation, as well as (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  8.  22
    Embedding Friendly First-Order Paradefinite and Connexive Logics.Norihiro Kamide - 2022 - Journal of Philosophical Logic 51 (5):1055-1102.
    First-order intuitionistic and classical Nelson–Wansing and Arieli–Avron–Zamansky logics, which are regarded as paradefinite and connexive logics, are investigated based on Gentzen-style sequent calculi. The cut-elimination and completeness theorems for these logics are proved uniformly via theorems for embedding these logics into first-order intuitionistic and classical logics. The modified Craig interpolation theorems for these logics are also proved via the same embedding theorems. Furthermore, a theorem for embedding first-order classical Arieli–Avron–Zamansky logic into first-order intuitionistic Arieli–Avron–Zamansky logic is proved using a modified (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9. Radical translation at the ‘Break of Day’: Thomas Paine in a Celtic language.Marion Löffler - forthcoming - History of European Ideas.
    This article presents the first detailed analysis of the ways in which border-crossing author and balladeer John Jones (pseudonym ‘Jac Glan-y-Gors’) remodelled a range of Thomas Paine’s writings into Welsh republican pamphlets by translating key passages, interpolating culturally relevant indigenous material, and consolidating Paine’s anti-monarchical core vocabulary. In doing so, the article provides a blueprint for examining the operation of intellectual networks who transferred ideas and cultural artefacts to smaller or non-hegemonic cultures and the process of embedding them. Jones’s work (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  11
    Translator's Style Through Lexical Bundles: A Corpus-Driven Analysis of Two English Translations of Hongloumeng.Kanglong Liu & Muhammad Afzaal - 2021 - Frontiers in Psychology 12:633422.
    Based on a corpus-driven analysis of two translated versions ofHongloumeng(one by David Hawkes and the other by Xianyi Yang and Gladys Yang) in parallel corpora, this article investigates the use of lexical bundles in an attempt to trace the stylistic features and differences in the translations produced by the respective translators. TheHongloumengcorpus is developed at the sentence level to facilitate co-occurrence of the source texts and the two corresponding translations. For this purpose, the three-word and four-word lexical bundles were first (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  17
    Intralingual translation in didactic practice: five case studies.Aage Hill-Madsen - 2024 - Semiotica 2024 (257):49-79.
    This article is a qualitative study charting the dimensional range of a particular type of translative phenomenon, namely, intralingual translation within educational practice. Theoretically, the article is based on a broadened concept of translation that encompasses any kind of sign translation, including the transcending of a language-internal comprehension barrier, such as the one between scientific and lay linguistic registers. Further, the article assumes that such intralingual translation is conceptually identical with the interpretive procedures found in didactic practice, given that the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  16
    Why translational medicine is, in fact, “new,” why this matters, and the limits of a predominantly epistemic historiography.Mark Robinson - 2020 - History and Philosophy of the Life Sciences 42 (3):1-22.
    Is Translational Science and Medicine new? Its dramatic expansion has spelled a dizzying array of new disciplines, departments, buildings, and terminology. Yet, without novel theories or concepts, Translational Science and Medicine may appear to be nothing more than an old concept with a new brand. Yet, is this view true? As is illustrated herein, histories of TSM which treat it as merely an old product under a new name misunderstand its essential architecture. As an expressly economic transformation, modern (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  21
    The Russell-Prawitz embedding and the atomization of universal instantiation.José Espírito Santo & Gilda Ferreira - forthcoming - Logic Journal of the IGPL.
    Given the recent interest in the fragment of system $\mathbf{F}$ where universal instantiation is restricted to atomic formulas, a fragment nowadays named system ${\mathbf{F}}_{\textbf{at}}$, we study directly in system $\mathbf{F}$ new conversions whose purpose is to enforce that restriction. We show some benefits of these new atomization conversions: they help achieving strict simulation of proof reduction by means of the Russell–Prawitz embedding of $\textbf{IPC}$ into system $\mathbf{F}$, they are not stronger than a certain ‘dinaturality’ conversion known to generate a consistent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  7
    Translating the Esoteric.Nicholas Morrow Williams - 2024 - Journal of the American Oriental Society 144 (3):495-515.
    The Mahāvairocana sūtra was translated into Chinese by the Indian monk Śubhakarasiṃha 善無畏 (637–735) and the Chinese monk Yixing 一行 (683–727), and Yixing also composed an elaborate commentary based on the teachings of Śubhakarasiṃha. Their efforts to introduce to China this key source for esoteric Buddhist doctrine and ritual offer us a remarkable case study of Buddhological translation. The two translators respond with particular flair to the perennial challenge of translating any Buddhist scriptures, namely, how to deal with foreign terms (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
    Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic. It is proved that first-order variants of these logics with an intuitionistic negation can be embedded by modal translations into S4-type extensions of these logics with a classical, involutive, negation. Related embeddings via translations like the double-negation translation are also considered. Embeddings into analogues of S4 are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  16. Intervention, integration and translation in obesity research: Genetic, developmental and metaorganismal approaches.Maureen O'Malley & Karola Stotz - 2011 - Philosophy, Ethics, and Humanities in Medicine 6:2.
    Obesity is the focus of multiple lines of inquiry that have -- together and separately -- produced many deep insights into the physiology of weight gain and maintenance. We examine three such streams of research and show how they are oriented to obesity intervention through multilevel integrated approaches. The first research programme is concerned with the genetics and biochemistry of fat production, and it links metabolism, physiology, endocrinology and neurochemistry. The second account of obesity is developmental and draws together epigenetic (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  41
    Reflections on “difficult” embeddings.Andreja Prijatelj - 1995 - Journal of Philosophical Logic 24 (1):71 - 84.
    The main purpose of this note is to present "difficult" embeddings of minimal and full intuitionistic logic into classical linear logic, and to prove their soundness and faithfulness. Moreover, it is also pointed out that Girard's translation of intuitionistic logic into classical linear logic is provably equivalent to one of the translations considered in this paper.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  30
    Medical ethics education as translational bioethics.Peter D. Young, Andrew N. Papanikitas & John Spicer - 2024 - Bioethics 38 (3):262-269.
    We suggest that in the particular context of medical education, ethics can be considered in a similar way to other kinds of knowledge that are categorised and shaped by academics in the context of wider society. Moreover, the study of medical ethics education is translational in a manner loosely analogous to the study of medical education as adjunct to translational medicine. Some have suggested there is merit in the idea that much as translational research attempts to connect (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  21
    Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.
    A theorem for embedding a first-order linear- time temporal logic LTL into its intuitionistic counterpart ILTL is proved using Baratella-Masini's temporal extension of the Gödel-Gentzen negative translation of classical logic into intuitionistic logic. A substructural counterpart LLTL of ILTL is introduced, and a theorem for embedding ILTL into LLTL is proved using a temporal extension of the Girard translation of intuitionistic logic into intuitionistic linear logic. These embedding theorems are proved syntactically based on Gentzen-type sequent calculi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  2
    Lost in translation: The normative and the historical.David M. Rasmussen - 2024 - Philosophy and Social Criticism 50 (10):1432-1435.
    I am intrigued by the use of the words ‘embedded’ and ‘capacity’ as they appear in what I take to be the strategy of Sovereignty Across Generations where these words are used to make what is evidently implicit within John Rawls’s political liberalism explicit, that is, a normative account of ‘the justice and legitimacy of political orders’. If I am correct about this strategy, my question is quite simple: is something lost in translation in this transition from Rawls’s more historical (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  31
    Are AI systems biased against the poor? A machine learning analysis using Word2Vec and GloVe embeddings.Georgina Curto, Mario Fernando Jojoa Acosta, Flavio Comim & Begoña Garcia-Zapirain - forthcoming - AI and Society:1-16.
    Among the myriad of technical approaches and abstract guidelines proposed to the topic of AI bias, there has been an urgent call to translate the principle of fairness into the operational AI reality with the involvement of social sciences specialists to analyse the context of specific types of bias, since there is not a generalizable solution. This article offers an interdisciplinary contribution to the topic of AI and societal bias, in particular against the poor, providing a conceptual framework of the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  22.  53
    A Simple Embedding of T into Double S.Steven Kuhn - 2004 - Notre Dame Journal of Formal Logic 45 (1):13-18.
    The system obtained by adding full propositional quantification to S5 is known to be decidable, while that obtained by doing so for T is known to be recursively intertranslatable with full second-order logic. Recently it was shown that the system with two S5 operators and full propositional quantification is also recursively intertranslatable with second-order logic. This note establishes that the map assigning [1][2]p to \squarep provides a validity and satisfaction preserving translation between the T system and the double S5 system, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  23.  18
    Lost in Translation: Simple Steps in Experimental Design of Neurorehabilitation-Based Research Interventions to Promote Motor Recovery Post-Stroke.Natalia Sánchez & Carolee J. Winstein - 2021 - Frontiers in Human Neuroscience 15.
    Stroke continues to be a leading cause of disability. Basic neurorehabilitation research is necessary to inform the neuropathophysiology of impaired motor control, and to develop targeted interventions with potential to remediate disability post-stroke. Despite knowledge gained from basic research studies, the effectiveness of research-based interventions for reducing motor impairment has been no greater than standard of practice interventions. In this perspective, we offer suggestions for overcoming translational barriers integral to experimental design, to augment traditional protocols, and re-route the rehabilitation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  63
    On proof terms and embeddings of classical substructural logics.Ken-Etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
    There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  25.  18
    Kolmogorov and Kuroda Translations Into Basic Predicate Logic.Mohammad Ardeshir & Wim Ruitenburg - forthcoming - Logic Journal of the IGPL.
    Kolmogorov established the principle of the double negation translation by which to embed Classical Predicate Logic |${\operatorname {CQC}}$| into Intuitionistic Predicate Logic |${\operatorname {IQC}}$|⁠. We show that the obvious generalizations to the Basic Predicate Logic of [3] and to |${\operatorname {BQC}}$| of [12], a proper subsystem of |${\operatorname {IQC}}$|⁠, go through as well. The obvious generalizations of Kuroda’s embedding are shown to be equivalent to the Kolmogorov variant. In our proofs novel nontrivial techniques are needed to overcome the absence of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Design for Embedding the Value of Privacy in Personal Information Management Systems.Haleh Asgarinia - 2024 - Journal of Ethics and Emerging Technologies 33 (1):1-19.
    Personal Information Management Systems (PIMS) aim to facilitate the sharing of personal information and protect privacy. Efforts to enhance privacy management, aligned with established privacy policies, have led to guidelines for integrating transparent notices and meaningful choices within these systems. Although discussions have revolved around the design of privacy-friendly systems that comply with legal requirements, there has been relatively limited philosophical discourse on incorporating the value of privacy into these systems. Exploring the connection between privacy and personal autonomy illuminates the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  62
    On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
    In this paper, we compare several cut-free sequent systems for propositional intuitionistic logic Intwith respect to polynomial simulations. Such calculi can be divided into two classes, namely single-succedent calculi (like Gentzen's LJ) and multi-succedent calculi. We show that the latter allow for more compact proofs than the former. Moreover, for some classes of formulae, the same is true if proofs in single-succedent calculi are directed acyclic graphs (dags) instead of trees. Additionally, we investigate the effect of weakening rules on the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  57
    A Syntactic Embedding of Predicate Logic into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
    We give a syntactic translation from first-order intuitionistic predicate logic into second-order intuitionistic propositional logic IPC2. The translation covers the full set of logical connectives ∧, ∨, →, ⊥, ∀, and ∃, extending our previous work, which studied the significantly simpler case of the universal-implicational fragment of predicate logic. As corollaries of our approach, we obtain simple proofs of nondefinability of ∃ from the propositional connectives and nondefinability of ∀ from ∃ in the second-order intuitionistic propositional logic. We also show (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  46
    Tailoring responsible research and innovation to the translational context: the case of AI-supported exergaming.Sabrina Blank, Celeste Mason, Frank Steinicke & Christian Herzog - 2024 - Ethics and Information Technology 26 (2):1-16.
    We discuss the implementation of Responsible Research and Innovation (RRI) within a project for the development of an AI-supported exergame for assisted movement training, outline outcomes and reflect on methodological opportunities and limitations. We adopted the responsibility-by-design (RbD) standard (CEN CWA 17796:2021) supplemented by methods for collaborative, ethical reflection to foster and support a shift towards a culture of trustworthiness inherent to the entire development process. An embedded ethicist organised the procedure to instantiate a collaborative learning effort and implement RRI (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  71
    Socialist Accounting” by Karl Polanyi: with preface “Socialism and the embedded economy.Johanna Bockman, Ariane Fischer & David Woodruff - 2016 - Theory and Society 45 (5):385-427.
    Ariane Fischer, David Woodruff, and Johanna Bockman have translated Karl Polanyi’s “Sozialistische Rechnungslegung” [“Socialist Accounting”] from 1922. In this article, Polanyi laid out his model of a future socialism, a world in which the economy is subordinated to society. Polanyi described the nature of this society and a kind of socialism that he would remain committed to his entire life. Accompanying the translation is the preface titled “Socialism and the embedded economy.” In the preface, Bockman explains the historical context of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  31.  43
    Posidonius. Vol. 3: The Translation of the Fragments (review).David E. Hahm - 2001 - American Journal of Philology 122 (3):445-447.
    In lieu of an abstract, here is a brief excerpt of the content:American Journal of Philology 122.3 (2001) 445-447 [Access article in PDF] Ian Kidd, ed. and trans. Posidonius. Vol. 3: The Translation of the Fragments. Cambridge: Cambridge University Press, 1999. 414 pp. Cloth, £50.00. The third volume of Kidd's Posidonius is billed as a translation, but it is much more than that. It is the capstone of the edition, the culmination of a lifetime of work, and the most useful (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. Influence of world knowledge and context on the comprehension of natural language translation of logical formulas.Luca Cilibrasi & Matteo Pascucci - 2013 - In Chiara Ciarlo & Davide Giannoni (eds.), Language Studies Working Papers. University of Reading. pp. 13-21.
    In this paper we present an approach to conditional reasoning tasks based on two main ideas. The first idea is that, in contrast with what is usually assumed, an ‘if… then…’ sentence is not an adequate translation in natural language of a logical formula containing a material implication as its principal operator. The second idea is that when subjects are required to check the validity of a sentence in a task, their inferences are not driven uniquely by the content of (...)
     
    Export citation  
     
    Bookmark  
  33.  41
    A Note on the Logic of Eventual Permanence for Linear Time.Rohan French - 2008 - Notre Dame Journal of Formal Logic 49 (2):137-142.
    In a paper from the 1980s, Byrd claims that the logic of "eventual permanence" for linear time is KD5. In this note we take up Byrd's novel argument for this and, treating the problem as one concerning translational embeddings, show that rather than KD5 the correct logic of "eventual permanence" is KD45.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  41
    A three-valued quantified argument calculus: Domain-free model-theory, completeness, and embedding of fol.Ran Lanzet - 2017 - Review of Symbolic Logic 10 (3):549-582.
    This paper presents an extended version of the Quantified Argument Calculus (Quarc). Quarc is a logic comparable to the first-order predicate calculus. It employs several nonstandard syntactic and semantic devices, which bring it closer to natural language in several respects. Most notably, quantifiers in this logic are attached to one-place predicates; the resulting quantified constructions are then allowed to occupy the argument places of predicates. The version presented here is capable of straightforwardly translating natural-language sentences involving defining clauses. A three-valued, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  35.  23
    A Proof-Theoretic Approach to Negative Translations in Intuitionistic Tense Logics.Zhe Lin & Minghui Ma - 2022 - Studia Logica 110 (5):1255-1289.
    A cut-free Gentzen sequent calculus for Ewald’s intuitionistic tense logic \ is established. By the proof-theoretic method, we prove that, for every set of strictly positive implications S, the classical tense logic \ is embedded into its intuitionistic analogue \ via Kolmogorov, Gödel–Genzten and Kuroda translations respectively. A sufficient and necessary condition for Glivenko type theorem in tense logics is established.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  25
    How ‘direct’ can a direct translation be? Some perspectives from the realities of a new type of church Bible.Christo H. J. Van der Merwe - 2016 - HTS Theological Studies 72 (3).
    The skopos of this new type of church Bible is: ‘How would the source texts of the Bible have sounded in Afrikaans in the context envisaged for its hypothesised first audience?’ Fully acknowledging the complexities of language as a dynamic and complex system embedded in the culture and conceptual world of its speakers, as well as the wide range of frames that are involved in the process of Bible translation as a difficult form of secondary communication, this article addresses two (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  37.  51
    Researcher Practice: Embedding Creative Practice Within Doctoral Research in Industrial Design.Mark Andrew Evans - 2010 - Journal of Research Practice 6 (2):Article M16.
    This article considers the potential for a researcher to use their own creative practice as a method of data collection. Much of the published material in this field focuses on more theoretical positions, with limited use being made of specific PhDs that illustrate the context in which practice was undertaken by the researcher. It explores strategies for data collection and researcher motivation during what the author identifies as "researcher practice." This is achieved through the use of three PhD case studies. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  38.  75
    Note on Translating an Aristotelian Dative and τὸ τί ήν είυαι.Robert Zaslavsky - 1984 - New Scholasticism 58 (2):256-261.
    The author offers a fresh solution to the problem of rendering two key Aristotelian uses of the articular infinitive τὸ εἶναι with an embedded modifier, the one τί ἦν, and the other the dative noun and/or adjective, two usages which are clearly meant to be parallel.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  71
    Culture-related decision conflicts in cross-cultural translation.Terje Loogus - 2012 - Sign Systems Studies 40 (3-4):369-383.
    Translators as members of a certain culture, generally that of the target culture, base their translation-relevant decisions on their own culture, while the decisions are motivated by the (alien) source culture. In the translation process, cultural differences may lead to various decision-making conflicts and the translator has to find a compromise between the author of the source text, the target recipient and finally, of course, the translator him/herself. In this article, proceeding from functionalist approaches to translation, the discussion focuses on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40. Epictetus's Encheiridion: A new translation and guide to Stoic ethics.Scott Aikin & William O. Stephens - 2023 - London and New York: Bloomsbury Publishing. Edited by William O. Stephens & Epictetus.
    For anyone approaching the Encheiridion of Epictetus for the first time, this book provides a comprehensive guide to understanding a complex philosophical text. Including a full translation and clear explanatory commentaries, Epictetus's 'Encheiridion' introduces readers to a hugely influential work of Stoic philosophy. Scott Aikin and William O. Stephens unravel the core themes of Stoic ethics found within this ancient handbook. Focusing on the core themes of self-control, seeing things as they are, living according to nature, owning one's roles and (...)
  41.  46
    Towards the applied: the construction of ethical positions in stem cell translational research. [REVIEW]Alan Cribb, Steven Wainwright, Clare Williams, Bobbie Farsides & Mike Michael - 2007 - Medicine, Health Care and Philosophy 11 (3):351-361.
    This paper aims to make an empirically informed analytical contribution to the development of a more socially embedded bioethics. Drawing upon 10 interviews with cutting edge stem cell researchers (5 scientists and 5 clinicians) it explores and illustrates the ways in which the role positions of translational researchers are shaped by the ‘normative structures’ of science and medicine respectively and in combination. The empirical data is used to illuminate three overlapping themes of ethical relevance: what matters in stem cell (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  2
    Phraseology and Terminology Challenges and Approach to Translating Divorce Decrees.Sonia A. Halimi - forthcoming - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique:1-14.
    In the context of international mobility and migration, where highly sensitive documents relating to personal status or qualifications need to be translated, a certified translation of official documents is on the increase. A certified translation requires the involvement of a sworn translator who guarantees the exact reproduction of official documents to be registered with a foreign authority. As a personal status document, divorce decrees must also be translated with rigorous standards in order to be recorded elsewhere. The rules governing Arabic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  9
    Non-public and Public Reasons: Rawls’ “proviso”, Habermas’ “translation” and the Issue of Cultural Rights.Plamen Makariev - 2012 - Balkan Journal of Philosophy 4 (1):31-38.
    The aim of this paper is to explore the split between two kinds of reasoning – non-public (culturally dependent) and public (characteristic for the procedures of policy design and, more generally, of taking generally binding decisions within the institutions of power). A largely acknowledged problem is that attempts to influence the public policies from the positions of cultural communities cannot be rationally substantiated because the arguments used are in most cases not recognized as valid by the general public, which does (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  51
    Linguistic applications of first order intuitionistic linear logic.Richard Moot & Mario Piazza - 2001 - Journal of Logic, Language and Information 10 (2):211-232.
    In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  45.  36
    Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
    ABSTRACT Reiter's default logic is one of the most prominent and well-studied approaches to nonmonotonic reasoning. Its evolution has resulted in diverse variants enjoying many interesting properties. This process however seems to be diverging because it has led to default logics that are difficult to compare due to different formal characterizations—sometimes even dealing with different objects of discourse. This problem is addressed in this paper in two ways. One the one hand, we elaborate on the relationships between different types of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  46.  20
    Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics.Lloyd Humberstone & Steven T. Kuhn - 2022 - Notre Dame Journal of Formal Logic 63 (4):515-550.
    A notable early result of David Makinson establishes that every monotone modal logic can be extended to LI, LV, or LF, and every antitone logic can be extended to LN, LV, or LF, where LI, LN, LV, and LF are logics axiomatized, respectively, by the schemas □α↔α, □α↔¬α, □α↔⊤, and □α↔⊥. We investigate logics that are both monotone and antitone (hereafter amphitone). There are exactly three: LV, LF, and the minimum amphitone logic AM axiomatized by the schema □α→□β. These logics, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  21
    (1 other version)On some interpretations of classical logic.Branislav R. Boričić & B. R. Boričić - 1992 - Mathematical Logic Quarterly 38 (1):409-412.
    In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  17
    Control versus Complexity: Approaches to the Carbon Dioxide Problem at IIASA.Isabell Schrickel - 2017 - Berichte Zur Wissenschaftsgeschichte 40 (2):140-159.
    Translation abstractSummary: Control versus Complexity: Approaches to the Carbon Dioxide Problem at IIASA. In the 1970s and 1980s the International Institute for Applied Systems Analysis (IIASA) hosted several research projects, workshops and conferences in order to discuss the implications of rising carbon dioxide concentrations in the Earth's atmosphere. A number of distinguished scholars, some of whom later became prominent protagonists within the United Nations’ Intergovernmental Panel on Climate Change (IPCC) and sustainability communities more generally, participated in these debates. Since those (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  49.  24
    Theorizing untranslatability: Temporalities and ambivalence in colonial literature of Taiwan and Korea.Pei Jean Chen - 2021 - Thesis Eleven 162 (1):62-74.
    This paper theorizes and historicizes the ideas of modern language and translation and challenges the imperialist and nationalistic mode of worlding with the notion of ‘untranslatability’ that is embedded in the linguistic and cultural practices of colonial Taiwan and Korea. I redefine the notion of translation as a bordering system – the knowledge-production of boundaries, discrimination, and classification – that simultaneously creates the translatable and the untranslatable (i.e. the equivalence and incommensurability) in asymmetrical power relations. With this, I discuss how (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  50.  30
    The “Loyal” Narrators. An Examination of Post-Graduate Theses on the Kurdish Conflict and the Kurdistan Workers’ Party (PKK) in Turkey.Islam Sargi - 2023 - Resistances. Journal of the Philosophy of History 4 (7):e230106.
    The Kurdish question and the PKK have been among the topics that have gained massive importance for almost a century in politics, daily life, and among academics. The declaration of the PKK, the last ideological rebellion against the Turkish state, has translated the Kurdish problem into the problem of assimilation, nationalization, and standardization of the decades-long armed conflict between the Turkish army and the PKK. This article aims to present a discourse and content analysis of the master’s and doctoral dissertations (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 980