149 found
Order:
  1.  88
    And so On...: Reasoning with Infinite Diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371 - 386.
    This paper presents examples of infinite diagrams (as well as infinite limits of finite diagrams) whose use is more or less essential for understanding and accepting various proofs in higher mathematics. The significance of these is discussed with respect to the thesis that every proof can be formalized, and a "pre" form of this thesis that every proof can be presented in everyday statements-only form.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  2. Does Mathematics Need New Axioms?Solomon Feferman, Harvey M. Friedman, Penelope Maddy & John R. Steel - 2000 - Bulletin of Symbolic Logic 6 (4):401-446.
    Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, and there (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  3.  8
    And so On... : Reasoning with Infinite Diagrams.Solomon Feferman - 2012 - Synthese 186 (1):371-386.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  4.  85
    Reflecting on Incompleteness.Solomon Feferman - 1991 - Journal of Symbolic Logic 56 (1):1-49.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   33 citations  
  5.  12
    In the Light of Logic.Solomon Feferman - 1998 - Oxford University Press.
    In this collection of essays written over a period of twenty years, Solomon Feferman explains advanced results in modern logic and employs them to cast light on significant problems in the foundations of mathematics. Most troubling among these is the revolutionary way in which Georg Cantor elaborated the nature of the infinite, and in doing so helped transform the face of twentieth-century mathematics. Feferman details the development of Cantorian concepts and the foundational difficulties they engendered. He argues that the freedom (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  6.  30
    Foundations of Unlimited Category Theory: What Remains to Be Done.Solomon Feferman - 2013 - Review of Symbolic Logic 6 (1):6-15.
    Following a discussion of various forms of set-theoretical foundations of category theory and the controversial question of whether category theory does or can provide an autonomous foundation of mathematics, this article concentrates on the question whether there is a foundation for or category theory. The author proposed four criteria for such some years ago. The article describes how much had previously been accomplished on one approach to meeting those criteria, then takes care of one important obstacle that had been met (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  7.  23
    Toward Useful Type-Free Theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
  8.  1
    A Language and Axioms for Explicit Mathematics.Solomon Feferman, J. N. Crossley, Maurice Boffa, Dirk van Dalen & Kenneth Mcaloon - 1984 - Journal of Symbolic Logic 49 (1):308-311.
  9. Alfred Tarski, Life and Logic.Anita Burdman Feferman & Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (4):535-540.
     
    Export citation  
     
    My bibliography   12 citations  
  10.  56
    Set-Theoretical Invariance Criteria for Logicality.Solomon Feferman - 2010 - Notre Dame Journal of Formal Logic 51 (1):3-20.
    This is a survey of work on set-theoretical invariance criteria for logicality. It begins with a review of the Tarski-Sher thesis in terms, first, of permutation invariance over a given domain and then of isomorphism invariance across domains, both characterized by McGee in terms of definability in the language L∞,∞. It continues with a review of critiques of the Tarski-Sher thesis, and a proposal in response to one of those critiques via homomorphism invariance. That has quite divergent characterization results depending (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  11. Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 1985
     
    Export citation  
     
    My bibliography   15 citations  
  12.  2
    Systems of Explicit Mathematics with Non-Constructive Μ-Operator. Part II.Solomon Feferman & Gerhard Jäger - 1996 - Annals of Pure and Applied Logic 79 (1):37-52.
    This paper is mainly concerned with proof-theoretic analysis of some second-order systems of explicit mathematics with a non-constructive minimum operator. By introducing axioms for variable types we extend our first-order theory BON to the elementary explicit type theory EET and add several forms of induction as well as axioms for μ. The principal results then state: EET plus set induction is proof-theoretically equivalent to Peano arithmetic PA <0).
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  13.  23
    Parsons and I: Sympathies and Differences.Solomon Feferman - 2016 - Journal of Philosophy 113 (5/6):234-246.
    In the first part of this article, Feferman outlines his ‘conceptual structuralism’ and emphasizes broad similarities between Parsons’s and his own structuralist perspective on mathematics. However, Feferman also notices differences and makes two critical claims about any structuralism that focuses on the “ur-structures” of natural and real numbers: it does not account for the manifold use of other important structures in modern mathematics and, correspondingly, it does not explain the ubiquity of “individual [natural or real] numbers” in that use. In (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  14.  25
    Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  15.  3
    Systems of Explicit Mathematics with Non-Constructive Μ-Operator. Part I.Solomon Feferman & Gerhard Jäger - 1993 - Annals of Pure and Applied Logic 65 (3):243-263.
    Feferman, S. and G. Jäger, Systems of explicit mathematics with non-constructive μ-operator. Part I, Annals of Pure and Applied Logic 65 243-263. This paper is mainly concerned with the proof-theoretic analysis of systems of explicit mathematics with a non-constructive minimum operator. We start off from a basic theory BON of operators and numbers and add some principles of set and formula induction on the natural numbers as well as axioms for μ. The principal results then state: BON plus set induction (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  16. Mathematical Intuition Vs. Mathematical Monsters.Solomon Feferman - 2000 - Synthese 125 (3):317-332.
    Geometrical and physical intuition, both untutored andcultivated, is ubiquitous in the research, teaching,and development of mathematics. A number ofmathematical ``monsters'', or pathological objects, havebeen produced which – according to somemathematicians – seriously challenge the reliability ofintuition. We examine several famous geometrical,topological and set-theoretical examples of suchmonsters in order to see to what extent, if at all,intuition is undermined in its everyday roles.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  17.  64
    Axioms for Determinateness and Truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.
    elaboration of the last part of my Tarski Lecture, “Truth unbound”, UC Berkeley, 3 April 2006, and of the lecture, “A nicer formal theory of non-hierarchical truth”, Workshop on Mathematical Methods in Philosophy, Banff , 18-23 Feb. 2007.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  18.  49
    Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
  19.  6
    The Unfolding of Non-Finitist Arithmetic.Solomon Feferman & Thomas Strahm - 2000 - Annals of Pure and Applied Logic 104 (1-3):75-96.
    The unfolding of schematic formal systems is a novel concept which was initiated in Feferman , Gödel ’96, Lecture Notes in Logic, Springer, Berlin, 1996, pp. 3–22). This paper is mainly concerned with the proof-theoretic analysis of various unfolding systems for non-finitist arithmetic . In particular, we examine two restricted unfoldings and , as well as a full unfolding, . The principal results then state: is equivalent to ; is equivalent to ; is equivalent to . Thus is proof-theoretically equivalent (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  20. Kurt Gödel, Collected Works.Solomon Feferman (ed.) - 1995 - Oxford University Press.
    Translate
     
     
    Export citation  
     
    My bibliography   8 citations  
  21.  53
    Logic, Logics, and Logicism.Solomon Feferman - 1999 - Notre Dame Journal of Formal Logic 40 (1):31-54.
    The paper starts with an examination and critique of Tarski’s wellknown proposed explication of the notion of logical operation in the type structure over a given domain of individuals as one which is invariant with respect to arbitrary permutations of the domain. The class of such operations has been characterized by McGee as exactly those definable in the language L∞,∞. Also characterized similarly is a natural generalization of Tarski’s thesis, due to Sher, in terms of bijections between domains. My main (...)
    Direct download (10 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  22.  32
    Systems of Predicative Analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  23.  43
    Godel's Program for New Axioms: Why, Where, How and What?Solomon Feferman - unknown
    From 1931 until late in his life (at least 1970) Godel called for the pursuit of new axioms for mathematics to settle both undecided number-theoretical propositions (of the form obtained in his incompleteness results) and undecided set-theoretical propositions (in particular CH). As to the nature of these, Godel made a variety of suggestions, but most frequently he emphasized the route of introducing ever higher axioms of in nity. In particular, he speculated (in his 1946 Princeton remarks) that there might be (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  24.  1
    Foundations of Unlimited Category Theory: What Remains to Be Done: Foundations of Unlimited Category Theory: What Remains to Be Done.Solomon Feferman - 2013 - Review of Symbolic Logic 6 (1):6-15.
    Following a discussion of various forms of set-theoretical foundations of category theory and the controversial question of whether category theory does or can provide an autonomous foundation of mathematics, this article concentrates on the question whether there is a foundation for “unlimited” or “naive” category theory. The author proposed four criteria for such some years ago. The article describes how much had previously been accomplished on one approach to meeting those criteria, then takes care of one important obstacle that had (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  52
    Relationships Between Constructive, Predicative and Classical Systems of Analysis.Solomon Feferman - unknown
    Both the constructive and predicative approaches to mathematics arose during the period of what was felt to be a foundational crisis in the early part of this century. Each critiqued an essential logical aspect of classical mathematics, namely concerning the unrestricted use of the law of excluded middle on the one hand, and of apparently circular \impredicative" de nitions on the other. But the positive redevelopment of mathematics along constructive, resp. predicative grounds did not emerge as really viable alternatives to (...)
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  26. Is the Continuum Hypothesis a Definite Mathematical Problem?Solomon Feferman - manuscript
    The purpose of this article is to explain why I believe that the Continuum Hypothesis (CH) is not a definite mathematical problem. My reason for that is that the concept of arbitrary set essential to its formulation is vague or underdetermined and there is no way to sharpen it without violating what it is supposed to be about. In addition, there is considerable circumstantial evidence to support the view that CH is not definite.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  27. Conceptions of the Continuum.Solomon Feferman - unknown
    Key words: the continuum, structuralism, conceptual structuralism, basic structural conceptions, Euclidean geometry, Hilbertian geometry, the real number system, settheoretical conceptions, phenomenological conceptions, foundational conceptions, physical conceptions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28. Systems of Predicative Analysis, II: Representations of Ordinals.Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (2):193-220.
  29.  81
    My Route to Arithmetization.Solomon Feferman - 1997 - Theoria 63 (3):168-181.
    I had the pleasure of renewing my acquaintance with Per Lindström at the meeting of the Seventh Scandinavian Logic Symposium, held in Uppsala in August 1996. There at lunch one day, Per said he had long been curious about the development of some of the ideas in my paper [1960] on the arithmetization of metamathematics. In particular, I had used the construction of a non-standard definition !* of the set of axioms of P (Peano Arithmetic) to show that P + (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  30. Which Quantifiers Are Logical?Solomon Feferman - unknown
    ✤ It is the characterization of those forms of reasoning that lead invariably from true sentences to true sentences, independently of the subject matter.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  15
    Unfolding Finitist Arithmetic.Solomon Feferman & Thomas Strahm - 2010 - Review of Symbolic Logic 3 (4):665-689.
    The concept of the (full) unfolding of a schematic system is used to answer the following question: Which operations and predicates, and which principles concerning them, ought to be accepted if one has accepted ? The program to determine for various systems of foundational significance was previously carried out for a system of nonfinitist arithmetic, ; it was shown that is proof-theoretically equivalent to predicative analysis. In the present paper we work out the unfolding notions for a basic schematic system (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  32.  85
    Foundations of Category Theory: What Remains to Be Done.Solomon Feferman - unknown
    • Session on CF&FCT proposed by E. Landry; participants: G. Hellman, E. Landry, J.-P. Marquis and C. McLarty..
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  33. Meeting of the Association for Symbolic Logic: Stanford, California, 1985.Jon Barwise, Solomon Feferman & David Israel - 1986 - Journal of Symbolic Logic 51 (3):832-862.
  34.  31
    Predicativity.Solomon Feferman - manuscript
    What is predicativity? While the term suggests that there is a single idea involved, what the history will show is that there are a number of ideas of predicativity which may lead to different logical analyses, and I shall uncover these only gradually. A central question will then be what, if anything, unifies them. Though early discussions are often muddy on the concepts and their employment, in a number of important respects they set the stage for the further developments, and (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  35.  72
    Predicative Foundations of Arithmetic.Solomon Feferman & Geoffrey Hellman - 1995 - Journal of Philosophical Logic 24 (1):1 - 17.
  36.  33
    Definedness.Solomon Feferman - 1995 - Erkenntnis 43 (3):295 - 320.
    Questions of definedness are ubiquitous in mathematics. Informally, these involve reasoning about expressions which may or may not have a value. This paper surveys work on logics in which such reasoning can be carried out directly, especially in computational contexts. It begins with a general logic of partial terms, continues with partial combinatory and lambda calculi, and concludes with an expressively rich theory of partial functions and polymorphic types, where termination of functional programs can be established in a natural way.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  37.  19
    Does Reductive Proof Theory Have a Viable Rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
    The goals of reduction andreductionism in the natural sciences are mainly explanatoryin character, while those inmathematics are primarily foundational.In contrast to global reductionistprograms which aim to reduce all ofmathematics to one supposedly ``universal'' system or foundational scheme, reductive proof theory pursues local reductions of one formal system to another which is more justified in some sense. In this direction, two specific rationales have been proposed as aims for reductive proof theory, the constructive consistency-proof rationale and the foundational reduction rationale. However, (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  38.  18
    Finitary Inductively Presented Logics.Solomon Feferman - manuscript
    A notion of finitary inductively presented (f.i.p.) logic is proposed here, which includes all syntactically described logics (formal systems)met in practice. A f.i.p. theory FS0 is set up which is universal for all f.i.p. logics; though formulated as a theory of functions and classes of expressions, FS0 is a conservative extension of PRA. The aims of this work are (i)conceptual, (ii)pedagogical and (iii)practical. The system FS0 serves under (i)and (ii)as a theoretical framework for the formalization of metamathematics. The general approach (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  51
    About and Around Computing Over the Reals.Solomon Feferman - unknown
    1. One theory or many? In 2004 a very interesting and readable article by Lenore Blum, entitled “Computing over the reals: Where Turing meets Newton,” appeared in the Notices of the American Mathematical Society. It explained a basic model of computation over the reals due to Blum, Michael Shub and Steve Smale (1989), subsequently exposited at length in their influential book, Complexity and Real Computation (1997), coauthored with Felipe Cucker. The ‘Turing’ in the title of Blum’s article refers of course (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  40.  80
    Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on Finitism, Constructivity and Hilbert's Program.Solomon Feferman - 2008 - Dialectica 62 (2: Table of Contents"/> Select):179–203.
    This is a survey of Gödel's perennial preoccupations with the limits of finitism, its relations to constructivity, and the significance of his incompleteness theorems for Hilbert's program, using his published and unpublished articles and lectures as well as the correspondence between Bernays and Gödel on these matters. There is also an important subtext, namely the shadow of Hilbert that loomed over Gödel from the beginning to the end.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  41. Penrose's Gödelian Argument A Review of Shadows of the Mind by Roger Penrose. [REVIEW]Solomon Feferman - 1995 - Psyche 2.
     
    Export citation  
     
    My bibliography   3 citations  
  42.  29
    Comments on “Predicativity as a philosophical position” by G. Hellman.Solomon Feferman - 2004 - Revue Internationale de Philosophie 3:313-323.
    No categories
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  43.  65
    The Development of Programs for the Foundations of Mathematics in the First Third of the 20th Century.Solomon Feferman - manuscript
    The most prominent “schools” or programs for the foundations of mathematics that took shape in the first third of the 20th century emerged directly from, or in response to, developments in mathematics and logic in the latter part of the 19th century. The first of these programs, so-called logicism, had as its aim the reduction of mathematics to purely logical principles. In order to understand properly its achievements and resulting problems, it is necessary to review the background from that previous (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  44.  46
    Why a Little Bit Goes a Long Way: Logical Foundations of Scientifically Applicable Mathematics.Solomon Feferman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:442 - 455.
    Does science justify any part of mathematics and, if so, what part? These questions are related to the so-called indispensability arguments propounded, among others, by Quine and Putnam; moreover, both were led to accept significant portions of set theory on that basis. However, set theory rests on a strong form of Platonic realism which has been variously criticized as a foundation of mathematics and is at odds with scientific realism. Recent logical results show that it is possible to directly formalize (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  45.  25
    Tarski's Influence on Computer Science.Solomon Feferman - unknown
    The following is the text of an invited lecture for the LICS 2005 meeting held in Chicago June 26-29, 2005.1 Except for the addition of references, footnotes, corrections of a few points and stylistic changes, the text is essentially as delivered. Subsequent to the lecture I received interesting comments from several colleagues that would have led me to expand on some of the topics as well as the list of references, had I had the time to do so.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  59
    Harmonious Logic: Craig's Interpolation Theorem and Its Descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
    Though deceptively simple and plausible on the face of it, Craig's interpolation theorem (published 50 years ago) has proved to be a central logical property that has been used to reveal a deep harmony between the syntax and semantics of first order logic. Craig's theorem was generalized soon after by Lyndon, with application to the characterization of first order properties preserved under homomorphism. After retracing the early history, this article is mainly devoted to a survey of subsequent generalizations and applications, (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47. Kurt Gödel: Collected Works Vol. Ii.Solomon Feferman, John Dawson & Stephen Kleene (eds.) - 1990 - Oxford University Press.
    Translate
     
     
    Export citation  
     
    My bibliography   3 citations  
  48. Alfred Tarski and the Vienna Circle: Austro-Polish Connections in Logical Empiricism.Jan Woleński, Ilkka Niiniluoto, Hans Sluga, Anita Burdman Feferman, Solomon Feferman & Richard Creath - 1999 - Springer Verlag.
  49. Gödel, Nagel, Minds, and Machines.Solomon Feferman - 2009 - Journal of Philosophy 106 (4):201-219.
    Ernest Nagel Lecture, Columbia University, Sept. 27, 2007.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  50.  39
    Intensionality in Mathematics.Solomon Feferman - 1985 - Journal of Philosophical Logic 14 (1):41 - 55.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
1 — 50 / 149