Top News, Articles, and Interviews in Philosophy

Logic and Games

Philosophy News image
[Revised entry by Wilfrid Hodges and Jouko Väänänen on August 16, 2019. Changes to: Main text, Bibliography] Games between two players, of the kind where one player wins and one loses, became a familiar tool in many branches of logic during the second half of the twentieth century. Important examples are semantic games used to define truth, back-and-forth games used to compare structures, and dialogue games to express (and perhaps explain) formal proofs....

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus