Before you even ask that, ask what kind of truth is a statement of the kind

2+2=4

Or what kind of statement is 2+2=4

A long time ago I read Frege's Foundations of Arithmetic where he thinks through the whole analytic/synthetic/a priori/a posteriori possibilities. Very interesting, think I'll go read it again.

Anyone here read Penrose's Emperor's New Mind?

__________________
You don't need a weatherman to know which way the wind blows - Robert A. Zimmerman