Search results

The theme of the Colloquium will be "  Formalizing Mathematics and Dependent Types  ". Colloquium guests are specialists in the implementation or theory of proof assistants, type theory, higher-order category notions, and mathematicians who use these …

Chairman  : Michael Murez Abstract Various anti-physicalist arguments hinge on the idea that phenomenal concepts reveal the nature of their referents to us. I shall consider various models for this kind of phenomenal revelation and argue that none can …

Chairman  : Julien Bugnon Abstract Following recent usage, I use 'coordination' to refer to the relation that Fregeans have conceived of as sameness of sense. To a first approximation, representations are coordinated when the fact they are about the same …

Presidency  : Matheus Valente Abstract According to Phenomenal Transparency, experiencing a phenomenal property puts one is in a position to acquire knowledge of its essence. In this paper, I will argue that Phenomenal Transparency risks forcing upon us a …

Chairman  : Julien Bugnon Abstract If God exists necessarily and is essentially conscious, then there is a conscious being in every possible world. However, it is conceivable that nothing is conscious, which perhaps gives us reason to think that it's …

Chair  : Rachel Goodman Abstract Let a property concept be transparent if and only if a thinker who has acquired such a concept is in a position to fully understand the nature of the property it is a concept of. Proponents of phenomenal transparency …