|
|
BIBLIOGRAFIA
DI SAUL
KRIPKE
redatta da Paolo
Casalegno e gentilmente concessa al Quaderno dall'autore
|
- "A Completeness Theorem in Modal Logic",
in The Journal of Symbolic Logic, 24 (1959), pp.1-14.
- "Distinguished Constituents" (abstract),
in The Journal of Symbolic Logic, 24 (1959), p.323.
- "Semantical Analysis of Modal Logic" (abstract),
in The Journal of Symbolic Logic, 24 (1959), pp.323-324.
- "The Problem of Entailment" (abstract), in
The Journal of Symbolic Logic, 24 (1959), p.324.
- "'Flexible' Predicates of Formal Number Theory",
in Proceedings of the American Mathematical Society,
13 (1962), pp.647-650.
- "The Undecidability of Monadic Modal Quantification
Theory", in Zeitschrift für mathematische Logik und Grundlagen
der Mathematik, 8 (1962), pp.113-116.
- Remarks in "Discussion" (with R. Barcan,
W. V. Quine et al.), in Boston Studies in the Philosophy
of Science 1961-1962 (M. Wartofsky ed.), Reidel, Dordrecht
1963, pp.105-116.
- "Semantical Analysis of Modal Logic I. Normal
Modal Propositional Calculi", in Zeitschrift für mathematische
Logik und Grundlagen der Mathematik, 9 (1963), pp.67-96.
- "Semantical Considerations on Modal and Intuitionistic
Logic", in Acta Philosophica Fennica, 16 (1963), pp.83-94.
- "Transfinite Recursion on Admissible Ordinals
I" (abstract), in The Journal of Symbolic Logic, 29
(1964), p.161.
- "Transfinite Recursion on Admissible Ordinals
II" (abstract), in The Journal of Symbolic Logic, 29
(1964), pp.161-162.
- "Admissible Ordinals and the Analytic Hierarchy"
(abstract), in The Journal of Symbolic Logic, 29 (1964),
p.162.
- "Semantical Analysis of Intuitionistic Logic
I", in Formal Systems and Recursive Functions (J. Crossley,
M. Dummett eds.), North-Holland, Amsterdam 1965, pp.92-129.
- "Semantical Analysis of Modal Logic II. Non-normal
Modal Propositional Calculi", in The Theory of Models
(J. Addison, L. Henkin, A. Tarski eds.), North-Holland, Amsterdam
1965, pp.206-220.
- (with M. B. Pour-El) "Deduction Preserving
'Recursive Isomorphisms' Between Theories", in Bulletin
of the American Mathematical Society, 73 (1967), pp.145-148.
- "An Extension of a Theorem of Gaifman-Hales-Solovay",
in Fundamenta Mathematicae, 61 (1967), pp.29-32.
- (with M. B. Pour-El) "Deduction Preserving
'Recursive Isomorphisms' Between Theories", in Fundamenta
Mathematicae, 61 (1967), pp.141-163.
- Review of E. J. Lemmon's "Algebraic Semantics
for Modal Logic" [Journal of Symbolic Logic, 31 (1966)],
in Mathematical Review, 24 (1967), pp. 1021-1022.
- "Identity and Necessity", in Identity
and Individuation (M. Munitz ed.), New York University
Press, New York 1971, pp.259-294.
- "Naming and Necessity", in Semantics of
Natural Language (D. Davidson, G. Harman eds.), Reidel,
Dordrecht 1972, pp.253-355, 762-769.
- Remarks in "First General Discussion" and
"Second General Discussion", in Synthese, 27 (1974),
pp.471-508 e 509-521.
- "A Theory of Truth I" (abstract), in The
Journal of Symbolic Logic, 41 (1974), p.556.
- "A Theory of Truth II" (abstract), in The
Journal of Symbolic Logic, 41 (1974), pp.556-557.
- "Outline of a Theory of Truth", in The
Journal of Philosophy, 72 (1975), pp.690-716.
- "Is There a Problem About Substitutional
Quantification?", in Truth and Meaning (J. McDowell,
G. Evans eds.), Oxford University press, Oxford 1976, pp.325-419.
- "Speaker's Reference and Semantic Reference",
in Studies in the Philosophy of Language (P. A. French,
T. E. Uehling, H. K.Wettstein eds.), University of Minnesota
Press, Minneapolis 1977, pp. 6-27.
- "A Puzzle About Belief", in Meaning and
Use (A. Margalit ed.), Reidel, Dordrecht 1979, pp.239-283.
- Naming and Necessity, Blackwell, Oxford
1980.
- "Wittgenstein on Rules and Private Language",
in Perspectives on the Philosophy of Wittgenstein (I.
Block ed.), Blackwell, Oxford 1981, pp.238-312.
- Wittgenstein on Rules and Private Language.
An Elementary Exposition, Blackwell, Oxford 1982.
- (with S. Kochen), "Nonstandard Models of
Peano Arithmetic", in Enseignement Mathematique, ser.2,
28 (1982), pp.211-231.
- Review of K. Fine's "Model Theory for Modal
Logic, parts I, II, III" [Journal of Philosophical Logic,
7 (1978) e 10 (1981)], in The Journal of Symbolic Logic
, 50 (1985), pp.1083-1093.
Letteratura
secondaria:
|
|
