Haim Gaifman (gaifman-h)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Gaifman, Haim. 1967. “Uniform Extension Operators for Models and their Applications.” in Sets, Models and Recursion Theory (Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965), edited by John Newsome Crossley, pp. 122–155. Studies in Logic and the Foundations of Mathematics n. 46. Amsterdam: North-Holland Publishing Co.
Gaifman, Haim. 1970. “On Local Arithmetical Functions and Their Application for Constructing Types of Peano’s Arithmetic.” in Mathematical Logic and Foundations of Set Theory. Proceedings of an International Colloquium Held Under the Auspices of the Israel Academy of Sciences and Humanities, Jerusale, 11-14 November 1968, edited by Yehoshua Bar-Hillel, pp. 105–121. Studies in Logic and the Foundations of Mathematics n. 59. Amsterdam: North-Holland Publishing Co.
Gaifman, Haim. 1971. “Applications of De Finetti’s Theorem to Inductive Logic.” in Studies in Inductive Logic and Probability, volume I, edited by Rudolf Carnap and Richard C. Jeffrey, pp. 235–251. Berkeley, California: University of California Press.
Gaifman, Haim. 1974a. “Operations on Relational Structures, Functors and Classes. I.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 20–40. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
Gaifman, Haim. 1974b. “Elementary Embeddings of Models of Set-Theory and Certain Subtheories.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 33–102. Proceedings of Symposia in Pure Mathematics n. 13.2. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium held at the University of California, Los Angeles, July 10 – August 5, 1967.
Gaifman, Haim. 1983. “Paradoxes of Infinity and Self-Applications, I.” Erkenntnis 20: 131–155.
Gaifman, Haim. 1984. “Why Language?” in Reduction in Science. Structure, Examples, Philosophical Problems, edited by Wolfgang Balzer, David A. Pearce, and Heinz-Jürgen Schmidt, pp. 319–330. Synthese Library n. 175. Dordrecht: D. Reidel Publishing Co.
Gaifman, Haim. 1985. “On Inductive Support and Some Recent Tricks.” Erkenntnis 22(1–3): 5–21. Reprinted in Essler, Putnam and Stegmüller (1985, 5–21).
Gaifman, Haim. 1986a. “A Theory of Higher Order Probabilities.” in TARK 1986. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the First Conference, edited by Joseph Y. Halpern, pp. 275–292. San Francisco, California: Morgan Kaufmann Publishers. Reprinted in Skyrms and Harper (1988, 191–220), http://www.tark.org/proceedings/tark_mar19_86/proceedings.html.
Gaifman, Haim. 1986b. “Towards a Unified Concept of Probability.” in Logic, Methodology, and Philosophy of Science VII: Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983, edited by Ruth Barcan Marcus, Georg J. W. Dorn, and Paul Weingartner, pp. 319–350. Studies in Logic and the Foundations of Mathematics n. 114. Amsterdam: North-Holland Publishing Co.
Gaifman, Haim. 1986c. “On the Empirical Application of Mathematics: A Comment [on Körner (1986)].” in The Kaleidoscope of Science. The Israel Colloquium: Studies in History, Philosophy, and Sociology of Science. Volume 1, edited by Edna Ullmann-Margalit, pp. 13–16. Boston Studies in the Philosophy of Science n. 94. Dordrecht: D. Reidel Publishing Co.
Gaifman, Haim. 1988. “Operational Pointer Semantics: Solution to Self-Referential Puzzles I.” in TARK 1988. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Second Conference, edited by Moshe Y. Vardi, pp. 43–59. San Francisco, California: Morgan Kaufmann Publishers.
Gaifman, Haim. 1989. “Modelling Concurrency by Partial Orders and Nonlinear Transition Systems.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 467–488. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Gaifman, Haim. 1992. “Pointers to Truth.” The Journal of Philosophy 89(5): 223–262.
Gaifman, Haim. 1996. “Is the ‘Bottom-Up’ Approach from the Theory of Meaning to Metaphysics Possible?” The Journal of Philosophy 93(8): 373–407.
Gaifman, Haim. 2000a. “What Gödel’s Incompleteness Result Does and Does Not Show.” The Journal of Philosophy 97(8): 462–470.
Gaifman, Haim. 2000b. “Pointers to Propositions.” in Circularity, Definition, and Truth, edited by André Chapuis and Anil Gupta, pp. 79–122. New Delhi: Indian Council of Philosophical Research.
Gaifman, Haim. 2002. “Vagueness, Tolerance and Contextual Logic.” Unpublished manuscript, Philosophy Department, Columbia University.
Gaifman, Haim. 2008. “Contextual Logic with Modalities for Time and Space.” The Review of Symbolic Logic 1(4): 433–458.
Gaifman, Haim. 2011. “Erratum to Gaifman (2002).” Synthese 179(3): 501–502.
Gaifman, Haim. 2012a. “On Ontology and Realism in Mathematics.” The Review of Symbolic Logic 5(3): 480–512.
Gaifman, Haim. 2012b. “Deceptive Updating and Minimal Information Methods.” Synthese 187(1): 147–178.

Further References

Essler, Wilhelm K., Putnam, Hilary and Stegmüller, Wolfgang, eds. 1985. Methodology, Epistemology, and Philosophy of Science. Essays in Honour of Carl G. Hempel on the Occasion of His 80th Birthday, January 8th 1985. Dordrecht: D. Reidel Publishing Co.
Körner, Stephan. 1986. “On the Empirical Application of Mathematics and Some of its Philosophical Aspects.” in The Kaleidoscope of Science. The Israel Colloquium: Studies in History, Philosophy, and Sociology of Science. Volume 1, edited by Edna Ullmann-Margalit, pp. 1–12. Boston Studies in the Philosophy of Science n. 94. Dordrecht: D. Reidel Publishing Co.
Skyrms, Brian and Harper, William L., eds. 1988. Causation, Chance, and Credence. Proceedings of the Irvine Conference on Probability and Causation, vol. 1. The University of Western Ontario Series in Philosophy of Science n. 41. Dordrecht: Kluwer Academic Publishers, doi:10.1007/978-94-009-2863-3.