Search for dissertations about: "logical truth"

Showing result 1 - 5 of 13 swedish dissertations containing the words logical truth.

2. 1. 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

4. 2. Truth, Grounding & Dependence

   Author : Robin Stenwall; Teoretisk filosofi; []
   Keywords : HUMANIORA; HUMANITIES; Truthmaking; Grounding; Ontological dependence; Propositions; Necessitarianism; Natural kinds.;

   Abstract : The subjects of this thesis are (as indicated by the title) truth, grounding and dependence. The thesis consists of an introduction and five free-standing essays. The purpose of the introduction is not merely to summarize the papers, but to provide a general background to the discussions in the essays. READ MORE

5. 3. Fundamentals and logical foundations of truth maintenance

   Author : Michael Reinfrank; Linköpings universitet; []
   Keywords : NATURVETENSKAP; NATURAL SCIENCES;

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

6. 4. Rationality and Cultural Understanding

   Author : Tove Österman; Sören Stenlund; Pär Segerdahl; David Cockburn; Uppsala universitet; []
   Keywords : HUMANIORA; HUMANITIES; rationality; relativism; logic; understanding; morality; truth; culture; context; Davidson; MacIntyre; Winch.; Theoretical philosophy; Teoretisk filosofi;

   Abstract : In this dissertation I criticize a common conception of rationality prevalent in analytic philosophy. Rationality is here often seen as a purely cognitive, inner phenomenon which is static and universal, detached from any moral or cultural aspects of human life. READ MORE

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

   Author : Martin Kaså; Göteborgs universitet; []
   Keywords : HUMANIORA; HUMANITIES; NATURVETENSKAP; NATURAL SCIENCES; 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