Introduction -- Historical essays -- The humanist brain : Alberti, Vitruvius, and Leonardo -- The enlightened brain : Perrault, Laugier, and Le Roy -- The sensational brain : Burke, Price, and Knight -- The transcendental brain : Kant and Schopenhauer -- The animate brain : Schinkel, Bötticher, and Semper -- The empathetic brain : Vischer, Wölfflin, and Göller -- The gestalt brain : the dynamics of the sensory field -- The neurological brain : Hayek, Hebb, and Neutra -- The phenomenal (...) brain : Merleau-Ponty, Rasmussen, and Pallasmaa -- Neuroscience and architecture -- Anatomy : architecture of the brain -- Ambiguity : architecture of vision -- Metaphor : architecture of embodiment -- Hapticity : architecture of the senses -- Epilogue: The architect's brain. (shrink)

This essay challenges the widely accepted principle that a person is morally responsible for what he has done only if he could have done otherwise. The author considers situations in which there are sufficient conditions for a certain choice or action to be performed by someone, So that it is impossible for the person to choose or to do otherwise, But in which these conditions do not in any way bring it about that the person chooses or acts as he (...) does. In such situations the person may well be morally responsible for what he chooses or does despite his inability to choose or to do otherwise. Finally the author considers certain suggestions for revising the principle he rejects or for replacing it with a principle of an altogether different kind. (shrink)

Miss Arendt is more reticent than, perhaps, she should be, about what actually went on in this public realm of the Greeks. —W. H. Auden.

Some of the barriers to the realisation of equality reflect the value of respecting prerogatives people have to favour themselves. Even G.A. Cohen, whose egalitarianism is especially pervasive and demanding, says that.

This paper reconstructs the function argument of Aristotle’s Eudemian Ethics 2.1. The argument seeks to define happiness through the method of division; shows that the highest good is better than all four of the goods of the soul, not only two, as commentators have thought; and unlike the Nicomachean argument, makes the highest good definitionally independent of the human function.

Some theorists argue that rather than advocating a principle of educational equality as a component of a theory of justice in education, egalitarians should adopt a principle of educational adequacy. This paper looks at two recent attempts to show that adequacy, not equality, constitutes justice in education. It responds to the criticisms of equality by claiming that they are either unsuccessful or merely show that other values are also important, not that equality is not important. It also argues that a (...) principle of educational adequacy cannot be all there is to justice in education. (shrink)

This paper explores the relationship of mourning and the gift in the work of Jacques Derrida. I argue that mourning is not a Derridean gift, but mourning does open us to the gift. Reading the works of Aristotle, Cicero, and Kierkegaard on friendship and love to the dead in the wake of Derrida’s Politics of Friendship makes this relation among mourning and the gift apparent for he presents mourning as the opening to a democracy to-come whose logic is the gift. (...) Through these accounts, I maintain that in preparing us for the gift, mourning the dead other can help us to relate better with the living other in ethical, political, and ontological terms. (shrink)

Abraham has played a prominent role in recent developments in phenomenology and, in particular, continental philosophy of religion. This paper examines the importance that the scene of Genesis 22 plays in both Jacques Derrida and Jean-Luc Marion’s contributions to continental philosophy of religion. Specifically, I argue that Derrida and Marion turn to this scene of the binding of Isaac in order to describe the way in which our ethical life is structured religiously around the theme of sacrifice. In this, sacrifice (...) brings an impetus to ethical life that includes a comportment to the other but also extends beyond the other to include the givenness of phenomena themselves. (shrink)

Competitive negotiators frequently use tactics which others view as "unethical", in that these tactics either violate standards of truth telling or violate the perceived rules of negotiation. This paper sought to determine how business students viewed a number of marginally ethical negotiating tactics, and to determine the underlying factor structure of these tactics. The factor analysis of these tactics revealed five clear factors which were highly similar across the two samples, and which parallel (to a moderate degree) categories of tactics (...) proposed by earlier theory. Data from one sample also permitted comparisons of the appropriateness of certain tactics across gender, nationality, ethnic origin and perception of one's negotiating style. (shrink)

Coleridge rarely mentions Hegel in his philosophical writings and seems to have read very little of Hegel's work. Yet I argue that Coleridge's criticisms of Schelling's philosophy—as recorded in letters and marginalia—betray remarkable intellectual affinities with his nearly exact contemporary Hegel, particularly in their shared doubts about Schelling's foundationalist intuitionism. With this background in place, I seek to demonstrate that volume one of Coleridge's Biographia Literaria is a radically self-undermining text: its philosophical argument, far from slavishly recapitulating Schelling's philosophy, remains (...) haunted by a quasi-Hegelian skepticism toward intuition even as it advances intuition as the foundation of its theoretical edifice. (shrink)

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

In this paper, we aim to show that the framework of embedded, distributed, or extended cognition offers new perspectives on social cognition by applying it to one specific domain: the psychology of memory. In making our case, first we specify some key social dimensions of cognitive distribution and some basic distinctions between memory cases, and then describe stronger and weaker versions of distributed remembering in the general distributed cognition framework. Next, we examine studies of social influences on memory in cognitive (...) psychology, and identify the valuable concepts and methods to be extended and embedded in our framework; we focus in particular on three related paradigms: transactive memory, collaborative recall, and social contagion. Finally, we sketch our own early studies of individual and group memory developed within our framework of distributed cognition, on social contagion of autobiographical memories, collaborative flashbulb memories, and memories of high school at a high school reunion. We see two reciprocal benefits of this conceptual and empirical framework to social memory phenomena: that ideas about distributed cognition can be honed against and tested with the help of sophisticated methods in the social cognitive psychology of memory; and conversely, that a range of social memory phenomena that are as yet poorly understood can be approached afresh with theoretically motivated extensions of existing empirical paradigms. (shrink)

Full privatisation of schools would involve states abstaining from providing, funding or regulating schools. I argue that full privatisation would, in most circumstances, worsen social injustice in schooling. I respond to James Tooley's critique of my own arguments for funding and regulation and markets. I argue that even his principle of educational adequacy requires a certain level of state involvement and demonstrate that his arguments against a principle of educational equality fail. I show, furthermore, that he relies on an over-optimistic (...) attitude regarding the operation of markets, which involves a failure to appreciate the diversity of quality in states, and that he misreads the evidence concerning private schooling in some developing countries. (shrink)

We discuss potential biorisks from large language models (LLMs). AI assistants based on LLMs such as ChatGPT have been shown to significantly reduce barriers to entry for actors wishing to synthesize dangerous, potentially novel pathogens and chemical weapons. The harms from deploying such bioagents could be further magnified by AI-assisted misinformation. We endorse several policy responses to these dangers, including prerelease evaluations of biomedical AIs by subject-matter experts, enhanced surveillance and lab screening procedures, restrictions on AI training data, and access (...) controls on biomedical AI. We conclude with a suggestion about future research directions in bioethics. (shrink)

Shelly Kagan has recently defended the view that it is morally worse for a human being to suffer some harm than it is for a lower animal (such as a dog or a cow) to suffer a harm that is equally severe (ceteris paribus). In this paper, I argue that this view receives rather less support from our intuitions than one might at first suppose. According to Kagan, moreover, an individual’s moral status depends partly upon her ‘modal capacities.’ In this (...) paper, I argue that the most natural strategy for justifying Kagan’s theory faces some important challenges. More generally, I argue that philosophers who wish to defend the view that human beings have a higher moral status than that of the lower animals face a dilemma. Either their theory of moral status will imply (unacceptably) that some severely cognitively impaired human beings have a significantly lower moral status than that of typical human beings, or these philosophers will be forced to ground moral status in a set of properties so far removed from a subject’s actual capacities that it will become difficult to see why these kinds of properties should have such moral importance. (shrink)

During the Winter of 2011 I visited SADAF and gave a series of talks based on the central chapters of my manuscript on the Yablo paradox. The following year, I visited again, and was pleased and honored to find out that Eduardo Barrio and six of his students had written ‘responses’ that addressed the claims and arguments found in the manuscript, as well as explored new directions in which to take the ideas and themes found there. These comments reflect my (...) thoughts on these responses (also collected in this issue), as well as my thoughts on further issues that arose during the symposium that was based on the papers and during the many hours I spent talking and working with Eduardo and his students. Durante el invierno de 2011, visité SADAF y dí una serie de conferencias sobre los capítulos centrales de mi manuscrito sobre la paradoja de Yablo. El año siguiente, visité Buenos aires nuevamente y tuve el placer y el honor de descubrir que Eduardo Barrio y seis de sus estudiantes habían escrito respuestas que abordan las afirmaciones y argumentos de mi manuscrito, además de explorar nuevas direcciones en las cuales considerar las ideas y temas encontrados allí. El presente trabajo refleja mis pensamientos sobre estas respuestas (también incluidas en este volumen), así como mis ideas sobre otras cuestiones que surgieron durante el simposio en el que se presentaron los artículos y en las muchas horas que nosotros discutimos y trabajamos con Eduardo y sus estudiantes. (shrink)

In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose (...) a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules. (shrink)

Philosophical discussions of gentrification have tended to focus on residential displacement. However, the prevalence of residential displacement is fiercely contested, with many urban geographers regarding it as quite uncommon. This lends some urgency to the underexplored question of how one should evaluate other forms of gentrification. In this paper, I argue that one of the most important harms suffered by victims of displacement gentrification is loss of access to the goods conferred by membership in a thriving local community. Leveraging the (...) social scientific literature, I go on to argue that non-displacement gentrification also often damages local communities. One can hence extend existing philosophical critiques of displacement gentrification to argue that non-displacement gentrification likewise poses a threat to relational equality, and often violates certain basic occupancy rights. Focusing on the value that inheres in thriving local communities also suggests some new possibilities for critiquing gentrification. For instance, existing occupancy rights critiques focus on incumbent land users’ interests in stability. However, one can also argue in a Lockean mode that incumbent land users’ occupancy rights are at least partially grounded in their community having laboured together to create objects of value. An extension of Michael Walzer’s theory of justice to incorporate community goods as a separate ‘sphere’ might also have widespread appeal. Taken together, these arguments constitute a sustained and theoretically ecumenical case for the pro tanto moral objectionability of gentrification. (shrink)

Comics comprise a hybrid art form descended from printmaking and mostly made using print technologies. But comics are an art form in their own right and do not belong to the art form of printmaking. We explore some features art comics and fine art prints do and do not have in common. Although most fine art prints and comics are multiple artworks, it is not obvious whether the multiple instances of comics and prints are artworks in their own right. The (...) comparison of comics and fine art prints provides a promising test for assessing how hybrid art forms develop more generally, and for assessing how they differ from closely related nonhybrid cousins. (shrink)

Panqualityism, recently defended by Sam Coleman, is a variety of Russellian monism on which the categorical properties of fundamental physical entities are qualities, or, in Coleman’s exposition, unconscious qualia. Coleman defends a quotationalist, higher-order thought version of panqualityism. The aim of this paper is, first, to demonstrate that a first-order representationalist panqualityism is also available, and to argue positively in its favor. For it shall become apparent that quotationalist and first-order representationalist panqualityism are, in spite of their close similarities, radically (...) different theories: quotationalist panqualityism locates qualities in the subject of an experience, while first-order panqualityism locates qualities in the world. I argue that this makes quotationalist panqualityism implausible and first-order, representationalist panqualityism a highly natural, elegant, and intuitive theory. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

Immanuel Kant promised, ‘as Your Majesty's loyal subject’, to abstain from all public lectures about religion. All past commentators agree this phrase permitted Kant to return to the topic after the King died. But it is not part of the ‘at-issue content’. Consequently, ‘as Your Majesty's loyal subject’ is no more an escape clause than the corresponding phrase in ‘I guarantee, as your devoted fan, that these guitar strings will not break’. Just as the guarantee stands regardless of whether the (...) guarantor ceases to be your devoted fan, the compliance conditions of Kant's promise are not affected by Kant's ceasing to be the king's loyal subject. For good or ill, Kant made a lying promise to King Friedrich Wilhelm II in 1794. (shrink)

This paper defends the claim that mere temporal proximity always and without exception strengthens certain moral duties, including the duty to save – call this view Robust Temporalism. Although almost all other moral philosophers dismiss Robust Temporalism out of hand, I argue that it is prima facie intuitively plausible, and that it is analogous to a view about special obligations that many philosophers already accept. I also defend Robust Temporalism against several common objections, and I highlight its relevance to a (...) number of practical policy debates, including longtermism. My conclusion is that Robust Temporalism is a moral live option, that deserves to be taken much more seriously in the future. (shrink)

The Principle of Analogy. ABSTRACT. Sceptics question whether ‘distinctively human’ predicates such as ‘just’, ‘loving’ and ‘powerful’ can intelligibly be attributed to a divine being. If not, then a vicious form of agnosticism seems to threaten orthodox theism. Especially if one assumes a broadly empiricist semantics the challenge, whether formulated in terms of a univocal or an equivocal understanding of predicates, seems to generate intractable philosophical problems. Aquinas’ theory of analogical predication, understood either in terms of ‘analogy duorum ad tertium’ (...) or in terms of ‘analogy unus ad alterum’, is an influential response to this sceptical challenge. Difficulties in each understanding are explored and it is suggested that a more fruitful framework for understanding theistic language is to be found in late 20th century nativism of Fodor and Quine. (shrink)

In this paper we elaborate on the neo-Confucian interpretation of the Yi-Jing system. Based on a further exploration of the Diagram of the Supreme Polarity of Zhou Dunyi, we develop a cosmological-anthropological model in constructive engagement with Western thoughts and views on systems and on the universe. The vital energy and the pattern play central roles in this model and also in the interpretation of the images and forces of the trigrams. This leads to a comparative model, based on a (...) quadrant system with four perspectives: naturality, rationality, humanity and morality. This model fits in the quadrant system of Wilber, and also corresponds to the cosmic ring of duograms. The natural YI Ba-Gua, a cycle of trigrams where Heaven and Earth are seen as elements of the production cycle, supplies an alternative interpretation of the King Wen Ba-Gua. When extending the quadrant system to octants we observe a cycle of trigrams, the cosmic YI Ba-Gua, as a spiralling sequence, following the order of the Five elements. Heaven and Earth are seen, as in the elaborated Diagram of the Supreme Polarity, as instigator and receiver respectively of the production cycle. It forms the framework for an alternative interpretation of the Fu Xi Ba-Gua. In addition to the images, we can display the forces of the trigrams in the octant system of the cosmic YI Ba-Gua as concentric circles. In the YI Ba-Gua we combine both the cosmic and the natural YI Ba-Gua, and compare this with the Ba-Gua of King Wen and of Fu Xi. Finally we present some hypotheses for further analysis of the matrix of hexagrams based on the cosmic YI Ba-Gua. The comparison of the different philosophical views in one framework may lead to further engagement of these ways of seeing. We already conclude that there is so much structure in the Yi-Jing that it is possible to use the wisdom of the Yi-Jing without applying a divination system. (shrink)

Summary This paper examines contemporary virtue ethics and the claim that Christian ethics is a virtue ethic. Three central theses are identified as being central to virtue ethics: a priority thesis, a perfectionist thesis and a communitarian thesis. It is argued that defences of the priority thesis—it best addresses the moral crisis in our society, it does justice to historical consciousness and it remedies the incompleteness in deontic ethics—are unconvincing. It is argued that virtue and moral perfection are best understood (...) in terms of psychologically appropriate dispositions to act in accordance with moral principles. It is further argued that the communitarian thesis raises relativist difficulties and fails to do justice to the universal elements of morality. Each of these arguments is developed philosophically and the implications for Christian ethics are explored. In light of the theory of virtue sketched in the paper it is concluded that the independence thesis, upon which virtue ethics rests, is untenable and that an examination of the structure of the universal moral principles underlying the Christian faith remains the proper subject matter for Christian ethics. (shrink)

ABSTRACT. The paper explores the philosophical intelligibility of contemporary defences of collective political forgiveness against a background of sceptical doubt, both general and particular. Three genera sceptical arguments are examined: one challenges the idea that political collectives exist; another challenges the idea that moral agency can be projected upon political collectives; a final argument challenges the attribution of emotions, especially anger, to collectives. Each of these sceptical arguments is rebutted. At a more particular level, the contrasts between individual forgiveness and (...) collective forgiveness gives rise to various problems and the ‘desiderata’ for their resolution - authority, specificity and temporal proximity - are briefly explored. (shrink)

The paper attempts to clarify the concept of political forgiveness, distinguishing it from individual forgiveness and illustrating its presence in contemporary politics. It proceeds to explore grounds for criticism of political forgiveness - an authority criticism, a specificity criticism and a temporal distance criticism - and suggests that, although these difficulties can be overcome, they provide serious challenges to putative cases of political forgiveness.

Christian moral philosophy is a distinctive kind of moral philosophy owing to the special role it assigns to God in Christ. Much contemporary 'Christian ethics' focuses on semantic, modal, conceptual and epistemological issues. This may be helpful but it omits the distinctive focus of Christian moral philosophy: the human condition in a morally ordered universe and the redemptive work of jesus Christ as a response to that predicament. Christian moral philosophers should seek to remedy that neglect.

I introduce a formalization of probability which takes the concept of 'evidence' as primitive. In parallel to the intuitionistic conception of truth, in which 'proof' is primitive and an assertion A is judged to be true just in case there is a proof witnessing it, here 'evidence' is primitive and A is judged to be probable just in case there is evidence supporting it. I formalize this outlook by representing propositions as types in Martin-Lof type theory (MLTT) and defining a (...) 'probability type' on top of the existing machinery of MLTT, whose inhabitants represent pieces of evidence in favor of a proposition. One upshot of this approach is the potential for a mathematical formalism which treats 'conjectures' as mathematical objects in their own right. Other intuitive properties of evidence occur as theorems in this formalism. (shrink)

This essay analyzes the provocative image of the bodhisattva, the saint of the Indian Mahayana Buddhist tradition, descending into the hell realms to work for the benefit of its denizens. Inspired in part by recent attempts to naturalize Buddhist ethics, I argue that taking this ‘mythological’ image seriously, as expressing philosophical insights, helps us better understand the shape of Mahayana value theory. In particular, it expresses a controversial philosophical thesis: the claim that no amount of physical pain can disrupt the (...) flourishing of a fully virtuous person. I reconstruct two related elements of early Buddhist psychology that help us understand this Mahayana position: the distinction between hedonic sensation and virtuous or nonvirtous mental states ; and the claim that humans are massively deluded as to what constitutes well-being. Doing so also lets me emphasize the continuity between early Buddhist and Mahayana traditions in their views on well-being and flourishing. (shrink)

This essay undertakes a phenomenological inquiry into the ‘experiential structure of hip-hop’ – a structure that hip-hop artist Jay-Z (Shawn Carter) gestures towards in his text Decoded. In this book, Jay-Z argues that hip-hop has a particular power to act as the vehicle for the communication of a specific type of experience, i.e. contradictory experiences, or those which do not seem possible under the principle of non-contradiction. For instance, Tupac Shakur says of his mom that “…even as a crack fiend, (...) mama / You always was a Black Queen, mama.” The way in which hip-hop is a powerful vehicle for this communication lies, according to Jay-Z, in its very structure, which he describes using two sets of terms: rhythm/flow and music/rhyme. Using Jay-Z’s general outline, this essay attempts to complete a phenomenological analysis of hip-hop, in the effort to (1) isolate the experiential structure of hip-hop and (2) isolate, within this structure, the way in which hip-hop is able to communicate contradictory experiences. In the final analysis, the author isolates the experiential structure of hip-hop and shows how its multiple layers work to draw listeners in and induce them to experience-with the artist. (shrink)

Ethical objectivists hold that there is one and only one correct system of moral beliefs. From such a standpoint it follows that conflicting basic moral principles cannot both be true and that the only moral principles which are binding on rational human agents are those described by the single true morality. However sincerely they may be held, all other moral principles are incorrect. Objectivism is an influential tradition, covering most of the rationalist and naturalist standpoints which have dominated nineteenth and (...) twentieth century moral philosophy: there is widespread agreement amongst relativists themselves that objectivism is firmly rooted in common sense. (shrink)

Over the decades, scholarly discourses on sovereignty and globalization have been produced following various theories and numerous debates about the strength and weakness of the sovereign nation-state and globalization. In this paper, the various theories on the discourse of sovereignty and globalization are traced and placed into four categories as: contending paradigm, globalization paradigm, transformation paradigm and complementary paradigm. Both concepts, sovereignty and globalization, are explored by adopting the methodological framework, sources of explanation. The argument is that there is an (...) intricate relationship between these concepts. To determine the relationship between sovereignty and globalization, three world systems were examined and it revealed that, globalization is born of the sovereign nation-state and that globalization can only be assert in the current sovereign world system and not the ones preceding it. The overall conclusion is that globalization emerged as a result of sovereignty and since the discourse of sovereignty and globalization is about the same space and its inhabitants, they are bound to be discursively set against each other if the discourse focusses solely on the phenomena seen as globalization. The forces of globalization and sovereignty need to be further researched into to be able to tell where they are leading us. (shrink)

Ce texte est le fruit d’une collaboration entre un astrophysicien, Jean-René Roy, et un philosophe de l’éducation, Normand Baillargeon. Ils ont en commun d’avoir été marqués par la fréquentation des oeuvres de Mario Bunge, auxquelles ils attachent un grand prix, sur un plan personnel, d’abord, mais aussi, et c’est ce qu’ils veulent rappeler dans ces pages : parce qu’ils estiment que les oeuvres de Bunge contribuent de manière extrêmement forte et positive à rendre plus salubre la vie de l’esprit, en (...) enrichissant notre intellect et en luttant contre diverses formes troublantes d’obscurantisme qui y sévissent parfois, notamment dans les domaines familiers aux deux auteurs. (shrink)

I prove that invoking the univalence axiom is equivalent to arguing 'without loss of generality' (WLOG) within Propositional Univalent Foundations (PropUF), the fragment of Univalent Foundations (UF) in which all homotopy types are mere propositions. As a consequence, I argue that practicing mathematicians, in accepting WLOG as a valid form of argument, implicitly accept the univalence axiom and that UF rightly serves as a Foundation for Mathematical Practice. By contrast, ZFC is inconsistent with WLOG as it is applied, and therefore (...) cannot serve as a foundation for practice. (shrink)