The use of human biological materials involves a number of issues from both an ethical and a legal point of view. In recent decades, the purposes for which this material has been used have i...

We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

The aim of this paper is to argue against the received view among Unamuno scholars that Miguel de Unamuno was defending a sort of pragmatic argument for religious faith and that his notion of religious faith as “querer creer” (“wanting to believe”) is to be identified with William James’s “the will to believe”. As I will show in this paper, one of the aspects that makes Unamuno’s reasoning philosophically relevant is his ability to formulate a non-pragmatist defense of religious faith (...) without a prior commitment to the truth of any religious or theological statement and grounded in our longing for an endless existence through God’s Salvation. (shrink)

We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory . These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

A meta-analysis and an experiment show that the degree of compression of the in-depth dimension of visual space relative to the frontal dimension increases quickly as a function of the distance between the stimulus and the observer at first, but the rate of change slows beyond 7 m from the observer, reaching an apparent asymptote of about 50 %. In addition, the compression of visual space is greater for monocular and reduced cue conditions. The pattern of compression of the in-depth (...) dimension as a function of distance is similar to the ratio of in-depth to frontal visual angles of stimuli, but is not as extreme as this ratio would suggest, implying that observers are incapable of fully ignoring size information provided by cues to depth. Size and distance judgments may be described by an Affine transformation of physical space; however, the compression parameter in this model changes as a function of distance from the observer and other experimental conditions. (shrink)

Cultural evolution studies are characterized by the notion that culture evolves accordingly to broadly Darwinian principles. Yet how far the analogy between cultural and genetic evolution should be pushed is open to debate. Here, we examine a recent disagreement that concerns the extent to which cultural transmission should be considered a preservative mechanism allowing selection among different variants, or a transformative process in which individuals recreate variants each time they are transmitted. The latter is associated with the notion of “cultural (...) attraction”. This issue has generated much misunderstanding and confusion. We first clarify the respective positions, noting that there is in fact no substantive incompatibility between cultural attraction and standard cultural evolution approaches, beyond a difference in focus. Whether cultural transmission should be considered a preservative or reconstructive process is ultimately an empirical question, and we examine how both preservative and reconstructive cultural transmission has been studied in recent experimental research in cultural evolution. Finally, we discuss how the relative importance of preservative and reconstructive processes may depend on the granularity of analysis and the domain being studied. (shrink)

The first half of this article follows Mario Bunge’s early realist moves, his efforts to articulate the achievements of theoretical physics as gains in the quest for objective truth and understanding, particularly in the context of the fights against the idealist and subjectivist interpretations of quantum mechanics that, at least until the mid-1970s, prevailed in physics. Bunge’s answers to the problems of quantum mechanics provide a good angle for understanding how his realist positions grew on the “battlefield.” The second half (...) discusses Bunge’s general conception of the scientific realist stance and confronts it with some current approaches to realism in the mainstream literature. (shrink)

The aim of this chapter is to analyse the concept of love —understood in the broad and Christian-inspired sense of love as agape-charis love— in relation to the animes Dragon Ball and Dragon Ball Z. I first comment on the character of Piccolo —and how his friendship with Son Gohan— leads to him losing all his original villainous traits. I argue that the evolution of the character of Piccolo through his friendship with Son Gohan illustrates the philosophical claim that a (...) loving and giving of oneself to the other —far from being a sign of weakness— is a courageous and self-affirming exercise. The result may move the individual to an inner transformative experience that leads to the enjoyment of a renewed and authentic life that is worth living. I then argue that Son Goku’s respectful attitude towards his opponents is ultimately a loving attitude. Last, I argue that it is the inspiring and loving example of Son Goku that ultimately explains why characters such as Vegeta —who are at first presented as villains— end up losing their villainous traits after fighting against Son Goku. (shrink)

Introduction: Jai Mata Di (praise the mother goddess) -- Sutra 1: Samadhi, or yogic ecstasy -- Sutra 2: realization, or the practice of yoga -- Sutra 3: the Siddhis, or the magical powers -- Sutra 4: absolute freedom.

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) (...) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames. (shrink)

In _Plotinus on Love_, Alberto Bertozzi argues that love is the origin, culmination, and regulative force of the double movement that characterizes Plotinus' metaphysics: the derivation of all reality from the One and the return of the soul to it.

The aim of this chapter is to analyze the movie Fight Club, directed by David Fincher, written by Jim Uhls, and first released in the fall of 1999. The movie is based on the homonym novel by Chuck Palahniuk, published in 1996. I will argue that Fight Club is to be understood in primarily existentialist, nonethical, and nonevidential terms, showing the struggle felt by each and every one of us to find a convincing answer to the question of what (if (...) anything) counts as an authentic life that is worth living. Moreover, I will argue that the movie does not merely illustrate the struggle and the existential angst it engenders; it also advances, if not strictly speaking a theoretical answer grounded in an indisputable philosophical reasoning, then at least a practical way to face it. It is only after positively endorsing the claim that absolutely nothing (whatever it may be) externally imposed on a person can give their life ultimate meaning that a person is free to engage in a conscious, laborious, and exhausting attempt at self-affirmation, a full and positive endorsement of one’s own authenticity. (shrink)

A completeness theorem is established for logics with congruence endowed with general semantics (in the style of general frames). As a corollary, completeness is shown to be preserved by fibring logics with congruence provided that congruence is retained in the resulting logic. The class of logics with equivalence is shown to be closed under fibring and to be included in the class of logics with congruence. Thus, completeness is shown to be preserved by fibring logics with equivalence and general semantics. (...) An example is provided showing that completeness is not always preserved by fibring ligics endowed with standard (non general) semantics. A categorial characterization of fibring is provided using coproducts and cocartesian liftings. (shrink)

This major publication is a history of the semantic tradition in philosophy from the early nineteenth century through its incarnation in the work of the Vienna Circle, the group of logical positivists that emerged in the years 1925-1935 in Vienna who were characterised by a strong commitment to empiricism, a high regard for science, and a conviction that modern logic is the primary tool of analytic philosophy. In the first part of the book, Alberto Coffa traces the roots of (...) logical positivism in a semantic tradition that arose in opposition to Kant's theory that a priori knowledge is based on pure intuition and the constitutive powers of the mind. In Part II, Coffa chronicles the development of this tradition by members and associates of the Vienna Circle. Much of Coffa's analysis draws on the unpublished notes and correspondence of many philosophers. The book, however, is not merely a history of the semantic tradition from Kant 'to the Vienna Station'. Coffa also critically reassesses the role of semantic notions in understanding the ground of a priori knowledge and its relation to empirical knowledge and questions the turn the tradition has taken since Vienna. (shrink)

People’s awareness of tactile stimuli has been investigated in far less detail than their awareness of stimuli in other sensory modalities. In an attempt to fill this gap, we provide an overview of studies that are pertinent to the topic of tactile consciousness. We discuss the results of research that has investigated phenomena such as “change blindness”, phantom limb sensations, and numerosity judgments in tactile perception, together with the results obtained from the study of patients affected by deficits that can (...) adversely affect tactile perception such as neglect, extinction, and numbsense. The similarities as well as some of the important differences that have emerged when visual and tactile conscious information processing have been compared using similar experimental procedures are highlighted. We suggest that conscious information processing in the tactile modality cannot be separated completely from the more general processing of spatial information in the brain. Finally, the importance of considering tactile consciousness within the larger framework of multisensory information processing is also discussed. (shrink)

Summary In the epistemic frame of the biocultural turn and of the neuroaesthetics, we have developed neurohermeneutics as an approach to literature that aims at contributing to the current debate about the linkage between literary, cognitive and neuroscientific studies, focusing on the relationship between mindbrain processes mirrored in the formal features of the text and the strategies activated by the author in a text in order to guide the reader in imagining, emotionally feeling and cognitively getting meanings out of the (...) literary experience. The aim of the neurohermeneutical approach is to grasp and describe phenomenologically the mirroring process between the two extremes of the literary experience, i.e. the writer’s creative process as it is mirrored in the formal features of the literary work and the reader’s imaginative reconfiguration of the text, and what they share in common. The reader revives the mental imaginative processes of the author by creating his/her unrepeatable individual experiences of the text and subjectively redesigning it in an endless loop of features that trigger the imagination and its creative potential both while writing and by reading literature. (shrink)

In just the last decade, many conference proceedings have been published on Plato’s Timaeus and its influence on the history of philosophy. The present vo­lume, which is the result of a symposium held at Seoul National University in September 2011, testifies to the enduring and widespread interest the Platonic dia­logue is able to elicit. The nine studies here collected by Euree Song center on the figure of the demiurge as maker of the world and they all deal with authors who, (...) while having di... (shrink)

We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.

This open access book discusses individual, collective, and institutional responsibilities with regard to vaccination from the perspective of philosophy and public health ethics. It addresses the issue of what it means for a collective to be morally responsible for the realisation of herd immunity and what the implications of collective responsibility are for individual and institutional responsibilities. The first chapter introduces some key concepts in the vaccination debate, such as ‘herd immunity’, ‘public goods’, and ‘vaccine refusal’; and explains why failure (...) to vaccinate raises certain ethical issues. The second chapter analyses, from a philosophical perspective, the relationship between individual, collective, and institutional responsibilities with regard to the realisation of herd immunity. The third chapter is about the principle of least restrictive alternative in public health ethics and its implications for vaccination policies. Finally, the fourth chapter presents an ethical argument for unqualified compulsory vaccination, i.e. for compulsory vaccination that does not allow for any conscientious objection. The book will appeal to philosophers interested in public health ethics and the general public interested in the philosophical underpinning of different arguments about our moral obligations with regard to vaccination. (shrink)

Contenido: Iconoclasia: Teoría, práctica y desidia -- Censura -- El final de las academias, los estilos y las instituciones -- Abolición total del arte.

Obra estructurada en cinco ponencias: la primera acerca de aspectos básicos para el posterior desarrollo de las relaciones ciencia-trascendencia; la segunda sobre la difícil consideración acerca del tiempo; la tercera sobre el papel que desempeña la neurocienca; la cuarta sobre las relaciones de la trascendencia ética con lo científico, y la quinta sobre el sentido de la religión y del cristianismo desde el punto de vista de la ciencia.

The branching-time logic called Peircean by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.

Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories, which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics.

In the tree-like representation of Time, two histories are undivided at a moment t whenever they share a common moment in the future of t. In the present paper, it will first be proved that Ockhamist and Peircean branching-time logics are unable to express some important sentences in which the notion of undividedness is involved. Then, a new semantics for branching-time logic will be presented. The new semantics is based on trees endowed with an indistinguishability function, a generalization of the (...) notion of undividedness. It will be shown that Ockhamist and Peircean semantics can be viewed as limit cases of the semantics developed in this paper. (shrink)

A Political Life is the compelling autobiography of Norberto Bobbio, one of the foremost political thinkers in postwar Italy. In dramatic and lively prose, Bobbio guides us through some of the most significant events of the twentieth century, charting their influence on his life and work. Born in 1909, Norberto Bobbio's early life was marked by the experience of growing up in Mussolini's Italy - an experience that helped to shape his passionate commitment to the anti-fascist cause. As a result (...) of these early experiences, Bobbio has tirelessly emphasized the fundamental, unassailable importance of democratic rights in the modern state. He has been a voice of reason and moderation in a political context where democratic values have often been threatened by extremes. This masterly autobiography traces the development of Bobbio's political thought, providing a penetrating analysis of the changing political landscape of Italy. At the same time, it represents an intimate account of Bobbio's personal experiences, giving a rare insight into the life and work of this distinguished thinker.A Political Life will be of great interest to students and scholars of social and political theory and of Italian politics, as well as to a general readership interested in political biography and contemporary politics. (shrink)

Johannes Müller von Königsberg (1436-1476), better known as Regiomontanus, is widely considered as the most influential astronomer and mathematician of 15th-century Europe. He was active as an astrologer and deemed astrology to be the queen of mathematical sciences. Despite this, Regiomontanus's astrological activity has yet to be fully explored. A brief examination of Regiomontanus's manuscripts shows that his astrological interests were accompanied by interests in the arts and in methods of prognostication. This article studies an unconventional astrological-chiromantical text, whose relevance (...) is threefold: a) it sheds new light on Regiomontanus's astrological interests; b) it enriches our knowledge of Regiomontanus's efforts to learn and understand Greek-Regiomontanus transcribed it into his own manuscript during his sojourn in Italy from 1460-1467; and c) it is the sole extant text in the Greek tradition that provides a system for prognostication from the study of a person's hand, the parts of which are considered as being under the domain of planets. The article provides an English translation of Regiomontanus's transcription, alongside a brief commentary, and studies the intellectual and historical context of that production through manuscript analysis. (shrink)