Perdurantists think of continuants as mereological sums of stages from different times. This view of persistence would force us to drop the idea that there is genuine change in the world. By exploiting a presentist metaphysics, Brogaard proposed a theory, called presentist four-dimensionalism, that aims to reconcile perdurantism with the idea that things undergo real change. However, her proposal commits us to reject the idea that stages must exist in their entirety. Giving up the tenet that all the stages are (...) equally real could be a price that perdurantists are unwilling to pay. I argue that Kit Fine ’s fragmentalism provides us with the tools to combine a presentist metaphysics with a perdurantist theory of persistence without giving up the idea that reality is constituted by more than purely present stages. (shrink)

Fragmentalism was originally introduced as a new A-theory of time. It was further refined and discussed, and different developments of the original insight have been proposed. In a celebrated paper, Jonathan Simon contends that fragmentalism delivers a new realist account of the quantum state—which he calls conservative realism—according to which: the quantum state is a complete description of a physical system, the quantum state is grounded in its terms, and the superposition terms are themselves grounded in local goings-on about the (...) system in question. We will argue that fragmentalism, at least along the lines proposed by Simon, does not offer a new, satisfactory realistic account of the quantum state. This raises the question about whether there are some other viable forms of quantum fragmentalism. (shrink)

The verb ‘to know’ can be used both in ascriptions of propositional knowledge and ascriptions of knowledge of acquaintance. In the formal epistemology literature, the former use of ‘know’ has attracted considerable attention, while the latter is typically regarded as derivative. This attitude may be unsatisfactory for those philosophers who, like Russell, are not willing to think of knowledge of acquaintance as a subsidiary or dependent kind of knowledge. In this paper we outline a logic of knowledge of acquaintance in (...) which ascriptions like ‘Mary knows Smith’ are regarded as formally interesting in their own right, remaining neutral on their relation to ascriptions of propositional knowledge. The resulting logical framework, which is based on Hintikka’s modal approach to epistemic logic, provides a fresh perspective on various issues and notions at play in the philosophical debate on acquaintance. (shrink)

Fragmentalism allows incompatible facts to constitute reality in an absolute manner, provided that they fail to obtain together. In recent years, the view has been extensively discussed, with a focus on its formalisation in model-theoretic terms. This paper focuses on three formalisations: Lipman’s approach, the subvaluationist interpretation, and a novel view that has been so far overlooked. The aim of the paper is to explore the application of these formalisations to the alethic modal case. This logical exploration will allow us (...) to study (i) cases of metaphysical incompatibility between modal facts and (ii) cases of modal dialetheias. In turn, this will enrich our understanding of the role of impossibility in the fragmentalist framework. (shrink)

Time and modality show remarkable similarities. Each of the most discussed theories in philosophy of time finds an analogous counterpart in modal metaphysics, suggesting that the parallel between the two notions is metaphysically deep. This chapter offers a brief overview of their analogies. Section 1 addresses the analogy between presentism and actualism. Section 2 explores the analogy between non-presentist theories and possibilism. Section 3 discusses the analogy between temporal and modal persistence.

In this paper, I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it can enrich (...) our understanding of concretism, by proving that, at least in principle, the idea that objects have properties in an absolute manner is compatible with transworld identity. (shrink)

Do grounding claims entail corresponding supervenience claims? The question matters, as a positive answer would help grounding theorists address worries that their hyperintensional primitive is obscure, and also increase the argumentative strategies that are available within ground-theoretic frameworks for metaphysical inquiry. Leuenberger (Erkenntnis 79:227–240, 2014a) argues for a negative response, by specifying some candidate principles of entailment and then claiming that each of them is subject to counterexamples. In this paper, I critically assess those principles and the objections he raises (...) against them, and advocate a novel entailment principle that overcomes all the problems suffered by those other principles. The principle I defend places a supervenience-based constraint on grounding claims, and secures a substantive connection between grounding and modality, weaker than necessitation. (shrink)

Jaakko Hintikka proposed treating objectual perception sentences, such as “Alice sees Bob,” as de re propositional perception sentences. Esa Saarinen extended Hintikka’s idea to eventive perception sentences, such as “Alice sees Bob smile.” These approaches, elegant as they may be, are not philosophically neutral, for they presuppose, controversially, that the content of all perceptual experiences is propositional in nature. The aim of this paper is to propose a formal treatment of objectual and eventive perception sentences that builds on Hintikka’s modal (...) approach to propositional attitude ascriptions while avoiding controversial assumptions on the nature of perceptual experiences. Despite being simple and theoretically frugal, our approach is powerful enough to express a variety of interesting philosophical views about propositional, objectual, and eventive perception sentences, thus enabling the study of their inferential relationships. (shrink)

The goal of this paper is to provide an accurate grounding-based formulation of positivism in the philosophy of law. I start off by discussing some simple formulations, based on the ideas that social facts are always either full or partial grounds of legal facts. I then raise a number of objections against these definitions: the full grounding proposal rules out possibilities that are compatible with positivism; the partial grounding proposal fails, on its own, to vindicate the distinctive role that is (...) played by social facts within positivist accounts of law. Then, I present a more adequate and insightful formulation capable of solving their problems, which crucially relies on a robust notion of a social enabler. Finally, I model inclusive and exclusive positivism on the resulting template, and set out the advantages of the ground-enablers proposal. (shrink)

Law being a derivative feature of reality, it exists in virtue of more fundamental things, upon which it depends. This raises the question of what is the relation of dependence that holds between law and its more basic determinants. The primary aim of this paper is to argue that grounding is that relation. We first make a positive case for this claim, and then we defend it from the potential objection that the relevant relation is rather rational determination (Greenberg 2004, (...) 2006). Against this challenge, we argue that the apparent objection is really no objection, for on its best understanding, rational determination turns out to actually be grounding. Finally, we clarify the framework for theories on law-determination that results from embracing our view; by way of illustration, we offer a ground-theoretic interpretation of Hartian positivism, and show how it can defuse an influential challenge to simple positivist accounts of law. (shrink)

This paper offers an argument in favour of a Lewisian version of concretism that maintains both the principle of material inheritance (according to which, if all the parts of an object x are material, then x is material) and the materiality-modality link (that is, the principle that, for every x, if x is material, then x is possible).

Si sceglie di assumere come riferimenti temporali post quem e ad quem proprio i due termini posti dal titolo generale del seminario: il Libellus ad Leonem X e i decreti del Concilio di Trento. In entrambe queste fonti risalta il tentativo di disciplinare la predicazione cristiana; ed emerge come, nell’indicare gli elementi per un rinnovamento della Chiesa all’interno del movimento cattolico di riforma, il motivo della riforma della predicazione popolare figuri sempre con notevole rilevanza. Dunque, le due fonti sono accomunate, (...) sul piano dei contenuti, dall’avere un medesimo forte riferimento al tema.. (shrink)

The question of whether a (queer) politics of utopia can be located in the past, the future or the present conjures a set of ambivalences and dichotomies, of which the creativity–negativity debate and the (non)future of neoliberalism are cogent for feminist praxis. Convergences can be traced between understandings of utopia grounded in everyday experimentation and queer feminist critiques of normativity as a life project as well as an ongoing educational project. This article dissects social critic, psychologist, poet, novelist and anarchist (...) Paul Goodman’s essay ‘The politics of being queer’ (1969), reading it through a queer feminist lens in order to shed new light on his ‘buried conversations’ with feminism. Mindful of and in opposition to Goodman’s controversial avowal of ‘masculinities’—most notably in his Growing Up Absurd (1960)—the article situates his idea(s) of freedom-autonomy and the disidentifications he proposed—with gay liberation agendas/movements, with bisexuality, with ‘masculinity’—within a wider feminist educational/pedagogical project of experimenting with utopia in the here and now. Goodman’s calls for a liberated society left us a utopian imaginary for engaging with an embodied politics for the present—for teaching, educating, loving and living differently. (shrink)

The aim of this article is to enrich the concept of technological incorporation, as thematized by Merleau-Pontian phenomenology and post-phenomenology, through a study of the material history of artificial prostheses. We will see in the first section that post-phenomenology, by discussing the plasticity of the corporeal schema, did not recognize the importance of technological transformations; that is, it has given little importance to the inorganic, material correlate through which hybridization is possible. Secondly, we will show how Merleau-Ponty, through a reading (...) of Marx, contributes to phenomenology a naturalistic dialectic between material history and corporeity. This relation appears central to our understanding of the constitutively plastic and performative essence of the corporeal schema. The dialectics that technologies institute, however, do not necessarily lead to an increase in one’s perceptive-agentive capacities. The last section of this article investigates this claim through an analysis of the pathology of phantom limbs, in light of the evolution of prosthetic technologies between the two World Wars. (shrink)

Hume’s Law that one cannot derive an “ought” from an “is” has often been deemed to bear a significance that extends far beyond logic. Repeatedly, it has been invoked as posing a serious threat to views about normativity: naturalism in metaethics and positivism in jurisprudence. Yet in recent years, a puzzling asymmetry has emerged: while the view that Hume’s Law threatens naturalism has largely been abandoned (due mostly to Pigden’s work, see e.g. Pigden 1989), the thought that Hume’s Law is (...) a serious challenge to positivism has only grown in prominence. Our main aim is to establish that Hume’s Law is not a threat to positivism or naturalism. First, we connect extensive, but unfortunately siloed, discussions of this issue. Second, we show that Hume’s Law is not a serious threat to naturalism or positivism, for the gap between logic and such theses is very hard to bridge in a way that would make Hume’s Law able to bear this significance. Finally, we emphasize an implication of our discussion: it undermines one of the main “dialectical tributaries” in jurisprudence (Toh 2018). (shrink)

A new strategy in philosophy of law appeals to explanatory gap arguments to attack legal positivism. We argue that the strategy faces a dilemma, which derives from there being two available readings of the constraint it places on legal grounding. To this end, we elaborate the most promising ways of spelling out the epistemic constraints governing law-determination, and show that each of the arguments based on them has problems. Throughout the paper, we evaluate a number of explanatory requirements, ultimately with (...) a view to shedding light on the explanatory nature of both grounding in general, and legal grounding in particular. (shrink)

My aim is to discuss some counterexamples to the following principle: -/- (P) Necessarily, for every proposition p, for every cognitive agent S and for every cognitive agent S*, if S believes that p and S* believes that ¬p, then either S makes a normative error or S* makes a normative error. -/- If we assume the identity between S and S*, then (P) regulates what I'm going to call psychological contradiction; conversely, if we assume the non-identity between S and (...) S*, then (P) regulates cases of disagreement. In trying to offer counterexamples, I will compare two different approaches: a three-valued approach and a relativist approach. I will argue that adopting the latter is preferable, since, contrary to the former, in offering counterexamples to (P) it does not commit us to hold the controversial metaphysical views that I will present in section 2. Furthermore, it allows us to propose genuine counterexamples not only in cases of syntactic disagreement, but also in cases of semantic and ontological disagreement. (shrink)

In questo capitolo delineeremo un approfondimento del criterio davidsoniano di razionalità, sulla base di alcune riflessioni sul ruolo che le credenze in prima persona sembrano rivestire nel comportamento di agenti cognitivi razionali. Più precisamente, difenderemo la tesi secondo cui, perlomeno all’interno di un framework davidsoniano, l’attribuzione di razionalità agli agenti cognitivi, umani e non, richiede una previa attribuzione di credenze in prima persona.

Scopo del volume è offrire un’introduzione accessibile e rigorosa ai più recenti sviluppi di una fondamentale branca della filosofia del tempo: la filosofia del futuro. Vengono presentate e discusse alcune delle domande chiave del dibattito contemporaneo, ad esempio: il futuro è già scritto o esistono molti cammini alternativi che il tempo è in grado di imboccare? "Esistere" significa semplicemente essere presenti o ci sono veri e propri oggetti futuri? Siamo davvero liberi di scegliere quali azioni compiere e di modificare il (...) corso degli eventi? Il dibattito intorno alle risposte di volta in volta offerte in filosofia esplora un’intrigante zona d’intersezione tra metafisica, logica ed etica, e interessa discipline diverse, come la fisica, la psicologia e l’economia. Non sorprende dunque che la discussione contemporanea sia oramai tanto intricata da risultare ostica ai non addetti ai lavori. Il volume offre gli strumenti necessari per inquadrare le domande sul futuro nella loro reale complessità concettuale, introducendo tutte le indispensabili nozioni tecniche in un linguaggio chiaro e intuitivo. (shrink)

There are essentially two ways to develop the Peircean idea that future contingents are all false. One is to provide a quantificational semantics for "will," as is usually done. The other is to define a quantificational postsemantics based on a linear semantics for "will." As we will suggest, the second option, although less conventional, is more plausible than the first in some crucial respects. The postsemantic approach overcomes three major troubles that have been raised in connection with Peirceanism: the apparent (...) scopelessness of "will" with respect to negation, the failure of Future Excluded Middle, and the so-called zero credence problem. (shrink)

Scott Hershovitz’s Law is a Moral Practice develops a bold, novel, and comprehensive account of law: the moral practice picture. Its central thesis is that legal relations (rights, duties, powers, etc.) are moral. They are real, full-fledged normative relations, connected to genuine reasons for action, and endowed with robust normativity. Nothing less than ordinary moral relations. The account is compounded with a deflationary view of theories in general jurisprudence and of the debates about them. In this vein, Hershovitz recommends that (...) we move away from theorising about law (understood as a set of legal norms), and focus on the nature of legal relations instead. In this paper, I pursue two interrelated objectives. First, I address Hershovitz’s main arguments for the view that legal relations are moral. Second, I take issue with the asymmetry between the deflationary and inflationary stances he advocates for legal norms and relations, respectively, arguing that this different treatment is unwarranted, because the deflationary stance is, and because this very combination of attitudes is unstable. Properly understood, questions about the nature and determination of legal norms and relations can’t but be seen as complementary aspects of a unified legal metaphysics. (shrink)

Self-control is considered broadly important for many domains of life. One of its unfortunate features, however, is that it tends to wane over time, with little agreement about why this is the case. Recently, there has been a push to address this problem by looking to the literature in exercise physiology, specifically the work on the central governor model of physical fatigue. Trying to explain how and why mental performance wanes over time, the central governor model suggests that exertion is (...) throttled by some central nervous system mechanism that receives information about energetic bodily needs and motivational drives to regulate exertion and, ultimately, to prevent homeostatic breakdown, chiefly energy depletion. While we admire the spirit of integration and the attempt to shed light on an important topic in psychology, our concern is that the central governor model is very controversial in exercise physiology, with increasing calls to abandon it altogether, making it a poor fit for psychology. Our concerns are threefold. First, while we agree that preservation of bodily homeostasis makes for an elegant ultimate account, the fact that such important homeostatic concerns can be regularly overturned with even slight incentives (e.g., a smile) renders the ultimate account impotent and points to other ultimate functions for fatigue. Second, despite the central governor being thought to take as input information about the metabolic needs of the body, there is no credible evidence that mental effort actually consumes inordinate amounts of energy that are not already circulating in the brain. Third, recent modifications of the model make the central governor appear like an all-knowing homunculus and unfalsifiable in principle, thus contributing very little to our understanding of why people tend to disengage from effortful tasks over time. We note that the latest models in exercise physiology have actually borrowed concepts and models from psychology to understand physical performance. (shrink)

In this paper, we articulate a version of non-standard A-theory—which we call Flow Fragmentalism—in relation to its take on the issue of supervenience of truth on being. According to the Truth Supervenes on Being (TSB) Principle, the truth of past- and future-tensed propositions supervenes, respectively, on past and future facts. Since the standard presentist denies the existence of past and future entities and facts concerning them that do not obtain in the present, she seems to lack the resources to accept (...) both past and future-tensed truths and the TSB Principle. Contrariwise, positions in philosophy of time that accept an eternalist ontology (e.g., B-theory, moving spotlight, and Fine’s and Lipman’s versions of fragmentalism) allow for a “direct” supervenience base for past- and future-tensed truths. We argue that Flow Fragmentalism constitutes a middle ground, which retains most of the advantages of both views, and allows us to articulate a novel account of the passage of time. (shrink)

This paper explores taste fragmentalism, a novel approach to matters of taste and faultless disagreement. The view is inspired by Kit Fine’s fragmentalism about time, according to which the temporal dimension can be constituted—in an absolute manner—by states that are pairwise incompatible, provided that they do not obtain together. In the present paper, we will apply this metaphysical framework to taste states. In our proposal, two incompatible taste states (such as the state of rhubarb’s being tasty and the state of (...) rhubarb’s being distasteful) can both constitute reality in an absolute manner, although no agent can have joint access to both states. We will then develop a formalised version of our view by means of an exact truthmaker semantics for taste assertions. Within this framework—we argue—our linguistic and inferential practices concerning cases of faultless disagreement are elegantly vindicated, thus suggesting that taste fragmentalism is worth of further consideration. (shrink)

The aim of this paper is to argue that the adoption of an unrestricted principle of bivalence is compatible with a metaphysics that (i) denies that the future is real, (ii) adopts nomological indeterminism, and (iii) exploits a branching structure to provide a semantics for future contingent claims. To this end, we elaborate what we call Flow Fragmentalism, a view inspired by Kit Fine (2005)’s non-standard tense realism, according to which reality is divided up into maximally coherent collections of tensed (...) facts. In this way, we show how to reconcile a genuinely A-theoretic branching-time model with the idea that there is a branch corresponding to the thin red line, that is, the branch that will turn out to be the actual future history of the world. (shrink)

Objective Routine prenatal screening for Down syndrome challenges professional non-directiveness and patient autonomy in daily clinical practices. This paper aims to describe how professionals negotiate their role when a pregnant woman asks them to become involved in the decision-making process implied by screening.Methods Forty-one semi-structured interviews were conducted with gynaecologists–obstetricians and midwives in a large Swiss city.Results Three professional profiles were constructed along a continuum that defines the relative distance or proximity towards patients’ demands for professional involvement in the decision-making (...) process. The first profile insists on enforcing patient responsibility, wherein the healthcare provider avoids any form of professional participation. A second profile defends the idea of a shared decision making between patients and professionals. The third highlights the intervening factors that justify professionals’ involvement in decisions.Conclusions These results illustrate various applications of the principle of autonomy and highlight the complexity of the doctor–patient relationship amidst medical decisions today. (shrink)

This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, two kinds of claims (...) about future contingents—one concerning truth, the other concerning credibility—can be smoothly handled within a single semantic framework. (shrink)

Smiling can be interpreted as a costly signal of future benefits from cooperation between the individual smiling and the individual to whom the smile is directed. The target article by Niedenthal et al. gives little attention to the possible mechanisms by which smiling may have evolved. In our view, there are strong reasons to think that smiling has the key characteristics of a costly signal.

Here, we present a category ${\mathbf {pEff}}$ which can be considered a predicative variant of Hyland's Effective Topos ${{\mathbf {Eff} }}$ for the following reasons. First, its construction is carried in Feferman’s predicative theory of non-iterative fixpoints ${{\widehat {ID_1}}}$. Second, ${\mathbf {pEff}}$ is a list-arithmetic locally cartesian closed pretopos with a full subcategory ${{\mathbf {pEff}_{set}}}$ of small objects having the same categorical structure which is preserved by the embedding in ${\mathbf {pEff}}$ ; furthermore subobjects in ${{\mathbf {pEff}_{set}}}$ are classified by (...) a non-small object in ${\mathbf {pEff}}$. Third ${\mathbf {pEff}}$ happens to coincide with the exact completion of the lex category defined as a predicative rendering in ${{\widehat {ID_1}}}$ of the subcategory of ${{\mathbf {Eff} }}$ of recursive functions and it validates the Formal Church’s thesis. Hence pEff turns out to be itself a predicative rendering of a full subcategory of ${{\mathbf {Eff} }}$. (shrink)

Le but de cet article est de présenter quelques considérations sur les relations temporelles, stratigraphiques et épistémologiques entre la surface archéologique (et les matériels céramiques collectés pendant les prospections) et les niveaux souterrains (avec leur potentiel informatif). Il ne s’agit pas donc d’une étude archéologique spécifique ou de la discussion d’un problème méthodologique. Mais plutôt d’une réflexion sur les contradictions implicites à certaines approches archéologiques : la lecture linéaire du temps et des évolutions, l’application de notions typiquement occidentales (bien qu’utiles) (...) à des contextes non-occidentaux, ainsi que l’absence d’intérêt archéologique pour la culture matérielle actuelle (sur la surface). La temporalité traditionnelle et linéaire (fondée sur la notion d’une Grande Fracture entre passé et présent, antiquité et « modernité »), est strictement liée aux postulats d’un évolutionnisme linéaire d’empreinte coloniale et crée des apories archéologiques qui peuvent être dépassées par l’adoption d’une temporalité non-linéaire et « aplatie ». Des exemples archéologiques sont brièvement présentés pour montrer le caractère souvent non linéaire des transformations techniques et culturelles et comment la culture matérielle du présent peut être approchée par des méthodes strictement archéologiques. (shrink)

La logica modale è nata per studiare i ragionamenti su ciò che è possibile e ciò che è necessario. Negli ultimi decenni, a partire dal lavoro di logici e filosofi quali Rudolf Carnap, Saul Kripke e David Lewis, la sua applicazione è stata progressivamente estesa ad altri ambiti, quali il ragionamento sul tempo, sulla conoscenza e sui sistemi di norme. Queste ricerche hanno condotto a un complesso e intrigante dialogo con alcune fondamentali branche della filosofia: la metafisica, l’epistemologia, la filosofia (...) del linguaggio. Lo scopo del volume è offrire una panoramica di questo dialogo al contempo accessibile e rigorosa, pensata sia per gli studenti di un corso universitario, sia per il lettore non specialista. Se da un lato tutte le necessarie nozioni tecniche sono rese accessibili ai non addetti ai lavori, dall'altro si restituisce un'immagine fedele delle sfide concettuali che la ricerca in questi settori è oggi chiamata ad affrontare. (shrink)

Some philosophers have recently emphasized the similarities between lawmaking and the production of linguistic utterances in ordinary communication. Based on these similarities, they have defended a theory of legal interpretation that identifies the legal content of a lawmaking act with the communicative content of the authoritative “utterance”. While different versions of the theory differ with respect to which level of utterance content they regard as relevant, they agree that the theory’s scope is fully general in that it applies to all (...) legal systems. In this paper, we argue that this commitment of the theory is problematic. By examining the role of interpretative arguments in legal interpretation, we argue that there is a tension between this commitment and the doctrine of the rule of recognition. In light of this, we argue that Hartian positivism is only compatible with a weakened or “minimal” version of the theory. Insofar as both the communication theory and Hartian positivism provide true insights on how legal content is determined, this result gives us reason to accept only a minimal version of the theory. (shrink)

The present work looks at what we call “the multiverse of quantification”, where visible and invisible numbers permeate all aspects and venues of life. We review the contributions of different authors who focus on the roles of quantification in society, with the aim of capturing different and sometimes separate voices. Several scholars, including economists, jurists, philosophers, sociologists, communication and data scientists, express concerns or identify critical areas of our relationship with new technologies of ‘numericization’. While mindful of the important specificities (...) of the different families of quantification, we use our broad and holistic canvas to explore possible spaces for a more systematic investigation of incumbent and novel quantifications, as to increase communication among disciplinary communities, and among these and society, in the pursuit a democratic agency and self-defence. (shrink)

Neurosteroid 17 beta-estradiol (E2) is a steroid synthesized de novo in the nervous system that might influence neuronal activity and behavior. Nevertheless, the impact of E2 on the functioning of those neural systems in which it is slightly synthesized is less questioned. The vestibulo-ocular reflex (VOR) adaptation, may provide an ideal arena for investigating this issue. Indeed, E2 modulates cerebellar parallel fiber-Purkinje cell synaptic plasticity that underlies encoding of VOR adaptation. Moreover, aromatase expression in the cerebellum of adult rodents is (...) maintained at very low levels and localized to Purkinje cells. The significance of age-related maintenance of low levels of aromatase expression in the cerebellum on behavior, however, has yet to be explored. Our aim in this study was to determine whether E2 synthesis exerts an effective and persistent modulation of VOR adaptation in adult male rats. To answer this question, we investigated the acute effect of blocking E2 synthesis on gain increases and decreases in VOR adaptation using an oral dose (2.5 mg/kg) of the aromatase inhibitor Letrozole in peri-pubertal and post-pubertal male rats. We found that Letrozole acutely impaired gain increases and decreases in VOR adaptation without altering basal ocular-motor performance and that these effects were similar in peri-pubertal and post-pubertal rats. Thus, in adult male rats neurosteroid E2 effectively modulates VOR adaptation in both of the periods studied. These findings imply that the adult cerebellum uses E2 synthesis for modulating motor memory formation and suggest that low and extremely localized E2 production may play a role in adaptive phenomena. (shrink)

Consistency with the formal Church’s thesis, for short CT, and the axiom of choice, for short AC, was one of the requirements asked to be satisfied by the intensional level of a two-level foundation for constructive mathematics as proposed by Maietti and Sambin From sets and types to topology and analysis: practicable foundations for constructive mathematics, Oxford University Press, Oxford, 2005). Here we show that this is the case for the intensional level of the two-level Minimalist Foundation, for short MF, (...) completed in 2009 by the second author. The intensional level of MF consists of an intensional type theory à la Martin-Löf, called mTT. The consistency of mTT with CT and AC is obtained by showing the consistency with the formal Church’s thesis of a fragment of intensional Martin-Löf’s type theory, called \, where mTT can be easily interpreted. Then to show the consistency of \ with CT we interpret it within Feferman’s predicative theory of non-iterative fixpoints \ by extending the well known Kleene’s realizability semantics of intuitionistic arithmetics so that CT is trivially validated. More in detail the fragment \ we interpret consists of first order intensional Martin-Löf’s type theory with one universe and with explicit substitution rules in place of usual equality rules preserving type constructors -rule which is not valid in our realizability semantics). A key difficulty encountered in our interpretation was to use the right interpretation of lambda abstraction in the applicative structure of natural numbers in order to model all the equality rules of \ correctly. In particular the universe of \ is modelled by means of \-fixpoints following a technique due first to Aczel and used by Feferman and Beeson. (shrink)