"The Circle was founded by a group of philosophers and theologians that, in distinction from traditional neo-Thomism, embraced modern formal logic and applied it to traditional Thomist philosophy and theology.Inspired by the logical clarity of Aquinas, members of the Circle held both philosophy and theology to contain "propositions with truth-values…a structured body of propositions connected in meaning and subject matter, and linked by logical relations of compatibility and incompatibility, entailment etc."