已经到了目前的状态，通常是得益于解决悖论的各种尝试。对于集合(set)和类(collection)的概念，标准古典逻辑的基本句法和语义概念（给定顺序的逻辑语言，可满足性，可定义性的概念）出现而言，尤其如此。研究悖论解决方案的副产品包括：集合论的公理化，类型论的系统发展，语义学的基础，形式系统的理论。<br>
特征.经典逻辑被特征化为下面一些性质：非经典逻辑缺乏上面这其中的某一个或多个特性。