Logic, Language, and Consistency in Tarski's Theory of Truth A. B. Levison Philosophy and Phenomenological Research , pp. 384-392 (9 pages) ...

Fuzzy logic provides a mathematical framework for dealing with imprecise and vague concepts, proving particularly amenable to the challenges posed by natural language.

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...