•  9
    Paraconsistent games and the limits of rational self-interest
    with Arief Daynes, Panagiotis Andrikopoulos, and Paraskevas Pagas
    Australasian Journal of Logic 12 (1). 2015.
    It is shown that logical contradictions are derivable from natural translations into first order logic of the description and background assumptions of the Soros Game, and of other games and social contexts that exhibit conflict and reflexivity. The logical structure of these contexts is analysed using proof-theoretic and model-theoretic techniques of first order paraconsistent logic. It is shown that all the contradictions that arise contain the knowledge operator K. Thus, the contradictions do…Read more