Some Useful Social Metaphors in Logic.
Ahti‐Veikko Pietarinen · International Conference on Artificial Intelligence · 2002
The purpose of this paper is to register a couple of novelties related to social conceptions and social metaphors in logic. As an overarching methodology, gametheoretic notions will be used. The purpose is not to try to explore how logical methods can be made to apply to actual human behaviour in everyday scientific reasoning and social contexts in science, but rather to (i) see how gametheoretically inclined factors involving sociality can be made to apply to logic, and to (ii) discuss what the nature and current status of these social metaphors in the context of logical investigations are. It is shown that issues such as consistency, team theory and bounded rationality are of increased importance in logic. The general logical framework where these notions are investigated is provided by game-theoretic semantics (GTS) and extension of classical first-order logic known as “independence-friendly” (IF) logic. Keywords— Social metaphors, IF logic, semantic games, consistency, team theory, rationality.