The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
possible worlds semantics (the so-called possible models approach). ... Summary: “In this paper the semantics of uncertainty is con- structed, and its characteristics are investigated. ...
In this pa- per, we present a system with built-in axioms for reasoning about higher-order uncertainty. ... We present axiomatic and LDS-style proof theories and semantics for the logic, with soundness and completeness results. ...
designation" (C) gives treatment of de re modality without any use of possible worlds, essences, concepts, rigid designators (D) it argues an ultimate asymmetry-naming/referring is a key real notion of semantics ... Kripke's designation semantics, like Carnap's before him, has but one frame viz. the intra-semantical apparatus of designation in the possible worlds model theory. ... The semantics is not to be confused with a model theory of possible worlds designed for model theoretic validity for modal logics. ...doi:10.1111/theo.12361 fatcat:vifwil4gvvckdkin27mpdcvd7q
But it can do so only if Craig's traditional commitment to a central "core" in our concept of knowledge is replaced with the idea ofknowledgeas a family-resemblance concept. ... Katz acknowl edges that his distinction is merely a semantic differentiation of degree in saying, the model of community permits the consideration of both intrinsic and instrumental value to a greater ... Because this non-contingent claim is known aposteriori it involves an element of uncertainty. ...doi:10.3366/epi.2011.0003 fatcat:d52j2ckzerfzfmbmwgxu7aez44
Since we are only concerned with the model-theoretic semantics-not with certain metaphysical commitments-we will follow the advice of Schwarz (2012), who says: . . . we should dissociate counterpart semantics ... The background to much of Kripke's work in this area concerns issues in the model-theoretic semantics for modal logic, especially quantified modal logic and the forceful Quinean objections to such an enterprise ...doi:10.1080/0020174x.2018.1470568 fatcat:nodlb2c52nevjhim5u363zzwa4
The semantics of QML is based on Kripke’s conception of possible worlds. Models and fundamental properties such as satisfiability and validity in a model are defined. ... %-logics is proved with respect to models in which all worlds are named. ...
and cognitive intelligence, as far as it is formalized in the appropriate ontological interpretation of the modal calculus (formal ontology), can suggest a solution of the reference problem that formal semantics ... descriptive" (Frege) and the "causal" (Kripke) theory of reference, can be implemented only in a particular class of self-organizing dynamic systems, i.e., the dissipative chaotic systems characterizing the "semantic ... The epistemic logic: concerned with what is "science or opinion", where the modal operators have the basic meaning of "certainty/uncertainty". ...doi:10.1007/978-3-642-37225-4_8 fatcat:c7kdxne6snegpmmpfxvpq4npsi
This paper elaborates on the epistemological incongruencies and shortcomings identifi ed in Kripke's view on reference. ... I question the consistency of Kripke's notion of a posteriori necessity and show that all purported examples of necessary a posteriori truth are in principle amenable to a priori knowledge. ... and ubiquitous uncertainty, is already supposed in Kripke's second route. ...doi:10.4013/fsu.2011.123.01 fatcat:5sgzsdr355d6djnih6epv5unxu
The semantics of these logics is given by Kripke models augmented by a metric measur- ing a distance between possible worlds which is used to define the semantics of the com-operator. ... A new attempt to classify the numerous models of fuzzy ‘if... then’ rules from a semantic point of view is presented. ...
The paper explores the project of an ambitious modal epistemology that attempts to combine the a priori methods of Chalmers' 2D semantics with Kripke's modal metaphysics. ... Furthermore, empirical investigation combined with Kripke's necessity-generating principles (i.e., the necessity of identity, the necessity of origin, of kind-membership, and of substance composition) ... So, even once we know how things have actually turned out, we can still make sense of those epistemic possibilities and model them by means of a suitable world-semantics. ...doi:10.1007/s11229-018-1702-2 fatcat:3d5nvqi2bbd35pfifpskp6bcwq
They arrived at the conclusion that the way most respondents used proper names is not compatible with the causalhistorical theory of proper names as advocated by Kripke. ... Interim conclusions From the three points made in the previous sections, it should have become clear that although the text for the experiment was exactly modeled on Kripke's Gödel thought experiment, ... I would like to thank László Nemes for sharing the results with me. scrutinize this opinion by basically transforming Kripke's thought experiments into real experiments. ...doi:10.1556/aling.52.2005.2-3.6 fatcat:hqblicw4qvaz3puhdci4ktje3e
We develop a corresponding axiomatic theory and show by a canonical model construction that it is complete in the presence of theω-rule. ... AbstractWe present a semantics for a language that includes sentences that can talk about their own probabilities. ... This is common when working with Kripke's theory. ...doi:10.1017/s1755020315000118 fatcat:uzijfbatbzfh3kmtibj25q5ebi
Semantics versus Pragmatics
However, this is not how things turn out in Bob's 2D model. ... The key to this not-too-ambitious form of two-dimensionalism is its fidelity to Kripke's insight that we understand possibilities in terms of the objects and properties we find in the world. ... Standardly, when agents understand S, the utterance will count as an assertion of the proposition p that S semantically expresses, provided that uncertainty about which world-state obtains doesn't prevent ...doi:10.1093/acprof:oso/9780199251520.003.0010 fatcat:cw6xxvmik5dm7naomoia6odkje
Lecture Notes in Computer Science
This paper develops two agent knowledge bases in conceptual graph form, one using the KD45 underlying logical model for belief and one without any underlying logical model for belief. ... Conceptual graphs are a flexible and extendable form of knowledge representation that is used to capture and represent semantic constituents of communications in a form that may be used by software agents ... Kripke's insight was to show that these accessibility relations correspond to these formulas. ...doi:10.1007/978-3-540-27769-9_22 fatcat:fet64bk6mbb3rhwffyiql7jcse
Tin Perkov presents a semantics combining 4-valued logics with a Kripke-style semantics for intuitionistic logic, allowing him to characterize both classical validities and intuitionistic validities in ... In her paper, Katrin Schulz too considers an extension of Stenning and van Lambalgen's approach to deal with nonmonotonicity and with the semantics of counterfactual conditionals more generally. ...doi:10.1080/11663081.2014.909631 fatcat:da6igydlr5ehbhwxhxd6vp32tm
« Previous Showing results 1 — 15 out of 243 results