El corpuscularismo sirvió a los físicos del XVII para matematizar la naturaleza al considerarla un conjunto de sistemas mecánicos. Pero la discontinuidad del atomismo chocaba con la continuidad de las magnitudes básicas, espacio y el tiempo, y derivadas. En su madurez, Galileo fundió física y matemáticas propo-niendo componer tanto los cuerpos como las magnitudes continuas a base de átomos inextensos (indivisibles). En el proceso inició el análisis de las propiedades de los conjuntos infinitos, pero no logró elaborar un cálculo que (...) le permitiese computar diferentes movimientos acelerados, mientras que en física no resolvió en problema fundamental de la condensación y la rarefacción.Seventeenth century atomism envisioned Nature as a set of mechanical systems to be treated mathematically. But the basic discontinuity of atomic theory of matter appeared inconsistent with the essential continuous character of geometrical magnitudes. In his old age Galileo devised a way to unify mathematics and physics via composing matter and continuous magnitudes out of an infinity of indivisible (atomic) units. Even though he forwarded the analysis of infinite sets, he couldn’t establish a calculus to compute and compare different accelerated motions. In physics he never solved the basic problem of condensation and rarefaction of substances. But the side results were interesting and even fascinating. (shrink)

Thomas S. Kuhn acuno la expresion tension esencial para aludir al conflicto entre las tendencias conservadora y revolucionaria en la ciencia. Estas dan lugar respectivamente a la ciencia normal, que trata de salvar al paradigma dominante de las refutaciones, y a la extraordinaria, que responde a las dificultades sustituyendo las viejas teorias por otras radicalmente novedosas. La actitud adoptada en cada momento no esta dictada por normas de racionalidad, sino por la psicologia y la sociologia de los cientificos y sus (...) comunidades. Al conceder una funcion central a la psicosociologia en la explicacion del desarrollo cientifico, Kuhn creo la alta tension hoy omnipresente entre racionalidad e irracionalidad, objetividad y subjetividad, universalismo y relativismo, realismo e idealismo. Este homenaje a la obra de Kuhn recoge diversas contribuciones a las principales caras de esta tension, desde la perspectiva de la filosofia, la sociologia, la psicologia y la historia de la ciencia. (shrink)

Brahe creía que su teoría sobre los cometas refutaba el copernicanismo. Analizamos el argumento y mostramos que ningún sistema existente podía acomodarlos. Tras el decreto anticopernicano de 1616, muchos jesuitas que rechazaban a Ptolomeo e incluso coqueteaban con Copérnico se vieron obligados a abrazar el sistema de Brahe. La discusión de los cometas de 1618 permitía a los jesuitas reforzar a Brahe en un momento en que Galileo no podía defender el copernicanismo. La disputa de los cometas se examina bajo (...) esta luz y se conjetura la orientación pro-Brahe de las censuras del Diálogo de Galileo.It was Brahe’s belief that the motion of comets refuted Copernicus’ system and complied with his own. His argument is analyzed to show that neither could explain their motion. After the anti-copernican decree of1616 quite a few Jesuits that rejected Ptolemy and even courted Copernicus were bound to accept Brahe’s system. The appearance of comets in 1618 allowed the Jesuits to describe them and support Brahe, while Galileo could not treat them in copernican terms. So he crossed them off. The comets war is seen under this light and the pro-Brahe bias in the censorship of the Dialogo is strongly conjectured. (shrink)

El tema de la hospitalidad fue suficientemente analizado por Jacques Derrida, el pensador francés de la deconstrucción. Este artículo busca investigar la cuestión de la hospitalidad considerando la oposición radical, la aporía, entre la ley de la hospitalidad incondicional, en su singularidad universal, y las leyes de la hospitalidad condicional. ¿Quién se encuentra apto para la hospitalidad? ¿Alguien que dice su nombre? ¿Una sujeto de derecho? ¿Un extranjero? Exploraremos algunas de las condiciones para responder a esta pregunta: la hospitalidad como (...) un asunto del lugar, como un asunto del lenguaje y como un asunto del nombre. (shrink)

El corpuscularismo sirvió a los físicos del XVII para matematizar la naturaleza al considerarla un conjunto de sistemas mecánicos. Pero la discontinuidad del atomismo chocaba con la continuidad de las magnitudes básicas, espacio y el tiempo, y derivadas. En su madurez, Galileo fundió física y matemáticas propo-niendo componer tanto los cuerpos como las magnitudes continuas a base de átomos inextensos (indivisibles). En el proceso inició el análisis de las propiedades de los conjuntos infinitos, pero no logró elaborar un cálculo que (...) le permitiese computar diferentes movimientos acelerados, mientras que en física no resolvió en problema fundamental de la condensación y la rarefacción.Seventeenth century atomism envisioned Nature as a set of mechanical systems to be treated mathematically. But the basic discontinuity of atomic theory of matter appeared inconsistent with the essential continuous character of geometrical magnitudes. In his old age Galileo devised a way to unify mathematics and physics via composing matter and continuous magnitudes out of an infinity of indivisible (atomic) units. Even though he forwarded the analysis of infinite sets, he couldn’t establish a calculus to compute and compare different accelerated motions. In physics he never solved the basic problem of condensation and rarefaction of substances. But the side results were interesting and even fascinating. (shrink)

Para Galileo la Naturaleza tenía estructura geométrica. El atomismo veía los sistemas físicos como estructuras matemáticas; pero el atomismo es discontinuo y las magnitudes, continuas. Para unificar física y matemáticas, compuso la materia de átomos inextensos y las magnitudes continuas de infinitos elementos indivisibles, lo que planteó problemas físicos y matemáticos irresolubles pero estimulantes.

Background: COVID-19 has taken many lives worldwide and due to this, millions of persons are in grief. When the grief process lasts longer than 6 months, the person is in risk of developing Complicated Grief Disorder. The CGD is related to serious health consequences. To reduce the probability of developing CGD a preventive intervention could be applied. In developing countries like Mexico, the psychological services are scarce, self-applied interventions could provide support to solve this problem and reduce the health impact (...) even after the pandemic has already finished.Aims: To design and implement a self-applied intervention composed of 12 modules focused on the decrease of the risk of developing CGD, and increasing the life quality, and as a secondary objective to reduce the symptomatology of anxiety, depression, and increase of sleep quality. The Intervention Duelo COVID follows the principles of User Experience and is designed according to the needs and desires of a sample of the objective participants, to increase the adherence to the self-applied intervention, considered one of the main weaknesses of online interventions.Methods: A Randomized Controlled Trial will be conducted from the 22nd of December of 2020 to the first of June 2021. The participants will be assigned to an intervention with elements of Cognitive Behavioral Therapy, Acceptance and Commitment Therapy, Mindfulness and Positive Psychology. The control group will be a wait-list condition, that will receive the intervention 1.5–2 months after the pre-measurement were taken. The Power Size Calculation conducted through G*Power indicated the need for a total of 42 participants, which will be divided by 21 participants in each group. The platform will be delivered through responsive design assuring with this that the intervention will adapt to the screen size of cellphones, tablets, and computers.Ethics and Dissemination: The study counts with the approval of the Research Ethics Committee of the Autonomous University of Ciudad Juárez, México, and it is registered in Clinical Trials. The article is sent and registered in clinical trials before the recruitment started. The results will be reported in future conferences, scientific publications, and media. (shrink)

Bernardi Perini, G. Aceto italico e poesia luciliana: Hor. Sat. I 7.--Bernardinello, S. Bessarione riassume la Fisica di Aristotele.--Bottecchia, M. E. I Mechanicha di Aristotele nel Parisinus graecus 2507.--Bottin, L. La tradizione araba della Retorica di Aristotele e il problema dell'exemplar decurtatum.--Chiereghin, F. Analogie di struttura tra la metodologia della storiografia filosofica di Platone e di Kant.--Ciani, M. G. Poesia come enigma.--Degani, E. Hippon. fr. 40 Med.--Donaldi, F. Note preparatorie all'edizione dell'Encomio di Elena gorgiano nella traduzione latina inedita di Pietro (...) Bembo.--Fumarola, V. Euripide e la tetralogia della femminilità.--Gentilini, A. Una consolatoria inedita del Bessarione.--Ghinatti, F. I culti greci di Paestum.--Longo, O. Note all'Elena e alle Nuvole.--Lunelli, A. Solis rota.--Meschini, A. Su alcuni luoghi del Reso.--Mignucci, M. In margine al concetto aristotelico di esistenza.--Mioni, E. L'Antologia greca da Massimo Planude a Marco Musuro.--Pianezzola, E. Haurio=ferio, perfodio. Un calco omerico mediato dagli scolii.--Pontani, F. M. La distruzione di Melos di Ghiannis Ritsos.--Rinaldi Mioni, G. Aspetto verbale nel greco classico e strutturalismo.--Riondato, E. Problematicità semantica ed etica nell'Etica a Nicomaco.--Serra, G. Alcune osservazioni sulle traduzioni dall'arabo in ebraico e in latino del De generatione et corruptione di Aristotele e dello pseudo-aristotelico Liber de causis.--Traina, A. Convexo nutantem pondere mundum (Verg. Ecl. 4,50).--Valentini, R. La reintroduzione dell'onciale e la datazione dei manoscritti greci in minuscola. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

This chapter subsumes David Marr’s levels of analysis account of explanation in cognitive science under the framework of mechanistic explanation: Answering the questions that define each one of Marr’s three levels is tantamount to describing the component parts and operations of mechanisms, as well as their organization, behavior, and environmental context. By explicating these questions and showing how they are answered in several different cognitive science research programs, this chapter resolves some of the ambiguities that remain in Marr’s account, and (...) shows that many different areas and traditions of cognitive scientific research can be unified under the mechanistic framework. (shrink)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

We are strongly inclined to believe in moral responsibility - the idea that certain human agents truly deserve moral praise or blame for some of their actions. However, recent philosophical discussion has put this natural belief under suspicion, and there are important reasons for thinking that moral responsibility is incompatible with both determinism and indeterminism, therefore potentially rendering it an impossibility. Presenting the major arguments for scepticism about moral responsibility, and subjecting them to sustained and penetrating critical analysis, _Moral Responsibility_ (...) lays out the intricate dialectic involved in these issues in a helpful and accessible way. A well-written and lively account, the book then goes on to suggest a way in which scepticism can be avoided, arguing that excessive pre-eminence given to the will might lie at its root. Offering an alternative to this scepticism, Carlos Moya shows how a cognitive approach to moral responsibility that stresses the importance of belief would rescue our natural and centrally important faith in the reality of moral responsibility. (shrink)

Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings.

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

It has been commonplace to equate Foucault’s 1979 series of lectures at the Collège de France with the claim that for neoliberalism, unlike for classical liberalism, the market needs to be artificially constructed. The article expands this claim to its full expression, taking it beyond what otherwise would be a simple divulgation of a basic neoliberal tenet. It zeroes in on Foucault’s own insight: that neoliberal constructivism is not directed at the market as such, but, in principle, at society, arguing (...) that the value of this insight goes beyond the critique of a neoliberal present. The neoliberal rationale rather helps him to reveal a unique historical architecture, a latent approach to the social dissimilar to the one that has long predominated in the human sciences. The inversion of homo œconomicus in neoliberal theory amounted to the unearthing of a ‘social subject of interest’ within civil society. Such a subject, barely recognized by neoliberals who simply instrumentalize it for the sake of the market, demonstrates that the social is not necessarily the natural product of ethical subjects; that society may also need to be constructed. (shrink)

The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more (...) than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)

Freire is one of the most powerful voices challenging the hegemony of bureaucratic and banking educational systems. His voice was particularly influential impacting revolutionary processes and progressive social movements while at the same time learning from their practices. However, some silences in his oeuvres requires further examination. In this article, we focus on the silences of Freire regarding education and its relationship with work and labor, gender issues, and citizenship building.

Our understanding of the universe has grown rapidly in recent decades. We’ve discovered evidence of water in nearby planets, discovered planets outside our solar system, mapped the genomes of thousands of organisms, and probed the very origins and limits of life. The scientific perspective of life-as-it-could-be has expanded in part by research in astrobiology, synthetic biology, and artificial life. In the face of such scientific developments, we argue there is an ever-growing need for universal biology, life-as-it-must-be, the multidisciplinary study of (...) non-contingent aspects of life as guided by biological theory and constrained by the universe. We present three distinct but connected ways of universalizing biology—with respect to characterizing aspects of life everywhere, with respect to the explanatory scope of biological theory, and with respect to extending biological insights to the structure of nonbiological entities. For each of these, we sketch the theoretical goals and challenges, as well as give examples of current research that might be labeled universal biology. (shrink)

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...) of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

This article aims to understand the primordial experience of the existence of the Other, presented by Jean-Paul Sartre in the third part of Being and Nothingness. In order for our intention to be effectively understood, we have organized this reading into three duly articulated moments. In the first moment, it is essential to clarify how the French philosopher delimited the problem of solipsism as an obstacle constituted by realist and idealist philosophies that generally deny the conditions of possibility for the (...) existence of the other, as well as the critical description that questions the permanence of solipsistic theories in contemporary times, bequeathed by Husserl, Hegel and Heidegger. From this critique, we will lead our reading to the second moment, which consists of establishing an understanding of the existence of the Other, showing how it appears and affects the subject’s daily life, above all because the Other requires the presence of a body and a consciousness that is distinct from the subject’s. In the last moment, we will emphasize the interesting approach to the gaze and shame, this original feeling that strips the consciousness of any certainty that it is isolated in the world. Thus, the experience of shame comes to be understood as the unveiling of the subject’s consciousness, which perceives itself as “invaded” by the gaze of the Other, thus making the Other’s existence in the concrete relationship effective. (shrink)

A distinção de essência e existência figurou como uma das questões fundamentais da metafísica durante a escolástica. Duns Scotus rejeita expressamente a tese de que a essência e a existência de um ente sejam distintas realmente (realiter). Para compreender essa rejeição, analisamos neste artigo a noção de coisa (res) na doutrina de Scotus, especialmente na sua crítica a Henrique de Gand acerca do estatuto ontológico dos criáveis, levando em consideração a recepção da doutrina das primeiras noções do intelecto de Avicena. (...) Scotus e Henrique adotam escopos distintos da noção de res e concluem divergentemente acerca da questão da essência e existência no contexto da criação do mundo. Também analisamos o argumento de Scotus quanto à natureza da simplicidade encontrada na criação, e como o Doutor Sutil argumenta pela rejeição de uma composição real (realis) necessária no ente criado rejeitando também, consequentemente, a distinção real de essência e existência. (shrink)

We show that basic hybridization makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i$\end{document} in propositional and first-order hybrid logic. This means: interpret \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$@_i\alpha _a$\end{document}, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha _a$\end{document} is an expression of any type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document}, as an expression of type \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$a$\end{document} that rigidly returns the value that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha_a$\end{document} receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

Reductionism has dominated science and philosophy for centuries. Complexity has recently shown that interactions—which reductionism neglects—are relevant for understanding phenomena. When interactions are considered, reductionism becomes limited in several aspects. In this paper, I argue that interactions imply nonreductionism, non-materialism, non-predictability, non-Platonism, and non-Nihilism. As alternatives to each of these, holism, informism, adaptation, contextuality, and meaningfulness are put forward, respectively. A worldview that includes interactions not only describes better our world, but can help to solve many open scientific, philosophical, and (...) social problems caused by implications of reductionism. (shrink)

Replies to commentators Respuestas a los comentarios críticos de Carlos Patarroyo, Mirja Pérez de Calleja y Pablo Rychter.

Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, (...) irrespective of whether varying, constant, expanding, or contracting domains are assumed. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)