Gebruikersprofielen voor "Kripke, S. "
 | Saul A. KripkeFormer Distinguished Professor of Philosophy and Computer Science, CUNY Graduate … Geverifieerd e-mailadres voor gc.cuny.edu Geciteerd door 43687 |
[BOEK][B] Naming and necessity
SA Kripke - 1980 - books.google.com
If there is such a thing as essential reading in metaphysics or in philosophy of language, this
is it. Ever since the publication of its original version, Naming and Necessity has had great …
is it. Ever since the publication of its original version, Naming and Necessity has had great …
[BOEK][B] Wittgenstein on rules and private language: An elementary exposition
SA Kripke - 1982 - books.google.com
Page 1 WITTGENSTEIN ON RULES AND PRIVATE LANGUAGE Saul A. Kripke Page 2 Page 3
Wittgenstein on Rules and Private Language This One QBG3-35H-3WQ2 Page 4 Page 5 SAUL …
Wittgenstein on Rules and Private Language This One QBG3-35H-3WQ2 Page 4 Page 5 SAUL …
[PDF][PDF] Semantical analysis of modal logic i normal modal propositional calculi
SA Kripke - Mathematical Logic Quarterly, 1963 - people.irisa.fr
It is known (see the appendix to [4]) that S4 plus the BRouwERsche axiom is equivalent to
S5. The present paper will make it clear that this theorem is essentially equivalent to one …
S5. The present paper will make it clear that this theorem is essentially equivalent to one …
Outline of a theory of truth
S Kripke - The journal of philosophy, 1975 - JSTOR
6RUTH 69I of itself" that it satisfies Q (x). If Q (x) is the predicate''is false', the Liar paradox
results. As an example, let P (x) abbreviate the predicate'has tokens printed in copies of the …
results. As an example, let P (x) abbreviate the predicate'has tokens printed in copies of the …
A completeness theorem in modal logic1
SA Kripke - The journal of symbolic logic, 1959 - cambridge.org
The present paper attempts to state and prove a completeness theorem for the system S5 of
[1], supplemented by first-order quantifiers and the sign of equality. We assume that we …
[1], supplemented by first-order quantifiers and the sign of equality. We assume that we …
SPEAKER'S REFERENCE and SEMANTIC REFERENCE 1
S Kripke - Midwest studies in philosophy, 1977 - Wiley Online Library
“Reference and Definite Descriptions,”’but the interest-to me-of the contrast mentioned in
my title goes beyond Donnellan’s paper: I think it is of considerable constructive as well as …
my title goes beyond Donnellan’s paper: I think it is of considerable constructive as well as …
Semantical analysis of intuitionistic logic I
SA Kripke - Studies in Logic and the Foundations of Mathematics, 1965 - Elsevier
Publisher Summary The chapter discusses a semantical analysis of intuitionistic logic I. The
chapter presents a semantical model theory for Heyting's intuitionist predicate logic and …
chapter presents a semantical model theory for Heyting's intuitionist predicate logic and …
Identity and necessity
S Kripke, MK Munitz - 1971, 1971 - books.google.com
A problem which has arisen frequently in contemporary philosophy is:" How are contingent
identity statements possible?" This question is phrased by analogy with the way Kant …
identity statements possible?" This question is phrased by analogy with the way Kant …
Semantical considerations on modal logic
SA Kripke - Acta philosophica fennica, 1963 - philpapers.org
Saul Kripke, Semantical Considerations on Modal Logic - PhilPapers Sign in | Create an
account PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax …
account PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax …
A puzzle about belief
SA Kripke - Meaning and Use: Papers Presented at the Second …, 1979 - Springer
In this paper I will present a puzzle about names and belief. A moral or two will be drawn
about some other arguments that have occasionally been advanced in this area, but my main …
about some other arguments that have occasionally been advanced in this area, but my main …