This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

The idea that consciousness and complexity are closely related has been a major driver of the popularity of integrated information theory of consciousness, despite its major formal, phenomenological, and neuroscientific shortcomings. Here, I argue that we can recover this intuition by replacing its biologically neutral notion of complexity with an evolutionary one that I shall dub “pathological complexity.”.

Unlike any other field, the science of morality has drawn attention from an extraordinarily diverse set of disciplines. An interdisciplinary research program has formed in which economists, biologists, neuroscientists, psychologists, and even philosophers have been eager to provide answers to puzzling questions raised by the existence of human morality. Models and simulations, for a variety of reasons, have played various important roles in this endeavor. Their use, however, has sometimes been deemed as useless, trivial and inadequate. The role of models (...) in the science of morality has been vastly underappreciated. This omission shall be remedied here, offering a much more positive picture on the contributions modelers made to our understanding of morality. (shrink)

his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is completely self-contained and includes examples of application to (...) particular many-valued formal systems. (shrink)

In this essay the visual arts of the machine age morph into literature and theory and then back again to images, gestures, and thought.

From the technical point of view, philosophically neutral, the duality between a paraconsistent and a paracomplete logic (for example intuitionistic logic) lies in the fact that explosion does not hold in the former and excluded middle does not hold in the latter. From the point of view of the motivations for rejecting explosion and excluded middle, this duality can be interpreted either ontologically or epistemically. An ontological interpretation of intuitionistic logic is Brouwer’s idealism; of paraconsistency is dialetheism. The epistemic interpretation (...) of intuitionistic logic is in terms of preservation of constructive proof; of paraconsistency is in terms of preservation of evidence. In this paper, we explain and defend the epistemic approach to paraconsistency. We argue that it is more plausible than dialetheism and allows a peaceful and fruitful coexistence with classical logic. (shrink)

Recent advances in human genetics suggest that it may become possible to genetically manipulate telomerase and embryonic stem cells to alter the mechanisms of aging and extend the human life span. But a life span significantly longer than the present norm would be undesirable because it would severely weaken the connections between past‐ and future‐oriented mental states and in turn the psychological grounds for personal identity and prudential concern for our future selves. In addition, the collective effects of longer lives (...) might lower the quality of life for all people. These two problems provide reasons against genetic manipulation of cells to alter the length of the human life span. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

David Friedman attacks deontological or principled libertarianism from a utilitarian point of view. The present essay is an attempt to refute his critique of this philosophy, and to cast aspersions on the utilitarian version of libertarianism he favors.

Meta-learning offers a promising framework to make sense of some parts of decision-making that have eluded satisfactory explanation. Here, we connect this research to work in animal behaviour and cognition in order to shed light on how and whether meta-learning could help us to understand the evolution of cognition.

The author nationally recognized for the quality and depth of his teaching in religious studies has written the first full-scale introduction to the history and methods of the study of religion.

Virtues are standardly understood as (1) essentially dispositions to perform certain actions and (2) having only instrumental value as motives to fulfill moral duties which can be fulfilled by persons lacking the virtue because the duties mandate only certain act-types. The argument of this article is that the duties of beneficence, gratitude and self-respect cannot be stated in terms of obligatory act-types because they cannot be fulfilled (except in deficient form) by persons lacking the appropriate virtue; they are, rather, duties (...) to cultivate specific virtues which therefore cannot themselves be defined in terms of obligatory actions. (shrink)

Interdisciplinary research is becoming more and more popular. Many funding bodies encourage interdisciplinarity, as a criterion that promises scientific progress. Traditionally this has been linked to the idea of integrating or unifying disciplines. Using evolutionary game theory as a case study, Till Grüne-Yanoff (2016) argued that there is no such necessary link between interdisciplinary success and integration. Contrary to this, this paper argues that evolutionary game theory is a genuine case of successful integration between economics and biology, shedding lights on (...) the many dimensions along which integration can take place. (shrink)

The American Journal of Bioethics, Volume 11, Issue 8, Page 48-49, August 2011.

Science has become independent of its possible applications and misapplications to human welfare. In so far as the practical application of his theories has created, and is creating instruments of war more devastating than man has ever known, the scientist might perhaps feel responsible for the fate of our world. However, this pernicious application of science is purely incidental—just as incidental as the beneficial uses to which science can be put. Science and the pursuit of theoretical truth should be unaffected (...) by world events even of the most catastrophic nature. Yet this conviction, however natural we may deem it, is not unchallenged. On the contrary, this war is being waged between two groups of powers, one of which frankly declares science to be solely in the service of the race and the state, while the other group still holds to a science for truth's sake. (shrink)

The concern about man's harmful impact on the environment focuses attention on the external environment, i.e., the real world out there, which may not survive in a form to support life. But supporting life of an individual is in the hands of that individual's brain, which is primarily concerned with various needs of the internal environment, also referred to as the self. Confronted with diverse and often competing needs, the brain has evolved a complexity in man, which makes it doubtful (...) that any one collective strategy may be effective in preserving the external environment. (shrink)