This volume presents mathematical game theory as an interface between logic and philosophy.

Peirce believed that his pragmaticism can be conclusively proven. Beginning in 1903, he drafted several attempts, ending by 1908 with a semeiotic proof. Around 1905, he exposes the proof using the theory of Existential Graphs . This paper modernizes the semantics Peirce proposed for EGs in terms of game-theoretic semantics . Peirce's 1905 proof is then reconstructed in three parts, by relating pragmaticism to the GTS conception of meaning, showing that Peirce's proof is an argument for a relational structure of (...) the meaning of intellectual signs that our interpretative and strategic practices give rise to, and bringing out the key links between EGs and pragmaticism. (shrink)

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)