NDJFL
2000
13 years 4 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
NDJFL
2000
13 years 4 months ago
2000
We present an approach to combining three areas of research which we claim are all based on information theory: knowledge representation in Artificial Intelligence and Cognitive Sc...
NDJFL
2000
13 years 4 months ago
2000
NDJFL
2000
13 years 4 months ago
2000
NDJFL
2000
13 years 4 months ago
2000
Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's Princi...
NDJFL
2000
13 years 4 months ago
2000
Abstract This paper concerns the epistemic status of "Hume's principle"-the assertion that for any concepts Fand G, the number of Fs is the same as the number of Gs ...
NDJFL
2000
13 years 4 months ago
2000
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 ...