Several philosophical issues in connection with computer simulations rely on the assumption that results of simulations are trustworthy. Examples of these include the debate on the experimental role of computer simulations :483–496, 2009; Morrison in Philos Stud 143:33–57, 2009), the nature of computer data Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013; Humphreys, in: Durán, Arnold Computer simulations and the changing face of scientific experimentation, Cambridge Scholars Publishing, Barcelona, 2013), and the explanatory power (...) of computer simulations :277–292, 2008; Durán in Int Stud Philos Sci 31:27–45, 2017). The aim of this article is to show that these authors are right in assuming that results of computer simulations are to be trusted when computer simulations are reliable processes. After a short reconstruction of the problem of epistemic opacity, the article elaborates extensively on computational reliabilism, a specified form of process reliabilism with computer simulations located at the center. The article ends with a discussion of four sources for computational reliabilism, namely, verification and validation, robustness analysis for computer simulations, a history of successful implementations, and the role of expert knowledge in simulations. (shrink)

Many philosophical accounts of scientific models fail to distinguish between a simulation model and other forms of models. This failure is unfortunate because there are important differences pertaining to their methodology and epistemology that favor their philosophical understanding. The core claim presented here is that simulation models are rich and complex units of analysis in their own right, that they depart from known forms of scientific models in significant ways, and that a proper understanding of the type of model simulations (...) are fundamental for their philosophical assessment. I argue that simulation models can be distinguished from other forms of models by the many algorithmic structures, representation relations, and new semantic connections involved in their architecture. In this article, I reconstruct a general architecture for a simulation model, one that faithfully captures the complexities involved in most scientific research with computer simulations. Furthermore, I submit that a new methodology capable of conforming such architecture into a fully functional, computationally tractable computer simulation must be in place. I discuss this methodology—what I call recasting—and argue for its philosophical novelty. If these efforts are heading towards the right interpretation of simulation models, then one can show that computer simulations shed new light on the philosophy of science. To illustrate the potential of my interpretation of simulation models, I briefly discuss simulation-based explanations as a novel approach to questions about scientific explanation. (shrink)

When one wants to use citizen input to inform policy, what should the standards of informedness on the part of the citizens be? While there are moral reasons to allow every citizen to participate and have a voice on every issue, regardless of education and involvement, designers of participatory assessments have to make decisions about how to structure deliberations as well as how much background information and deliberation time to provide to participants. After assessing different frameworks for the relationship between (...) science and society, we use Philip Kitcher's framework of Well-Ordered Science to propose an epistemic standard on how citizen deliberations should be structured. We explore what potential standards follow from this epistemic framework focusing on significance versus scientific and engineering expertise. We argue that citizens should be tutored on the historical context of why scientific questions became significant and deemed scientifically and socially valuable, and if citizens report that they are capable of weighing in on an issue then they should be able to do so. We explore what this standard can mean by looking at actual citizen deliberations tied to the 2014 NASA ECAST Asteroid Initiative Citizen forums. We code different vignettes of citizens debating alternative approaches for Mars exploration based upon what level of information seemed to be sufficient for them to feel comfortable in making a policy position. The analysis provides recommendations on how to design and assess future citizen assessments grounded in properly conveying the historical value context surrounding a scientific issue and trusting citizens to seek out sufficient information to deliberate. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

A chronicled approach to the notion of computer simulations shows that there are two predominant interpretations in the specialized literature. According to the first interpretation, computer simulations are techniques for finding the set of solutions to a mathematical model. I call this first interpretation the problem-solving technique viewpoint. In its second interpretation, computer simulations are considered to describe patterns of behavior of a target system. I call this second interpretation the description of patterns of behavior viewpoint of computer simulations. This (...) article explores these two interpretations of computer simulations from three different angles. First, I collect a series of definitions of computer simulation from the historical record. I track back definitions to the early 1960s and show how each viewpoint shares similar interpretations of computer simulations—ultimately clustering into the two viewpoints aforementioned. This reconstruction also includes the most recent literature. Second, I unpack the philosophical assumptions behind each viewpoint, with a special emphasis on their differences. Third, I discuss the philosophical implications of each viewpoint in the context of the recent discussion on the logic of scientific explanation for computer simulations. (shrink)

In this volume, scientists, historians, and philosophers join to examine computer simulations in scientific practice. One central aim of the volume is to provide a multiperspective view on the topic. Therefore, the text includes philosophical studies on computer simulations, as well as case studies from simulation practice, and historical studies of the evolution of simulations as a research method.

In this paper, we discuss epistemic and ethical concerns brought about by machine learning (ML) systems implemented in medicine. We begin by fleshing out the logic underlying a common approach in the specialized literature (which we call the _informativeness account_). We maintain that the informativeness account limits its analysis to the impact of epistemological issues on ethical concerns without assessing the bearings that ethical features have on the epistemological evaluation of ML systems. We argue that according to this methodological approach, (...) epistemological issues are _instrumental_ to and _autonomous_ of ethical considerations. This means that the informativeness account considers epistemological evaluation uninfluenced and unregulated by an ethical counterpart. Using an example that does not square well into the _informativeness account_, we argue for ethical assessments that have a substantial influence on the epistemological assessment of ML and that such influence should not be understood as merely informative but rather regulatory. Drawing on the case analyzed, we claim that within the theoretical framework of the informativeness approach, forms of epistemic injustice—especially _epistemic objectification_—remain unaddressed. Our analysis should motivate further research investigating the regulatory role that ethical elements play in the epistemology of ML. (shrink)

In this article, I focus on the role of computer simulations as exploratory strategies. I begin by establishing the non-theory-driven nature of simulations. This refers to their ability to characterize phenomena without relying on a predefined conceptual framework that is provided by an implemented mathematical model. Drawing on Steinle’s notion of exploratory experimentation and Gelfert’s work on exploratory models, I present three exploratory strategies for computer simulations: (1) starting points and continuation of scientific inquiry, (2) varying the parameters, and (3) (...) scientific prototyping. (shrink)

En este trabajo presento un estudio sobre el estado del arte de la llamada ‘epistemología de las simulaciones computacionales’. En particular, me centro en los varios trabajos de Eric Winsberg quién es uno de los filósofos más fructíferos y sistemáticos en este tema. Además de analizar la obra de Winsberg, y basándome en sus trabajos y en el de otros filósofos, mostraré que hay buenas razones para pensar que la epistemología tradicional de la ciencia no es suficiente para el análisis (...) de las simulaciones computacionales. (shrink)

Many studies in big data focus on the uses of data available to researchers, leaving without treatment data that is on the servers but of which researchers are unaware. We call this dark data, and in this article, we present and discuss it in the context of high-performance computing facilities. To this end, we provide statistics of a major HPC facility in Europe, the High-Performance Computing Center Stuttgart. We also propose a new position tailor-made for coping with dark data and (...) general data management. We call it the scientific data officer and we distinguish it from other standard positions in HPC facilities such as chief data officers, system administrators, and security officers. In order to understand the role of the SDO in HPC facilities, we discuss two kinds of responsibilities, namely, technical responsibilities and ethical responsibilities. While the former are intended to characterize the position, the latter raise concerns—and proposes solutions—to the control and authority that the SDO would acquire. (shrink)

En este trabajo presento algunos argumentos para sostener que la creencia religiosa es un lenguaje distinto al de la ciencia. Para esto hago uso de los trabajos de Wittgenstein sobre ‘juegos de lenguaje’ y creencia religiosa. Sostengo que a pesar de que se haga un uso de términos sintácticamente idéntico, la dimensión pragmática de dichos términos es la que determina en qué juego de lenguaje se está. Concluyo mostrando un caso donde se hace un uso inadecuado del lenguaje de un (...) sistema y que se aplica a otro sistema. (shrink)

Many studies in big data focus on the uses of data available to researchers, leaving without treatment data that is on the servers but of which researchers are unaware. We call this dark data, and in this article, we present and discuss it in the context of high-performance computing facilities. To this end, we provide statistics of a major HPC facility in Europe, the High-Performance Computing Center Stuttgart. We also propose a new position tailor-made for coping with dark data and (...) general data management. We call it the scientific data officer and we distinguish it from other standard positions in HPC facilities such as chief data officers, system administrators, and security officers. In order to understand the role of the SDO in HPC facilities, we discuss two kinds of responsibilities, namely, technical responsibilities and ethical responsibilities. While the former are intended to characterize the position, the latter raise concerns—and proposes solutions—to the control and authority that the SDO would acquire. (shrink)

With the rapidly growing amounts of information, visualization is becoming increasingly important, as it allows users to easily explore and understand large amounts of information. However the field of information visualiza- tion currently lacks sufficient theoretical foundations. This article addresses foundational questions connecting information visualization with computing and philosophy studies. The idea of multiscale information granula- tion is described based on two fundamental concepts: information (structure) and computation (process). A new information processing paradigm of Granular Computing enables stepwise increase of (...) granulation/aggregation of information on different levels of resolution, which makes possible dynamical viewing of data. Information produced by Google Earth is an illustration of visualization based on clustering (granulation) of information on a succession of layers. Depending on level, specific emergent properties become visible as a result of different ways of aggregation of data/information. As information visualization ultimately aims at amplifying cognition, we discuss the process of simulation and emulation in relation to cognition, and in particular visual cognition. (shrink)

ABSTRACT:Price discrimination is the practice of charging different customers different prices for the same product. Many people consider price discrimination unfair, but economists argue that in many cases price discrimination is more likely to lead to greater welfare than is the uniform pricing alternative—sometimes for every party in the transaction. This article shows i) that there are many situations in which it is necessary to engage in differential pricing in order to make the provision of a product possible; and ii) (...) that in many such situations, the seller does not obtain an above-average rate of return. It concludes that price discrimination is not inherently unfair. The article also contends that even when conditions i) and/or ii) do not obtain, price discrimination is not necessarily unethical. In itself, the fact that some people get an even better deal than do others does not entail that the latter are wronged. (shrink)

Semi-intuitionistic logic is the logic counterpart to semi-Heyting algebras, which were defined by H. P. Sankappanavar as a generalization of Heyting algebras. We present a new, more streamlined set of axioms for semi-intuitionistic logic, which we prove translationally equivalent to the original one. We then study some formulas that define a semi-Heyting implication, and specialize this study to the case in which the formulas use only the lattice operators and the intuitionistic implication. We prove then that all the logics thus (...) obtained are equivalent to intuitionistic logic, and give their Kripke semantics. (shrink)

El presente texto es un prólogo a la traducción del ensayo de René Daumal “Los límites del lenguaje filosófico y los saberes tradicionales”. En la introducción se realiza una breve semblanza biográfica e intelectual del autor, y se recorren los tópicos recurrentes de su obra relacionados con el presente artículo. Daumal caracteriza el centro nodal de la Filosofía como “metafísica experimental”: disciplina que compromete integralmente todas las facultades humanas (especulación, sensación y praxis) y ante la cual un problema se hace (...) insoslayable: o bien el lenguaje es un instrumento para su enseñanza y conservación, una guía, o bien opera como un sello que impide la experiencia filosófica. El autor compara dos modos de transmisión verbal del conocimiento que intentaron evitar “el riesgo de devenir un fin en sí”; se refiere a los diálogos filosóficos de la obra platónica y a las Upanishad. Esto desencadena en una indagación sobre la función del lenguaje para la religión védica. (shrink)

Recently, Indigenous commentators have begun to analyse the way in which institutional Research Ethics Boards engage with Indigenous researchers and participants, respond to Indigenous peoples’ concerns with academic research activities, and scrutinise the ethics proposals of Indigenous scholars. Of particular concern for Indigenous commentators is that the work of REBs often results in the marginalisation of Indigenous approaches to knowledge construction and dissemination, especially in relation to the vexed issue of informed consent. Based on analysis of the results of research (...) with Indigenous researchers and research participants, this paper argues that institutionalised REBs’ preference for ‘universal’ and ‘individualised’ approaches for determining ethical research conduct marginalises Indigenous approaches to ethical research conduct. The paper concludes by calling for a decolonisation of REB processes through recognition of the validity of communal processes for attaining the informed conse... (shrink)

This article argues that the price obtainable in an open market provides the best standard for determining the justice or injustice of the price of a product. The article argues that this standard, which is closely related to positions which have been held for hundreds of years, is superior to several alternative conceptions of the just price that have been put forward in recent years and is not subject to fundamental criticisms which can be addressed to them. The article also (...) shows how this standard is grounded in more fundamental principles of justice such as desert and equality. (shrink)

The aim of this paper is to explore the differences between the Idealist personalism present in Britain and America, and the Realist personalism, proper to all the different branches of European or Continental Personalism: dialogic, communitarian, phenomenological, classical ontological, and modern ontological. After making clear that not all the British personalists are idealists, but mainly those linked to personal idealism, we will discuss whether we can speak of personalism in a similar sense as idealistic and realistic personalism. Secondly, we will (...) analyze four points in order to compare the peculiar traits of personalism in these philosophies: the phenomenality of matter; the problem of experience; metaphysics and person; and corporeality, personality, and person. Special attention is paid to A. S. Pringle-Pattison and Borden Parker Bowne, as the leaders of idealistic personalism in Britain and the United States. (shrink)

The aim of this paper is to explore the differences between the Idealist personalism present in Britain and America, and the Realist personalism, proper to all the different branches of European or Continental Personalism: dialogic, communitarian, phenomenological, classical ontological, and modern ontological. After making clear that not all the British personalists are idealists, but mainly those linked to personal idealism, we will discuss whether we can speak of personalism in a similar sense as idealistic and realistic personalism. Secondly, we will (...) analyze four points in order to compare the peculiar traits of personalism in these philosophies: the phenomenality of matter; the problem of experience; metaphysics and person; and corporeality, personality, and person. Special attention is paid to A. S. Pringle-Pattison and Borden Parker Bowne, as the leaders of idealistic personalism in Britain and the United States. (shrink)

Loyalty is a much-discussed topic among business ethicists, but this discussion seems to have issued in very few clear conclusions. This article builds on the existing literature on the subject and attempts to ground a definite conclusion on a limited topic: whether, and under what conditions, it makes sense for an employee to offer loyalty to his employer. The main ways in which loyalty to one’s employer can contribute to human flourishing are that it makes the employee more trustworthy and (...) therefore more valuable as an employee; makes it easier to form authentic relationships in other areas of the employee’s life; expands the employee’s field of interests and gives her or him a richer identity; provides greater motivation for the employee’s work; makes it possible to have a greater unity in the employee’s life; improves the performance of the organization for which the employee works; contributes to the protection of valuable social institutions; and, in so far as many employees share an attitude of loyalty towards the organization which employs them, it becomes possible for this organization to become a true community. Last, but not the least, loyal relationships have an inherent value. The article also reviews the main arguments that have been offered against employee loyalty and concludes that none of them offers a reason why it would be inappropriate in all cases for an employee to be loyal to her or his employer. The force of these arguments depends on the specific attributes of the organization for which the employee works. The main conclusion of the article is that while being a loyal employee involves risk, it has the potential to contribute significantly to the employee’s fulfilment. The main challenge for employees is to identify employers who are worthy of being loyal to. (shrink)

The use of black box algorithms in medicine has raised scholarly concerns due to their opaqueness and lack of trustworthiness. Concerns about potential bias, accountability and responsibility, patient autonomy and compromised trust transpire with black box algorithms. These worries connect epistemic concerns with normative issues. In this paper, we outline that black box algorithms are less problematic for epistemic reasons than many scholars seem to believe. By outlining that more transparency in algorithms is not always necessary, and by explaining that (...) computational processes are indeed methodologically opaque to humans, we argue that the reliability of algorithms provides reasons for trusting the outcomes of medical artificial intelligence. To this end, we explain how computational reliabilism, which does not require transparency and supports the reliability of algorithms, justifies the belief that results of medical AI are to be trusted. We also argue that several ethical concerns remain with black box algorithms, even when the results are trustworthy. Having justified knowledge from reliable indicators is, therefore, necessary but not sufficient for normatively justifying physicians to act. This means that deliberation about the results of reliable algorithms is required to find out what is a desirable action. Thus understood, we argue that such challenges should not dismiss the use of black box algorithms altogether but should inform the way in which these algorithms are designed and implemented. When physicians are trained to acquire the necessary skills and expertise, and collaborate with medical informatics and data scientists, black box algorithms can contribute to improving medical care. (shrink)

The variety \ of implication zroupoids and a constant 0) was defined and investigated by Sankappanavar :21–50, 2012), as a generalization of De Morgan algebras. Also, in Sankappanavar :21–50, 2012), several subvarieties of \ were introduced, including the subvariety \, defined by the identity: \, which plays a crucial role in this paper. Some more new subvarieties of \ are studied in Cornejo and Sankappanavar that includes the subvariety \ of semilattices with a least element 0. An explicit description of (...) semisimple subvarieties of \ is given in Cornejo and Sankappanavar. It is a well known fact that there is a partial order ) induced by the operation ∧, both in the variety \ of semilattices with a least element and in the variety \ of De Morgan algebras. As both \ and \ are subvarieties of \ and the definition of partial order can be expressed in terms of the implication and the constant, it is but natural to ask whether the relation \ on \ is actually a partial order in some subvariety of \ that includes both \ and \. The purpose of the present paper is two-fold: Firstly, a complete answer is given to the above mentioned problem. Indeed, our first main theorem shows that the variety \ is a maximal subvariety of \ with respect to the property that the relation \ is a partial order on its members. In view of this result, one is then naturally led to consider the problem of determining the number of non-isomorphic algebras in \ that can be defined on an n-element chain -chains), n being a natural number. Secondly, we answer this problem in our second main theorem which says that, for each \, there are exactly n nonisomorphic \-chains of size n. (shrink)

An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ ≈ x ∧ y, x ∧ ≈ x ∧ [ → ], and x → x ≈ 1.

El artículo reflexiona en torno a las nociones de dispositivo (Foucault) y agenciamiento (Deleuze-Guattari), operando un análisis morfológico que destaca convergencias y divergencias conceptuales en el marco de una misma práctica teórica entendida como pragmática de la multiplicidad.