We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.

Tradicionalmente se ha separado a la epistemología y a la hermenéutica, puesto que la primera trata de lo conmensurable y la segunda, lo inconmensurable. Sin embargo, en mi opinión, hoy en día es posible unir a la epistemología y la hermenéutica sólo si partimos de una teoría de la epistemología contemporánea: la teoría de la verdad como aceptabilidad racional en condiciones epistémicas óptimas. Dicha teoría permite justificar lo conmensurable y entender lo inconmensurable.Traditionally epistemology and hermeneutics have been separated, since the (...) first deals with commensurability and the second with incommensurability. Nevertheless, in my opinion, nowadays it is possible to unite epistemology and hermeneutics if we start from a theory contemporary epistemology: the theory of the truth as rational acceptability in optimal epistemic conditions. This theory allows us to justify commensurability and to understand incommensurability. (shrink)

This paper discusses the introduction of fraudulent “molecular detector” technology into Mexico. The case is used to argue that contemporary science and technology studies’ approaches to scientific policy-making make basic assumptions about the societies they operate in that are inconsistent with the Mexican context. This paper also argues that contrary to what happens in the so-called Global North, the relative power of Mexican science in government and policy circles is as much limited by its relatively weak position as much as (...) it is by self-censorship and unrealized impact in the country’s fragile democracy. The case is also used to highlight the necessity for more politically involved scientific institutions in Mexico, as these become critical safeguards against incoming destabilizing technologies from more powerful nations into the local “peripheral” context. (shrink)

Mounting evidence suggests that participation in clinical trials confers neither advantage nor disadvantage on those enrolled. Narrow focus on the question of a “trial effect,” however, distracts from a broader mechanism by which patients may benefit from ongoing clinical research. We hypothesize that the existence of clinical trials infrastructure—the organizational culture, systems, and expertise that develop as a product of sustained participation in cooperative clinical trials research—may function as a quality improvement lever, improving the quality of care and outcomes of (...) all patients within an institution or region independent of their individual participation in trials. We further contend that this “infrastructure effect” can yield particular benefits for patients in low- and middle-income countries. The hypothesis of an infrastructure effect as a quality improvement intervention, if correct, justifies enhanced research capacity in LMIC as a pillar of health system development. (shrink)

The present paper has three objectives: Presenting an actualization of a proof of the decidability of monadic predicates logic in the contemporary model theory context; Show examples of decidable and undecidable fragments inside First order logic, offering an original proof of the following theorem: Any formula of First of order logic is decidable if its prenex normal form is in the following form: ∀x1,…,∀xn∃y1,…,∃ymφ; Presenting a theorem that characterizes the validity of First order logic by the tautologicity of Propositional logic, (...) said result is interesting since immediately arises the doubt of how to conciliate said characterization with Alonzo Church’s Undecidability Theorem for First Order Logic. (shrink)

Andres Bonifacio is a household name in the history of the Philippines.His name has been included into many discussion and controversies revolvingover his identity as the Father of the Revolution and being the founder ofKataastaasang, Kagalanggalangag Katipunan . His poems serve as legaciesthat can unlock what kind of person is Andres. Through his poems, he expressedreflections about the situation of the Indios during the time of colonization andthe rage of the revolution. This descriptive study analyzed four selected poemsof Andres Bonifacio (...) and sought to find a new insight into the poems through a Neo-Marxist perspective using a Neo-Marxist lens, specifically the theory of cultural hegemony by Antonio Gramsci. Based on the content analysis of hispoems, it was found out that Bonifacio was affected by the false consciousnesspropagated by the colonizers during the Spanish settlement in the country. Italso answered the question whether Bonifacio is a patriotic man or a nationalistichero. Keywords: Literature, revolution, neo-marxism, poems, Andres Bonifacio, descriptiveresearch, Philippines. (shrink)

Aun cuando se plantea que Arendt y Benjamin sostienen posiciones filosófico políticas irreconciliables, nosotros consideramos que existen líneas de confluencia que parten de una crítica a la Modernidad y los llevan a explorar temas como la narración, la narratividad, la autoridad y la legitimidad. En este trabajo me centraré en la visión que cada uno de ellos tiene sobre el Marxismo, sus apropiaciones, así como las derivaciones a las que llegan. Intentaré mostrar que, mientras en Arendt sobresale una crítica al (...) marxismo como parte de la tradición de pensamiento Occidental, en Benjamin derivará en un giro al idealismo y la teología que pasará a ser redención. (shrink)

La palabra “Grimorio” deviene del provenzal “Grammaire noir” traducible como “Gramática negra” o “Gramática de la oscuridad”. Estos son los libros de magia utilizados por brujas y hechiceros desde que el Diablo formó parte de la imaginería popular. Parecería contradictorio que un texto sagrado —siguiendo las ideas de Roger Caillois y James Frazer—, correspondería con la “escrituralidad”: la estructura de su mensaje debería ser puntual y científica; pero hay ejemplos donde no se respeta esto. Dentro de la literatura fantástica hispanoamericana (...) encontramos manuscritos y libros sagrados con una gran carga de oralidad: el argentino Enrique Anderson Imbert con su cuento “El Grimorio” donde, más que una gramática, parece una historia dedicada a alguien. Para este estudio se utilizará la novela corta de Emiliano González: El discípulo; una novela de horror sobrenatural ; donde aparece una versión extraña de un grimorio. La estrategia de análisis parte de los estudios sobre la evolución y uso cotidiano de la lengua de Ignace Gelb, Peter Koch y Wulf Oesterreicher, para determinar si es una cuestión cultural o si es tan solo una curiosidad literaria el deconstruir así un texto sagrado al hacer que tenga elementos orales. ¿Se está reconfigurando o resemantizando el manuscrito como texto sagrado en la literatura mexicana del siglo xx? ¿Se puede llamar a estos escritos “grimorios” aunque no se traten de empastados con las mismas características del grimoire medieval? Estas respuestas esperan dilucidarse a partir de la literatura y de su estudio. (shrink)

This paper argues that analyses of the ways in which Big Data has been enacted in other academic disciplines can provide us with concepts that will help understand the application of Big Data to social questions. We use examples drawn from our Science and Technology Studies analyses of -omic biology and high energy physics to demonstrate the utility of three theoretical concepts: primary and secondary inscriptions, crafted and found data, and the locus of legitimate interpretation. These help us to show (...) how the histories, organisational forms, and power dynamics of a field lead to different enactments of big data. The paper suggests that these concepts can be used to help us to understand the ways in which Big Data is being enacted in the domain of the social sciences, and to outline in general terms the ways in which this enactment might be different to that which we have observed in the ‘hard’ sciences. We contend that the locus of legitimate interpretation of Big Data biology and physics is tightly delineated, found within the disciplinary institutions and cultures of these disciplines. We suggest that when using Big Data to make knowledge claims about ‘the social’ the locus of legitimate interpretation is more diffuse, with knowledge claims that are treated as being credible made from other disciplines, or even by those outside academia entirely. (shrink)

By the desiyn with the categories of the Doymatics and the “Theory of Law” of an interfase for legal information retrieval, it will verify the consistence of the theories of legal justification suggested by the Jurisprudence. The verification will be in the congruence of the use of automated legal documentation by judges and lawyers in continental countries in their practice.

El objetivo es estudiar las relaciones jóvenes- política en el contexto actual de procesos sociales para comprender el sentido de las prácticas políticas de las y los jóvenes universitarios, concretando la indagación con estudiantes de la Fundación Universitaria Los Libertadores. Se problematizan la..

Can philosophy elaborate a discourse on hope? This question leads the monographic issue of the Rivista Italiana di Filosofia Politica that we introduce in this article. Its intent is to explore the relationship between philosophy and political reality not (only) in the light of a critique of the present, but (also) of a generative variant of the inaugural gesture of thinking.

El presente texto problematiza un marco de aproximación y de deconstrucción interpretativa para analizar las transformaciones de las prácticas políticas de las y los jóvenes actualmente en las capitales de 2 países de América Latina (Bogotá, Sao Paulo) ligadas a las mediaciones de la Internet. Par..

We present a Hilbert-style axiomatization of a recently introduced logic, called G'3 G'3 is based on a 3-valued semantics. We prove a soundness and completeness theorem. The replacement theorem holds in G'3. As it has already been shown in previous work, G'3 can express some non-monotonic semantics. We prove that G'3can define the same class of functions as Lukasiewicz 3 valued logic. Moreover, we identify some normal forms for this logic.

In bringing together a global community of philosophers, Global Epistemologies and Philosophies of Science develops novel perspectives on epistemology and philosophy of science by demonstrating how frameworks from academic philosophy (e.g. standpoint theory, social epistemology, feminist philosophy of science) and related fields (e.g. decolonial studies, transdisciplinarity, global history of science) can contribute to critical engagement with global dimensions of knowledge and science. -/- Global challenges such as climate change, food production, and infectious diseases raise complex questions about scientific knowledge production (...) and its interactions with local knowledge systems and social realities. As academic philosophy provides relatively little reflection on global negotiations of knowledge, many pressing scientific and societal issues remain disconnected from core debates in epistemology and philosophy of science. -/- This book is an invitation to broaden agendas of academic philosophy by presenting epistemology and philosophy of science as globally engaged fields that address heterogeneous forms of knowledge production and their interactions with local livelihoods, practices, and worldviews. This integrative ambition makes the book equally relevant for philosophers and interdisciplinary scholars who are concerned with methodological and political challenges at the intersection of science and society. (shrink)

El objetivo de este artículo es presentar una demostración de un teorema clásico sobre álgebras booleanas y ordenes parciales de relevancia actual en teoría de conjuntos, como por ejemplo, para aplicaciones del método de construcción de modelos llamado “forcing” (con álgebras booleanas completas o con órdenes parciales). El teorema que se prueba es el siguiente: “Todo orden parcial se puede extender a una única álgebra booleana completa (salvo isomorfismo)”. Donde extender significa “sumergir densamente”. Tal demostración se realiza utilizando cortaduras de (...) Dedekind siguiendo el texto “Set Theory” de Jech, y otras ideas propias del autor de este artículo. Adicionalmente, se formulan algunas versiones débiles del axioma de elección relacionadas con las álgebras booleanas, las cuales son también de gran importancia para la investigación en teoría de conjuntos y teoría de modelos, pues estas son poderosas técnicas de construcción de modelos, como por ejemplo, el teorema de compacidad (permite construir modelos no estándar, etc) y el teorema del ultrafiltro, que permite construir ultraproductos (pueden ser usados para investigar problemas de cardinales grandes, etc). Se presentan algunas referencias de problemas abiertos sobre el tema. -/- The objective of this paper is to present a demonstration of a classical theorem on boolean algebras and partial orders of current relevance in set theory, as for example, for applications of model construction method called forcing" (with boolean algebras complete or with partial orders). The theorem to be proved is as follows: Any partial order can be extended to a single complete boolean algebra (up to isomorphism)". Where to extend means embed densely". Such a demonstration is done using Dedekind's cuts following the text Set Theory" of Jech, and other ideas of the author of this article. In addition, some weak versions of the axiom of choice related to boolean algebras are formulated, which are also of great importance for the research in set theory and model theory, since this are powerful model construction techniques, such as the compactness theorem (allows the construction of non-standard models, etc.) and the ultralter theorem, which allows the construction of ultraproducts (can be used to investigate problems of large cardinals, etc). Some references of open problems on the subject are presented. (shrink)

Este artículo tiene dos objetivos. El principal es mostrar la concepción de la historiografía como teoría crítica en la obra de Dominick LaCapra. El secundario es exponer las consecuencias impolíticas de la teoría crítica contemporánea que subestima la atención a la historia. Con tal fin, enmarco la historia intelectual de LaCapra en el contexto de la renovación de la metodología historiográfica y muestro la relevancia del estudio del trauma en su concepción del conocimiento histórico. Posteriormente, muestro que la clave que (...) convierte su concepto de historia en una teoría crítica es la idea de que la historia debe contribuir a elaborar el trauma y capacitar para la acción, así como la relación entre esta idea y el vínculo entre experiencia e identidad política. Después expongo la crítica de LaCapra a una corriente contemporánea de teoría crítica que renuncia a la elaboración del trauma. Por último, propongo tres categorías para identificar y analizar dicha corriente: diferencia histórica, viraje ético e impoliticidad. (shrink)

Este artículo examina la dimensión política del concepto de mesianismo. Se sostiene que el recurso a este concepto en ciertos filósofos contemporáneos, sobre todo Agamben, es deudor de las tesis de Schmitt, Benjamin y Taubes sobre el pensamiento paulino. Desde estas premisas, se examina la relevancia filosófico-política del mesianismo a partir de su cuestionamiento de todo nomos, justificando su carácter impolítico. El mesianismo impolítico es la antítesis de la teología política.

This article analyzes the connections among ontology, political thought and politics. Firstly, the author analyzes the normative aspect of the concept of civil society, with special attention to Cohen and Aratoʼs theory, and second, he studies the ontologycal style from Jean-Luc Nancy, Giorgio Agamben and Antonio Negri about the social and political aspects of the human reality, and he values theirs consistency and appropriateness.

El objetivo principal de este artículo es presentar la demostración directa del Teorema de compacidad de la Lógica de primer orden (Gama tiene un modelo si y sólo si cada subconjunto finito de Gama tiene un modelo) que se realiza utilizando el Método de construcción de modelos llamado "Ultraproductos" que, a su vez, usa "Ultrafiltros". Actualmente es más común demostrar el Teorema de compacidad como un corolario del Teorema de completitud de Gödel y usar el método de reducción al absurdo (...) para probarlo. Sin embargo, vale la pena estudiar también esta prueba directa que usa Ultraproductos porque dicha técnica tiene importantes aplicaciones en investigaciones contemporáneas de matemáticas, por ejemplo en la Teoría de conjuntos y en el Análisis. Al final del artículo se realiza un breve comentario sobre Compacidad, Ultraproductos, Cardinales grandes y Modelos no estándar. (shrink)

Fringe science has been an important topic since the start of the revolution in the social studies of science that occurred in the early 1970s. The revolution was what Collins and Evans refer to as the "second wave of science studies," while this paper is best thought of as an exercise in "third wave science studies." The first wave was that period which reached its apogee in the aftermath of the Second World War when science was seen as unquestionably the (...) pre-eminent form of knowledge-making, and the role of philosophy and sociology was to understand how it was so and how societies could be arranged to nurture it best; the second wave was "social constructionism" which became folded into post-modernism in... (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)