研究事物间任意性质关系的逻辑推演规律的理论。关系是指若干事物之间的某种相互联系,它是逻辑学的重要概念之一。关系逻辑以具有任意性质的关系为其专门研究对象,特别是研究关系的和、关系的积、关系的逆、关系的否定等关系运算,以及各种复合关系的逻辑推演规律等等。关系逻辑是英国逻辑学家德摩根和美国逻辑学家、哲学家皮尔士首创的,后来,施罗德、罗素等人发展和完善了它。