Many attempts to develop artificial intelligence are powered by powerful systems of mathematical logic. They tend to produce results that make logical sense to a computer program — but the result is ...

The perfect fit of syntactic derivability and logical consequence in first-order logic is one of the most celebrated facts of modern logic. In the present flurry of attention given to the semantics of ...

This is a preview. Log in through your library . Abstract We conducted a computer-based psychological experiment in which a random mix of 40 tautologies and 40 non-tautologies were presented to the ...