Results 61 to 70 of about 2,891 (195)
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
Elpis, 2014 Érdemes-e szemantikai elméleteket kísérleti eszközökkel tesztelnünk, és ha igen, hogyan? E kérdéseket az elmúlt évtizedben kirobbant kísérleti szemantikai vitával kapcsolatban fogom megvizsgálni.
Katalin Tihanyi
doaj +1 more source
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
Enunciados necesarios a posteriori, necesidad débil y racionalismo
Ideas y Valores, 2016 Se afirma que los enunciados necesarios a posteriori, propuestos por S. Kripke, exigen una comprensión débil de la necesidad; esto quiere decir: a) existencia contingente del designatum (no existencia en toda situación contrafáctica) y b) dependencia ...
Rafael Miranda Rojas
doaj
Bisimulation for Secure Information Flow Analysis of Multi-Threaded Programs
Mathematical and Computational Applications, 2019 Preserving the confidentiality of information is a growing concern in software development. Secure information flow is intended to maintain the confidentiality of sensitive information by preventing them from flowing to attackers.
Ali A. Noroozi +2 more
doaj +1 more source
Kripke models for classical logic
Annals of Pure and Applied Logic, 2010 We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the novelty of the notion and its potential applications.
Ilik, Danko, Lee, Gyesik, Herbelin, Hugo
openaire +4 more sources
Theoria, EarlyView.ABSTRACT Contemporary epistemologists analysing knowledge take (true) propositions to be the object of knowledge. In this paper, I provide an argument for the claim that the object of knowledge is, in fact, the world. The propositions in propositional knowledge ascriptions merely describe the part of the world of which the subject is aware. Kent Bach's
Tess Dewhurst
wiley +1 more source
Computing (bi)simulation relations preserving CTL*x. for ordinary and fair Kripke structures.
Труды Института системного программирования РАН, 2007 The main goal of model checking is to verify whether a model of a given program satisfies some given specification. In this paper models are regarded as fair or ordinary Kripke structures whereas specifications are represented by formulae branching-time ...
P.E. Bulychev +2 more
doaj
Crítica, 2018 Saul Kripke’s still largely unpublished views on functionalism in the philosophy of mind are expounded on the basis of a transcript of a 1984 lecture of his on the topic, and some unresolved questions identified.
John P. Burgess
doaj +1 more source