Sökning: "logical contradiction"

Hittade 3 avhandlingar innehållade orden logical contradiction.

  1. 1. Livsstilsförändringar och "grön" teknik : Om relationen mellan ekonomisk och ekologisk rationalitet i miljöpolitiken

    Författare :Thomas Öst; Eva Sandstedt; Mikael Klintman; Uppsala universitet; []
    Nyckelord :Sociology; analytic dualism; dialectical conflict; ecological modernisation; energy saving measures; explanatory critique; lifestyle changes; logical contradiction; sustainable development; Sociologi; Sociologi; Sociology;

    Sammanfattning : This dissertation is a study on the contemporary environmental policy discourse called ecological modernisation and especially on eco-modernist social theory. Its central tenet on the (forthcoming) simultaneous existence of economic rationality and ecological rationality constitutes the primary object of an ‘explanatory critique’. LÄS MER

  3. 2. A Natural Interpretation of Classical Proofs

    Författare :Jens Brage; Per Martin-Löf; Sara Negri; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; Mathematical logic; Matematisk logik;

    Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

  4. 3. Conservative Definitions for Higher-order Logic with Ad-hoc Overloading

    Författare :Arve Gengelbach; Tjark Weber; Joachim Parrow; Andrei Popescu; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; higher-order logic HOL ; conservative extension; ad-hoc overloading; definitions; Computer Science; Datavetenskap;

    Sammanfattning : With an ever growing dependency on computer systems, the need to guarantee their correct behaviour increases. Mathematically rigorous techniques like formal verification offer a way to derive a system's mathematical properties for example with the help of a theorem prover. LÄS MER