|
Frege’s Princip
Frege’s Theorem. It is natural to wonder at this point whether Frege’s formal arguments in Grundgesetze have a similar structure, that is, whether Frege derives HP from his explicit definition (now given in terms of value-ranges) and then derives the axioms of arithmetic from HP alone, no further use being made either of the explicit definition
Lecture 4: Frege and Extended Frege 1 Frege Systems
Lecture 4: Frege and Extended Frege Instructor: Toniann Pitassi Scribes: Adejuwon Fasanya, Jonah Stockwell
The Cambridge Companion to Frege - Archive.org
Each volume of this series of companions to major philosophers contains specially commissioned essays by an international team of scholars together with a substantial bibliography, and will serve as a reference work for students and non-specialists.
Frege’s puzzle and some responses - University of Notre Dame
Frege’s solutions to the puzzles can be read as placing constraints on the conditions under which the propositions expressed by a pair of sentences are the same or diferent.
Logicism: Frege Philosophy of Mathematics - tedsider.org
3. Logic for Frege Frege’s logic was “second order”. In addition to sentences like 9xF x and 8x9yRxy, he also accepted sentences like 9F F a and 8R(9x8yRxy ! 8y9xRxy , )
Frege (1991) - University of California, Los Angeles
articulated. Frege thought that fully understanding (in the sense of being able to explicate) the sense of an expression in a language is not in general separable from understanding the reality that the language is use
Frege: Logical objects by abstraction and their criteria of ...
In a first step, Frege has to contrive a suitable equivalence relation Req for the case of, let us the real numbers, which can be defined in purely logical vocabulary. In a second step, the real numbers are tentatively introduced by transforming Req(a, b) into an identity of real numbers S(a) = S(b) and by present
|
