This paper is a critical response to Andreas Bartels’ sophisticated defense of a structural account of scientific representation. We show that, contrary to Bartels’ claim, homomorphism fails to account for the phenomenon of misrepresentation. Bartels claims that homomorphism is adequate in two respects. First, it is conceptually adequate, in the sense that it shows how representation differs from misrepresentation and non-representation. Second, if properly weakened, homomorphism is formally adequate to accommodate misrepresentation. We question both claims. First, we show that homomorphism (...) is not the right condition to distinguish representation from misrepresentation and non-representation: a “representational mechanism” actually does all the work, and it is independent of homomorphism – as of any structural condition. Second, we test the claim of formal adequacy against three typical kinds of inaccurate representation in science which, by reference to a discussion of the notorious billiard ball model, we define as abstraction, pretence, and simulation. We first point out that Bartels equivocates between homomorphism and the stronger condition of epimorphism, and that the weakened form of homomorphism that Bartels puts forward is not a morphism at all. After providing a formal setting for abstraction, pretence and simulation, we show that for each morphism there is at least one form of inaccurate representation which is not accommodated. We conclude that Bartels’ theory – while logically laying down the weakest structural requirements – is nonetheless formally inadequate in its own terms. This should shed serious doubts on the plausibility of any structural account of representation more generally. (shrink)

Way-finding (WF) is the ability to move around efficiently and find the way from a starting point to a destination. It is a component of spatial navigation, a coordinate and goal-directed movement of one’s self through the environment. In the present study, the relationship between WF tasks (route tracing and shortcut finding) and individual factors were explored with the hypothesis that WF tasks would be predicted by different types of cognitive, affective, motivational variables and personality factors. A group of 116 (...) university students (88 F.) was conducted along a route in a virtual environment and then asked first to trace the same route again, and then to find a shortcut between the start and end points. Several instruments assessing visuospatial working memory, mental rotation ability, self-efficacy, spatial anxiety, positive attitude to exploring, and personality traits were administered. The results showed that a latent spatial ability factor (measured with the visuospatial working memory and mental rotations tests) - controlled for gender - predicted route-tracing performance, while self-report measures of anxiety, efficacy, and pleasure in exploring, and some personality traits were more likely to predict shortcut-finding performance. We concluded that both personality and cognitive abilities affect WF performance, but differently, depending on the requirements of the task. (shrink)

In Poggiolesi we have introduced a rigorous definition of the notion of complete and immediate formal grounding; in the present paper our aim is to construct a logic for the notion of complete and immediate formal grounding based on that definition. Our logic will have the form of a calculus of natural deduction, will be proved to be sound and complete and will allow us to have fine-grained grounding principles.

There seems to be a minimal core that every theory wishing to accommodate the intuition that the future is open must contain: a denial of physical determinism (i.e. the thesis that what future states the universe will be in is implied by what states it has been in), and a denial of strong fatalism (i.e. the thesis that, at every time, what will subsequently be the case is metaphysically necessary).1 Those two requirements are often associated with the idea of an (...) objective temporal flow and the non-reality of the future. However, at least certain ways to frame the “openness” intuition do not rely on any of these. Branching Time Theory (BTT) is one such: it is compatible with the denial that time flow is objective and it is couched in a language with a (prima facie) commitment to an eternalist ontology. BTT, though, urges us to resist certain intuitions about the determinacy of future claims, which arguably do not lead either to physical determinism or to fatalism. Against BTT, supporters of the Thin Red Line Theory (TRL) argue that their position avoids determinism and fatalism, while also representing the fact that there is a future which is “special” because it is the one that will be the case. But starting with Belnap and Green 1994, some have objected to the tenability of TRL, mainly on metaphysical grounds. In particular, those argue that “positing a thin red line amounts to giving up objective indeterminism,”2 and that “has unacceptable consequences, ranging from a mistreatment of actuality to an inability to talk coherently about what would have happened had what is going to happen not taken place.”3 In this paper, we wish to reframe the.. (shrink)

The moving spotlight account (MS) is a view that combines an eternalist ontology and an A-theoretic metaphysics. The intuition underlying MS is that the present time is somehow privileged and experientially vivid, as if it were illuminated by a moving spotlight. According to MS-theorists, a key reason to prefer MS to B-theoretic eternalism is that our experience of time supports it. We argue that this is false. To this end, we formulate a new family of positions in the philosophy of (...) time, which differ from MS in that, intuitively, they admit a plurality of moving spotlights. We argue that these ‘deviant’ variants of MS cannot be dismissed as conceptually incoherent, and that they are as well-supported by our experience as is MS. One of these variants, however, is consistent with the B-theory. Thus, if our experience of time supports MS, then it supports the B-theory as well. (shrink)

Currently, the autonomy of artificial systems, robotic systems in particular, is certainly one of the most debated issues, both from the perspective of technological development and its social impact and ethical repercussions. While theoretical considerations often focus on scenarios far beyond what can be concretely hypothesized from the current state of the art, the term autonomy is still used in a vague or too general way. This reduces the possibilities of a punctual analysis of such an important issue, thus leading (...) to often polarized positions. The intent of this paper is to clarify what is meant by artificial autonomy, and what are the prerequisites that can allow the attribution of this characteristic to a robotic system. Starting from some concrete examples, we will try to indicate a way towards artificial autonomy that can hold together the advantages of developing adaptive and versatile systems with the management of the inevitable problems that this technology poses both from the viewpoint of safety and ethics. Our proposal is that a real artificial autonomy, especially if expressed in the social context, can only be achieved through interdependence with other social actors, through continuous exchanges and interactions which, while allowing robots to explore the environment, guarantee the emergence of shared practices, behaviors, and ethical principles, which otherwise could not be imposed with a top-down approach, if not at the price of giving up the same artificial autonomy. (shrink)

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...) research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation. (shrink)

The paper aims to show how and to what extent social and cultural cues influence figurative language understanding. In the first part of the paper, we argue that social-contextual knowledge is organized in “schemas” or stereotypes, which act as strong bias in speaker’s meaning comprehension. Research in Experimental Pragmatics has shown that age, gender, race and occupation stereotypes are important contextual sources of information to interpret others’ speech and provide an explanation of their behavior. In the second part of the (...) paper, we focus on gender stereotypes and their influence on the comprehension of figurative language, to show how the social functions of figurative language are modulated by gender stereotypes. We provide then an explanation of gender stereotypical bias on figurative language in terms of possible outcomes in the social context. (shrink)

La storia della filosofia come frontiera. L’itinerario di Nicola Abbagnano - ASBTRACT: L’articolo ricostruisce i momenti fondamentali del percorso storiografico di Nicola Abbagnano, a partire dalla sua tesi di laurea del 1923, Le sorgenti irrazionali del pensiero, fino all’articolo Il lavoro storiografico in filosofia : l’intento di questa analisi è mostrare la centralità e la complessità della Storia della filosofia , non riducibile a semplice "appendice" storiografica del periodo esistenzialistico dell’autore. Vengono esaminate in tale prospettiva le premesse teoriche dell’impostazione storiografica (...) di Abbagnano e le difficoltà che sorgono nel concreto lavoro storiografico: la Storia della filosofia si rivela così anche opera teoretica decisiva nel passaggio al neoilluminismo, che risulta caratterizzato da un profondo ripensamento dei rapporti tra storia e filosofia. (shrink)

I quattro Studi qui raccolti trattano alcuni temi significativi della filosofia settecentesca: il rapporto anima-corpo in Swedenborg, la presenza o meno di un livello di ragione nell' Homme naturel di Rousseau, la convergenza o meno di radicalismo politico e dimensione religiosa in Mably e in Morelly, la fondazione della scienza economica in Genovesi. Sono saggi molto diversi che sottendono interessi differenziati e stili di pensiero non collimanti; essi, tuttavia, sono accomunati da un'ottica squisitamente storiografica, che, pur nella consapevolezza di una (...) tensione tra presente e passato, tende a cogliere l'autonomia di quest'ultimo, la sua resistenza ad ogni schematizzazione, il suo sfuggire ad ogni tentativo di irrigidimento in immagini definitive. Il quadro del Settecento che emerge da questo volume da un lato mette in luce le diverse articolazioni che la filosofia settecentesca assume nei diversi contesti "nazionali" europei, dall'altro ne sottolinea slanci ma anche ambiguità e incoerenze, confermando quella grande complessità culturale dell' "età dei lumi" delineata dalla storiografia più recente. (shrink)

The concept of adaptation is employed in many fields such as biology, psychology, cognitive sciences, robotics, social sciences, even literacy and art,1 and its meaning varies quite evidently according to the particular research context in which it is applied. We expect to find a particularly rich catalogue of meanings within evolutionary biology, where adaptation has held a particularly central role since Darwin’s The Origin of Species (1859) throughout important epistemological shifts and scientific findings that enriched and diversified the concept. Accordingly, (...) a conceptual taxonomy of adaptation in evolutionary biology may help to disambiguate it. Interdisciplinary researches focused on adaptation would benefit from such a result. In the present work we recognize and define seven different meanings of adaptation: (1) individual fitness; (2) adaptation of a population; (3) adaptation as the process of natural selection; (4) adaptive traits; (5) molecular adaptation; (6) adaptation as structural tinkering; (7) plasticity. For convenience here, we refer to them as W-, P-, NS-, T-, M-, S- and PL-ADAPTATION. We present the seven meanings in some detail, hinting at their respective origins and conceptual developments in the history of evolutionary thought (references are offered for further deepening). However, it is important to point out that evolution researchers seldom if ever refer to a single meaning purified from the others. This applies also to the authors we cite as representatives of one of the seven meanings. In Discussion and Conclusion draw from our work some future perspectives for adaptation within evolutionary biology. (shrink)

In this paper, we present a simple sequent calculus for the modal propositional logic S5. We prove that this sequent calculus is theoremwise equivalent to the Hilbert-style system S5, that it is contraction-free and cut-free, and finally that it is decidable. All results are proved in a purely syntactic way.

The paper aims at examining some new testimonies on Aeschines of Sphettus that were not included in Gabriele Giannantoni’s Socratis et Socraticorum Reliquiae, and that refer to different aspects of the Socratic’s life and works. Some texts concern Aeschines’ biografy; namely, his relationship with Socrates (Suid. s.v. Σωκράτης), his patronymic and his poverty (Aristoph. Vesp. 1243–1247, 323–326, 459; Suid. s.v. σεσέλλισαι; Hesych. Miles. s.v. σεσέλλισαι). Other testimonies directly refer to Aeschines’ logoi Sokratikoi, with regard both to the style (Mich. Psellos (...) Ἔπαινος τοῦ Ἰταλοῦ 19, 83; Hermog. De ideis I 409, 5) and to the content of specific dialogues, such as the Aspasia (Philod. Vit. X = PHerc. 1008, coll. xxi–xxii; Harpocrat. s.v. Ἀσπασία), the Miltiades (Stob. ii 34, 10) and the Alcibiades (Priscian. De constructione vii 187. 7–8).Leaving aside Aristophanes, all the new fragments derive from late sources, and they can be ascribed to the Socratic with different degrees of certainty. Evidence for their attribution, indeed, is not always compelling. I will thus argue for the inclusion of some of these textes in a new collection of Aeschines’ fragments, by trying at the same time to define their place and their relevance within the complex of the sources on the Socratic. (shrink)

The paper focuses on the concepts of virtue and self-knowledge in Alcibiades I and Aeschines’ Alcibiades, which are marked by striking similarities in the way they discuss these themes and their interconnection. First of all, in both dialogues the notions of ἀμαθία and ἀρετή seem to be connected and both are bound up with the issue of εὐδαιμονία: Socrates points out that ἀρετή is the only source of true εὐδαιμονία and encourages Alcibiades to acquire it, stressing the need for a (...) constant ἐπιμέλεια ἑαυτοῦ. Thus, another common feature is the Socratic exhortation to pursue and achieve moral virtue, which is identified as a form of knowledge. Ultimately, in both accounts the chief means by which to contrast ἀμαθία is found in the care and knowledge of the self. The above arguments are to be considered within the particular frame of the paideutic relationship between Socrates and Alcibiades, which is itself portrayed in similar terms in the two texts. In both dialogues, the relationship is characterized as a form of erotic education and, moreover, Socrates himself links his paideutic activity to divine will. Yet, only in Aeschines’ Alcibiades does this explicitly entail the idea that Socrates transmits virtue without resorting to any τέχνη or ἐπιστήμη. So while in both cases ἀρετή is understood as a kind of knowledge, in Aeschines’ Alcibiades there seems to be a greater tension between this concept of virtue and its modes of transmission, which are “anepistemic”. (shrink)

In Social Justice in Practice, Juha Räikkä addresses a wide variety of subjects, tackling each one with competence and originality. The twelve essays collected in the book cover topics such as the relationship between theory and practice, the impact of “ideal justice” and its requirements on individuals’ expectations, the difficulties connected to the selection of second-best options and the role of presumption rules. In addition, Räikkä focuses on conspiracy theories, on the right to privacy, on the possibility of concealing information (...) in social relations, as well as on the moral dilemmas connected to “alien beliefs”, namely beliefs beyond individuals’ self-awareness and conflicting with their considered judgments. He also discusses the fairness of demanding forgiveness and clarifies the notion of self-deception, by investigating its connection with adaptive preferences and religious beliefs. Räikkä makes each topic accessible and appealing also to readers unfamiliar with them. Moreo .. (shrink)

The paper aims to investigate the relationship between ἐρωτικὴ τέχνη and ἐλεγκτικὴ τέχνη in Plato’s early dialogues, and especially in the Charmides, through a close exam of the role of ἀντέρως in the dialogical practice and exchanges. In the light of Socrates’ reshaping of the roles of ἐραστής and ἐρώμενος in his view of παιδεία – exemplarily shown in the Symposium – I will analyse some passages of Socrates’ conversations in the Charmides by focusing on the interaction between the one (...) who examines and the one who answers within the elenctic procedure. (shrink)

[L. Rossetti, A. Stavru, Socratica 2008. Studies in Ancient Socratic Literature, Bari 2010].

The volume Socrates and the Socratic Dialogue, recently edited by Ch. Moore and A. Stavru (Brill, 2018), favours the pluralistic approach to the sources that has gained increasing acceptance over the last decades, and thus shares the choice not to limit the study of Socrates to the canonical ‘quartet’ Aristophanes, Plato, Xenophon, and Aristotle. Indeed, the volume partly continues an existing trend, but at the same time proves to reinforce it by further refining and scrutinising this field of research. The (...) very welcome result is a collection of essays that provides a rich and nuanced picture of Socrates from the Old Comedy to Neoplatonism, based on Socratic literature as well as non-Socratic material – the latter including both non-Socratic authors and non-Socratic passages by Socratic authors. Because of the variety of themes and the number of contributions, which present a vast range of methodological approaches, the work offers a privileged point of view for investigating the ongoing advancements in our understanding of Socratism. Rather than providing a thorough presentation of all chapters, which would inevitably oversimplify their content, this paper attempts to highlight – also through the comparison with the existing literature – the main results of the analysis conducted and their specific contribution to the field. (shrink)

This paper focuses on the figure and the role of Aspasia in Aeschines’ eponymous dialogue, with special regard to the Milesian’s ‘paideutic’ activity and the double bond connecting it to Socrates’ teaching, namely the elenctic method and a particular application of Σωκρατικὸς ἔρως. The study aims to highlight some crucial traits of Aeschines’ Aspasia by examining three key texts, all numbered among the testimonies on the Aspasia: Cicero’s account in De inventione 1.31.51-53 and two fundamental passages from Xenophon’s Memorabilia and (...) Oeconomicus. After analysing a set of ancient sources which repeatedly mention the close and personal association between Socrates and Aspasia, I will try to reconstruct the dialogical context of Xenophon’s testimonies and to combine them with Cicero’s account. My final aim is to clarify the role of Aspasia in Aeschines’ presentation of the Socratic theory of ἔρως. In pursuing this main objective, in the concluding section I will address two further issues: Aspasia’s connection with the figure of Diotima, as depicted in the same ancient sources and the relationship between Aspasias’ pedagogical use of ἔρως and that made by Socrates in the Alcibiades. (shrink)

Divers portraits de l’éducation socratique, quoique apparemment contradictoires sur certains points, témoignent d’une conception de la παιδεία qui ne consiste pas à proprement parler dans l’enseignement mais d’abord et avant tout dans la fréquentation de Socrate. Cette étude entend examiner la conception originale de l’éducation défendue par Socrate dans ses divers portraits, et en particulier en ce qui concerne les modes de transmission de la vertu et du savoir au sein du rapport enseignant-élève. À cette fin, j’analyserai la profonde révision (...) de la παιδεία opérée par l’enseignement socratique en me concentrant sur la notion de συνουσία et donc aussi sur la théorie de l’ἔρως que certaines sources, notamment Eschine et Platon, assignent à Socrate. Cette étude, divisée en quatre parties, se penche sur certains passages tirés de (1) l’Alcibiade d’Eschine, en rapport avec d’autres dialogues de l’auteur ; (2) le Banquet de Platon, en parallèle avec une section du Théétète ; (3) le Théagès et le Premier Alcibiade ; (4) les Mémorables de Xénophon. (shrink)

Witnessing is an increasingly important theme in the work of Jean-Luc Marion. According to Marion, the witness can be considered an appropriate figure to define the first person, the “I,” without reducing it to subjectivism and without envisaging the intersubjective tie as binary, inasmuch as the testimony refers instead to a ternary relation. The present analysis investigates the difference Marion identifies between the religious witness and what seems to be, according to common sense, the regular witness. While in the latter (...) case, the subject is completely foreign to the event to which s/he testifies, in the case of the religious witness, the commitment is total. We will tackle this difference by showing that the fact of testifying always implies a connection with effectivity, which reveals itself through the profound commitment characterizing the witness’s life, up to the point of death. This becomes obvious when considering the role played by the witness’s confessing speech, which establishes an unsurpassable ternary relationship between the witness, the object of the testimony, and the one to whom it is addressed, by deploying an absolute form of the social bond. (shrink)

Gilles Deleuze has become a key reference for the recent debate on virtual technologies, as his conception of the virtual is widely used to argue for the reality of virtuality. Nonetheless some scholars, among which Slavoj Žižek stands out, have warned about the risks of flattening the Deleuzian concept on the tech debate. This paper aims to show why the two concepts of the virtual do not overlap by explaining some features of the Deleuzian virtual that make it incompatible with (...) virtual media. Namely, its intensive dimension, its relationship with the possible and its imperceptible nature. The paper will also claim how differentiating the two concepts opens up wider applications for the Deleuzian virtual while, at the same time, lightening the tech debate of its ontological burden, allowing to approach the issues of virtual technologies from a more fruitful perspective – that is to say, their pictorial functioning. (shrink)

This essay reflects on Anglo-American literary representations of Italian culture from the perspective of postcolonial theory. Throughout history, many national and cultural entities have defined themselves in relation to foreign and “exotic” civilizations; this equally applies to “the exotic within Europe.” Through a discussion of the works of writers as various as E.M. Forster (The Story of a Panic, 1903), Frances Mayes (Under the Tuscan Sun, 1997), and Elizabeth Gilbert (Eat, Pray, Love, 2006), the essay describes a tradition that celebrates (...) Italy as an authentic cultural experience and at the same time “orientalises” such a tradition by depicting it as a destabilizing threat and challenge to the “rational mind,” allegedly represented by Anglo-American culture. The essay attempts to disclose the degree of “imagined identity” that emerges from an on-going productive dialogue with the “other within oneself.”. (shrink)

In this paper our aim is twofold: on the one hand, to present in a clear and faithful way two recent contributions to the logic of grounding, namely Correia, and Fine ; on the other hand, to argue that some of the formal principles describing the notion of grounding proposed by these logics need to be changed and improved.

An oft-defended claim of a close relationship between Gentzen inference rules and the meaning of the connectives they introduce and eliminate has given rise to a whole domain called proof-theoretic semantics, see Schroeder- Heister (1991); Prawitz (2006). A branch of proof-theoretic semantics, mainly developed by Dosen (2019); Dosen and Petric (2011), isolates in a precise mathematical manner formulas (of a logic L) that have the same meaning. These isomorphic formulas are defined to be those that behave identically in inferences. The (...) aim of this paper is to investigate another type of recently discussed rules in the literature, namely grounding rules, and their link to the meaning of the connectives they provide the grounds for. In particular, by using grounding rules, we will refine the notion of isomorphic formulas through the notion of hyper-isomorphic formulas. We will argue that it is actually the notion of hyper-isomorphic formulas that identify those formulas that have the same meaning. (shrink)

Most of the logics of grounding that have so far been proposed contain grounding axioms, or grounding rules, for the connectives of conjunction, disjunction and negation, but little attention has been dedicated to the implication connective. The present paper aims at repairing this situation by proposing adequate grounding principles for relevant implication. Because of the interaction between negation and implication, new grounding principles concerning negation will also arise.

In this paper we introduce and compare four different syntactic methods for generating sequent calculi for the main systems of modal logic: the multiple sequents method, the higher-arity sequents method, the tree-hypersequents method and the display method. More precisely we show how the first three methods can all be translated in the fourth one. This result sheds new light on these generalisations of the sequent calculus and raises issues that will be examined in the last section.

This essay investigates the applicability of Grice’s theory of conversational implicatures to legal interpretation, in order to highlight some of its characteristics. After introducing the notions of language and discourse, and briefly explaining the most salient aspects of Grice’s theory, I will analyse the interpretation of two types of legal acts; authoritative legal acts and acts of private autonomy. Regarding the first class, exemplified by statutes, I will argue against the applicability of Gricean theory due to the conflictual behaviour of (...) the addressees and, above all, to the insurmountable indeterminacy of the contextual elements. As far as acts of private autonomy are concerned, exemplified by contracts, I will argue that the cooperative principle is applicable, at least in those legal systems that include the principle of bona fides among the interpretative regulations of such acts. (shrink)

In this paper we present a sequent calculus for the modal propositional logic GL (the logic of provability) obtained by means of the tree-hypersequent method, a method in which the metalinguistic strength of hypersequents is improved, so that we can simulate trees shapes. We prove that this sequent calculus is sound and complete with respect to the Hilbert-style system GL, that it is contraction free and cut free and that its logical and modal rules are invertible. No explicit semantic element (...) is used in the sequent calculus and all the results are proved in a purely syntactic way. (shrink)

By following a recent result of [Wilhelm, 2021], it can easily be shown that standard conditions for immediate partial grounding and relevant identity conditions for propositions are inconsistent with one another. This is an unfortunate situation for all grounding enthusiasts; however, by adopting the approach presented by Poggiolesi [2016a,b], which displays a more-fined grained use of negations, it can also be shown that consistency can be restored back.

In this paper we present labelled sequent calculi and labelled natural deduction calculi for the counterfactual logics CK + {ID, MP}. As for the sequent calculi we prove, in a semantic manner, that the cut-rule is admissible. As for the natural deduction calculi we prove, in a purely syntactic way, the normalization theorem. Finally, we demonstrate that both calculi are sound and complete with respect to Nute semantics [12] and that the natural deduction calculi can be effectively transformed into the (...) sequent calculi. (shrink)

A widespread (and often tacit) assumption is that fear is an anticipatory emotion and, as such, inherently future-oriented. Prima facie, such an assumption is threatened by cases where we seem to be afraid of things in the past: if it is possible to fear the past, then fear entertains no special relation with the future—or so some have argued. This seems to force us to choose between an account of fear as an anticipatory emotion (supported by pre-theoretical intuitions as well (...) as empirical research in psychology) and admitting cases of past-oriented fear. In this paper, we argue for a proposal that dissolves this dilemma. Our claim is: with the right account in place, the future-orientation of fear can be made compatible with, and is actually explanatory of, cases where we are genuinely afraid of something in the past. So, there is no need to choose: fear is still future-oriented, even when we are genuinely afraid of things in the past. The key is a correct understanding of what fear’s temporal orientation amounts to, and the framework we offer here provides us with such an understanding. (shrink)

In Poggiolesi [. Grounding principles for implication. Synthese, 1–28], a definition of the notion of grounding in the background of a relevant framework has been introduced; this...

This paper studies internal (or intra-)mathematical explanations, namely those proofs of mathematical theorems that seem to explain the theorem they prove. The goal of the paper is a rigorous analysis of these explanations. This will be done in two steps. First, we will show how to move from informal proofs of mathematical theorems to a formal presentation that involves proof trees, together with a decomposition of their elements; secondly we will show that those mathematical proofs that are regarded as having (...) explanatory power all display an increase of conceptual complexity from the assumptions to the conclusion. (shrink)

In their article, Bruno and Arora (2018) conclude that if deceased donor uterus transplantation has equivalent outcomes and the supply of deceased donors is sufficient, then living uterus donation...