Avancerad sökning

Visar resultat 1 - 5 av 7 avhandlingar som matchar ovanstående sökkriterier.

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

   Författare :Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
   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.; Religion Theology; 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. Deflationism : A Use-Theoretic Analysis of the Truth-Predicate

   Författare :Arvid Båve; Peter Pagin; Panu Raatikainen; Stockholms universitet; []
   Nyckelord :HUMANIORA; HUMANITIES; truth; deflationism; disquotationalism; proposition; use-theory; semantics; nominalism; inferentialism; assertibility; that-clause; singular term; Tarski; Horwich; Field; meaning; Philosophy subjects; Filosofiämnen;

   Sammanfattning : I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. LÄS MER

4. 3. Konzeptuelle Struktur und materielle Manifestation : Nominale Part-Whole-Konstruktionen aus einer typologischen Perspektive

   Författare :Daniel Ormelius; Tyska; []
   Nyckelord :HUMANIORA; HUMANITIES; typological patterns; spatial representations; conceptual structures; morphosyntactic structures; ‘part-whole’ constructions; boundedness; internal structure; quantification; referentiality; quantifier phrase; noun phrase; determiner phrase; German language and literatur; Tyska språk och litteratur ;

   Sammanfattning : The aim of this thesis is to investigate the relation between intrasubjective mental representations – ‘conceptual structures’ – and their intersubjectively available material manifestation, in particular morphosyntactic representations. Such an investigation presupposes the analysis of not only extralinguistically established modules but also of structural levels that are inherent components of the language system. LÄS MER

5. 4. On Verification of Switched Systems using Abstractions

   Författare :Valur Einarsson; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. LÄS MER

7. 5. Model Checking Methods for Mode Switching Systems

   Författare :Valur Einarsson; Linköpings universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

   Sammanfattning : This thesis deals with modeling and analysis of a special class of hybrid systems, i.e., systems displaying behavior of both continuous and discrete nature. LÄS MER