Sökning: "propositional modality"

Hittade 4 avhandlingar innehållade orden propositional modality.

  1. 1. Modality and Subordinators in the Germanic Languages and beyond

    Författare :Jackie Nordström; tolkning i offentlig sektor och översättning danska och isländska Avdelningen för svenska; []
    Nyckelord :HUMANIORA; HUMANITIES; Germanic languages; factuality; subordinators; modality; propositional modality; general subordinators; that; if; whether; indicative; subjunctive; epistemic modality; irrealis; realis; Swedish;

    Sammanfattning : This thesis argues that general subordinators, such as the Germanic THAT and IF, denote propositional modality. Propositional modality stands for the “speaker’s attitude to the truth-value or factual status of the proposition” (Palmer 2001:24) and is otherwise expressed by moods such as the indicative-subjunctive and epistemic-evidential modal markers. LÄS MER

  3. 2. Modality in Kazakh as spoken in China

    Författare :Aynur Abish; Eva Agnes Csato Johanson; Lars Johanson; László Károly; Uppsala universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Turkic languages; Kazakh; modality; Turkiska språk; Turkic languages;

    Sammanfattning : This is a comprehensive study on expressions of modality in one of the largest Turkic languages, Kazakh, as it is spoken in China. Kazakh is the official language of the Republic of Kazakhstan and is furthermore spoken by about one and a half million people in China in the Xinjiang Uyghur Autonomous Region and in Aksai Kazakh Autonomous County in Gansu Province. LÄS MER

  4. 3. Verb-erst-Deklarativsätze. Grammatik und Pragmatik

    Författare :Olaf Önnerfors; Tyska; []
    Nyckelord :HUMANIORA; HUMANITIES; German language and literatur; Germanic languages; performative use; German; declarative clause; clause-initial position of the finite verb; syntax; topic-comment structure; information structure; theticity; narrativity; enumeration; deontic modality; exclamation; causality; Tyska språk och litteratur ;

    Sammanfattning : The aim of this thesis is to describe and explain independent declarative clauses in German which have the finite verb in absolute clause-initial position. They are called verb-first declarative clauses. It is shown that this type of clause can be found in a variety of Germanic languages. LÄS MER

  5. 4. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory

    Författare :Andrea Vezzosi; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Conversion; Parametricity; Higher Inductive Types; Sized Types; Dependent Types; Type Theory; Guarded Types;

    Sammanfattning : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. LÄS MER