Sökning: "logical"
Visar resultat 1 - 5 av 352 avhandlingar innehållade ordet logical.
1. First-Order Logic and Classical Theism : Toward Logical Reorientation
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
2. Logical Dynamics and Dynamical Systems
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
3. Capacity Management with Logical Links
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
4. Norms and Alternatives : Logical Aspects of Normative Reasoning
Sammanfattning : In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. LÄS MER
5. Lärares dilemman
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