Sökning: "kripke"
Visar resultat 1 - 5 av 10 avhandlingar innehållade ordet kripke.
1. The Normativity of Thought and Meaning
Sammanfattning : In recent years the normativity of thought and meaning has been the subject of an extensive debate. What is at issue is whether intentionality has normative features, and if so, whether that constitutes a problem for naturalistic attempts to account for intentional phenomena. LÄS MER
2. Analyticity, Necessity and Belief : Aspects of two-dimensional semantics
Sammanfattning : A glass couldn't contain water unless it contained H2O-molecules. Likewise, a man couldn't be a bachelor unless he was unmarried. Now, the latter is what we would call a conceptual or analytical truth. It's also what we would call a priori. LÄS MER
3. Knowledge Closure and Knowledge Openness : A Study of Epistemic Closure Principles
Sammanfattning : The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. LÄS MER
4. Kripke on Necessity : A Metaphysical Investigation
Sammanfattning : I undertake a metaphysical investigation of Saul Kripke's modern classic, Naming and Necessity (1980). The general problem of my study may be expressed as follows: What is the metaphysical justification of the validity and existence of the pertinent classes of truths, the necessary a posteriori and the contingent a priori, according to the Kripke Paradigm? My approach is meant to disclose the logical and ontological principles underlying Kripke's arguments for the necessary a posteriori and the contingent a priori respectively. LÄS MER
5. Incremental Learning and Testing of Reactive Systems
Sammanfattning : This thesis concerns the design, implementation and evaluation of a specification based testing architecture for reactive systems using the paradigm of learning-based testing. As part of this work we have designed, verified and implemented new incremental learning algorithms for DFA and Kripke structures. LÄS MER