- 1997), p. 241.
Gottfried Gabriel,
Wolfgang Kienzler (editors): "Gottlob
Freges politisches Tagebuch". In:
Deutsche Zeitschrift für Philosophie, vol. 42...
-
Frege is a surname.
Notable people with the
surname include:
Andreas Frege, German-British punk rock
singer Carola Frege (born 1965),
German scholar Élodie...
- judgment.[citation needed] The
Frege–Geach
problem –
named for
Peter Geach, who
developed it from the
writings of
Gottlob Frege –
claims that by subscribing...
- The
Frege–Church
ontology is an ontology, a
theory of existence.
Everything is
considered as
being in
three categories,
object (referent, denotation)...
-
Frege's puzzles are
puzzles about the
semantics of
proper names,
although related puzzles also
arise in the case of indexicals.
Gottlob Frege (1848–1925)...
-
inference rules.
Frege systems (more
often known as
Hilbert systems in
general proof theory) are
named after Gottlob Frege. The name "
Frege system" was first...
-
rules used to
combine them. The
principle is also
called Frege's principle,
because Gottlob Frege is
widely credited for the
first modern formulation of...
-
constructed by the
German philosopher and
mathematician Gottlob Frege,
hence undermining Frege's attempt to
reduce mathematics to
logic and
calling into question...
- Hilbert–Ackermann system, is a type of
formal proof system attributed to
Gottlob Frege and
David Hilbert.
These deductive systems are most
often studied for first-order...
- In
metalogic and metamathematics,
Frege's theorem is a
metatheorem that
states that the
Peano axioms of
arithmetic can be
derived in second-order logic...
