[FOM] Origins of the double turnstile

[Tennant, Neil]

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>