Dana S. Scott (scott-ds)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Baaz, Matthias, Papadimitriou, Christos H., Putnam, Hilary, Scott, Dana S. and Harper, Charles L., Jr., eds. 2011. Kurt Gödel and the Foundations of Mathematics. Horizons of Truth. Cambridge: Cambridge University Press.
Gunter, Carl A. and Scott, Dana S. 1990. “Semantic Domains.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 633–676. Cambridge, Massachusetts: The MIT Press.
Myhill, John and Scott, Dana S. 1971. “Ordinal Definability.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 271–278. 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.
Peacocke, Christopher and Scott, Dana S. 1973. “A Selective Bibliography of Philosophical Logic.” Unpublished manuscript, Oxford University.
Scott, Dana S. 1959. “Dimensions in Elementary Euclidean Geometry.” in The Axiomatic Method with Special Reference to Geometry and Physics, edited by Leon Henkin, Patrick Suppes, and Alfred Tarski, pp. 53–67. Amsterdam: North-Holland Publishing Co.
Scott, Dana S. 1961. “More on the Axiom of Extensionality.” in Essays on the Foundations of Mathematics. Dedicated to A.A. Fraenkel on his Seventieth Anniversary, edited by Yehoshua Bar-Hillel, Edward Poznański, Michael O. Rabin, and Abraham Robinson, pp. 115–131. Jerusalem: The Magnes Press. Second edition: Bar-Hillel et al. (1966).
Scott, Dana S. 1962. “Quine’s Individuals.” in Logic, Methodology and Philosophy of Science I: Proceedings of the 1960 International Congress in Stanford, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, pp. 111–115. Stanford, California: Stanford University Press.
Scott, Dana S. 1964. “Measurement Models and Linear Inequalities.” Journal of Mathematical Psychology 1: 233–247.
Scott, Dana S. 1965. “Logic with Denumerably Long Formulas and Finite Strings of Quantifiers.” in The Theory of Models, edited by John West Addison, Leon Henkin, and Alfred Tarski, pp. 329–329. Amsterdam: North-Holland Publishing Co. Proceedings of the 1963 International Symposium at Berkeley.
Scott, Dana S. 1966a. “A Proof of the Independence of the Continuum Hypothesis.” Unpublished manuscript, Stanford University.
Scott, Dana S. 1967. “Existence and Description in Formal Logic.” in Bertrand Russell: Philosopher of the Century, edited by Ralph Schoenman, pp. 181–200. Boston, Massachusetts: Little, Brown; Co. Reprinted in Lambert (1991, 28–48).
Scott, Dana S. 1968a. “Formalizing Intensional Notions.” Unpublished manuscript, Stanford University.
Scott, Dana S. 1968b. “Extending the Topological Interpretation to Intuitionistic Analysis.” Compositio Mathematica 20.
Scott, Dana S. 1970a. “Advice on Modal Logic.” in Philosophical Problems in Logic: Some Recent Developments, edited by Karel Lambert, pp. 143–173. Synthese Library n. 29. Dordrecht: D. Reidel Publishing Co.
Scott, Dana S. 1970b. “Semantical Archaeology: A Parable.” Synthese 21(3–4): 399–407. Reprinted in Davidson and Harman (1972, 666–674).
Scott, Dana S. 1970c. “Extending the Topological Interpretation to Intuitionistic Analysis, II.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 235–255. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Scott, Dana S., ed. 1971. Axiomatic Set Theory. Proceedings of Symposia in Pure Mathematics n. 13.1. Providence, Rhode Island: American Mathematical Society. Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society, Held at the University of California, Los Angeles, July 10 – August 5, 1967.
Scott, Dana S. 1973a. “Models for Various Type-Free Calculi.” in Logic, Methodology and Philosophy of Science IV: Proceedings of the Fourth International Congress in Bucharest 1971, edited by Patrick Suppes, Leon Henkin, Athanase Joja, and Gr.C. Moisil, pp. 157–188. Studies in Logic and the Foundations of Mathematics n. 74. Amsterdam: North-Holland Publishing Co.
Scott, Dana S. 1973b. “Background to Formalization.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 244–273. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Scott, Dana S. 1974a. “Axiomatizing Set Theory.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 207–214. 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.
Scott, Dana S. 1974b. “Rules and Derived Rules.” in Logical Theory and Semantic Analysis: Essays Dedicated to Stig Kanger on his Fiftieth Birthday, edited by Sören Stenlund, pp. 147–162. Synthese Library n. 63. Dordrecht: D. Reidel Publishing Co.
Scott, Dana S. 1974c. “Completeness and Axiomatizability in Many-Valued Logic.” 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. 411–436. 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.
Scott, Dana S. 1975. “Lambda Calculus and Recursion Theory.” in Proceedings of the 3rd Scandinavian Logic Symposion, edited by Stig Kanger, pp. 154–193. Studies in Logic and the Foundations of Mathematics n. 82. Amsterdam: North-Holland Publishing Co.
Scott, Dana S. 1977a. “Does Many-Valued Logic Have Any Use?” in Philosophy of Logic Papers and Discussion of the 3rd Bristol Conference on Critical Philosophy, 1974, edited by Stephan Körner. Oxford: Basil Blackwell Publishers.
Scott, Dana S. 1977b. “Alternative Logics: Fact or Fiction?” Unpublished manuscript, Oxford University.
Scott, Dana S. 1979. “A Note on Distributive Normal Forms.” in Essays in Honor of Jaakko Hintikka, on the occasion of his fiftieth birthday on January 12, 1979, edited by Esa Saarinen, Risto Hilpinen, Ilkka Niiniluoto, and Merill Provence Hintikka, pp. 75–90. Synthese Library n. 124. Dordrecht: D. Reidel Publishing Co.
Scott, Dana S. 1980a. “Lambda Calculus: Some Models, Some Philosophy.” in The Kleene Symposium, edited by Jon K. Barwise, Jerome H. Keisler, and Kenneth Kunen, pp. 223–265. Studies in Logic and the Foundations of Mathematics n. 101. Amsterdam: North-Holland Publishing Co. Proceedings of the Symposium held June 18–24, 1978, at Madison, Wisconsin, U.S.A.
Scott, Dana S. 1980b. “Relating Theories of the \(\lambda\)-Calculus.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 403–450. New York: Academic Press.
Scott, Dana S. 1982. “Domains for Denotational Semantics.” Unpublished manuscript, Department of Computer Science, Carnegie Mellon University, http://www.cs.cornell.edu/home/halpern.
Scott, Dana S. 2008. “The Algebraic Interpretation of Quantifiers: Intuitionistic and Classical.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 289–312. Amsterdam: IOS Press.
Scott, Dana S., Harman, Gilbert H., Haugeland, John, McClelland, Jay and Newell, Allen. 1990. “The Computational Model of the Mind.” in Acting and Reflecting. The Interdisciplinary Turn in Philosophy, edited by Wilfried Sieg, pp. 39–56. Synthese Library n. 211. Dordrecht: D. Reidel Publishing Co.
Further References
Davidson, Donald and Harman, Gilbert H., eds. 1972. Semantics of Natural Language. Synthese Library n. 40. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-2557-7.
Lambert, Karel, ed. 1991. Philosophical Applications of Free Logic. Oxford: Oxford University Press.