Jose Jesse Ramirez

Inspired by Roland Barthes's practice of "semioclasm" in Mythologies, this book offers a "technoclasm"; a cultural critique of US narratives, discourses, images, and objects that have transformed the politics of automation into statements of fact about the "rise of the robots". Treating automation as an ensemble of technologies and science fictions, this book foregrounds automation's ideologies, exaggerations, failures, and mystifications of the social value of human labor in order to question accepted and prolific automation mythologies. Jesse Ramirez offers a study of automation that recognizes automation as a technosocial project, which uses the tools of cultural studies and history to investigate the narratives and ideologies that often implicitly frame the automation debate, and that concretely and soberly assesses the technologies that have made the headlines. The case studies featured include some of the most widely cited and celebrated automatic technologies, such as the Baxter industrial robot, the self-driving car, and the Watson AI system. An ideal resource for anyone interested in or studying emerging technology and society, automation, Marxian cultural theory, cultural studies, science fiction studies, and the cultural history of technology.

In memoriam José Arrazola Ramírez The logic $\textbf{G}^{\prime}_3$ was introduced by Osorio et al. in 2008; it is a three-valued logic, closely related to the paraconsistent logic $\textbf{CG}^{\prime}_3$ introduced by Osorio et al. in 2014. The logic $\textbf{CG}^{\prime}_3$ is defined in terms of a multi-valued semantics and has the property that each theorem in $\textbf{G}^{\prime}_3$ is a theorem in $\textbf{CG}^{\prime}_3$. Kripke-type semantics has been given to $\textbf{CG}^{\prime}_3$ in two different ways by Borja et al. in 2016. In this work, we continue the study of $\textbf{CG}^{\prime}_3$, obtaining a Hilbert-type axiomatic system and proving a soundness and completeness theorem for this logic.