# Is it possible to know infinitely many propositions?

Consider the infinite set of propositions {0+0=0, 0+1=1, 0+2=2, 0+3=3, 0+4=4,...}. It seems clear that one knows all of them, because, they all follow from "0 plus any natural number is that natural number". But, how can this be, when it seems that everybody has a finite number of beliefs?

• Because we know the general proposition ∀n (0+n=n) of which the above are particular instances. – Mauro ALLEGRANZA Mar 5 '18 at 15:49
• See Peano axioms. – Mauro ALLEGRANZA Mar 5 '18 at 15:49
• We can know schemas of propositions such as "n = n". But since our brains are finite, and our lives are finite, we can only know finitely many individual facts or propositions or thoughts. – user4894 Mar 6 '18 at 3:12

## 1 Answer

One standard way to deal with this sort of situation is to distinguish between explicit and implicit beliefs (See Gilbert Harman's Change in View, Ch.2). Say that a belief is explicit if one possesses a mental representation whose content is that belief, and say that a belief is implicit if it is not explicit, but is (easily) inferable from one's explicit beliefs. Thus, we can say that you implicitly believe each member of the given set as long as you explicitly believe, say, the Peano axioms.

• Agreed. I would say the natural numbers aren't finite, but they are "finitely describable"-- they can be described with a finite number of terms. – barrycarter Mar 5 '18 at 19:43
• @barrycarter. "...with a finite number of terms," assuming that at least one of those terms represents an infinite concept. Notice Mauro's expression: ∀n (0+n=n). It has a finite number of terms, but the universal operator quantifies over an infinite domain. – user3017 Mar 6 '18 at 13:19