Abstract This paper aims to show that Frege’s and Hilbert’s mutual disagreement results from different notions of Anschauung their relation axioms. In the first section paper, evidence is provided support Frege Hilbert were influenced by same developments 19th-century geometry, in particular work Gauss, Plücker, von Staudt. The second shows take approaches deal with problems geometry posed for ...

O presente trabalho tem como intuito estabelecer um diálogo entre as críticas traçadas por Gottlob Frege e Charles Sanders Peirce ao psicologismo. Trata-se de estudo que visa contribuir para a compreensão temas caros filosofia da linguagem, natureza do pensamento construção significado. Para tanto, apresentaremos, maneira geral, o conceito psicologismo alguns argumentos levantados seu favor. Fe...

Frege’s theory is inconsistent (Russell’s paradox). However, the predicative version of Frege’s system is consistent. This was proved by Richard Heck in 1996 using a model theoretic argument. In this paper, we give a finitistic proof of this consistency result. As a consequence, Heck’s predicative theory is rather weak (as was suspected). We also prove the finitistic consistency of the extensio...

A Quantifier-Free String Theory for ALOGTIME Reasoning François Pitt Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2000 The main contribution of this work is the definition of a quantifier-free string theory T1 suitable for formalizing ALOGTIME reasoning. After describing L1—a new, simple, algebraic characterization of the complexity class ALOGTIME based on ...