Sökning: "criterion of correctness"

Hittade 3 avhandlingar innehållade orden criterion of correctness.

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

    Författare :Cyril Holm; Torben Spaak; Pauline Westerman; Wennström Bo; Uppsala universitet; []
    Nyckelord :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;

    Sammanfattning : The dissertation concerns F. A. Hayek’s (1899–1992) critique of legislation. The purpose of the investigation is to clarify and assess that critique. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

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

    Författare :David Wahlstedt; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : 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. LÄS MER