Transfinite recursion is an essential component of set theory. In this paper, we seek intrinsically justified reasons for believing in recursion and the notions of higher computation that surround it. In doing this, we consider several kinds of recursion principles and prove results concerning their relation to one another. We then consider philosophical motivations for these formal principles coming from the idea that computational notions lie at the core of our conception of set. This is significant because, while the iterative (...) conception of set has been widely recognized as insufficient to establish replacement and recursion, its supplementation by considerations pertaining to algorithms suggests a new and philosophically well-motivated reason to believe in such principles. (shrink)

El presente trabajo pretende explicitar que los operadores modales, como construcciones lógicas, insertos en las interpretaciones modales (MI) de la mecánica cuántica son usados de manera informal sin una semántica modal adecuada. Primero se estudiarán en detalle los motivos por los que ninguna lógica cuántica puede ofrecer una base apropiada para formalizar estos operadores en contextos mecánico-cuánticos. A continuación, se presentará el enfoque de las historias cuánticas como una nueva lógica cuántica (NQL) intrínsecamente booleana como posible herramienta para formalizar operadores (...) modales en el contexto de las MI. Tras comentar brevemente las principales MI, se propondrá abordar un estudio de las modalidades presentes en ellas desde esta NQL prestando siempre especial atención al problema de la medida como hilo conductor. Finalmente, se pretende señalar cuáles han de ser los primeros pasos necesarios para ofrecer una exposición lógicamente consistente de las modalidades en contextos cuánticos relevantes con NQL como herramienta, así como señalar las ventajas que esta perspectiva podría llegar a ofrecer. (shrink)