Pablo Castro

In a seminal work, K. Segerberg introduced deontic action logic (DAL) as a formal framework to investigate normative reasoning over actions. In this work, we revisit DAL and provide a complete algebraization for it. To this end, we introduce deontic action algebras—algebraic structures consisting of a Boolean algebra for interpreting actions, a Boolean algebra for interpreting formulas, and two mappings from one Boolean algebra to the other interpreting the deontic concepts of permission and prohibition. We show how this framework supports the derivation of various deontic action logics by imposing or relaxing structural conditions on either Boolean algebra. This flexibility allows us to uniformly account for several logics within the broader DAL family. In particular, we introduce four variations obtained by: (a) enriching the algebra of formulas with propositions on states, (b) adopting a Heyting algebra for state propositions, (c) adopting a Heyting algebra for actions, and (d) adopting Heyting algebras for both. We illustrate these new deontic action logics with examples and establish their algebraic completeness.

: El estudio de la percepción y significación de la variable tiempo por parte del profesorado ha sido un aporte en la comprensión de diversos fenómenos educativos. El objetivo de esta investigación cualitativa fue describir e interpretar las teorías subjetivas de docentes sobre el tiempo de enseñanza priorizada en el contexto de pandemia. Se realizaron entrevistas episódicas grupales a 11 profesores de establecimientos escolares de la Región de Coquimbo (Chile). Los datos fueron analizados utilizando procedimientos de la teoría fundamentada, lo que permitió elaborar dos modelos axiales sobre el tiempo de enseñanza priorizada. Los resultados reconstruyeron diversas implicancias de la experiencia profesional en la percepción del tiempo psicológico del profesorado cuando éste gestiona la enseñanza priorizada. Asimismo, las teorías subjetivas de profesores(as) pertenecientes a los diversos grupos socioeconómicos estudiados, variaron en sus explicaciones sobre sus elecciones pedagógicas previo y durante el tiempo de clases remotas virtuales. Se concluyó que una mayor experiencia profesional y la orientación.

We introduce a family of tableau calculi for deontic action logics based on finite boolean algebras, these logics provide deontic operators which are applied to a finite number of actions ; furthermore, in these formalisms, actions can be combined by means of boolean operators, this provides an expressive algebra of actions. We define a tableau calculus for the basic logic and then we extend this calculus to cope with extant variations of this formalism; we prove the soundness and completeness of these proof systems. In addition, we investigate the computational complexity of the satisfiability problem for DAL and its extensions; we show this problem is NP-complete when the number of actions considered is fixed, and it is \-Hard when the number of actions is taken as an extra parameter. The tableau systems introduced here can be implemented in PSPACE, this seems reasonable taking into consideration the computational complexity of the logics.

El presente estudio analiza los recursos narrativos utilizados en los libros de viajes europeos a finales de la Edad Media. En primer lugar, se revisa la discusión sobre los relatos de viajes y la literatura de viajes, examinando las estructuras narrativas que configuran los escritos reales e imaginarios en los periplos. Posteriormente, se estudian los recursos narrativos aplicados a los relatos de los viajeros occidentales –tales como el itinerario, el orden espacial y cronológico, los mirabilia, entre otros-, estableciendo un relato verosímil y legítimo frente a cualquier tipo de invención o falta de rigurosidad en la narración de viaje. En suma, nuestra propuesta de investigación sostiene que el método narrativo de los viajeros, basado en la curiosidad, la observación y el deseo de conocer nuevas cosas, privilegia la búsqueda de objetividad y verosimilitud en el relato. Los viajeros desean presentar con profunda sinceridad las verdades del mundo, lo que se torna una unidad en la composición narrativa de los libros de viajes medievales.

Durante el último medio siglo, el cine chileno argumental ha desplegado una gran variedad de ejemplos de adhesión y pertenencia a distintas categorías identitarias, individuales y colectivas, heredadas o voluntariamente asumidas. El presente ensayo se pregunta por los tipos humanos presentes en la producción fílmica y propone que es posible detectar y estudiar la presencia de espacios identitarios en el cine chileno, así como determinar el modo en que las identidades se ponen en juego cuando las contingencias políticas o el espíritu de una época cuestionan la inercia de grupos e individuos. Ello, en el contexto de un cuadro interpretativo mayor: la posibilidad de comprender diversos aspectos de la historia, la sociedad y la cultura chilenas a través del cine.

In this article, I argue that the use of biomedical technologies for moral enhancement is inadequate for mitigating global risks, as this can lead to problems similar to those they seek to address. For this reason, I advocate for exploring alternative technologies for moral enhancement that entail fewer risks, and I make a case for a model of moral enhancement through artificial intelligence. Specifically, I support the use of SocrAI, an artificial moral assistant designed to improve our moral deliberation, and propose three criteria to assess and enhance its safety and efficacy. Additionally, I highlight the importance of considering structural and institutional issues – i.e., political, economic, social and cultural norms or incentives – in moral enhancement proposals, and demonstrate how SocrAI can have an impact on them.

Este estudio buscó describir e interpretar las teorías subjetivas sobre la identidad profesional docente que se construyen y difunden noticiosamente durante la educación de emergencia por la pandemia de COVID 19. Se utilizó un estudio de análisis documental, metodología cualitativa y un diseño de estudio de casos. El muestreo intencionado y por conveniencia corresponde a 40 noticias de prensa escrita en español, sobre el profesor(a) en pandemia y publicadas en diferentes medios que fueron recolectadas a través de Google Noticias desde el 11 de marzo de 2020 y hasta el 01 de noviembre de 2020. A partir de una codificación temática, los resultados evidenciaron teorías subjetivas asociadas a las exigentes características, roles, funciones y valores con los que se identifica al profesorado durante la pandemia. El análisis mostró los distintos sentidos del ejercicio profesional y las competencias asociadas a su desempeño en la prensa. En la discusión, se utilizaron estudios relativos a la práctica docente para interpretar estos resultados.

Deontic logic is devoted to the study of logical properties of normative predicates such as permission, obligation and prohibition. Since it is usual to apply these predicates to actions, many deontic logicians have proposed formalisms where actions and action combinators are present. Some standard action combinators are action conjunction, choice between actions and not doing a given action. These combinators resemble boolean operators, and therefore the theory of boolean algebra offers a well-known athematical framework to study the properties of the classic deontic operators when applied to actions. In his seminal work, Segerberg uses constructions coming from boolean algebras to formalize the usual deontic notions. Segerberg’s work provided the initial step to understand logical properties of deontic operators when they are applied to actions. In the last years, other authors have proposed related logics. In this chapter we introduce Segerberg’s work, study related formalisms and investigate further challenges in this area.