Introduction

$\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 7.5.1 Introduction

A logical statement (in the systems we have defined) is either true or false. There’s no such thing as, “slightly true”, or “mostly true” or “really true.” Unfortunately we live in an analog world.

The chili is hot.”

How hot does the chili have to be to count as “hot”?

“It’s likely to rain.”

What counts as “likely”? 95% certainly does. What about 65%

“That school is hard to get into.”

What counts as “hard to get into”? Only 1 out of 25 applicants get in? Or 1 out of 10? Or 1 out of 5?