5 research outputs found
Second-Order Logic and Related Systems : a game-semantical perspective (Mathematical Logic and its Applications)
This is based on tutorial lectures on second-order logic in SAML 2022. Among others, we here discuss monadic second-order logic (MSO) from a game-theoretical view-point. Although the validity of MSO in terms of standard structures is not decidable (not axiomatizable), the MSO theory of full binary tree is decidable and modal μ-calculus can be viewed as a decidable fragment of MSO
Recommended from our members
Metascientific aspects of topoi of spaces
This thesis presents a study of the importance of topoi for Science. It is argued that whenever the concept of space enters the practice of Science then formal (mathematical) theories should be interpreted in a topos of spaces. It is claimed that these topoi encode knowledge of space arising directly out of the needs of Science, in that the constitutive questions of the Sciences can be traced back to their leading knowledge interests and these determine the role of mathematics as a methodical device. In the Natural Sciences the constitutive questions involve the study of non-intentional objects, in terms of a causal nexus to be explained geometrically, and this facilitates the introduction of geometric objects as the methodical device for posing questions to Nature. Although the study of intentional subjects in the Human Sciences requires ordinary language, not mathematics, to pose questions to each other, secondary methodological objectifications permit a conception of geometric objects analogous to that of the Natural Sciences. Lawvere*s axioms for the gros and petit topoi illustrate attempts to formalise the idea of topoi of spaces, as a rational reconstruction of categories in which geometric objects satisfying the formal theories of Science can be found. The catalysing function of this knowledge of topoi of spaces can lead to a diagnosis of mathematical difficulties caused by a failure to align mathematical conceptions with these topoi. This is illustrated through Varela's use of self-reference in Biology and Atkin's use of algebraic topology in Social Studies
From axiomatization to generalizatrion of set theory
The thesis examines the philosophical and foundational significance of Cohen's Independence results. A distinction is made between the mathematical and logical analyses of the "set" concept. It is argued that topos theory is the natural generalization of the mathematical theory of sets and is the appropriate foundational response to the problems raised by Cohen's results. The thesis is divided into three parts. The first is a discussion of the relationship between "informal" mathematical theories and their formal axiomatic realizations this relationship being singularly problematic in the case of set theory. The second part deals with the development of the set concept within the mathemtical approach. In particular Skolem's reformulation of Zermlelo's notion of "definite properties". In the third part an account is given of the emergence and development of topos theory. Then the considerations of the first
two parts are applied to demonstrate that the shift to topos theory, specifically in its guise of LST (local set theory), is the appropriate next step in the evolution of the concept of set, within
the mathematical approach, in the light of the significance of Cohen's Independence results
New Perspectives on Games and Interaction
This volume is a collection of papers presented at the 2007 colloquium on new perspectives on games and interaction at the Royal Dutch Academy of Sciences in Amsterdam. The purpose of the colloquium was to clarify the uses of the concepts of game theory, and to identify promising new directions. This important collection testifies to the growing importance of game theory as a tool to capture the concepts of strategy, interaction, argumentation, communication, cooperation and competition. Also, it provides evidence for the richness of game theory and for its impressive and growing application