Statistical and Probabilistic Truth

$\newcommand{\N}{\mathbb N} \newcommand{\Z}{\mathbb Z} \newcommand{\Q}{\mathbb Q} \newcommand{\R}{\mathbb R} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} $

Subsection 8.12.3 Statistical and Probabilistic Truth

When we talk about empirical induction, we generally want to say things like:

It’s likely that there are no 20 foot tall people.
I’m more sure, after seeing another 3000 peacocks, that all peacocks have colored feathers.
It’s nearly certain that the sun will come up tomorrow. It always has.

The theory of probability gives us powerful tools for reasoning with statements of this sort. Unfortunately we can’t explore them here, but you can and should some time.