In this paper we develop the elementary theory of modules in the category Sh of sheaves over right-sided idempotent quantales. The main ingredient is the construction of a logic sound for Sh . As an application we prove that in Sh , a finitely generated projective module is free , a result that is relevant to the study of representation of non-commutative C ∗ -algebras.

The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, (...) which permits us to express the usual topological properties of separation. The notion of stalks of sheaves over quantales is introduced, and some results in categorial model theory are obtained. (shrink)

We give a version of L´os’ ultraproduct result for forcing in Kripke structures in a first-order language with equality and discuss ultrafilters in a topology naturally associated to a partial order. The presentation also includes background material so as to make the exposition accessible to those whose main interest is Computer Science, Artificial Intelligence and/or Philosophy.

We introduce the Profinite Hull functor of special groups, showing that it gives rise to a new local - global principle, the subform reflection property. We also indicate applications of this principle to the abstract algebraic theory of quadratic forms.

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

Rescate y edición de cuatro artículos olvidados de María Zambrano publicados en el diario _Crítica_ de Buenos Aires en marzo de 1937. Los artículos se corresponden con los capítulos de la segunda parte de _Los intelectuales en el drama de__ España_, el libro que Zambrano escribió y publicó en Chile en la editorial Panorama en 1937. En este trabajo se da cuenta del estado de la cuestión relativo al periodo chileno de Zambrano, se procede al estudio de los artículos encontrados, (...) sobre todo en lo que tiene que ver con su correspondencia con los capítulos de la segunda parte del libro chileno y se dan las coordenadas de su circunstancia editorial. (shrink)

While Aristotle’s explicit focus in Metaphysics Theta 1-5 is dunamis in the sense of the ‘capability’ a thing has to originate change in something else or in itself qua other, practically all translators, when they arrive at chapter four, switch to ‘possible’ and ‘impossible’ as translations of dunaton and adunaton. Such a switch is neither defensible nor necessary and the relevance of Theta 4 is understood only without it.

Algebraic quantum field theory (AQFT) puts forward three ``causal axioms'' that aim to characterize the theory as one that implements relativistic causation: the spectrum condition, microcausality, and primitive causality. In this paper, I aim to show, in a minimally technical way, that none of them fully explains the notion of causation appropriate for AQFT because they only capture some of the desiderata for relativistic causation I state or because it is often unclear how each axiom implements its respective desideratum. After (...) this diagnostic, I will show that a fourth condition, local primitive causality (LPC), fully characterizes relativistic causation in the sense of fulfilling all the relevant desiderata. However, it only encompasses the virtues of the other axioms because it is implied by them, as I will show from a construction by Haag and Schroer (1962). Since the conjunction of the three causal axioms implies LPC and other important results in QFT that LPC does not imply, and since LPC helps clarify some of the shortcomings of the three axioms, I advocate for a holistic interpretation of how the axioms characterize the causal structure of AQFT against the strategy in the literature to rivalize the axioms and privilege one among them. (shrink)

a central thesis of martin heidegger's first reading of a Platonic dialogue, the 1924/25 course on the Sophist, was that, "for the Greeks, being means precisely to be present, to be in the present [Anwesend-sein, Gegenwärtig-sein]."1 Heidegger saw this Greek interpretation of being as leading to Plato's specific interpretation of being as eidos or idea. Heidegger makes this clear in the following passage from another Plato course, the 1931–32 course On the Essence of Truth: "'Idea' is the look [der Anblick] (...) of what something offers itself as being. These looks [Anblicke] are that in which the individual thing presents itself as this or that, that in which it is present and presencing [präsent und anwesend].... (shrink)

The objective of this paper is analyzing to which extent the multiverse hypothesis provides a real explanation of the peculiarities of the laws and constants in our universe. First we argue in favor of the thesis that all multiverses except Tegmark’s “mathematical multiverse” are too small to explain the fine tuning, so that they merely shift the problem up one level. But the “mathematical multiverse" is surely too large. To prove this assessment, we have performed a number of experiments with (...) cellular automata of complex behavior, which can be considered as universes in the mathematical multiverse. The analogy between what happens in some automata (in particular Conway’s “Game of Life") and the real world is very strong. But if the results of our experiments can be extrapolated to our universe, we should expect to inhabit—in the context of the multiverse—a world in which at least some of the laws and constants of nature should show a certain time dependence. Actually, the probability of our existence in a world such as ours would be mathematically equal to zero. In consequence, the results presented in this paper can be considered as an inkling that the hypothesis of the multiverse, whatever its type, does not offer an adequate explanation for the peculiarities of the physical laws in our world. (shrink)

This paper proposes a basic revision of the understanding of teleology in biological sciences. Since Kant, it has become customary to view purposiveness in organisms as a bias added by the observer; the recent notion of teleonomy expresses well this as-if character of natural purposes. In recent developments in science, however, notions such as self-organization (or complex systems) and the autopoiesis viewpoint, have displaced emergence and circular self-production as central features of life. Contrary to an often superficial reading, Kant gives (...) a multi-faceted account of the living, and anticipates this modern reading of the organism, even introducing the term self-organization for the first time. Our re-reading of Kant in this light is strengthened by a group of philosophers of biology, with Hans Jonas as the central figure, who put back on center stage an organism-centered view of the living, an autonomous center of concern capable of providing an interior perspective. Thus, what is present in nuce in Kant, finds a convergent development from this current of philosophy of biology and the scientific ideas around autopoeisis, two independent but parallel developments culminating in the 1970s. Instead of viewing meaning or value as artifacts or illusions, both agree on a new understanding of a form of immanent teleology as truly biological features, inevitably intertwined with the self-establishment of an identity which is the living process. (shrink)

Why is space 3-dimensional? The fi rst answer to this question, entirely based on Physics, was given by Ehrenfest, in 1917, who showed that the stability requirement for n-dimensional two-body planetary system very strongly constrains space dimensionality, favouring 3-d. This kind of approach will be generically called "stability postulate" throughout this paper and was shown by Tangherlini, in 1963, to be still valid in the framework of general relativity as well as for quantum mechanical hydrogen atom, giving the same constraint (...) for space{dimensionality. In the present work, before criticizing this methodology, a brief discussion has been introduced, aimed at stressing and clarifying some general physical aspects of the problem of how to determine the number of space dimensions. Then, the epistemological consequences of Ehrenfest's methodology are critically reviewed. An alternative procedure to get at the proper number of dimensions, in which the stability postulate - and the implicit singularities in three-dimensional physics - are not an essential part of the argument, is proposed. In this way, the main epistemological problems contained in Ehrenfest's original idea are avoided. The alternative methodology proposed in this paper is realized by obtaining and discussing the n-dimensional quantum theory as expressed in Planck's law, de Broglie relation and the Heisenberg uncertainty relation. As a consequence, it is possible to propose an experiment, based on thermal neutron di raction by crystals, to directly measure space dimensionality. Finally the distinguished role of Maxwell's electromagnetic theory in the determination of space dimensionality is stressed. (shrink)

Due to the confinement imposed by the COVID-19 pandemic situation, companies adopted remote work more than ever. The rapid rise of remote work also affected local life and many employers introduced or extended their telework activities because of the associated advantages. However, despite the evident positive benefits, some employees were pressured to work remotely while ill. This evidence brought new challenges to the presenteeism literature. This article investigates how individual, economic/societal, and organizational/sectorial/supervisory-related variables can moderate the role of a contagious (...) disease, such as the COVID-19, in explaining presenteeism behavior. Moreover, the current research presents a multi-level conceptual model to describe how a new construct of remote-work presenteeism behavior mediates the relationship between different post pandemic health conditions and future cumulative negative consequences. The authors suggested that the widespread pervasive adoption of remote work because of COVID-19 has important implications for the presenteeism literature and opens avenues for further research. (shrink)

During the 1920s Heidegger gave no less than twelve seminars and lecture courses devoted either exclusively or in large part to the reading of Aristotle's texts. Seven of these, especially the smaller seminars for advanced students, have not been published and apparently will never be included in the Gesamtausgabe. My focus here is on the very first of these. Billed as a reading of Aristotle's De Anima, much of it was devoted to Aristotle's Metaphysics. This decision not to separate Aristotle's (...) “psychology” from his “ontology” is a key move of the seminar that anticipates the project of Being and Time. This and many other ways in which Heidegger's early reading of De Anima anticipates the key moves of the later book constitute one of the reasons for its importance. Another is that the seminar allows us to see what gets suppressed in Heidegger's reading of Aristotle, most significantly, the phenomenon of life itself in favor of an eventual focus on the being of human life or Dasein. This early seminar thus enables us not only to better understand Heidegger's project, but also to raise some fundamental questions concerning it. (shrink)

Pendant l’ete de 1928 Heidegger a offert un seminaire sur le troisieme livre de la Physique d’Aristote et donc sur l’explication aristotelicienne de la nature du mouvement. La derniere seance de ce cours, qui eut lieu le 25 juillet, est d’une grande importance parce que c’est a cette occasion que Heidegger va au livre neuf de la Metaphysique pour essayer de comprendre la notion ontologique qui est a la base de l’interpretation aristotelicienne du mouvement : l’energeia. Mais dans les protocoles (...) de ce seminaire qui se trouvent parmi les papiers de Heidegger et qui ont ete publies recemment dans le volume 83 de la Gesamtausgabe, la seance du 25 juillet se trouve absente. Ce fait a conduit l’editeur a conclure que le seminaire avait pris fin le 23 juillet, sans s’apercevoir donc que la conclusion du seminaire manquait. Il existe heureusement une transcription preservee parmi les papiers de l’etudiante de Heidegger, Helene Weiss, et accessible aujourd’hui dans les archives de l’universite de Stanford. Cette transcription montre que la derniere session eut bien lieu le 25 juillet et nous offre la lecture heideggerienne de Metaphysique IX qui ne se trouve pas dans la version de la Gesamtausgabe. C’est dans le contexte de cette lecture que Heidegger fait la declaration etonnante qui nous concerne ici : ≪Dans la derniere instance, la Metaphysique Θ revient a Platon ; la priorite de l’energeia est fondamentalement la meme chose que l’epekeina des Idees. ≫La première tâche que je me propose ici sera d’expliquer cette déclaration qui suggère une relation tres etroite, ou meme une identite, entre la notion aristotelicienne de l’energeia comme ayant une priorite vis‑a‑vis de la dunamis et la notion platonicienne de l’Idee du Bien comme etant epekeina de l’ousia. Pour cette explication je ferai appel non seulement au contexte du seminaire de 1928, mais aussi aux textes plus tardifs comme les Beitrage et les cours sur Nietzsche dans lesquels Heidegger semble presupposer et développer sa déclaration de 1928. Ma seconde tâche sera de comparer cette thèse heideggerienne a la tentative de Gadamer de surmonter l’opposition traditionnelle entre les ontologies de Platon et d’Aristote en faisant appel a l’idee du bien chez les deux. Cette tentative se trouve dans le texte Die Idee des Guten zwischen Plato und Aristoteles. La comparaison que j’entreprends ici va montrer certaines affinites entre les interpretations de l’Idee du Bien chez Heidegger et Gadamer, mais aussi de profondes differences qui vont determiner leurs differents projets philosophiques. (shrink)

The present paper has a negative aim and a positive aim, both limited in the present context to a sketch or outline. The negative aim, today less controversial, is to show that Aristotle’s theory of final causality has little or nothing to do with the teleology rejected by modern science and that, therefore, far from having been rendered obsolete, it has yet to be fully understood. This aim will be met through the identification and brief discussion of some key points (...) on which Aristotle’s theory differs from teleology as still commonly understood. The positive aim is more controversial as it proposes that we take an ontology of life as the proper context for understanding the significance and nature of final causation in Aristotle. The argument for final causation, in other words, is that, without it, we would lose the phenomenon of life and, indeed, of nature altogether, reducing nature to the inanimate and mechanical. (shrink)

Heidegger’s recently published 1932 seminar on Plato’s Phaedrus arguably represents his most successful dialogue with Plato, where such dialogue is characterized by both the deepest affinity and the most incisive opposition. The central thesis of Heidegger’s interpretation is that the Phaedrus is not simply a logos about eros, but rather an attempt to show that eros is the very essence of logos and that logos is thereby in its very essence dia-logue. Heidegger is thus here more attuned than ever before (...) to the erotic and dialogical character of philosophy while at the same time concerned with how this conception of philosophy can lead to the eclipse of being and truth. (shrink)

Nuestra amplia dependencia del testimonio es evidente. Confiamos en elreporte de otros sobre una gran variedad de cosas, desde cuestiones concernientesa nuestro nacimiento —e.g., que nacimos tal día a tal hora, oque nuestra madre, de hecho, es nuestra madre— hasta descubrimientosen ciencia —e.g., que la tierra gira alrededor del sol, o incluso cualquiertipo de información geográfica—. Si careciéramos de él, nuestras vidas severían fuertemente empobrecidas. Dada esta importancia, su estudio seha incrementado de manera considerable. Actualmente, en la epistemologíacontemporánea, existen tres (...) respuestas al problema de la justificacióntestimonial. La primera, que responde a la tradición, es una posición reduccionista,que afirma que el testimonio se «reduce» a la percepción, a lamemoria o a las inferencias inductivas. La segunda es el denominado noreduccionismo, el cual considera que el testimonio es una fuente independientede conocimiento y que nos encontramos prima facie justificados amenos que obtengamos una creencia o evidencia relevante en contra. Latercera y última es más reciente, desarrollada principalmente por JenniferLackey, pretende eliminar la dicotomía entre reduccionismo y no reduccionismo,posicionándose en medio de ambas posturas y rechazando, porun lado, «el componente reductivo» del reduccionismo y, por otro lado, lasupuesta credulidad o «actitud acrítica» del no reduccionismo. (shrink)

Frente a los dos extremos representados por una concepción naturalizada yprepolítica de la identidad ciudadana, particularista y excluyente, y otra universalistae inclusiva, pero en extremo abstracta, definida de forma contractualistay en términos jurídico-políticos, democráticos, este artículo presenta,sobre la base de una defensa moral de la cultura como contexto de libertad,la propuesta de Jürgen Habermas, según la cual, las formas y los procedimientosdel Estado constitucional junto con el modo democrático de legitimación producen un nuevo nivel de integración y cohesión social. Profundizandoen (...) una concepción republicana de la democracia, su propuesta permiteintegrar la diversidad cultural sin que sea necesario reconocer los derechoscolectivos reivindicados desde posiciones multiculturalistas, y constituyeal mismo tiempo una vía democrática de articulación de los idealesmorales universalistas y la realidad particular de las comunidades políticasoccidentales. (shrink)

This is a working paper, a discussion on the meaning that L. Polo gives to "synderesis". Starting from this notion, the transcendental and practical dimensions of the «I» are developed and explored.

L. Laudan proposes a rational method in order to properly analyse the development of Sciences. He also proposes an epistemology model. Both have been criticised because of their weak ground and their foreseeable results.

In this paper, I would like to presente the hierarchy of goods, supported by Aristotle in his ethical treaties and in Politics, as the solution to the impasse between two conceptions of virtue that come into open conflict in some of the main Platonic dialogues: virtue as sovereignity and self-sufficiency of the wise, such as that which opposes the insufficiency of addiction, and virtue as capacity ans achievement, as that which opposes to incapacity and to debility. I intend to show (...) that Aristotle “saves” the aristocratic conception of virtue in the same extent that he defends pratical truth Against logical rigorismo, without, however, failing to incorporate the Platonic objection to an instrumental conception of virtue that sees it as a means for obtaining wealth and power. (shrink)

El artículo trata sobre las Cartas inéditas enviadas por la escritora chilena Flora Abasolo al filósofo vasco Miguel de Unamuno. Se da cuenta, primero, de la producción literaria de la escritora dado el evidente desconocimiento que de ella existe dentro del ámbito intelectual nacional. Luego se hace referencia a las Cartas en tanto forman parte de la iniciativa comunicacional y editorial emprendida por Flora en pro del reconocimiento del nombre de su padre, el filósofo Jenaro Abasolo, y de su obra (...) póstuma, La personalidad política y la América del porvenir. Conforme a esto, se explicita el contexto de las Cartas, sus fechas, número y finalidad, y se lleva a cabo una hermenéutica crítica de parte de su contenido con el objetivo de incorporar nuevos antecedentes biográficos y literarios de la escritora y de su progenitor. Se indaga, a su vez, en las razones que pudo tener Unamuno para dejar incumplido el compromiso de reseñar la obra de Abasolo, atendiendo a las circunstancias, a las estrategias seguidas por Flora y a su talante, diferente al de su padre en la búsqueda de reconocimiento. Este trabajo es parte de una investigación mayor que venimos desarrollando desde el año 2008 sobre Abasolo. Sumamos las Cartas a esta labor como un nuevo documento que sobrepasa las expectativas respecto del valor que tienen para la reconstrucción de la vida y obra del filósofo santiaguino, y para la evaluación que de la misma escritora chilena se pueda hacer. Destacamos por tanto la conveniencia de incorporar a las investigaciones de la filosofía en Chile esta clase de documentos que evitan, más allá de su inicial apariencia intrascendente, recorrer caminos que hay que desandar cuando el peso de la evidencia documental vuelve erróneo parte de lo que la especulación sin antecedentes había establecido. (shrink)

“There is nothing deep down inside us except what we have put there ourselves, no criterion that we have not created in the course of creating a practice, no standard of rationality that is not an appeal to such a criterion, no rigorous argumentation that is not obedience to our own conventions.” Richard Rorty, Consequences of Pragmatism I. Introducción: ¿es Richard Rorty el hombre que mató a la verdad? En el año 2003, apenas cuatro años antes de la muerte de (...) Richard Rorty, la cadena BBC emit... (shrink)

En este artículo me propongo analizar el significado que tiene la idea de formar éticamente a profesionistas para resolver «dilemas éticos». Partiendo de la base de las propuestas más significativas de la UNESCO para legitimar la pertinencia de la formación ética en la educación profesional en el siglo XXI, me interesa mostrar el sentido que adquiere el concepto de dilema ético y lo que significa aceptar su legitimidad, para de aquí invitar a una reflexión sobre los fundamentos básicos formales de (...) una pedagogía ética que todo docente que enseña ética a nivel profesional tendría que considerar para enseñar a los futuros profesionistas a enfrentar este singular problema de la razón práctica. (shrink)

Metascientific criteria used for explaining or constraining physical space dimensionality and their historical relationship to prevailing causal systems are discussed. The important contributions by Aristotle, Kant and Ehrenfest to the dimensionality of space problem are considered and shown to be grounded on different causal explanations: causa materialis for Aristotle, causa efficiens for young Kant and an ingenious combination of causa efficiens and causa formalis for Ehrenfest. The prominent and growing rôle played by causa formalis in modern physical approaches to this (...) problem is emphasized. (shrink)

Worldwide, vulnerable neighbourhoods of large cities are often the scene of collective violent conflicts linked with migration and ethnic minorities’ struggles for social justice. However, urban conflicts of this kind have not taken place in Spanish cities with high immigration rates, even though the country has been deeply affected by two recent socioeconomic crises (2009 and 2020). This article reports findings of a study aimed at understanding what lies behind this apparent social peace. The research methodology was based on an (...) analysis of secondary socio-economic and socio-relational data from the Spanish Institute of Statistics and from key national surveys and reports. Results confirmed that immigrant population living in the country are strongly segregated in the lower strata of the labour and socioeconomic structure and have been disproportionately affected by the crises. However, research findings also pointed to the existence of strong closed support networks where social capital has been effective at palliating members’ disadvantage and unrest. Drawing on the Theory of Rupture Frames, we argue that this is a fragile and unsustainable social peace, rooted in social injustice, and anticipate that unless actively prevented, uncontrolled conflict will eventually emerge in main cities’ neighbourhoods in Spain. (shrink)

We explore the intimate connection between spacetime geometry and electrodynamics. This link is already implicit in the constitutive relations between the field strengths and excitations, which are an essential part of the axiomatic structure of electromagnetism, clearly formulated via integration theory and differential forms. We review the foundations of classical electromagnetism based on charge and magnetic flux conservation, the Lorentz force and the constitutive relations. These relations introduce the conformal part of the metric and allow the study of electrodynamics for (...) specific spacetime geometries. At the foundational level, we discuss the possibility of generalizing the vacuum constitutive relations, by relaxing the fixed conditions of homogeneity and isotropy, and by assuming that the symmetry properties of the electro-vacuum follow the spacetime isometries. The implications of this extension are briefly discussed in the context of the intimate connection between electromagnetism and the geometry of spacetime. (shrink)

Para além da doutrinação, que busca dizer ao educando precisamente o que pensar e da lógica que busca dizer uma forma correta de pensar, os debates contifos neste livro enfocam as possibilidades do pensar, desenvolvendo temas tão diversos como a necessidade social do pensar, as possibilidades da argumentação no conflito social, o sentido da filosofia como prática na educação, as relações que provocam o pensar nas diferentes fases de desenvolvimento do educando.