Advanced search

Showing result 1 - 5 of 28 swedish dissertations matching the above criteria.

2. 1. Extensions of Deontic Logic : An Investigation into some Multi-Modal Systems

   Author : Daniel Rönnedal; Paul Needham; Lennart Åqvist; Allard Tamminga; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; Deontic logic; Modal logic; Dyadic deontic logic; Semantic tableau; Conditional obligation; Commitment; Counterfactuals; Multi-modal logic; Bimodal logic; Temporal logic; T x W logic; Ought-implies-can; The means-end principle; Theoretical Philosophy; teoretisk filosofi;

   Abstract : Deontic logic is a branch of logic that deals with normative concepts, propositions, arguments and systems. The main purpose of this compilation thesis is to investigate how deontic logic can be extended in a number of ways. We consider several multimodal systems, i.e. READ MORE

4. 2. Varieties of Necessity in John Buridan : Logic and Natural Philosophy in the Late Middle Ages

   Author : Guido Alt; Henrik Lagerlund; Jack Zupko; Stockholms universitet; []
   Keywords : HUMANIORA; HUMANITIES; History of Philosophy; John Buridan; Medieval Philosophy; Medieval Logic; Natural Philosophy; Nominalism; Modality; Natural Necessity; History of Logic; Philosophy in the Fourteenth Century; Philosophy; filosofi;

   Abstract : This dissertation is a study of John Buridan's (c.1300-c.1361) conception of modalities. Modal concepts - concepts of necessity, possibility, impossibility, and contingency - describe the ways in which things could and could not be otherwise. READ MORE

5. 3. An Inferentialist Interpretation of Classical Logic

   Author : Tor Sandqvist; Krister Segerberg; Neil Tennant; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; Philosophy; Inferentialism; Excluded Middle; Classical logic; Justification of deduction; Filosofi; Philosophy subjects; Filosofiämnen; teoretisk filosofi; Theoretical Philosophy;

   Abstract : The aim of this work is to provide an account of the meanings of the standard logical operators meeting the following requirements:1) It should meet Dummettian standards of intelligibility; specifically, it should do without any notion of recognition-transcendent truth.2) It should validate Classical logic. READ MORE

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

   Author : Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
   Keywords : 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.; Religion Theology; Religionsvetenskap Teologi;

   Abstract : 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. READ MORE

7. 5. The Logic of the Exception

   Author : Klaus Kondrup Jakobsen; Sociologiska institutionen; []
   Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; Carl Schmitt; Georges Sorel; Max Weber; Carl Schmitt; Georges Sorel; Max Weber;

   Abstract : Normally, we understand democracy and dictatorship as two separate forms of government. Actually, they are intertwined due to the state of exception and its inevitability for the political constitution. READ MORE