Aworkshop was held August 26–28, 2015, by the Earth- Life Science Institute (ELSI) Origins Network (EON, see Appendix I) at the Tokyo Institute of Technology. This meeting gathered a diverse group of around 40 scholars researching the origins of life (OoL) from various perspectives with the intent to find common ground, identify key questions and investigations for progress, and guide EON by suggesting a roadmap of activities. Specific challenges that the attendees were encouraged to address included the following: What key (...) questions, ideas, and investigations should the OoL research community address in the near and long term? How can this community better organize itself and prioritize its efforts? What roles can particular subfields play, and what can ELSI and EON do to facilitate research progress? (See also Appendix II.) The present document is a product of that workshop; a white paper that serves as a record of the discussion that took place and a guide and stimulus to the solution of the most urgent and important issues in the study of the OoL. This paper is not intended to be comprehensive or a balanced representation of the opinions of the entire OoL research community. It is intended to present a number of important position statements that contain many aspirational goals and suggestions as to how progress can be made in understanding the OoL. The key role played in the field by current societies and recurring meetings over the past many decades is fully acknowledged, including the International Society for the Study of the Origin of Life (ISSOL) and its official journal Origins of Life and Evolution of Biospheres, as well as the International Society for Artificial Life (ISAL). (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)

Several studies on research misconduct have already explored and discussed its potential occurrence in universities across different countries. However, little is known about this issue in Spain, a paradigmatic context due to its consolidated scientific evaluation system, which relies heavily on metrics. The present article attempts to fill this gap in the literature through an empirical study undertaken in a specific university: Universitat Jaume I (Castelló). The study was based on a survey with closed and open questions; almost half the (...) total population of the university’s researchers participated (505 out of 1030, i.e. 49.03%), yielding a representative sample of different academic career stages and areas of knowledge. Results show that 71.68% (n = 362) of the respondents consider at least one form of misconduct to be proliferating in their area of knowledge at the national level. This figure falls to 48.95% (n = 247) in reference to misconduct in their own institution. The most frequently reported types of misconduct linked to life with colleagues are especially the use of personal influence (in evaluation or review processes); lax supervision of doctoral theses; and the abuse of power over people in lower positions. Personal ambitions and pressure from the evaluation system are regarded as the most influential causes of misconduct proliferation, according to academics at this Spanish university. (shrink)

v. 1. Doctrina pueril. Libre de l'ordre de cavalleria. Libre de clerecia. Art de confessió -- v. 2, <4-6 >. Libre de contemplació en Deu .

This paper compares pair and Mob programming in university courses from students' perceptions of technical and human aspects. Wilcoxon signed rank tests were performed. Results indicated that students preferred pair programming in technical aspects and in a global evaluation they completed.

v. 1. Obras literarias.--v. 2. Obras misticas.

v. 1. Opera Latina B. M. Raimundi Lulli. Studia magistrorum et professorum Maioricensis Scholae Lullisticae.

Por que la vida?, para que nuestra vida? A esta necesidad de interrogarnos y respondernos sobre el modo de ser para encontrarle sentido a la vida responde la parte mas antigua y esencial de la filosofia: la metafisica, que es el fundamento de nuestro comportamiento, de nuestra vida etica. Reconociendo otros aspectos filosoficos estrechamente vinculados con ella: el metodo, la teoria del conocimiento, la moral, Xirau propone entender la filosofia como una cuestion que trasciende la vida misma: convivir con el (...) pensamiento de los tiempos pasados, pues siempre los hombres se han planteado esas preguntas, tal como lo hacen cada uno de los filosofos que se explican en esta obra a traves de su presentacion historica en tres periodos: grecorromano, cristiano-medieval y renacentista-moderno. (shrink)

This book provides a philosophical framework to understand computer simulations as scientific instruments. This is in sharp contrast to existing philosophical approaches on the subject, which have historically understood computer simulations as either formal abstractions or as broadly construed empirical practices. In order to make its case, the volume contains a thorough examination of conventional philosophical approaches as well as their respective limitations. Yet, also, unlike other accounts of computer simulations from the perspective of the philosophy of science, this book (...) incorporates insights from the philosophy of technology and the history of science. Hence, the book offers philosophers of science, technologists and other researchers interested in the topic, a thorough overview of the philosophical issues regarding the design, development and deployment of computer simulations in science and science-based policy making. (shrink)

Research over the past few decades has shown the positive influence that cognitive, social, and physical activities have on older adults’ cognitive and affective health. Especially interventions in health-related behaviors, such as cognitive activation, physical activity, social activity, nutrition, mindfulness, and creativity, have shown to be particularly beneficial. Whereas most intervention studies apply unimodal interventions, such as cognitive training, this study investigates the potential to foster cognitive and affective health factors of older adults by means of an autonomy-supportive multimodal intervention. (...) The intervention integrates everyday life recommendations for six evidence-based areas combined with psychoeducational information. This randomized controlled trial study compares the effects of a MMI and CT on those of a waiting control group on cognitive and affective factors, everyday life memory performance, and activity in everyday life. Three groups, including a total of 119 adults aged 65–86 years, attended a 5- or 10-week intervention. Specifically, one group completed a 10-week MMI, the second group completed 5-week of computer-based CT followed by a 5-week MMI, whereas the third group paused before completing the MMI for the last 5 weeks. All participants completed online surveys and cognitive tests at three test points. The findings showed an increase in the number and variability of activities in the everyday lives of all participants. Post hoc analysis on cognitive performance of MMI to CT indicate similar or better effects. Furthermore, results on far transfer variables showed interesting trends in favor of the MMI, such as increased well-being and attitude toward the aging brain. Also, the MMI group showed the biggest perceived improvements out of all groups for all self-reported personal variables. The results implicate a positive trend toward MMI on cognitive and affective factors of older adults. These tendencies show the potential of a multimodal approach compared to training a specific cognitive function. Moreover, the findings suggest that information about MMI motivates participants to increase activity variability and frequency in everyday life. Finally, the results could also have implications for the primary prevention of neurocognitive deficits and degenerative diseases. (shrink)

Rosenzweigs Denken ist schon oft mit demjenigen Heideggers verglichen worden. Den Anfang dazu hatte Rosenzweig mit seiner Stellungnahme zur Davoser Disputation selbst gemacht. Auf den ersten Blick fällt auf, dass beide Philosophien auf etwas ausgerichtet sind, was jenseits der Philosophie liegt und im Prinzip auch ohne die Philosophie erlangt werden kann. Dazu suchen beide für die Philosophie nach der Methode, die zu diesem für die Philosophie wesentlichen Charakter des Ausgreifens über sich...

Franc Rozencvajg se smatra egzistencijalistickim filozofom, jer je u svom glavnom delu, Zvezda iskupljenja, smrt postavio kao sredisnju temu. Religija je tu shvacena kao mesto na kome smrt vise ne mora da bude proterana iz zivota, kao sto je to u areligioznom zivotu. Ako je religija ljubav, onda je smrt deo zivota, kao sto je to u ljubavi izmedju dvoje zaljubljenih: kao prihvaceni sastavni deo celokupnih njihovih zivota. Rad pokusava da sledi ovu argumentaciju i da je ucini verodostojnom.

The 'Vita coaetanea (A Contemporary Life)' is an autobiographical account of Ramon Llull's life dictated by himself to a friend in 1311 when he was seventy-nine years old. In it Llull reviews his works in the context of a life dedicated to God and motivated by the desire to disseminate the message of the Christian faith among the infidels. Llull, the self-labeled 'troubadour of books', wrote this account in part as a self-justification of his life and work, in part (...) as self-consolation for his unending toils and travails. It is very likely that he also had in mind the Council of Vienne (1311) which he was about to attend and where he submitted petitions dealing with 'the establishment of adequate places to study languages for the preaching of the Gospel to every creature and the founding of a Christian military religious order that waged permanent war against the Saracens until the Holy Land is reconquered'. Llull wanted to frame these petitions within a well thought-out justificatory account of his life and works that exudes passion, commitment and love for his fellow man. (shrink)

The Mondragon Corporation, a group of cooperatives, is a thriving example of how cooperatives can succeed. The authors describe six features of the corporation and five 'successful cooperative actions' that they consider to be crucial in explaining its accomplishments. Both the specific features and the successful actions are contrasted with those of standard capitalist companies, to show how this case is unique in the field of corporate organization and management. Through a combination of democratic principles, the values of solidarity, and (...) strong competitiveness, Mondragon has simultaneously achieved both efficiency and equity and has become an alternative to the organizational and governance models of traditional capitalist firms. (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)

La nueva concepción de la Ley en la Constitución venezolana de 1999 The new conception of law in the 1999 Venezuelan Constitution González R., Javier La justicia, ¿Una virtud necesaria? The justice, A necessary virtue? Guarisma Mérida, Aidalíz Derechos humanos, interculturalidad y racionalidad de resistencia Human rights and rationality of resistance Herrera Flores, Joaquín El estado de apertura y la esencia del lenguaje The state of disclosure and the essence of language Hocevar, Drina El problema de la libertad The problem (...) of freedom Jáuregui, Ramón M. De la violencia a la retórica en la construcción de la civilidad From violence to rhetoric in civility construction Pino de Casanova, Malin ¿Historia universal o local? Una cuestión de especial trascendencia en el campo de la jurisprudencia Universal or local history? A matter of special transcendence in the field of jurisprudence Puy Muñoz, Francisco Contra la democracia Against democracy López Corredoira, Martín Un punto de vista práctico sobre el derecho A practical point of view about law Otero Parga, Milagros El derecho en Antígona ¿Natural o positivo? Law in Antigone. Natural or positive law? Parodi Remón, Carlos Por la democracia For democracy Suzzarini, Andrés La ciencia según Hegel Science according Hegel Vásquez, Eduardo Responsabilidad civil y responsabilidad moral. Hacia una responsabilidad civil más objetiva Civil responsibility and moral responsibility. Towards a more objective civil responsibility Vielma Mendoza, Yoleida Recensiones Finnis, John: El autor y su obra Reseñado por: Hoèevar, Mayda Aguayo, Enrique: Introducción al pensamiento jurídico-filosófico de Eduardo García Máynez Reseñado por: González R., Javier. (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)

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.

Belief merging aims at combining several pieces of information coming from different sources. In this paper we review the works on belief merging of propositional bases. We discuss the relationship between merging, revision, update and confluence, and some links between belief merging and social choice theory. Finally we mention the main generalizations of these works in other logical frameworks.

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.

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)

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)

A suggestion for research on Rosenzweig and Viktor von Weizsacker, Franz Rosenzweig's Philosophical legacy: Levinas or Strauss?

ABSTRACT We consider in this work the problem of iterated belief revision. We propose a family of belief revision operators called revision with memory operators and we give a logical (both syntactical and semantical) characterization of these operators. They obey what we call the principle of strong primacy of update: when one revises his beliefs by a new evidence, then all possible worlds that satisfy this new evidence become more reliable than those that do not. We show that those operators (...) have a satisfying behaviour concerning the iteration of the revision process. Then we provide four particular operators of this family. (shrink)

Resumen La figura femenina en el arte cinematográfico ha sido mostrada mediante arquetipos y cumpliendo distintas funciones. Nos proponemos en este estudio analizar los personajes femeninos por medio de la narrativa audiovisual en dos películas emblemáticas de la cinematografía de Hitchcock: Recuerda y Vértigo, en las que la mujer se contempla como empoderada, pero también sometida, llegando a una negación de su propia identidad. Consideramos que la forma del tratamiento de la mujer en el cine de dicha época radica en (...) la situación social de la misma, sufriendo un tratamiento discriminatorio, que es admitido por los personajes femeninos justificándolo en un enamoramiento, que anula la propia personalidad. Abstract The female figure in cinematographic art has been shown through archetypes and performing different functions. We propose in this study to analyze female characters through the audiovisual narrative in two emblematic films of Hitchcock’s cinematography: Spellbound and Vertigo, in which women are seen as empowered, but also subjected to a denial of their own identity. We consider that the treatment of women in the cinema of that time lies in the social situation of the same, suffering a discriminatory treatment, which is admitted by the female characters justifying it in a crush, which annuls the own personality. (shrink)