Search for dissertations about: "Philosophical logic"

Showing result 1 - 5 of 26 swedish dissertations containing the words Philosophical logic.

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

    University dissertation from Stockholm : Department of Philosophy, Stockholm University

    Author : Daniel Rönnedal; Stockholms universitet.; [2012]
    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

  2. 2. An Inferentialist Interpretation of Classical Logic

    University dissertation from Uppsala : Filosofiska institutionen

    Author : Tor Sandqvist; Uppsala universitet.; [2005]
    Keywords : HUMANIORA; HUMANITIES; Philosophy; Inferentialism; Excluded Middle; Classical logic; Justification of deduction; HUMANITIES and RELIGION History and philosophy subjects Philosophy subjects; HUMANIORA och RELIGIONSVETENSKAP Historisk-filosofiska ämnen 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

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

    University dissertation from Uppsala : Teologiska institutionen

    Author : Anders Kraal; Uppsala universitet.; [2010]
    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.; HUMANITIES and RELIGION Religion Theology; HUMANIORA och RELIGIONSVETENSKAP 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

  4. 4. The Logic of the Exception

    University dissertation from Lund University (Media-Tryck)

    Author : Klaus Kondrup Jakobsen; Lund University.; Lunds universitet.; [2008]
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES; 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

  5. 5. Truth and Proof in the Long Run: Essays on Trial and-Error Logics

    University dissertation from Göteborg : Acta Universitatis Gothoburgensis

    Author : Martin Kaså; Göteborgs universitet.; Gothenburg University.; [2017]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; HUMANIORA; HUMANITIES; convergence; dynamic meaning; experimental logics; knowable consistency; tableaux systems; trial-and-error;

    Abstract : The theme of this book is convergence. For many philosophical representations of the evolution of theories, as well as representations of the meaning of the language used to express these theories, it has been essential that there exists some kind of convergence. READ MORE