Sökning: "kripke"

Visar resultat 1 - 5 av 10 avhandlingar innehållade ordet kripke.

  1. 1. The Normativity of Thought and Meaning

    Författare :Karl Karlander; Peter Pagin; Anandi Hattiangadi; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; meaning; normativity; Kripke; Wittgenstein; Boghossian; doxastic voluntarism; Toxin paradox; rationality; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    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

  3. 2. Analyticity, Necessity and Belief : Aspects of two-dimensional semantics

    Författare :Eric Johannesson; Peter Pagin; Dag Westerståhl; Graeme Forbes; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; two-dimensional semantics; quantified modal logic; propositional attitudes; belief ascriptions; Kripke; descriptivism; necessity; apriority; analyticity; Theoretical Philosophy; teoretisk filosofi;

    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

  4. 3. Knowledge Closure and Knowledge Openness : A Study of Epistemic Closure Principles

    Författare :Levi Spectre; Peter Pagin; Åsa Wikforss; Stewart Cohen; Stockholms universitet; []
    Nyckelord :HUMANIORA; HUMANITIES; knowledge; principle of epistemic closure; knowledge openness; evidence; epistemic principles; skepticism; fallibilism; principles of evidence; evidence openness; dogmatism; safety; chance; Bayesianism; Carnap; Cohen; Dretske; Hawthorne; Hempel; Kripke; Nozick; Pagin; Vogel; Williamson; Theoretical philosophy; Teoretisk filosofi; Theoretical Philosophy; teoretisk filosofi;

    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

  5. 4. Kripke on Necessity : A Metaphysical Investigation

    Författare :Kyriakos Theodoridis; Teoretisk filosofi; []
    Nyckelord :HUMANIORA; HUMANITIES; ethics; Systematic philosophy; conceivability; mereological identity; ontological character; identity; possible worlds; actuality; properties; ontology; object; contingency; apriori; Metaphysical; epistemic; aesthetics; metaphysics; epistemology; ideology; Systematisk filosofi; etik; estetik; metafysik; kunskapsteori; ideologi; Philosophical logic; Filosofisk logik; logik;

    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

  7. 5. Incremental Learning and Testing of Reactive Systems

    Författare :Muddassar Sindhu; Karl Meinke; Bengt Jonsson; KTH; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Incremental learning; software testing; specification based testing; reactive systems; model checking; Computer science; Datalogi;

    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