<P> Gilson argued that Thomism avoided the problem of having to decide between Cartesian innate certainties and Reid's uncertain common sense, and that "as soon as the problem of the existence of the external world was presented in terms of common sense, Cartesianism was accepted". </P> <Ul> <Li> McCarthy's advice - taker proposal of 1958 represents an early proposal to use logic for representing common - sense knowledge in mathematical logic and using an automated theorem prover to derive answers to questions expressed in logical form . Compare Leibniz's calculus ratiocinator and characteristica universalis . </Li> <Li> The Cyc project attempts to provide a basis of common - sense knowledge for artificial - intelligence systems . </Li> <Li> The Open Mind Common Sense project resembles the Cyc project, except that it, like other on - line collaborative projects depends on the contributions of thousands of individuals across the World Wide Web . </Li> </Ul> <Li> McCarthy's advice - taker proposal of 1958 represents an early proposal to use logic for representing common - sense knowledge in mathematical logic and using an automated theorem prover to derive answers to questions expressed in logical form . Compare Leibniz's calculus ratiocinator and characteristica universalis . </Li> <Li> The Cyc project attempts to provide a basis of common - sense knowledge for artificial - intelligence systems . </Li>

Why do we need sociology instead of just using common sense