Filters








243 Hits in 2.3 sec

Page 3132 of Mathematical Reviews Vol. , Issue 2000e [page]

2000 Mathematical Reviews  
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.  ... 

Page 4934 of Mathematical Reviews Vol. , Issue 94i [page]

1994 Mathematical Reviews  
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.  ... 

Forty Years Later: Naming Without Necessity, Necessity Without Naming 1

Joseph Almog
2021 Theoria  
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

Knowledge and Certainties in the Epistemic State of Nature

Martin Kusch
2011 Episteme: A journal of individual and social epistemology  
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

Binding bound variables in epistemic contexts

Brian Rabern
2018 Inquiry (Oslo)  
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

Page 633 of Mathematical Reviews Vol. , Issue 95b [page]

1995 Mathematical Reviews  
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.  ... 

Intelligence and Reference [chapter]

Gianfranco Basti
2013 Computing Nature  
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

Essencialismo, referência e o A posteriori necessário

Mihai Rusu
2011 Filosofia Unisinos  
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

Page 1233 of Mathematical Reviews Vol. , Issue 92c [page]

1992 Mathematical Reviews  
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.  ... 

Two notions of metaphysical modality

Antonella Mallozzi
2018 Synthese  
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

On intuitions about proper names

Gergely Pethő
2005 Acta Linguistica Hungarica  
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

HOW TO EXPRESS SELF-REFERENTIAL PROBABILITY. A KRIPKEAN PROPOSAL

CATRIN CAMPBELL-MOORE
2015 The Review of Symbolic Logic  
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

Naming and Asserting [chapter]

Scott Soames
2005 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

Using Conceptual Graphs to Represent Agent Semantic Constituents [chapter]

Lois W. Harper, Harry S. Delugach
2004 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

Foreword: Three-valued logics and their applications

Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij
2014 Journal of Applied Non-Classical Logics  
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