Este articulo pretende establecer una relación entre la Segunda consideración intempestiva, texto temprano de Friedrich Nietzsche publicado en 1874, y algunos de los textos de las lecciones tempranas que Heidegger impartio en Friburgo, en las cuales desarrolla una hermenéutica fenomenológica de la vida factica. Aunque el joven Heidegger se distancia de la filosofía de la vida, de la que Nietzsche ha sido considerado un representante, el artículo intenta mostrar algunas significativas correspondencias en el modo en el que ambos conciben lo (...) histórico. (shrink)

The assembly of products or components by operators in industries is a complex task with recurring problems. In these processes, operators often make errors that can lead to defective products. Therefore, they need to be inspected later to verify their correct assembly. The main problems are caused by several reasons including high employee turnover, lack of experience in manufacturing specific products or confusion in interpreting instructions to assemble similar components. In this paper, a novel structured language aimed to describe the (...) required actions to manufacture a product in industrial assembly environments is presented. The main contribution is to provide a formal language to feed automatic systems that can verify through visual control whether the actions performed by the operator are carried out following the standard described by this language. In general, the use of this formal language will allow to minimize the negative impact of errors during assembly and to reduce waste in many forms in the industry. (shrink)

The authors of Beziau and Franceschetto work with logics that have the property of not satisfying any of the formulations of the principle of non contradiction, Béziau and Franceschetto also analyze, among the three-valued logics, which of these logics satisfy this property. They prove that there exist only four of such logics, but only two of them are worthwhile to study. The language of these logics does not consider implication as a connective. However, the enrichment of a language with an (...) implication connective leads us to more interesting systems, therefore we look for one implication for these logics and we study further properties that the logics obtain when this connective is added to these systems. (shrink)

Este trabajo tiene como objetivo comentar algunas prohibiciones del padre Miguel Ángel de Tamburini y del padre Francisco Retz explicando los conceptos fundamentales de dichas prohibiciones a través de un método analítico y relacionándolos posteriormente bajo un método sintético con los argumentos presentados. Esto último permitirá realizar una reconstrucción de las prohibiciones cuyo ensamble se consolidará en argumentos breves. Asimismo, evaluar cuáles pueden ser las causas o los fundamentos que subyacen en las prohibiciones mismas, es decir, evaluar las causas de (...) su veto. Finalmente, determinar las implicaciones filosóficas de las prohibiciones desde Descartes, Leibniz y Spinoza y sus correspondientes visiones de la Creación, la voluntad, el determinismo y el principio de individuación. (shrink)

The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.

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. (shrink)

La presente obra ofrece la primera historia completa de toda la filosofía novohispana desde 1521 hasta 1821. Se trata de una visión unitaria y completa de toda la filosofía de la época colonial de México, única en su género y con muchas aportaciones valiosas y originales, con método y bases de verdadera investigación histórico-filosófica. Se abre el libro con una hermenéutica de la historia de la filosofía novohispana en la cual el autor, siguiendo las orientaciones más modernas, comprende e interpreta (...) la historia de las ideas en México a partir de sus verdaderos comienzos: desde la polémica entablada por Agustín Rivera y Agustín de la Rosa sobre la validez o no de la acción de España en la enseñanza de la filosofía y de la ciencia en la Nueva España. En su conjunto la obra, estructurada cronológicamente, estudia las actividades y manifestaciones filosóficas de las órdenes religiosas en los tres siglos clásicos, estableciendo una división entre humanistas y escolásticos. Entre los humanistas, destacan fray Juan de Sumárraga, fray Bartolomé de Las Casas, Vasco de Quiroga y Francisco Hernández. En la exposición de los escolásticos, y atendiendo a las diversas órdenes, traza un resumen de las obras principales de los autores más destacados: Diego Valdés, Alonso de la Vera Cruz, Pedro de Hortigosa, Antonio Rubio y Antonio Arias, así como sor Juana Inés de la Cruz. (shrink)

Ciencia y filosofía en Arturo Rosenblueth -- Algunos temas filosóficos de Antonio Gómez Robledo -- Leopoldo Zea y el problema de la filosofía latinoamericana -- Juan Hernández Luna y la historiografía de la filosofía en el México colonial -- Bernabé Navarro, filósofo -- Ontología y poesía en Ramón Xirau -- José Rubén Sanabria, un existencialista mexicano -- Fernando Salmerón y la filosofía -- Individuos y universales en Adolfo García Díaz -- Abelardo Villegas y los derechos humanos -- Aspectos del (...) filosofar de Jośe Benigno Zilli Mánica -- Guillermo Hurtado y el análisis lógico-ontológico de su proposición neorusselliana. (shrink)

This article provides a state of the art review of the philosophical literature on scientific representation. It first argues that the topic emerges historically mainly out of what may be called the modelling tradition. It then introduces a number of helpful analytical distinctions, and goes on to divide contemporary approaches to scientific representation into two distinct kinds, substantive and deflationary. Analogies with related discussions of artistic representation in aesthetics, and of the nature of truth in metaphysics are pursued. It is (...) finally urged that the most promising approaches - and the ones most likely to feature prominently in future developments - are deflationary. In particular, a defence is provided of a genuinely inferential conception of representation. (shrink)

This article provides a state-of-the-art review of the philosophical literature on scientific representation. It first argues that the topic emerges historically mainly out of what may be called the modelling tradition. It then introduces a number of helpful analytical distinctions and goes on to divide contemporary approaches to scientific representation into two distinct kinds, substantive and deflationary. Analogies with related discussions of artistic representation in aesthetics and the nature of truth in metaphysics are pursued. It is finally urged that the (...) most promising approaches—and the ones most likely to feature prominently in future developments—are deflationary. In particular, a defense is provided of a genuinely inferential conception of representation. (shrink)

Las comunidades indígenas en Colombia atraviesan un fuerte proceso de eliminación, que no es reciente, se inició en los tiempos de la colonia con la llegada de los españoles en el siglo XVI. Actualmente, estos pueblos siguen siendo objeto de saqueos y penetración a sus territorios para aprovecharse de sus riquezas naturales y de sus conocimientos milenarios. Así la estrategia de penetración ha seguido la diferencia colonial; perspectiva binaria que clasifica a los agrupamientos humanos en superiores- inferiores, desarrollados-subdesarrollados, cultos incultos (...) y en útiles e inútiles, desde esta máquina de clasificación se han subalternizado formas otras de pensar, de sentir, de imaginar, de relacionarse con la naturaleza, de sociabilidad, de ocio y de re-creación como humanos, lo que nos ha alejado y nos sigue alejando de una convivencia con fundamento en la interculturalidad y en la prevalencia de lo diverso como condición existencial. (shrink)

Jurisdicción; del latín iurisdictio, iuris: jus y dictio:. En la Roma clásica, para la época de la orden judicial privada, la jurisdicción fue privada, ejercida por árbitros; desde la Roma postclásica, época del conocimiento extraordinario, ha sido pública, con resurgimiento de la jurisdicción privada en la figura del arbitraje.

With increased visibility of trans people comes increased philosophical interest in gendered language. This chapter aims to look at the research on gendered language in analytic philosophy of language so far, which has focused on two concerns: (1) determining how to define gender terms like ‘man’ and ‘woman’ such that they are trans inclusive and (2) if, or to what extent, we should use gendered language at all. We argue that the literature has focused too heavily on how gendered language (...) can harm trans people, and has not considered how trans people use gendered language to create meaning and joy for ourselves. Pulling from the literature in sociolinguistics, we look at examples of how trans people use language to make their lives better by gaining recognition, playing with gendered language, finding joy in gendered language, and taking control of definitional power, concluding that debates about gendered language need to consider not only how such language harms trans people but also how trans people use it for our own liberation. (shrink)

In this paper we exhibit a non-finitely based, finitely generated quasi-variety of De Morgan algebras and determine the bottom of the lattices of sub-quasi-varieties of Kleene and De Morgan algebras.

In this paper we exhibit a non-finitely based, finitely generated quasi-variety of De Morgan algebras and determine the bottom of the lattices of sub-quasi-varieties of Kleene and De Morgan algebras.

1Department of Philosophy, University of Bristol, 9 Woodland Road, Bristol BS8 1TB, UKScience Without Laws Ronald Giere Chicago, IL University of Chicago Press 1999 x + 285 Hardback£17.50.

This paper defends an inferential conception of scientific representation. It approaches the notion of representation in a deflationary spirit, and minimally characterizes the concept as it appears in science by means of two necessary conditions: its essential directionality and its capacity to allow surrogate reasoning and inference. The conception is defended by showing that it successfully meets the objections that make its competitors, such as isomorphism and similarity, untenable. In addition the inferential conception captures the objectivity of the cognitive representations (...) used by science, it sheds light on their truth and completeness, and it explains the source of the analogy between scientific and artistic modes of representation. (shrink)

Depersonalization is characterised by a profound disruption of self-awareness mainly characterised by feelings of disembodiment and subjective emotional numbing.It has been proposed that depersonalization is caused by a fronto-limbic suppressive mechanism – presumably mediated via attention – which manifests subjectively as emotional numbing, and disables the process by which perception and cognition normally become emotionally coloured, giving rise to a subjective feeling of ‘unreality’.Our functional neuroimaging and psychophysiological studies support the above model and indicate that, compared with normal and clinical (...) controls, DPD patients show increased prefrontal activation as well as reduced activation in insula/limbic-related areas to aversive, arousing emotional stimuli.Although a putative inhibitory mechanism on emotional processing might account for the emotional numbing and characteristic perceptual detachment, it is likely, as suggested by some studies, that parietal mechanisms underpin feelings of disembodiment and lack of agency feelings. (shrink)

Entre Scylla y Caribdis -- El lenguaje adicional en Jacques Prévert -- L'étranger, absurdo y rebelión en Camus -- La existencia en profundidad.

El modelo de ser humano: homo oeconomicus, impuesto por la racionalidad económica capitalista, ha tenido en las dos últimas décadas una metamorfosis compleja, a saber, la formación de un tipo de subjetividad representada en la figura del “emprendedor” o “su propio jefe” que, desde una nueva gramática teológica, encarna un proyecto mercantil solapado y subrepticio que condiciona las relaciones entre sujetos. En razón a esto, el propósito de este texto es pensar dicha problemática desde el ejercicio hermenéutico-crítico que lleva a (...) cabo el joven Marx, para someter al análisis las categorías de culpa, deuda, sacrificio y expiación destacadas por Walter Benjamin, a la luz de la categoría esencia subjetiva de la propiedad privada que permita entender cómo el capitalismo se vale hoy de la teología y su lenguaje para continuar responsabilizando al ser humano de su pobreza, de su riqueza o su fracaso económico. (shrink)

This paper defends the deflationary character of two recent views regarding scientific representation, namely RIG Hughes’ DDI model and the inferential conception. It is first argued that these views’ deflationism is akin to the homonymous position in discussions regarding the nature of truth. There, we are invited to consider the platitudes that the predicate “true” obeys at the level of practice, disregarding any deeper, or more substantive, account of its nature. More generally, for any concept X, a deflationary approach is (...) then defined in opposition to a substantive approach, where a substantive approach to X is an analysis of X in terms of some property P, or relation R, accounting for and explaining the standard use of X. It then becomes possible to characterize a deflationary view of scientific representation in three distinct senses, namely: a “no-theory” view, a “minimalist” view, and a “use-based” view – in line with three standard deflationary responses in the philosophical literature on truth. It is then argued that both the DDI model and the inferential conception may be suitably understood in any of these three different senses. The application of these deflationary ‘hermeneutics’ moreover yields significant improvements on the DDI model, which bring it closer to the inferential conception. It is finally argued that what these approaches have in common – the key to any deflationary account of scientific representation – is the denial that scientific representation may be ultimately reduced to any substantive explanatory property of sources, or targets, or their relations. (shrink)

Transition experienced by trans people shakes Social Sciences conven-tional understanding of time and space as static analytical units based on tradi-tional biological and physical axioms. Overcoming sexual binarism entails also questioning time and space as isolated elements to become, instead, entangled realities. Departing from trans studies and Halberstam´s concepts of queer temporalities and space as theoretical framework, this papers lines up the indi-vidual story of a trans man with physical disability and ASD with social “trans-formations”, by linking the exposition of (...) the body with the transgression of heteronormative cis time, to be replaced, gradually by trans temporality and new ways of cohabitating spaces. (shrink)

In this paper we describe the Priestley space of a quasi-Stone algebra and use it to show that the class of finite quasi-Stone algebras has the amalgamation property. We also describe the Priestley space of the free quasi-Stone algebra over a finite set.

IntroductionThe idea of video recording in the operating room with panoramic cameras and microphones is a new concept that is changing the approach to medical activities in the OR. However, VR in the OR has brought up many concerns regarding patient privacy and has highlighted legal and ethical issues that were never previously exposed.AimTo review the literature concerning these aspects and provide a better ethical and legal understanding of the new challenges concerning VR in the OR.ConclusionsThere is a disparity between (...) the two main legal models concerning VR in the OR, namely the European legal system ) and the American legal framework ). This difference mainly deals with two distinct bioethical paradigms: GDPR places a strong emphasis on protecting patients’ privacy to improve the public health system, whereas HIPAA indicates the need to generate protocols to safeguard the risks connected to medical activity and patient privacy. Following from this point, we may argue that, at the ethical and bioethical level, GDPR and HIPAA depend mainly on two different ethical models: a perspective based on moral acquaintances and weak proceduralism, respectively. It is worth noting the importance of developing additional guidelines concerning different world regions to avoid the ethical problems that may emerge when simply applying a foreign paradigm to a very different culture. (shrink)

The debate between the theory‐theory and simulation has largely ignored issues of cognitive architecture. In the philosophy of psychology, cognition as symbol manipulation is the orthodoxy. The challenge from connectionism, however, has attracted vigorous and renewed interest. In this paper I adopt connectionism as the antecedent of a conditional: If connectionism is the correct account of cognitive archi‐tecture, then the simulation theory should be preferred over the theory‐theory. I use both developmental evidence and constraints on explanation in psychology to support (...) this claim. (shrink)

"Un escritor ejemplar", texto de Hernando Téllez sobre Gómez Dávila, quizás una de las primeras aproximaciones hechas a una figura autoral que ya empezaba a despertar un profundo interés en la crítica literaria colombiana.

This paper argues for a broadly dispositionalist approach to the ontology of Bohmian mechanics . It first distinguishes the ‘minimal’ and the ‘causal’ versions of Bohm’s theory, and then briefly reviews some of the claims advanced on behalf of the ‘causal’ version by its proponents. A number of ontological or interpretive accounts of the wave function in BM are then addressed in detail, including configuration space, multi-field, nomological, and dispositional approaches. The main objection to each account is reviewed, namely the (...) ‘problem of perception’, the ‘problem of communication’, the ‘problem of temporal laws’, and the ‘problem of under-determination’. It is then shown that a version of dispositionalism overcomes the under-determination problem while providing neat solutions to the other three problems. A pragmatic argument is thus furnished for the use of dispositions in the interpretation of the theory more generally. The paper ends in a more speculative note by suggesting ways in which a dispositionalist interpretation of the wave function is in addition able to shed light upon some of the claims of the proponents of the causal version of BM. (shrink)

El presente texto desea dar cuenta, a partir de aquellos aspectos fenomenológicos de la teoría del conocimiento de Thomas Hobbes, el fundamentoy justificación de la génesis del Estado civil. Sin lugar a dudas, serán la percepción o la intuición, lo sensible, la imaginación o la memoria, el lenguaje, el movimiento, el cómputo, el deseo, el miedo, entre otros, lo que lleva al sujeto a comprender su propia naturaleza y a partir de ella, a pactar con otros sujetos cediendo sus derechos (...) naturales a un tercero para dar fin al estado de naturaleza y poder conservar su vida y vivir en paz. (shrink)

Alasdair MacIntyre: narrative introduction to his work In the wake of the publication of the last book of the British philosopher Alasdair MacIntyre, Ethics in the Conflicts of Modernity: An Essay on Desire, Practical Reasoning, and Narrative, this work proposes a way to understand his bibliographical production in the context of the narrative of his life and his intellectual career. It is elaborated a periodization of the itinerary of MacIntyre, based on the references that the author himself has made of (...) his academic life and in the proposals of several scholars of his thought. It is concluded that the narrative examination of MacIntyre’s work reveals that his philosophical project is basically marked by Aristotle and Aquinas, whose thought helped our author a solid proposal on the main issues of moral philosophy and philosophy of religion. This work is conceived as introductory because it focuses only on MacIntyre’s books, but it’s expected to serve as a solid basis for a thorough critical study —especially from a chronological perspective— of his entire work, which includes chapters of books, papers, interviews, among others. (shrink)