#dialogical — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #dialogical, aggregated by home.social.
-
There is a branch of semantics called #dialogical #logic, or #game #semantics. It says: #truth #values are #players cooperating in a competitive #metagame. #Freedom to #move and #control the shared #world #flows amongst them, and the steady #states of these activities condense into #strategies. A player with a #winning #strategy represents a #valid #truth #value assigned to the contextual #game they are playing. Context and function extensionality and namespace multiplicity, oh my!
-
There is a branch of semantics called #dialogical #logic, or #game #semantics. It says: #truth #values are #players cooperating in a competitive #metagame. #Freedom to #move and #control the shared #world #flows amongst them, and the steady #states of these activities condense into #strategies. A player with a #winning #strategy represents a #valid #truth #value assigned to the contextual #game they are playing. Context and function extensionality and namespace multiplicity, oh my!