Evolutionary adaptation has been suggested as the hallmark of life that best accounts for life’s creativity. However, current evolutionary approaches still fail to give an adequate account of it, even if they are able to explain both the origin of novelties and the proliferation of certain traits in a population. Although modern-synthesis Darwinism is today usually appraised as too narrow a position to cope with all the complexities of developmental and structural biology—not to say biosemiotic phenomena—, Darwinism need not be (...) if we separate metaphor from reality in natural selection in order to show the axiological complexity of this concept. This can shed light on the relationship between biosemiotics and biological evolution. (shrink)

One of the central limitations of sensory substitution devices (SSDs) is their inability to reproduce the non-sensory feelings that are normally associated with visual experiences, especially hedonic and aesthetic responses. This limitation is sometimes reported to cause SSD users frustration. To make matters worse, it is unclear that improvements in acuity, bandwidth, or training will resolve the issue. Yet, if SSDs are to actually reproduce visual experience in its fullness, it seems that the reproduction of non-sensory feelings will be of (...) some importance. We offer a novel solution. Researchers can produce hedonic and aesthetic responses by eliciting these feelings artificially, pairing distal objects that should be pleasurable to pleasurable stimulus outputs from the SSD. We outline two strategies for accomplishing this: first, by means of a prefixed, hardwired, association of pleasant distal objects to pleasant stimulus outputs from the SSD; second, by means of a flexible, feedback-based association which creates associations based on a subject-directed matching of distal objects to patterns of stimuli from the SSD which the subject takes to have the corresponding hedonic properties. We evaluate some problems with both strategies, and we argue that the feedback-based strategy is more promising. Researchers can use this strategy to help the blind, allowing them to take pleasure in the objects they perceive using SSDs. (shrink)

This report highlights and explores five questions that arose from the workshop on sensory substitution and augmentation at the British Academy, March 26th through 28th, 2013.

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: How do we recognize distinct types of emotion in music?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: What counts as cognitive penetration?

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: Does sensory substitution generate perceptual or cognitive states?

This report highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012: 1. How should we demarcate perceptual learning from perceptual development? 2. What are the origins of multimodal associations? 3. Does our representation of time provide an amodal framework for multi-sensory integration? 4. What counts as cognitive penetration? 5. How can philosophers and psychologists most fruitfully collaborate?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: How should we demarcate perceptual learning from perceptual development?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: How can philosophers and psychologists most fruitfully collaborate?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: Does our representation of time provide and amodal framework for multi-sensory integration?

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: Can normal non-sensory feelings be generated through sensory substitution?

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: What can sensory substitution tell us about perceptual learning?

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: How does sensory substitution interact with the brain’s architecture?

This is an excerpt from a report that highlights and explores five questions which arose from the workshop on perceptual learning and perceptual recognition at the University of Toronto, Mississauga on May 10th and 11th, 2012. This excerpt explores the question: What are the origins of multimodal associations?

This is an excerpt from a report on the Sensory Substitution and Augmentation Conference at the British Academy in March of 2013. This portion of the report explores the question: What are the limitations of sensory substitution.

This article intends to examine the problematic question of the ontological status of “physical premotion,” that is, the divine motion of created free will. This idea was developed by the Dominican Báñez and was strongly criticised by the Jesuit Suárez. Suárez’s description of physical premotion shows that he gradually conditioned the debate in a way which compelled to see the premotion as an entity different from the creator and the free agent. Several texts of Suárez are also reviewed in discussion (...) with a recent study of Matava. Finally, the article concludes that Báñez follows the main lines of the thought of Aristotle and Aquinas; consequently, he does not believe that the divine motion has any other effect in the world than that of the free action of the created agent. (shrink)

This book lists the manuscripts related to the 'De Auxiliis' Controversy that are preserved in Rome. This dispute is one of the episodes in Spanish intellectual history with the greatest international resonance, if we take into account the commotion caused in Rome and the secular repercussions it will have within the Catholic and even Protestant sphere. This theological controversy also involves highly topical concepts that attract the interest of contemporary philosophers. This book contains a complete list of the manuscripts preserved (...) in Rome, trying to relate them to each other and to point out which are the most reliable and valuable sources. This involves the description of a considerable number of manuscripts that had not been described in any catalogue until now, and the identification of some unknown works. In addition, several unpublished letters by Domingo Báñez and Luis de Molina are transcribed here. (shrink)

Brentano’s introduction of the concept of intentionality into contemporary philosophy was indebted to scholastic sources. Among these, Suárez has not been sufficiently addressed, even though his idea of transcendental relation is relied upon by Brentano to describe the intentional relation. In addition, in his examination of being as truth in Suárez, Brentano manifests his assumption of the principle of immanence. Finally, this article argues that, even in his reist period, Brentano continued to understand knowledge as a relation.

On several occasions, Báñez considered Suárez the main supporter of the Molinist doctrine along with Molina himself. According to Báñez, the main mistake of Molinism is its misunderstanding of freedom. This led him to refine his personal Thomistic theory of freedom. Free will is radically in the intellect and formally in the will. Intellect is the root of freedom because the most important indifference is found in the object, whose connection with the end is understood as not necessary. The intellect (...) aware of this indifference causes a formally free volition that is not incompatible with the effective divine motion. (shrink)

Throughout the history of Thomism, interpretations of the ontology of God’s physical premotion of human free will have been divided mainly into two main groups. Most authors have thought that physical premotion constitutes a certain “entity” infused by God in the creature, although not all of them accept the account of Cabrera, who affirmed that premotion was a “quality”. On the other hand, there are some authors who understand premotion as a direct intervention of God in the vital act of (...) the creature which does not originates any entity prior to the created deliberate action itself. Báñez himself never spoke of any such entity, although some of his disciples soon adopted this view. One of his disciples, Pedro de Ledesma, is the author who best developed this minimalist approach in his treatise published on the occasion of the Controversy De auxiliis. This paper studies the main reasons used by Ledesma in his book to defend such an interpretation. (shrink)

In the years that saw the transition from the sixteenth to the seventeenth century, a controversy arose in Spain over the problem of the harmony between created freedom and divine omnipotence. This dispute arose in Salamanca, but it would have important consequences for the conception of man in Europe from then on. In my proposal, I pay attention to Domingo Báñez, an important member of the School of Salamanca, which point of view has been somewhat blurred due to the heat (...) of the polemic. In particular, I would like to emphasise his way of pointing to human dignity as the basis of the relationship between divine and human freedom. Such dignity does not lie in a misunderstood autonomy but in its dependence on God. Thus, according to Báñez, human freedom is an image of divine freedom, so that its dignity is not so much reflected in its independence from the power of God—which only occurs, to a certain extent, in sin—but in the concord between the two freedoms. (shrink)

Brentano claims to have taken his idea of intentionality from scholastic thought. However, in St. Thomas Aquinas, intentionality is not just the mark of knowledge, although some scholastics have interpreted it this way, even during Brentano’s lifetime. Moreover, to elaborate his idea of intentional presence, the German philosopher was not only inspired by him, but also by Francisco Suárez. In an unpublished manuscript from his legacy, Brentano understands Suarez’s objective concept as a representation of the thing in the psyche. (...) Thus, even before writing his definitive doctoral thesis, Brentano maintained that the object of thought is not the external thing but its mental copy. In short, modern philosophy seems to have been more decisive than scholasticism in shaping the substance of his theory of intentionality. (shrink)

In this article I present the most important works by Domingo Báñez on the so-called De auxiliis controversy, on divine predestination, divine will and divine grace, and human freedom. It is a polemic against Luis de Molina and Francisco Suárez, mainly. I review the works published by Báñez and his unpublished manuscripts, providing new historical data on them.

A book with all the abstracts of the talks held in the conference "La Escuela de Salamanca y su proyección iberoamericana": University San Dámaso (Madrid), 13th-15th October 2021.

Contemporary biological research has suggested that some host–microbiome multispecies systems (referred to as “holobionts”) can in certain circumstances evolve as unique biological individual, thus being a unit of selection in evolution. If this is so, then it is arguably the case that some biological adaptations have evolved at the level of the multispecies system, what we call hologenomic adaptations. However, no research has yet been devoted to investigating their nature, or how these adaptations can be distinguished from adaptations at the (...) species-level (genomic adaptations). In this paper, we cover this gap by investigating the nature of hologenomic adaptations. By drawing on the case of the evolution of sanguivory diet in vampire bats, we argue that a trait constitutes a hologenomic adaptation when its evolution can only be explained if the holobiont is considered the biological individual that manifests this adaptation, while the bacterial taxa that bear the trait are only opportunistic beneficiaries of it. We then use the philosophical notions of emergence and inter-identity to explain the nature of this form of individuality and argue why it is special of holobionts. Overall, our paper illustrates how the use of philosophical concepts can illuminate scientific discussions, in the trend of what has recently been called metaphysics of biology. (shrink)

Bourrat and Griffiths :33, 2018) have recently argued that most of the evidence presented by holobiont defenders to support the thesis that holobionts are evolutionary individuals is not to the point and is not even adequate to discriminate multispecies evolutionary individuals from other multispecies assemblages that would not be considered evolutionary individuals by most holobiont defenders. They further argue that an adequate criterion to distinguish the two categories is fitness alignment, presenting the notion of fitness boundedness as a criterion that (...) allows divorcing true multispecies evolutionary individuals from other multispecies assemblages and provides an adequate criterion to single out genuine evolutionary multispecies assemblages. A consequence of their criterion is that holobionts, as conventionally defined by hologenome defenders, are not evolutionary individuals except in very rare cases, and for very specific host-symbiont associations. This paper is a critical response to Bourrat and Griffiths’ arguments and a defence of the arguments presented by holobiont defenders. Drawing upon the case of the hologenomic basis of the evolution of sanguivory in vampire bats, I argue that Bourrat and Griffiths overlook some aspects of the biological nature of the microbiome that justifies the thesis that holobionts are evolutionarily different to other multispecies assemblages. I argue that the hologenome theory of evolution should not define the hologenome as a collection of genomes, but as the sum of the host genome plus some traits of the microbiome which together constitute an evolutionary individual, a conception I refer to as the stability of traits conception of the hologenome. Based on that conception I argue that the evidence presented by holobiont defenders is to the point, and supports the thesis that holobionts are evolutionary individuals. In this sense, the paper offers an account of the holobiont that aims to foster a dialogue between hologenome advocates and hologenome critics. (shrink)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

The hologenome concept of evolution is a hypothesis about the evolution of animals and plants. It asserts that the evolution of animals and plants was partially triggered by their interactions with their symbiotic microbiomes. In that vein, the hologenome concept posits that the holobiont (animal host + symbionts of the microbiome) is a unit of selection. -/- The hologenome concept has been severely criticized on the basis that selection on holobionts would only be possible if there were a tight transgenerational (...) host-genotype-to-symbiont-genotype connection. As our current evidence suggests that this is not the case for most of the symbiont species that compose the microbiome of animals and plants, the opportunity for holobiont selection is very low in relation to the opportunity for selection on each of the species that compose the host microbiome. Therefore, holobiont selection will always be disrupted ‘from below’, by selection on each of the species that compose the microbiome. -/- This thesis constitutes a conceptual effort to defend philosophically the hologenome concept. I argue that the criticism according to which holobiont selection requires tight transgenerational host-genotype-to-symbiont-genotype connection is grounded on a metaphysical view of the world according to which the biological hierarchy needs to be nested, such that each new level of selection includes every entity from below. Applied to hologenomes, it entails that the hologenome is a collection of genomes, and selection of hologenomes is assumed to entail cospeciation of the host with the species that constitute its microbiome. -/- Against that interpretation, I propose the ‘stability of traits’ account, according to which hologenome evolution is the result of the action of natural selection in a non-nested hierarchical world. In that vein, hologenome evolution does not entail cospeciation, and thus it does not require tight transgenerational host-genotype-to-symbiont-genotype connection. By embracing a multilevel selection perspective, I argue that hologenome evolution results from the simultaneous action of natural selection on each of the lineages that compose the microbiome, and on the assemblage composed by the host genome plus the functional traits of its microbiome. Hologenome selection occurs when the evolution of the traits of the microbiome result from their effects on the fitness of the host, and it can take the form of multilevel selection 1, or multilevel selection 2. In both cases, hologenome selection entails the evolution of microbiome traits, as well as evolution of the host genome, rather than cospeciation of lineages. (shrink)

The units or levels of selection debate concerns the question of what kind of biological systems are stable enough that part of their evolution is a result of the process of natural selection acting at their level. Traditionally, the debate has concerned at least two different, though related, questions: the question of the level at which interaction with the environment occurs, and the question of the level at which reproduction occurs. In recent years, biologists and philosophers have discussed a new (...) aspect of this debate, namely the possibility that certain multi-species consortia formed by a host and its microbiome may act as a unit of selection. This thesis, however, has not been without criticism, as it is doubtful that such consortia could meet the conditions required to achieve the degree of stability that would allow them to experience natural selection. The purpose of this paper is to systematically examine such criticisms and to defend the thesis that the holobiont/hologenome can act as a genuine level of selection both in the form of an interactor and in the form of a reproducer. To do so, it will be argued that the microbiome should be characterized in functional rather than taxonomic terms. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...) of the standard extensional semantics for mathematics. In this paper I investigate some implications of the Gödel Second Incompleteness Theorem for these positions. I argue that the realm of mathematics, proof theory in particular, has been a breeding ground for intensionality and that satisfactory intensional semantic theories are implicit in certain rigorous technical accounts. (shrink)

A number of philosophers endorse, without argument, the view that there’s something it’s like consciously to think that p, which is distinct from what it’s like consciously to think that q. This thesis, if true, would have important consequences for philosophy of mind and cognitive science. In this paper I offer an argument for it, and attempt to induce examples of it in the reader. The argument claims it would be impossible introspectively to distinguish conscious thoughts with respect to their (...) content if there weren’t something it’s like to think them. This argument is defended against several objections. Then I use what I call “minimal pair” experiences—sentences read without and with understanding—to induce in the reader an experience of the kind I claim exists. Further objections are considered and rebutted. (shrink)

The singularity hypothesis is a radical hypothesis about the future of artificial intelligence on which self-improving artificial agents will quickly become orders of magnitude more intelligent than the average human. Despite the ambitiousness of its claims, the singularity hypothesis has been defended at length by leading philosophers and artificial intelligence researchers. In this paper, I argue that the singularity hypothesis rests on scientifically implausible growth assumptions. I show how leading philosophical defenses of the singularity hypothesis (Chalmers 2010, Bostrom 2014) fail (...) to overcome the case for skepticism. I conclude by drawing out philosophical implications of this discussion for our understanding of consciousness, personal identity, digital minds, existential risk, and ethical longtermism. GPI Working Paper No . 19-2022. (shrink)

El propósito de este texto es revisar la noción del periodismo, como oficio y como empresa y replantear su responsabilidad desde el carácter corporativo en función de la democracia, como bien social. A través de un análisis crítico de la visión dicotómica de la ética (la profesional y la empresarial) proponemos un marco filosófico moral para los medios de comunicación social.

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

David Heyd's study will stimulate philosophers to recognise the importance of the rather neglected topic of the distinctiveness of supererogation and the ...

According to the grounding theory of powers, fundamental physical properties should be thought of as qualities that ground dispositions. Although this view has recently been defended by many different philosophers, there is no consensus for how the view should be developed within a broader metaphysics of properties. Recently, Tugby has argued that the view should be developed in the context of a Platonic theory of properties, where properties are abstract universals. I will argue that the view should not be developed (...) within such a framework. Either the view should be developed with an ontology of Aristotelian properties, or it should be developed in a Nominalist framework that contains no properties at all. (shrink)

Conceptual engineering is the design, implementation, and evaluation of concepts. Conceptual engineering includes or should include de novo conceptual engineering (designing a new concept) as well as conceptual re-engineering (fixing an old concept). It should also include heteronymous (different-word) as well as homonymous (same-word) conceptual engineering. I discuss the importance and the difficulty of these sorts of conceptual engineering in philosophy and elsewhere.

Experimental philosophy is often presented as a new movement that avoids many of the difficulties that face traditional philosophy. This article distinguishes two views of experimental philosophy: a narrow view in which philosophers conduct empirical investigations of intuitions, and a broad view which says that experimental philosophy is just the colocation in the same body of (i) philosophical naturalism and (ii) the actual practice of cognitive science. These two positions are rarely clearly distinguished in the literature about experimental philosophy, both (...) pro and con. The article argues, first, that the broader view is the only plausible one; discussions of experimental philosophy should recognize that the narrow view is a caricature of experimental philosophy as it is currently done. It then shows both how objections to experimental philosophy are transformed and how positive recommendations can be provided by adopting a broad conception of experimental philosophy. (shrink)

El objetivo general de este texto es analizar cómo la noción de la cooperación puede entronizarse en el oficio del periodismo desde la perspectiva de la ética de la razón cordial. Se pondrán en relación dos ejemplos de periodismo colaborativo en Venezuela, que aun no teniendo como base teórica ética, se rigen por ellos. Con este artículo se aspira a generar espacios de reflexión para fortificar el êthos de la comunicación social, de las empresas informativas y del periodista, con el (...) norte de la democracia y la justicia social. Los autores principales de esta investigación son: Patrici Calvo (2012, 2017, 2018), para hablar de la cooperación desde la ética de la razón cordial, corriente filosófica creada por Adela Cortina (2007). Se ha recurrido a la hermenéutica crítica como método de reflexión y postura para la revisión teórico-conceptual y así, poder replantear la idea del periodismo y de su ética. El periodismo puede y debe contribuir con la democracia y no limitarse a la difusión de mensajes sin ningún propósito; por otro lado, antes de hablar de cooperación, hay un valor en la profesión periodística, el celo por la noticia, anclado en el afán de la primicia y de la exclusividad; en esta reflexión se apunta a reconducir ese celo noticioso hacia la democracia. Dicho esto, los medios de comunicación y plataformas digitales enfrentan el reto de asumir el deber ético de emprender una nueva narrativa profesional, corporativa y social desde de la colaboración, la solidaridad y compasión. (shrink)

Recent objections to epistemic permissivism have a metaepistemic flavor. Impermissivists argue that their view best accounts for connections between rationality, planning and deference. Impermissivism is also taken to best explain the value of rational belief and normative assessment. These objections pose a series of metaepistemic explanatory challenges for permissivism. In this paper, I illustrate how permissivists might meet their explanatory burdens by developing two permissivist metaepistemic views which fare well against the explanatory challenges.

Someone acts in a morally worthy way when they deserve credit for doing the morally right thing. But when and why do agents deserve credit for the success involved in doing the right thing? It is tempting to seek an answer to that question by drawing an analogy with creditworthy success in other domains of human agency, especially in sports, arts, and crafts. Accordingly, some authors have recently argued that, just like creditworthy success in, say, chess, playing the piano, or (...) archery, creditworthy moral success is a matter of getting things right by way of manifesting a relevant skill. My main aim in this paper is to bring out an important structural difference between moral creditworthiness and creditworthiness in sports, arts, and craft, undermining attempts to use examples of the latter as a model for understanding the former. As an alternative, I propose an account of morally creditworthy action, according to which such action is a matter of manifesting virtue, not skill—a claim that's based on an important, but underappreciated, difference between the sorts of excellences constituting virtues and skills. The paper thus contributes to a more nuanced picture of normative achievements across different domains of human agency, highlighting largely overlooked structural dissimilarities among them. (shrink)

We call for a new philosophical conception of models in physics. Some standard conceptions take models to be useful approximations to theorems, that are the chief means to test theories. Hence the heuristics of model building is dictated by the requirements and practice of theory-testing. In this paper we argue that a theory-driven view of models can not account for common procedures used by scientists to model phenomena. We illustrate this thesis with a case study: the construction of one of (...) the first comprehensive model of superconductivity by London brothers in 1934. Instead of theory-driven view of models, we suggest a phenomenologically-driven one. (shrink)

How should we account for the extraordinary regularity in the world? Humeans and Non-Humeans sharply disagree. According to Non-Humeans, the world behaves in an extraordinarily regular way because of certain necessary connections in nature. However, Humeans have thought that Non-Humean views are metaphysically objectionable. In particular, there are two general metaphysical principles that Humeans have found attractive that are incompatible with all existing versions of Non-Humeanism. My goal in this paper is to develop a novel version of Non-Humeanism that is (...) consistent with (and even entails) both of these general metaphysical principles. By endorsing such a view, one can have the explanatory benefits of Non-Humeanism while at the same time avoiding two of the major metaphysical objections towards Non-Humeanism. (shrink)

The model of human intelligence that is most widely adopted derives from psychometrics and behavioral genetics. This standard approach conceives intelligence as a general cognitive ability that is genetically highly heritable and describable using quantitative traits analysis. The paper analyzes intelligence within the debate on natural kinds and contends that the general intelligence conceptualization does not carve psychological nature at its joints. Moreover, I argue that this model assumes an essentialist perspective. As an alternative, I consider an HPC theory of (...) intelligence and evaluate how it deals with essentialism and with intuitions coming from cognitive science. Finally, I highlight some concerns about the HPC model as well, and conclude by suggesting that it is unnecessary to treat intelligence as a kind in any sense. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

There is an apparent tension in Shepherd’s accounts of space and time. Firstly, Shepherd explicitly claims that we know that the space and time of the unperceived world exist because they cause our phenomenal experience of them. Secondly, Shepherd emphasizes that empty space and time do not have the power to effect any change in the world. My proposal is that for Shepherd time has exactly one causal power: to provide for the continued existence of self-same or changing objects. Because (...) Shepherd takes causation to be a relation whereby two objects combine to form a third, their effect, whenever we perceive a continually existing object, since time is a proper part of such objects, our perception of time is caused by time itself. Likewise, space’s causal power is to provide for the possibility of the motion or rest of objects, and so when we perceive objects with space as a proper part, we come into causal contact with space. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.