group of philosophers and theologians that in distinction to more traditional Neo-Scholastic Thomism embraced modern formal logic as an analytical tool for 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." "The Cracow Circle set about investigating and where possible improving this logical structure with the most advanced logical tools available at the time, namely those of modern mathematical logic, then called 'logistic'." Étienne Gilson (1884–1978), the key proponent of existential Thomism, tended to emphasize the importance of historical exegesis but also to deemphasize Aquinas's continuity with the Aristotelian tradition, and like Cornelio Fabro of the Neo-scholastic school, to highlight the originality of Aquinas's doctrine of being as existence. He was also critical of the Neo-Scholastics' focus on the tradition of the commentators, and given what he regarded as their insufficient emphasis on being or existence accused them of "essentialism" (to allude to the other half of Aquinas's distinction between being and essence). Gilson's reading of Aquinas as putting forward a distinctively "Christian philosophy" tended, at least in the view of his critics, to blur Aquinas's distinction between philosophy and theology. Jacques Maritain (1882–1973) introduced into Thomistic metaphysics the notion that philosophical reflection begins with an "intuition of being," and in ethics and social philosophy sought to harmonize Thomism with personalism and pluralistic democracy. Though "existential Thomism" was sometimes presented as a counterpoint to modern existentialism, the main reason for the label is the emphasis this approach puts on Aquinas's doctrine of existence. Contemporary proponents include Joseph Owens and John F. X. Knasas. River Forest Thomism According to River Forest Thomism (named after River Forest, Illinois), the natural sciences are epistemologically prior to metaphysics, preferably called metascience. This approach emphasizes the Aristotelian foundations of Aquinas's philosophy, and in particular the idea that the construction of a sound metaphysics must be preceded by a sound understanding of natural science, as interpreted in light of an Aristotelian philosophy of nature. Accordingly, it is keen to show that modern physical science can and should be given such an interpretation. Charles De Koninck, Raymond Jude Nogar, James A. Weisheipl, William A. Wallace, and Benedict Ashley, are among its representatives. It is sometimes called "Laval Thomism" after