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 Principle. Husserl, and later… (More)

Frege’s definitions of zero, predecession, and natural number will be explained below. As for second-order Dedekind-Peano arithmetic, the axiomatization most convenient for our purposes is the… (More)

(1) If y is a subset of some member of A, then y is a subset of ∪A. I.e., ∃z(z ∈ A ∧ y ⊆ z)→ y ⊆ ∪A. A fortioiri, if z ∈ A, then z ⊆ ∪A. (2) If y is a superset of every member of A, then y is a… (More)

Some years ago, Shapiro (1998) and Ketland (1999) independently developed what is now known as the ‘conservativeness argument’ against deflationary views of truth. Attempting to understand in what… (More)