Summary

$\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.2.13 Summary

Big Idea

In many cases, if we try to map from English sentences to logical ones without clearly analyzing what the English sentence is saying, we will have trouble. It may be tempting to jump to the conclusion that we have found a weakness in our logical system itself. While there are real limits to the logical system that we are discussing, we should, before assuming that we’ve found one, see if a more careful translation of English into logic can’t make the problem disappear.