How much logic is built into natural language?

Abstract

Query Does knowing a natural language (English, Japanese, Swahili,...) imply knowing any logic? The Query is reasonable (First Order) Predicate Logic (PL=) is a “Universal Grammar” for the languages of Elementary Arithmetic, Euclidean Geometry, Set Theory, .... It defines their expressions, their semantic interpretations, and proofs, that syntactically characterize the boolean semantic entailment relation.