Sökning: "logical"

Visar resultat 1 - 5 av 302 avhandlingar innehållade ordet logical.

  1. 1. First-Order Logic and Classical Theism : Toward Logical Reorientation

    Detta är en avhandling från Uppsala : Teologiska institutionen

    Författare :Anders Kraal; Uppsala universitet.; [2010]
    Nyckelord :HUMANIORA; HUMANITIES; classical theism; divine simplicity; divine attributes; God; Augustine; Thomas Aquinas; first-order logic; formalization; argument-function analysis; quantifier analysis; bivalence; natural deduction; truth-bearer; inference; inference rule; logical validity; logical pluralism; logical monism; G. Frege; B. Russell; L. Wittgenstein; R. Carnap; J. Maritain; J. Salamucha; J. Bocheński; W.V.O. Quine.; HUMANITIES and RELIGION Religion Theology; HUMANIORA och RELIGIONSVETENSKAP Religionsvetenskap Teologi;

    Sammanfattning : This inquiry seeks an answer to the question whether classical theistic doctrines about the nature of God are amenable to formal analysis in terms of standard first-order logic. It is argued that due to the conceptual impact of classical theism’s doctrine of divine simplicity there is a good reason for answering this question in the negative. LÄS MER

  3. 2. Logical Dynamics and Dynamical Systems

    Detta är en avhandling från Media-Tryck, Lund University, Sweden

    Författare :Rasmus Kraemmer Rendsvig; Lund University.; Lunds universitet.; [2018-02]
    Nyckelord :Formal epistemology; Modal logic; Dynamic epistemic logic; Dynamical systems; General topology;

    Sammanfattning : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. LÄS MER

  4. 3. Capacity Management with Logical Links

    Detta är en avhandling från Karlskrona : Kaserntryckeriet AB

    Författare :Sven-Olof Larsson; Blekinge Tekniska Högskola.; [2000]
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; ATM; Capacity Management; Dynamic Reallocation of Resources;

    Sammanfattning : To be able to guarantee a certain level of service quality, for different services, one can reserve capacity for these along selected paths through the network. By doing this, one can better control the traffic streams so that the total capacity in the network is used well and so that the services receives the needed quality for the customers. LÄS MER

  5. 4. Lärares dilemman

    Detta är en avhandling från Örebro : Örebro universitet

    Författare :Helge Räihä; Örebro universitet.; [2008]
    Nyckelord :HUMANIORA; HUMANITIES; teacher; dilemma; media; trust; derivation; rationality; connective; logical; predicative; modal; HUMANITIES and RELIGION Languages and linguistics Scandinavian languages Swedish language; HUMANIORA och RELIGIONSVETENSKAP Språkvetenskap Nordiska språk Svenska språket; Svenska språket; Swedish Language;

    Sammanfattning : The topic of the present dissertation is teachers’ everyday dilemmas and the use of language to deal with these dilemmas. The concept of dilemma is compared to the concept of risk and the concept of paradox. The theoretical background consists of sociological systems theory and linguistic pragmatic theory. LÄS MER

  7. 5. Fundamentals and logical foundations of truth maintenance

    Detta är en avhandling från Linköping : Linköpings universitet

    Författare :Michael Reinfrank; Linköpings universitet.; Linköpings universitet.; [1989]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

    Sammanfattning : Despite their importance in AI problem solving, nonmonotonic truth maintenance systems (TMSs) still lack sufficiently well-understood logical foundations. In this thesis, I present a rigorous logical theory of TMSs. I pursue a two-step, bottom-up approach. First, I specify a direct, but implementation-independent, theory of truth maintenance. LÄS MER