Sökning: "quantifier analysis"

Visar resultat 1 - 5 av 7 avhandlingar innehållade orden quantifier analysis.

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

    Författare :Anders Kraal; Eberhard Herrmann; Mikael Stenmark; Simo Knuuttila; Uppsala universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; 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

  2. 2. Deflationism : A Use-Theoretic Analysis of the Truth-Predicate

    Författare :Arvid Båve; Peter Pagin; Panu Raatikainen; Stockholms universitet; []
    Nyckelord :HUMANITIES; HUMANIORA; 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

  3. 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

  4. 4. On Verification of Switched Systems using Abstractions

    Författare :Valur Einarsson; Linköpings universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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

  5. 5. Model Checking Methods for Mode Switching Systems

    Författare :Valur Einarsson; Linköpings universitet; []
    Nyckelord :ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; 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