Are all true synthetic judgments satisfied?
I'm guessing not. But, equally, I wondered if it touches on any discussion. I am not sure what word to use instead of 'satisfied', so I'll illustrate instead.
First off, it doesn't seem to the the case for a priori analytic judgments. All bachelors are unmarried men, but perhaps there are no bachelors.
But what about synthetic a priori judgments? Every triangle consists of three angles adding up to 180 degrees. Does that mean that triangles do exist?
What about synthetic a posteriori judgments? If ophthalmologists are rich, does that mean there are rich people or that there are ophthalmologists?
I am especially concerned with the following judgments, which I think are both synthetic a priori:
- Everything that dies is born. Can we infer that there are some born things that die?
- At any future time, every self occurs after now. Can we infer that at any future time I occur after now?