Search for dissertations about: "criterion of correctness"

Found 3 swedish dissertations containing the words criterion of correctness.

  2. 1. F. A. Hayek's Critique of Legislation

    Author : Cyril Holm; Torben Spaak; Pauline Westerman; Wennström Bo; Uppsala universitet; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Hayek; legislation; rules; law; rationality; rational action; rational social order; equilibrium; utilitarianism; method of deliberation; criterion of correctness; Elinor Ostrom; Avner Greif; Vernon Smith; Joshua Epstein; complexity; knowledge; social cooperation; information; know-how; the Hayek problem; the invisible hand; Adam Smith; Mises; Keynes; Marx; welfare state; Gilbert Ryle; Michael Polanyi; theory of legislation; legisprudence; jurisprudence; Neo-Kantianism; historicism; cognitive closure; theory of prices; competition; syntax grammar; game theory; generative social science; agent-based computational modeling; institutional policy analysis; normative; primacy of economics; primacy of politics; Sheri Berman; constructivist rationalism; socialism; social democracy; Nozick; Rawls; distribution; justice; freedom; Kant; polycentric government; process of experimentation; speculative philosophy; analytical philosophy; freedom under the law; liberty; philosophy of mind; consequentialist; Jurisprudence; Allmän rättslära;

    Abstract : The dissertation concerns F. A. Hayek’s (1899–1992) critique of legislation. The purpose of the investigation is to clarify and assess that critique. READ MORE

  4. 2. Eliciting Knowledge from Experts in Modeling of Complex Systems : Managing Variation and Interactions

    Author : Per Wikberg; Bo Strangert; Erland Svensson; Berndt Brehmer; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Modeling; Experts; Communication; Qualitative Data; Roles; Cognitive science; Kognitionsvetenskap;

    Abstract : The thematic core of the thesis is about how to manage modeling procedures in real settings. The view taken in this thesis is that modeling is a heuristic tool to outline a problem, often conducted in a context of a larger development process. READ MORE

  5. 3. Dependent Type Theory with Parameterized First-Order Data Types and Well-Founded Recursion

    Author : David Wahlstedt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We present a variation of Martin-Löf's logical framework with "beta-iota-equality", extended with first-order parameterized algebraic data types and recursive pattern-matching definitions. Our contribution is a proof of normalization for the proposed system, from which we obtain decidable type-correctness. READ MORE