2694 search results - page 1 / 539 » Frege's New Science |
NDJFL
2000
13 years 4 months ago
2000
In this paper, we explore Fregean metatheory, what Frege called the New Science. The New Science arises in the context of Frege's debate with Hilbert over independence proofs ...
LICS
1991
IEEE
13 years 8 months ago
1991
IEEE
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
FOCS
2002
IEEE
13 years 9 months ago
2002
IEEE
We prove a quasi-polynomial lower bound on the size of bounded-depth Frege proofs of the pigeonhole principle PHPm n where m ´1 · 1 polylog nµn. This lower bound qualitatively ...
SYNTHESE
2010
13 years 3 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
SYNTHESE
2010
13 years 3 months ago
2010
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift, is like the language Leibniz sketched, a lingua ch...