Solomon Feferman (feferman-s)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Aczel, Peter and Feferman, Solomon. 1980. “Consistency of the Unrestricted Abstraction Principle using an Intensional Equivalence Operator.” in To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism, edited by Jonathan P. Seldin and J. Roger Hindley, pp. 67–98. New York: Academic Press.
Avigad, Jeremy D. and Feferman, Solomon. 1998. “Gödel’s Functional (‘Dialectica’) Interpretation.” in Handbook of Proof Theory, edited by Samuel R. Buss, pp. 337–405. Studies in Logic and the Foundations of Mathematics n. 137. Amsterdam: Elsevier Science Publishers B.V.
Barwise, Jon K. and Feferman, Solomon, eds. 1985. Model-Theoretic Logics. Perspectives in Mathematical Logic. Berlin: Springer.
Burdman Feferman, Anita and Feferman, Solomon. 2004. Alfred Tarski: Life and Logic. Cambridge: Cambridge University Press.
Feferman, Solomon. 1957. “Degrees of Unsolvability Associated with Classes of Formalized Theories.” The Journal of Symbolic Logic 22: 161–175.
Feferman, Solomon. 1959. “Nonrecursiveness of Sentences Closed Under Direct Product.” Notices of the American Mathematical Society 6: 619.
Feferman, Solomon. 1962. “Transfinite Recursive Progressions of Axiomatic Theories.” The Journal of Symbolic Logic 27(3): 259–316, doi:10.2307/2964649.
Feferman, Solomon. 1964a. The Number Systems: Foundations of algebra and analysis. Addison-Wesley series in mathematics. Reading, Massachusetts: Addison-Wesley.
Feferman, Solomon. 1964b. “Systems of Predicative Analysis.” The Journal of Symbolic Logic 29: 1–30.
Feferman, Solomon. 1968. “Autonomous Transfinite Progressions and the Extent of Predicative Mathematics.” in Logic, Methodology and Philosophy of Science III: Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by Bob van Rootselaar and Johan Frederik [Frits] Staal, pp. 121–135. Studies in Logic and the Foundations of Mathematics n. 52. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1970a. “Hereditarily Replete Functionals over the Ordinals.” 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. 289–301. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1970b. “Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis.” 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. 303–326. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1974a. “Predicatively Reducible Systems of Set Theory.” in Axiomatic Set Theory, edited by Thomas J. Jech, pp. 11–32. 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.
Feferman, Solomon. 1974b. “Applications of Many-Sorted Interpolation Theorems.” 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. 205–224. 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.
Feferman, Solomon. 1975. “A Language and Axioms for Explicit Mathematics.” in Algebra and Logic, edited by John Newsome Crossley, pp. 87–139. Lecture Notes in Mathematics n. 450. Berlin: Springer.
Feferman, Solomon. 1977a. “Inductive Schemata and Recursively Continuous Functionals.” in Logic Colloquium ’76, edited by Robin O. Gandy and J. M. E. Hyland, pp. 373–392. Studies in Logic and the Foundations of Mathematics n. 87. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1977b. “Theories of Finite Type Related to Mathematical Practice.” in Handbook of Mathematical Logic, edited by Jon K. Barwise, pp. 913–972. Studies in Logic and the Foundations of Mathematics n. 90. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1977c. “Categorical Foundations and Foundations of Category Theory.” in Logic, Foundations of Mathematics, and Computability Theory. Part One of the Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975, edited by Robert E. Butts and Jaakko Hintikka, pp. 149–169. The University of Western Ontario Series in Philosophy of Science n. 9. Dordrecht: D. Reidel Publishing Co.
Feferman, Solomon. 1979a. “Constructive Theories of Functions and Classes.” in Logic Colloquium ’78, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, pp. 159–224. Studies in Logic and the Foundations of Mathematics n. 97. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1979b. “What does Logic Have to Tell Us about Mathematical Proofs?” Mathematical Intelligencer 2: 20–24. Reprinted in Feferman (1998a, 177–186).
Feferman, Solomon. 1979c. “Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets.” in, pp. 171–196.
Feferman, Solomon. 1981. “The Logic of Mathematical Discovery versus the Logical Structure of Mathematics.” in PSA 1978: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Part II: Symposium Papers, edited by Peter D. Asquith and Ian Hacking, pp. 309–327. East Lansing, Michigan: Philosophy of Science Association. Reprinted in Feferman (1998a, 77–93).
Feferman, Solomon. 1982. “Monotone Inductive Definitions.” in The L.E.J. Brouwer Centenary Sympsoium, Proceedings of the Conference held in Noordwijkerhout, 8-13 June 1981, edited by Anne Sjerp Troelstra and Dirk van Dalen, pp. 77–89. Studies in Logic and the Foundations of Mathematics n. 110. Amsterdam: North-Holland Publishing Co.
Feferman, Solomon. 1984a. “Foundational Ways.” in Perspectives in Mathematics: Anniversary of Oberwolfach 1984, edited by Willi Jäger, Jürgen Moser, and Reinhold Remmert, pp. 147–158. Basel: Birkhäuser. Reprinted in Feferman (1998a, 94–104).
Feferman, Solomon. 1984b. “Kurt Gödel: Conviction and caution.” Philosophia Naturalis 21(2–4): 546–562. Reprinted in Feferman (1998a, 150–164).
Feferman, Solomon. 1984c. “Toward Useful Type-Free Theories I.” The Journal of Symbolic Logic 49(1): 75–111, doi:10.2307/2274093.
Feferman, Solomon. 1985. “Intensionality in Mathematics.” The Journal of Philosophical Logic 14(1): 41–55.
Feferman, Solomon. 1986a. “Gödel’s Life and Work.” in Collected Works. Volume I: Publications 1929–1936, pp. 1–36. Oxford: Oxford University Press. Reprinted in Feferman (1998a, 127–149), doi:10.1093/oso/9780195147209.001.0001.
Feferman, Solomon. 1986b. “Introductory Note to 1931c [Gödel (1931)].” in Collected Works. Volume I: Publications 1929–1936, pp. 208–212. Oxford: Oxford University Press. Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort, doi:10.1093/oso/9780195147209.001.0001.
Feferman, Solomon. 1988a. “Hilbert’s Program Relativized: Proof-Theoretical and Foundational Reductions.” The Journal of Symbolic Logic 53: 364–384.
Feferman, Solomon. 1988b. “Turing in the Land of O(z).” in The Universal Turing Machine: A Half-Century Survey, edited by Rolf Herken, 1st ed., pp. 113–147. Oxford: Oxford University Press. Second edition: Herken (1995).
Feferman, Solomon. 1989. “Infinity in Mathematics: Is Cantor Necessary?” Philosophical Topics 17(2): 23–45. Reprinted in Feferman (1998a, 28–75, 229–248).
Feferman, Solomon. 1991a. “Proofs of Termination and the ‘91’ Function.” in Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, edited by Vladimir Lifschitz, pp. 47–63. New York: Academic Press.
Feferman, Solomon. 1991b. “Reflecting on Incompleteness.” The Journal of Symbolic Logic 56(1): 1–49, doi:10.2307/2274902.
Feferman, Solomon. 1992. “Working Foundations – ‘91.” in Bridging the Gap: Philosophy, Mathematics and Physics. Lectures on the Foundations of Science, edited by Giovanna Corsi, Maria Luisa Dalla Chiara, and Giancarlo C. Ghirardi, pp. 99–124. Boston Studies in the Philosophy of Science n. 140. Dordrecht: Kluwer Academic Publishers. Reprinted in Feferman (1998a, 105–126).
Feferman, Solomon. 1993a. “What Rests on What? The Proof-Theoretic Analysis of Mathematics.” in Proceedings of the 15th International Wittgenstein Symposium: Wittgenstein’s Philosophy of Mathematics (part 1), edited by Johannes Czermak, pp. 147–171. Schriftenreihe der Österreichischen Ludwig Wittgenstein Gesellschaft n. 20/1. Wien: Hölder-Pichler-Tempsky. Reprinted with minor additions in Feferman (1998a, 187–208).
Feferman, Solomon. 1993b. “Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.” in PSA 1992: Proceedings of the Biennial Meeting of the Philosophy of Science Association, Part II: Symposium Papers, edited by David L. Hull, Micky Forbes, and Kathleen Okruhlik, pp. 442–455. East Lansing, Michigan: Philosophy of Science Association. Reprinted in Feferman (1998a, 284–298).
Feferman, Solomon. 1993c. “Gödel’s Dialectica Interpretation and Its Two-way Stretch.” in Computational Logic and Proof Theory, edited by Georg Gottlob, Alexander Leitsch, and Daniele Mundici, pp. 23–40. Lecture Notes in Computer Science n. 713. Berlin: Springer. Reprinted with minor additions in Feferman (1998a, 209–227).
Feferman, Solomon. 1994. “Finitary Inductively Presented Logics.” in What is a Logical System?, edited by Dov M. Gabbay, pp. 297–328. Oxford: Oxford University Press.
Feferman, Solomon. 1995a. “Definedness.” Erkenntnis 43: 295–320.
Feferman, Solomon. 1995b. “Introductory Note to *1933o.” in Collected Works. Volume III: Unpublished Essays and Lectures, pp. 36–44. Oxford: Oxford University Press. Reprinted in Feferman (1998a, 165–175), doi:10.1093/oso/9780195072556.003.0005.
Feferman, Solomon. 1996a. “Gödel’s Program for New Axioms: Why, Where, How and What?” in Gödel’96: Logical Foundations of Mathematics, Computer Science, and Physics–Kurt Gödel’s Legacy, edited by Petr Hájek. Berlin: Springer.
Feferman, Solomon. 1996b. “Penrose’s Gödelian Argument.” Psyche 2: 21–32.
Feferman, Solomon. 1998a. In the Light of Logic. Oxford: Oxford University Press, doi:10.1093/oso/9780195080308.001.0001.
Feferman, Solomon. 1998b. “Deciding the Undecidable: Wrestling with Hilbert’s Problems.” in In the Light of Logic, pp. 3–27. Oxford: Oxford University Press, doi:10.1093/oso/9780195080308.001.0001.
Feferman, Solomon. 1999. “Tarski and Gödel: Between the Lines.” in Alfred Tarski and the Vienna Circle – Austro-Polish Connections in Logical Empiricism, edited by Jan Woleński and Eckehart Köhler, pp. 53–64. Vienna Circle Institute Yearbook n. 6. Dordrecht: Springer.
Feferman, Solomon. 2000a. “Does Reductive Proof Theory Have a Viable Rationale?” Erkenntnis 53: 63–96.
Feferman, Solomon. 2000b. “Highlights in Proof Theory.” in Proof Theory: History and Philosophical Significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, pp. 11–34. Synthese Library n. 292. Dordrecht: Kluwer Academic Publishers.
Feferman, Solomon. 2000c. “The Significance of Weyl’s Das Kontinuum.” in Proof Theory: History and Philosophical Significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, pp. 179–194. Synthese Library n. 292. Dordrecht: Kluwer Academic Publishers.
Feferman, Solomon. 2000d. “Relationships between Constructive, Predicative and Classical Systems of Analysis.” in Proof Theory: History and Philosophical Significance, edited by Vincent F. Hendricks, Stig Andur Pedersen, and Klaus Frovin Jørgensen, pp. 221–236. Synthese Library n. 292. Dordrecht: Kluwer Academic Publishers.
Feferman, Solomon. 2003. “Alfred Tarski and a Watershed Meeting in Logic: Cornell, 1957.” in Philosophy and Logic. In Search of the Polish Tradition. Essays in Honour of Jan Woleński on the Occasion of his 60th Birthday, edited by Jaakko Hintikka, Tadeusz Czarnecki, Katarzyna Kijania-Placek, Tomasz Placek, and Artur Rojszczak, pp. 151–162. Synthese Library n. 323. Dordrecht: Kluwer Academic Publishers, doi:10.1007/978-94-017-0249-2.
Feferman, Solomon. 2004. “Typical Ambiguity: Trying to Have Your Cake and Eat It Too.” in One Hundred Years of Russell’s Paradox. Mathematics, Logic, Philosophy, edited by Godehard Link, pp. 135–152. de Gruyter Series in Logic and Its Applications n. 6. Berlin: de Gruyter.
Feferman, Solomon. 2005. “Predicativity.” in The Oxford Handbook of Philosophy of Mathematics and Logic, edited by Stewart Shapiro, pp. 590–624. Oxford Handbooks. Oxford: Oxford University Press, doi:10.1093/0195148770.001.0001.
Feferman, Solomon. 2006a. “Are there Absolutely Unsolvable Problems? Gödel’s Dichotomy.” Philosophia Mathematica 14(2): 134–152.
Feferman, Solomon. 2006b. “What Kind of Logic Is ‘Independence Friendly’ Logic?” in The Philosophy of Jaakko Hintikka, edited by Lewis Edwin Hahn and Randall E. Auxier, pp. 453–469. The Library of Living Philosophers n. 30. LaSalle, Illinois: Open Court Publishing Co.
Feferman, Solomon. 2008a. “Lieber Herr Bernays! Lieber Herr Gödel! Gödel on Finitism, Constructivity, and Hilbert’s Program.” Dialectica 62(2): 179–203.
Feferman, Solomon. 2008b. “Tarski’s Conceptual Analysis of Semantical Notions.” in New Essays on Tarski and Philosophy, edited by Douglas Eden Patterson, pp. 72–93. Oxford: Oxford University Press, doi:10.1093/acprof:oso/9780199296309.001.0001.
Feferman, Solomon. 2008c. “Axioms for Determinateness and Truth.” The Review of Symbolic Logic 1(2): 204–217.
Feferman, Solomon. 2008d. “Andrzej Mostowski: An Appreciation.” in Andrzej Mostowski and Foundational Studies, edited by Andrzej Ehrenfeucht, Wictor W. Marek, and Marian Srebrny, pp. 388–392. Amsterdam: IOS Press.
Feferman, Solomon. 2012. “And so on …: Reasoning with Infinite Diagrams.” Synthese 186(1): 371–386.
Feferman, Solomon. 2013. “About and around Computing over the Reals.” in Computability: Turing, Gödel, Church, and Beyond, edited by B. Jack Copeland, Carl J. Posy, and Oron Shagrir, pp. 55–76. Cambridge, Massachusetts: The MIT Press.
Feferman, Solomon. 2014. “Logic, Mathematics, and Conceptual Structuralism.” in The Metaphysics of Logic, edited by Penelope Rush, pp. 72–92. Cambridge: Cambridge University Press, doi:10.1017/cbo9781139626279.
Feferman, Solomon. 2015. “Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion.” in Quantifiers, Quantifiers, and Quantifiers: Themes in Logic, Metaphysics and Language, edited by Alessandro Torza, pp. 19–30. Synthese Library n. 373. Dordrecht: Springer, doi:10.1007/978-3-319-18362-6.
Feferman, Solomon. 2016. “Parsons and I: Sympathies and Differences.” The Journal of Philosophy 113(5): 234–246.
Feferman, Solomon, Friedman, Harvey M., Maddy, Penelope and Steel, John R. 2000. “Does Mathematics Need New Axioms?” The Bulletin of Symbolic Logic 6(4): 401–446.
Feferman, Solomon and Hellman, Geoffrey. 1996. “Predicative Foundations of Arithmetic.” The Journal of Philosophical Logic 25(1): 1–17.
Feferman, Solomon and Hellman, Geoffrey. 2000. “Challenges to Predicative Foundations of Arithmetic.” in Between Logic and Intuition: Essays in Honor of Charles Parsons, edited by Gila Y. Sher and Richard Tieszen, pp. 317–338. Cambridge: Cambridge University Press.
Feferman, Solomon, Parsons, Charles and Simpson, Stephen G., eds. 2010. Kurt Gödel. Essays for his Centennial. Cambridge: Cambridge University Press.
Feferman, Solomon and Sieg, Wilfried, eds. 2010. Proofs, Categories and Computations. Essays in Honor of Grigori Mints. Tributes n. 13. London: King’s College Publications.
Further References
Ewald, William Bragg, ed. 1996. From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Volume II. Oxford: Oxford University Press, doi:10.1093/oso/9780198505365.001.0001.
Gödel, Kurt. 1931. “Besprechung von Hilbert (1931).” Zentralblatt für Mathematik und ihre Grenzgebiete 1: 260. English translation in van Heijenoort (1967, 596–616); reprinted in Gödel (1986, 213/214).
Gödel, Kurt. 1986. Collected Works. Volume I: Publications 1929–1936. Oxford: Oxford University Press. Edited by Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay and Jean van Heijenoort, doi:10.1093/oso/9780195147209.001.0001.
van Heijenoort, Jan, ed. 1967. From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931. Cambridge, Massachusetts: Harvard University Press.
Hilbert, David. 1931. “Die Grundlegung der elementaren Zahlenlehre.” Mathematische Annalen 104(1): 485–494. Translated as “The Grounding of Elementary Number Theory” in Ewald (1996, 1148–1156), doi:10.1007/BF01457953.