… super scorpionem + pisciculum marinum +, super sagittarium oclopetam, super capricornum locustam marinam, super aquarium anserem, super pisces duos mullos. The unsoundness of the area following scorpionem is brought out by its extreme vagueness coupled with the stylistically inelegant repetition of marinum/ -am, - objectionable in Petronius. I should like to submit what I believe to be a plausible way of restoring the text.

En este artículo analizamos y comparamos tres marcos de interpretación filosófica muy distintos del Barroco español: el de Frederick D. Wilhelmsen, que desde las filas del tradicionalismo católico considera el Barroco como la «civilización de la Contrarreforma» y la manifestación más pura de la idiosincrasia hispánica, única barrera de contención de las ideas secularizadoras del Renacimiento y la Reforma protestante; el de José Luis Abellán, que desde una visión progresista de la historia interpreta el Barroco español como un periodo sintomático (...) de decadencia, regresión social, antihumanismo y misoneísmo, frente a las corrientes modernizadoras que por entonces recorrían toda Europa, y el de Fernando Rodríguez de la Flor, que desde presupuestos freudianos se adentra en la producción simbólica y el imaginario del Barroco español para desvelar la psicología oculta del sujeto barroco, atravesado por el escepticismo y la energía nihilista. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

It is widely supposed that evolutionary debunking arguments against morality constitute a type of epistemological objection to our moral beliefs. In particular, the debunking force of such arguments is not supposed to depend on the metaphysical claim that moral facts do not exist. In this paper I argue that this standard epistemological construal of EDAs is highly misleading, if not mistaken. Specifically, I argue that the most widely discussed EDAs all make key and controversial metaphysical claims about the nature of (...) morality or the possibility of moral truth that belie their apparently epistemological character. I show that the debunking force of these EDAs derives largely from metaphysical claims about morality and their implications for the possibility of moral reduction, rather than from epistemological worries associated with the existence of an causal/non-moral explanation of our moral judgments. The paper briefly concludes with a dilemma that I believe confronts all EDAs such as those discussed in this paper: either such arguments are unsound, or else they prove too much, debunking our knowledge of science and the external world, as well as morality. (shrink)

Following Post program, we will propose a linguistic and empirical interpretation of Gödel’s incompleteness theorem and related ones on unsolvability by Church and Turing. All these theorems use the diagonal argument by Cantor in order to find limitations in finitary systems, as human language, which can make “infinite use of finite means”. The linguistic version of the incompleteness theorem says that every Turing complete language is Gödel incomplete. We conclude that the incompleteness and unsolvability theorems find limitations in our finitary (...) tool, which is our complete language. (shrink)

A ‘companions in guilt’ strategy against moral error theory aims to show that the latter proves too much: if sound, it supports an implausible error-theoretic conclusion in other areas such as epistemic or practical reasoning. Christopher Cowie [2016 Cowie, C. 2016. Good News for Moral Error Theorists: A Master Argument Against Companions in Guilt Strategies, Australasian Journal of Philosophy 94/1: 115–30.[Taylor & Francis Online], [Web of Science ®] [Google Scholar]] has recently produced what he claims is a ‘master argument’ against (...) all such strategies. The essence of his argument is that CG arguments cannot work because they are afflicted by internal incoherence or inconsistency. I argue, first, that Cowie's master argument does not succeed. Beyond this, I argue that there is no good reason to think that any such argument—one that purports to identify an internal incoherence in CG arguments—can succeed. Second, I argue that the main substantive area of disagreement between error theorists and CG theorists essentially concerns the conceptual profile of epistemic reasons—specifically, whether they are strongly categorical—not the ontological question of whether such reasons exist. I then develop an argument in favour of the CG theorist's position by considering the moral error theorist's arguments in support of the conceptual claim that moral reasons are strongly categorical. These include, notably, criticisms made by Joyce [2011] and Olson [2014] of Finlay's [2008] ‘end relational’ view of morality, according to which moral reasons are relative to some end or standard, hence not strongly categorical. Examining these criticisms, I argue that, based on what moral error theorists have said regarding the conceptual profile of moral reasons, there is a strong case to be made that moral reasons are strongly categorical if and only if epistemic reasons are. (shrink)

Las tesis que aquí se presentan han sido elaboradas a partir del análisis del ensayo de Jan Mukarovsky: “Función, norma y valor estético como hechos sociales”. (Cfr. Jan Mukarovsky. Escritos de estética y semiótica del arte, pp. 44-121). Las mismas han sido enriquecidas como resultado del debate que, generación tras generación, sobre ellas hemos sostenido con los estudiantes —la mayoría de ellos hoy egresados del posgrado en Estética y Arte de la BUAP—. Es un trabajo que lleva su huella y (...) ningún marco mejor para incluirlo que el de este libro de la serie Academia y Egresados de la Colección La Fuente. Sirva su publicación, entonces, como reconocimiento a la participación activa y creativa de todos ellos en esos siempre gratificantes cursos de Estética y Teoría del Arte III. (shrink)

The dating of Hero of Alexandria has been linked with the lunar eclipse of March 13, ad 62, since Otto Neugebauer discovered that this eclipse is the only one that can fit the one described in Hero’s Dioptra 35. Although only a number of scholars claim that Hero himself observed the eclipse, almost all of them take Neugebauer’s identification for granted. We use statistical and linguistic methods to criticize this assumption: all indices we have found point to the fact that (...) the eclipse was merely invented as an example and, for that reason, that it cannot be used to determine Hero’s life span. (shrink)

Computer simulations have conventionally been understood to be either extensions of formal methods such as mathematical models or as special cases of empirical practices such as experiments. Here, I argue that computer simulations are best understood as instruments. Understanding them as such can better elucidate their actual role as well as their potential epistemic standing in relation to science and other scientific methods, practices and devices.

In this paper I argue that Artificial Intelligence and the many data science methods associated with it, such as machine learning and large language models, are first and foremost epistemic technologies. In order to establish this claim, I first argue that epistemic technologies can be conceptually and practically distinguished from other technologies in virtue of what they are designed for, what they do and how they do it. I then proceed to show that unlike other kinds of technology (_including_ other (...) epistemic technologies) AI can be uniquely positioned as an epistemic technology in that it is primarily designed, developed and deployed to be used in _epistemic contexts_ such as inquiry, it is specifically designed, developed and deployed to manipulate _epistemic content_ such as data, _and_ it is designed, developed and deployed to do so particularly through _epistemic operations_ such as prediction and analysis. As has been shown in recent work in the philosophy and ethics of AI (Alvarado, AI and Ethics, 2022a), understanding AI as an epistemic technology will also have significant implications for important debates regarding our relationship to AI technologies. This paper includes a brief overview of such implications, particularly those pertaining to explainability, opacity, trust and even epistemic harms related to AI technologies. (shrink)

Bioethics, Volume 36, Issue 2, Page 121-133, February 2022.

One of the main tools in the study of nonmonotonic consequence relations is the representation of such relations in terms of preferential models. In this paper we give an unified and simpler framework to obtain such representation theorems.

The best known algebraizable logics with a conjunction and an implication have the property that the conjunction defines a meet semi-lattice in the algebras of their algebraic counterpart. This property makes it possible to associate with them a semi-lattice based deductive system as a companion. Moreover, the order of the semi-lattice is also definable using the implication. This makes that the connection between the properties of the logic and the properties of its semi-lattice based companion is strong. We introduce a (...) class of algebraizable deductive systems that includes those systems, and study some of their properties and of their semi-lattice based companions. We also study conditions which, when satisfied by a deductive system in the class, imply that it is strongly algebraizable. This brings some information on the open area of research of Abstract Algebraic Logic which consists in finding interesting characterizations of classes of algebraizable logics that are strongly algebraizable. (shrink)

Cet ouvrage collectif rassemble les résultats de travaux d'un vaste projet citoyen et académique mené dans le cadre d'un Programme International de Philosophie "Exil, Création, Philosophie et Politique". Ces réflexions s'articulent autour d'une préoccupation, les métamorphoses de la politique, de la violence de la guerre et ses incidences sur l'action et la pensée politique. Que peuvent nous apprendre des féministes matérialistes sur ces métamorphoses?

A logic in a finite language is said to be finitely presentable if it is axiomatized by finitely many finite rules. It is proved that binary non-indexed products of logics that are both finitely presentable and finitely equivalential are essentially finitely presentable. This result does not extend to binary non-indexed products of arbitrary finitely presentable logics, as shown by a counterexample. Finitely presentable logics are then exploited to introduce finitely presentable Leibniz classes, and to draw a parallel between the Leibniz (...) and the Maltsev hierarchies. (shrink)

Leibniz filters play a prominent role in the theory of protoalgebraic logics. In [3] the problem of the definability of Leibniz filters is considered. Here we study the definability of Leibniz filters with parameters. The main result of the paper says that a protoalgebraic logic S has its strong version weakly algebraizable iff it has its Leibniz filters explicitly definable with parameters.

A logic is selfextensional if its interderivability (or mutual consequence) relation is a congruence relation on the algebra of formulas. In the paper we characterize the selfextensional logics with a conjunction as the logics that can be defined using the semilattice order induced by the interpretation of the conjunction in the algebras of their algebraic counterpart. Using the charactrization we provide simpler proofs of several results on selfextensional logics with a conjunction obtained in [13] using Gentzen systems. We also obtain (...) some results on Fregean logics with conjunction. (shrink)

The positive fragment of the local modal consequence relation defined by the class of all Kripke frames is studied in the context ofAlgebraic Logic. It is shown that this fragment is non-protoalgebraic and that its class of canonically associated algebras according to the criteria set up in [7] is the class of positive modal algebras. Moreover its full models are characterized as the models of the Gentzen calculus introduced in [3].

Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.

The solution attributed to Archytas for the problem of doubling the cube is a landmark of the pre-Euclidean mathematics. This paper offers textual arguments for a new reading of the text of Archytas’ solution for doubling the cube, and an approach to the solution which fits closely with the new reading. The paper also reviews modern attempts to explain the text, which are as complicated as the original, and its connections with some xvi-century mathematical results, without any documented relation to (...) Archytas’ doubling the cube. (shrink)

Notoriously, state-building is a key enterprise in regard of addressing the international conflicts throughout the globe. The consolidation of peace associated to it is intimately connected with the institutionalization of liberal ideas in structuring realms such as the political, the economical and the social spheres. Departing from Foucauldian concepts such as dispositif, government, discipline and biopolitics, this paper aims to critically analyze the post-conflict state-building practice. In a first moment, the paper delineates how peace was operationalized during the Cold War (...) and post-Cold War periods. In a second moment, it will present the Foucauldian conceptual tools that enables the (re)problematization of the state-building practice as a post-conflict normalizing dispositif, rather than merely a conflict-resolution tool. (shrink)

Empirical studies have revealed a disturbing prevalence of research misconduct in a wide variety of disciplines, although not, to date, in the areas of ethics and philosophy. This study aims to provide empirical evidence on perceptions of how serious a problem research misconduct is in these two disciplines in Spain, particularly regarding the effects that the model used to evaluate academics’ research performance may have on their ethical behaviour. The methodological triangulation applied in the study combines a questionnaire, a debate (...) at the annual meeting of scientific association, and in-depth interviews. Of the 541 questionnaires sent out, 201 responses were obtained, with a significant difference in the participation of researchers in philosophy and in ethics ; 26 researchers took part in the debate and 14 interviews were conducted. The questionnaire results reveal that 91.5% of the respondents considered research misconduct to be on the rise; 63.2% considered at least three of the fraudulent practices referred to in the study to be commonplace, and 84.1% identified two or more such practices. The researchers perceived a high prevalence of duplicate publication and self-plagiarism, use of personal influence and citation manipulation, in contrast to a low perceived incidence of data falsification or fabrication. The debate and the interviews corroborated these data. Researchers associated the spread of these misconducts with the research evaluation model applied in Spain. (shrink)

Veloso-Pereira-Haeusler_On-what-there-must-be.

O presente trabalho trata da definição de fenômenos naturais. tais como o trovão que é usada como paradigma na definição das substâncias perceptíveis em Metafísica, Z17. Procura-se mostrar como a definição do trovão implica necessariamente uma referência à substância, assim como a definição das substâncias perceptíveis parte necessariamente de um acidente, que justamente funciona como matéria. Entende-se assim trazer à tona algumas questões embaraçosas para Aristóteles, que dizem respeito ao “hiato” existente entre percepção e intelecção e ao caráter não assertivo (...) da “predicação da forma". (shrink)

Logics for ‘generally’ are intended to express some vague notions, such as ‘generally’, ‘several’, ‘many’, ‘most’, etc., by means of the new generalized quantifier ∇ and to reason about assertions with ‘generally’ . We introduce the idea of functional interpretation for ‘generally’ and show that representative functions enable elimination of ∇ and reduce consequence to classical theories. Thus, one can use proof procedures and theorem provers for classical first-order logic to reason about assertions involving ‘generally’.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.