You are here

Why didn't we begin with quantifiers all along?

16 June, 2015 - 17:25
Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20

We saw three stages of logics:

  • Propositional logic, with formulas like DickLikesJane ⇒¬JaneLikesDick. While the propositions are named suggestively, nothing in the logic enforces a relation among these; it is equivalent to A ⇒¬B.
  • Predicate logic, where variables (and constants) can express a connection between different parts of the formula: likes (y, x) ¬likes (x, y) Predicate logic introduced the idea of variables, and required domains and interpretations to determine truth. But it can't bind variables, and thus requires an interpretation of x and y to evaluate.
  • First-order logic, which included two quantifiers to bind variables: ∀y : (∃x : (likes (y, x) ⇒¬likes (x, y)))

So why, you might ask, didn't we just start out with first-order logic in the first lecture? One reason, clearly, is to introduce concepts one at a time: everything you needed to know about one level was needed in the next, and then some. But there's more: by restricting our formalisms, we can't express all the concepts of the bigger formalism, but we can have automated ways of checking statements or finding proofs.

In general, this is a common theme in the theory of any subject: determining when and where you can (or, need to) trade of expressibility for predictive value. For example, ...

  • Linguistics: Having a set of precise rules for (say) Tagalog grammar allows you to determine what is and isn't a valid sentence; details of the formal grammar can reveal relations to other languages which aren't otherwise so apparent. On the other hand, a grammar for any natural language is unlikely to exactly capture all things which native speakers say and understand. If working with a formal grammar, one needs to know what is being lost and what is being gained.
    • Dismissing a grammar as irrelevant because it doesn't entirely refect usage is missing the point of the grammar;
    • Conversely, condemning some real-life utterances as ungrammatical (and ignoring them) forgets that the grammar is a model which captures many (if not all) important properties.

Of course, any reasonable debate on this topic respects these two poles and is actually about where the best trade-of between them lies.

  • Psychology: Say, Piaget2 might propose four stages of learning in children. It may not trade of total accuracy, for (say) clues of what to look for in brain development.
  • Physics: Modern pedagogy must trade of quantum accuracy for Newtonian approximations. Researchers exploring felds like particle physics must trade of exact simulations for statistical ("stochastic") approximations.

Understanding the theoretical foundations of a feld is often critical for knowing how to apply various techniques in practice.