[FOM] Origins of the double turnstile

Tennant, Neil tennant.9 at osu.edu
Thu Feb 2 20:19:14 EST 2017

Professor Kochen's 1961 paper in the Annals of Mathematics uses the double turnstile for the relation between a model and a sentence that it makes true. But I thought the historical query concerned that other use of the double turnstile, to represent a set of sentences logically implying a sentence.

Neil Tennant
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20170203/9d4d732f/attachment-0001.html>

More information about the FOM mailing list