Sökning: "refutation"

Visar resultat 1 - 5 av 7 avhandlingar innehållade ordet refutation.

  1. 1. Polyphonie argumentative : Étude de la négation dans des éditoriaux du Figaro, de Libération et du Monde

    Författare :Malin Roitman; Mats Forsgren; Françoise Sullet-Nylander; Kjersti Fløttum; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; polyphony; negation; enunciation; polyphonic markers; polyphonic structure; sequences; dynamic point of view; discourse beings; dialogism; argumentation; intrusion; ethos; subjectivity; reported speech; refutation; rhetoric; constructivism; French language; Franska språket;

    Sammanfattning : This thesis deals with the polyphonic and argumentative functions of the French negation marker, ne, in editorial texts from the daily press. The concept ‘polyphony’ relates to the presence of multiple voices within one and the same utterance. According to this view, negation triggers a subdivision of an utterance in two points of view. LÄS MER

  3. 2. On Long Proofs of Simple Truths

    Författare :Kilian Risse; Per Austrin; Johan Håstad; Jakob Nordström; Benjamin Rossman; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computational Complexity; Lower Bounds; Proof Complexity; Datalogi; Computer Science;

    Sammanfattning : Propositional proof complexity is the study of certificates of infeasibility. In this thesis we consider several proof systems with limited deductive ability and unconditionally show that they require long refutations of the feasibility of certain Boolean formulas. LÄS MER

  4. 3. NML3 : a non-monotonic formalism with explicit defaults

    Författare :Patrick Doherty; Linköpings universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Sammanfattning : The thesis is a study of a particular approach to defeasible reasoning based on the notion of an information state consisting of a set of partial interpretations constrained by an information ordering. The formalism proposed, called NML3, is a non-monotonic logic with explicit defaults and is characterized by the following features: (1) The use of the strong Kleene three-valued logic as a basis. LÄS MER

  5. 4. Stroke Darkly the Strings : On Paul Celan and Music

    Författare :Axel Englund; Anders Olsson; Jacob Derkert; Martin Zenck; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; Paul Celan; music; poetry; intermediality; metaphor; modernism; Jörg Birkenkötter; Harrison Birtwistle; György Kurtág; Erhard Karkoschka; Tilo Medek; Aribert Reimann; Wolfgang Rihm; Peter Ruzicka; Literature; Litteraturvetenskap; Literature; litteraturvetenskap;

    Sammanfattning : The aim of this study is to disclose the oeuvre of the German-Romanian Holocaust survivor Paul Celan as a site of problematic yet productive encounters between poetry and music. It addresses, on the one hand, music as a thematic and structural element in Celan’s poetry and, on the other hand, contemporary musical works interacting with this poetry. LÄS MER

  7. 5. Setting Limits in Nature and the Metabolism of Knowledge : The Case of the Critical Load Concept

    Författare :Johanna Alkan Olsson; Gunilla Öberg; Linköpings universitet; []
    Nyckelord :SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Föroreningsfrågor; INTERDISCIPLINARY RESEARCH AREAS; TVÄRVETENSKAPLIGA FORSKNINGSOMRÅDEN;

    Sammanfattning : In the 1980s, the earlier understanding that environmental problems are relatively simple was questioned. In order to handle the perceived complexity, several responses emerged. LÄS MER