Sökning: "quantifier analysis"
Visar resultat 1 - 5 av 7 avhandlingar innehållade orden quantifier analysis.
1. First-Order Logic and Classical Theism : Toward Logical Reorientation
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. Deflationism : A Use-Theoretic Analysis of the Truth-Predicate
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. Konzeptuelle Struktur und materielle Manifestation : Nominale Part-Whole-Konstruktionen aus einer typologischen Perspektive
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. On Verification of Switched Systems using Abstractions
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. Model Checking Methods for Mode Switching Systems
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