Date: 2012-08-29 15:59:06Predicate logic Semantics Elementary mathematics Model theory Quantification Function First-order logic Proposition Expression Logic Mathematics Mathematical logic | | On the so-called antinomy of the variable Joshua Schwartz 1 The creation and use of quantifier-variable notations (e.g., “(∀x)(F x)”), which launched the rapid development of mathematical logic in the 19th century,Add to Reading ListSource URL: cas.uchicago.eduDownload Document from Source Website File Size: 251,86 KBShare Document on Facebook
|