SEMINAR - Current

The nowadays common practice among set-theorists of producing models of set-theory is a very useful tool for set-theoretical practice. Motivated by the construction of generic extensions by means of Boolean-valued models, I intend to present a first look at what I have called perspectivism. The main goal of this talk is to present the background on which this approach was formulated, as well as  to discuss the possible philosophical developments of the work in the near future, given the tools we have in hand. Thus, I will give an overview on what philosophers of science have called perspectivism, propose a possible adaptation to the context of philosophy of set theory, as well as give a quick introduction to forcing, in order to show how perspectivism can be applied in this context.

Variable objects are widely used and play a very important role in logic and mathematics. Despite the success of the semantic treatment of variables for practical purposes, a characterization of their nature remains to be given. Arbitrary object theory is a young sub-field of analytical metaphysics that is aiming to do precisely that. In this talk, I will give an overview of Fine's and Horsten's theories and discuss some applications