Related categories
Subcategories:

2007 found
Order:
1 — 50 / 2007
Material to categorize
  1. REVIEWS-La Filosofia di Gottlob Frege.Miriam Franchella - 2004 - Bulletin of Symbolic Logic 10 (2):226-227.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. La Filosofia di Gottlob Frege. [REVIEW]Miriam Franchella - 2004 - Bulletin of Symbolic Logic 10 (2):226-228.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3. Mending the Master.John Burgess - unknown
    Fixing Frege is one of the most important investigations to date of Fregean approaches to the foundations of mathematics. In addition to providing an unrivalled survey of the technical program to which Frege’s writings have given rise, the book makes a large number of improvements and clarifications. Anyone with an interest in the philosophy of mathematics will enjoy and benefit from the careful and well informed overview provided by the first of its three chapters. Specialists will find the book an (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. Logique Et Philosophie Chez Frege. Par Jean Largeault. Publications de la Faculté des Lettres Et Sciences Humaines de Paris-Sorbonne, Série “Recherches”, Tome 50. Paris, Béatrice Nauwelaerts Et Louvain, Nauwelaerts, 1970. XXVII + 486 Pages. [REVIEW]Normand Lacharité - 1972 - Dialogue 11 (3):456-460.
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. On a Consistent Subsystem of Frege's Grundgesetze.John P. Burgess - 1998 - Notre Dame Journal of Formal Logic 39 (2):274-278.
    Parsons has given a (nonconstructive) proof that the first-order fragment of the system of Frege's Grundgesetze is consistent. Here a constructive proof of the same result is presented.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  6. A Parity-Based Frege Proof for the Symmetric Pigeonhole Principle.Steve Firebaugh - 1993 - Notre Dame Journal of Formal Logic 34 (4):597-601.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7. On the Consistency of the First-Order Portion of Frege's Logical System.Terence Parsons - 1987 - Notre Dame Journal of Formal Logic 28 (1):161-168.
  8. Frege, Hilbert, and the Conceptual Structure of Model Theory.William Demopoulos - 1994 - History and Philosophy of Logic 15 (2):211-225.
    This paper attempts to confine the preconceptions that prevented Frege from appreciating Hilbert?s Grundlagen der Geometrie to two: (i) Frege?s reliance on what, following Wilfrid Hodges, I call a Frege?Peano language, and (ii) Frege?s view that the sense of an expression wholly determines its reference.I argue that these two preconceptions prevented Frege from achieving the conceptual structure of model theory, whereas Hilbert, at least in his practice, was quite close to the model?theoretic point of view.Moreover, the issues that divided Frege (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  9. E. D. Klemke, Ed., Essays on Frege. (University of Illinois Press Urbana, Chicago, and London, 1968. Xiv. 586 Pp. 95s). [REVIEW]Hans D. Sluga - 1970 - Philosophy 45 (171):75-.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Husserl, Frege and Hilbert : Theory of Formal Systems.Bruno Leclercq - unknown
    4th International HOPOS (History of Philosophy of science) Conference.
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. A Study of Frege.Jeremy D. B. Walker - 1965 - Ithaca: Cornell University Press.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge: Harvard University Press.
    The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   130 citations  
  13. How to Goedel a Frege-Russell: Goedel's Incompleteness Theorem.Geoffrey Hellman - 1981 - Noûs 15 (4):451-68.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  14. Letter to Frege, 12 December 1904.Bertrand Russell - manuscript
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. Review of Frege Making Sense , by Michael Beaney. London, U.K.: Duckworth, 1996. Pp. IX+358. [REVIEW]Mitchell S. Green - unknown
    Purporting to show how Frege's contributions to philosophy of language and philosophical logic were developed with the aim of furthering his logicist programme, the author construes him as more systematic than is often recognized. Centrally, the notion of sense as espoused in Frege's monumental articles of the Nineties had only an ostensible justification as an account of the informativeness of a posteriori identity statements. In fact its rationale was to help articulate the thesis that arithmetical truth is analytic, since, it (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. Frege: Fra Estensionalismo E Logicismo.Aldo Antonelli - manuscript
    Due programmi diversi si intersecano nel lavoro di Frege sui fondamenti dell’aritmetica: • Logicismo: l’aritmetica `e riducibile alla logica; • Estensionalismo: l’aritmetica `e riducibile a una teoria delle estensioni. Sia nei Fondamenti che nei Principi, Frege articola l’idea che l’aritmetica sia riducibile a una teoria logica delle estensioni.
    Remove from this list  
     
    Export citation  
     
    Bookmark   7 citations  
  17. First-Order Quantifiers.G. Aldo Antonelli - manuscript
    In §21 of Grundgesetze der Arithmetik asks us to consider the forms: a a2 = 4 and a a > 0 and notices that they can be obtained from a φ(a) by replacing the function-name placeholder φ(ξ) by names for the functions ξ2 = 4 and ξ > 0 (and the placeholder cannot be replaced by names of objects or of functions of 2 arguments).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  18. Review of John Burgess, Fixing Frege[REVIEW]Timothy Bays - 2006 - Notre Dame Philosophical Reviews 2006 (6).
  19. Finite Sets and Frege Structures.John L. Bell - 1999 - Journal of Symbolic Logic 64 (4):1552-1556.
    Call a family F of subsets of a set E inductive if ∅ ∈ F and F is closed under unions with disjoint singletons, that is, if ∀X∈F ∀x∈E–X(X ∪ {x} ∈ F]. A Frege structure is a pair (E.
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  20. Frege's `Objects' and `Concepts': Revolutionary or Reactionary?B. C. Birchall - 1982 - Philosophy and Phenomenological Research 42 (3):343-358.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21. Review of R.M. Sainsbury, Departing From Frege: Essays in the Philosophy of Language[REVIEW]Dean Buckner - 2003 - Notre Dame Philosophical Reviews 2003 (8).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. Meanwhile, Within the Frege Boundary.Paul Dekker - 2003 - Linguistics and Philosophy 26 (5):547-556.
    In this paper, I want to contribute to understanding and improving on Keenan'sintriguing equivalence result about reducible type quantifiers (Keenan, 1992).I give an alternative proof of his result which generalizes to type quantifiers, andI show how the reduction of a reducible type quantifier to (the composition of) ntype quantifiers can be effected.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  23. Frege's Theory of Concepts and Objects and the Interpretation of Second-Order Logic.William Demopoulus & William Bell - 1993 - Philosophia Mathematica 1 (2):139-156.
    This paper casts doubt on a recent criticism of Frege's theory of concepts and extensions by showing that it misses one of Frege's most important contributions: the derivation of the infinity of the natural numbers. We show how this result may be incorporated into the conceptual structure of Zermelo- Fraenkel Set Theory. The paper clarifies the bearing of the development of the notion of a real-valued function on Frege's theory of concepts; it concludes with a brief discussion of the claim (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
    Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic together with an abstraction operator governed by Frege’s Axiom V. A few years ago, Richard Heck showed that the ramified predicative second-order fragment of the Grundgesetze is consistent. In this paper, we show that the above fragment augmented with the axiom of reducibility for concepts true of only finitely many individuals is still consistent, and that elementary Peano arithmetic (and more) is interpretable in this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. A Paradox in Frege's Semantics.Milton Fisk - 1963 - Philosophical Studies 14 (4):56 - 63.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26. First-Order Frege Theory is Undecidable.Warren Goldfarb - 2001 - Journal of Philosophical Logic 30 (6):613-616.
    The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  27. Analysing Analytic Philosophy: The Rise of Analytic Philosophy: Edited by Hans-Johann Glock, Oxford: Blackwell, 1997, 95p. 10£.Karen Green - 2001 - Philosophia 28 (1-4):511-529.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Was Wittgenstein Frege's Heir?Karen Green - 1999 - Philosophical Quarterly 49 (196):289-308.
    This paper argues that Dummett’s interpretation of the relationship between Frege’s anti-psychologism and Wittgenstein’s doctrine that meaning is use results in a misreading of Frege. It points out that anti-mentalism is a form of anti-psychologism, but that mentalism is not the only version of psycholgism. Thus, while Frege and Wittgenstein are united in their opposition to mentalism, they are not equally opposed to psychologism, and from Frege’s point of view, the doctrine that meaning is use could also imply a version (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Frege and the Surprising History of Logic: Introduction to Claude Imbert, "Gottlob Frege, One More Time".Emily Grosholz - 2000 - Hypatia 15 (4):151-155.
    Convinced that logic has a history and that its history always manages to surprise the philosophers, Claude Imbert has devoted much of her work to the study of the Stoic school and of the late-nineteenth-century German logician Gottlob Frege. In the fifth chapter of her book Pour une histoire de la logique, she examines the trajectory of Frege's awareness of what his new logic entails, in particular the way it subverts the project of Kant.
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  30. Review: Reed, The Origins of Analytic Philosophy: Kant and Frege[REVIEW]Jeremy Heis - 2008 - Notre Dame Philosophical Reviews 2008 (9).
  31. W. Demopoulos (Ed.), Frege's Philosophy of Mathematics, and W. W. Tait (Ed.), Early Analytic Philosophy, Frege, Russell, Wittgenstein, Essays in Honor of Leonard Linsky. [REVIEW]Claire Hill - 2002 - Synthese 133 (3):441-452.
  32. Frege, Leśniewski and Information Semantics on the Resolution of Antinomies.Henry Hiz - 1984 - Synthese 60 (1):51-72.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  33. Gottlob Frege, One More Time.Claude Imbert & tr Bontea, Adriana - 2000 - Hypatia 15 (4):156-173.
    : Frege's philosophical writings, including the "logistic project," acquire a new insight by being confronted with Kant's criticism and Wittgenstein's logical and grammatical investigations. Between these two points a non-formalist history of logic is just taking shape, a history emphasizing the Greek and Kantian inheritance and its aftermath. It allows us to understand the radical change in rationality introduced by Gottlob Frege's syntax. This syntax put an end to Greek categorization and opened the way to the multiplicity of expressions producing (...)
    Remove from this list   Direct download (11 more)  
     
    Export citation  
     
    Bookmark  
  34. Logicism and the Sense–Denotation Distinction.Mark Eli Kalderon - unknown
    Unless you are a Frege scholar, or a philosopher of mathematics, if you are familiar at all with Frege’s work, you are most likely familiar with his groundbreaking work in the philosophy of language. You might know that Frege was a mathematician who sought to establish the covertly logical subject matter of arithmetic, a project whose demands drove Frege to his logical investigations and reflections on language. But most likely the connection between Frege’s mathematical research and his philosophy of language (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. Further Beyond the Frege Boundary.Edward L. Keenan - unknown
    avant propos This paper is basically Keenan (1992) augmented by some new types of properly polyadic quantification in natural language drawn from Moltmann (1992), Nam (1991) and Srivastav (1990). In addition I would draw the reader's attention to recent mathematical studies of polyadic quantiicationz Ben-Shalom (1992), Spaan (1992) and Westerstahl (1992). The first and third of these extend and generalize (in some cases considerably) the techniques and results in Keenan (1992). Finally I would like to acknowledge the stimulating and constructive (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36. Frege, Mill, and the Foundations of Arithmetic.Glenn Kessler - 1980 - Journal of Philosophy 77 (2):65-79.
  37. Frege, Logic, and Arithmetic.E. D. Klemke - 1970 - Philosophical Studies 21 (1-2):38 - 41.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Putting Form Before Function: Logical Grammar in Frege, Russell, and Wittgenstein.Kevin C. Klement - 2004 - Philosophers' Imprint 4:1-47.
    The positions of Frege, Russell and Wittgenstein on the priority of complexes over (propositional) functions are sketched, challenging those who take the "judgment centered" aspects of the Tractatus to be inherited from Frege not Russell. Frege's views on the priority of judgments are problematic, and unlike Wittgenstein's. Russell's views on these matters, and their development, are discussed in detail, and shown to be more sophisticated than usually supposed. Certain misreadings of Russell, including those regarding the relationship between propositional functions and (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39. Review of Richard L. Mendelsohn, The Philosophy of Gottlob Frege[REVIEW]Kevin C. Klement - 2005 - Notre Dame Philosophical Reviews 2005 (11).
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Modal Logic From Kant to Possible Worlds Semantics.Tapio Korte, Ari Maunu & Tuomo Aho - 2009 - In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
    This chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41. Isolation and Non-Arbitrary Division: Frege's Two Criteria for Counting.Kathrin Koslicki - 1997 - Synthese 112 (3):403-430.
    In §54 of the Grundlagen, Frege advances an interesting proposal on how to distinguish among different sorts of concepts, only some of which he thinks can be associated with number. This paper is devoted to an analysis of the two criteria he offers, isolation and non-arbitrary division. Both criteria say something about the way in which a concept divides its extension; but they emphasize different aspects. Isolation ensures that a concept divides its extension into discrete units. I offer two construals (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Frege's Theory of Number and the Distinction Between Function and Object.Michael Kremer - 1985 - Philosophical Studies 47 (3):313 - 323.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. Logicist Responses to Kant: (Early) Frege and (Early) Russell.Michael Kremer - 2006 - Philosophical Topics 34 (1/2):163-188.
  44. Frege on Proof.Arnold B. Levison - 1961 - Philosophy and Phenomenological Research 22 (1):40-49.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Frege's Proof of Referentiality.Øystein Linnebo - 2004 - Notre Dame Journal of Formal Logic 45 (2):73-98.
    I present a novel interpretation of Frege’s attempt at Grundgesetze I §§29-31 to prove that every expression of his language has a unique reference. I argue that Frege’s proof is based on a contextual account of reference, similar to but more sophisticated than that enshrined in his famous Context Principle. Although Frege’s proof is incorrect, I argue that the account of reference on which it is based is of potential philosophical value, and I analyze the class of cases to which (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  46. Mending the Master: John P. Burgess, Fixing Frege. Princeton, N. J.: Princeton University Press, 2005. ISBN 0-691-12231-8. Pp. XII + 257. [REVIEW]Øystein Linnebo - 2006 - Philosophia Mathematica 14 (3):338-400.
    Fixing Frege is one of the most important investigations to date of Fregean approaches to the foundations of mathematics. In addition to providing an unrivalled survey of the technical program to which Frege's writings have given rise, the book makes a large number of improvements and clarifications. Anyone with an interest in the philosophy of mathematics will enjoy and benefit from the careful and well-informed overview provided by the first of its three chapters. Specialists will find the book an indispensable (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  47. Mending the Master (Critical Notice of John Burgess's Fixing Frege).Øystein Linnebo - 2006 - Philosophia Mathematica 14 (3):338-351.
    Fixing Frege is one of the most important investigations to date of Fregean approaches to the foundations of mathematics. In addition to providing an unrivalled survey of the technical program to which Frege’s writings have given rise, the book makes a large number of improvements and clarifications. Anyone with an interest in the philosophy of mathematics will enjoy and benefit from the careful and well informed overview provided by the first of its three chapters. Specialists will find the book an (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Predicative Fragments of Frege Arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.
    Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of F s is identical to the number of Gs if and only if the F s and the Gs can be one-to-one correlated. According to Frege’s Theorem, FA and some natural definitions imply all of second-order Peano Arithmetic. This paper distinguishes two dimensions of impredicativity involved in FA—one having to do with Hume’s Principle, the other, with the underlying second-order logic—and (...)
    Remove from this list   Direct download (12 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  49. The Limits of Abstraction.Øystein Linnebo - 2004 - Australasian Journal of Philosophy 82 (4):653 – 656.
    Book Information The Limits of Abstraction. The Limits of Abstraction Kit Fine , Oxford : Clarendon Press , 2002 , x + 203 , £18.99 (cloth). By Kit Fine. Clarendon Press. Oxford. Pp. x + 203. £18.99 (cloth).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Frege on the Context Principle and Psychologism.Paul Livingston - unknown
    I explore the decisive connection Frege often draws between the context principle and antipsychologism, arguing that his assertion of this connection occupies a central place within the articulation of his linguistic method. In particular, Frege’s appeal to the context principle in the course of describing the epistemology of arithmetic, I argue, connects his doctrine of the nature of judgment with his defense of the objecthood of numbers, showing how an appeal to the special role of judgment in securing truth can (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
1 — 50 / 2007