[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

UNIVERSITY OF CALIFORNIA IRVINE

DEPARTMENT OF LOGIC AND PHILOSOPHY OF SCIENCE

COLLOQUIUM

"Weakening the Comprehension Principle in Frege's Grundgesetze"

     Abstract: "As is well known, the formal system of Frege's Grundgesetze der Arithmetik is inconsistent, allowing the derivation of Russell's antinomy. It is the interplay between Frege's basic law V and second-order comprehension, implemented in Grundgesetze by means of an instantiation rule, that generates the contradiction. One may thus try to arrive at consistent subsystems by weakening either one, or both, of these principles. I shall give an overview of consistency results concerning fragments of Frege's theory that arise by restricting the comprehension schema, presenting some known and some new results due to T. Parsons, R. Heck, F. Ferreira, and myself."

Kai Wehmeier

Universität Tübingen

Friday, February 1, 2002

3 pm

SST 777


Kai Wehmeier

A Bibliography
Compiled by
Eddie Yeghiayan


1992

1996

1997

1998

1999

2000


[Back to Index| UCI Department of Philosophy| UCI Department of Logic and Philosophy of Science| UCI Special Collections | UCI Libraries]

Copyright © All rights reserved. Regents of the University of California.