Stereotypes of girls having weaker mathematical abilities than boys are one factor reducing women’s representation in mathematics. Teachers, as powerful socializers, often hold math-gender stereotypes. Reducing math-gender stereotypes in teachers thus may foster women’s representation in mathematics. Yet knowing the stereotypes’ underlying assumptions is crucial to reducing it. Do math-gender stereotypes reflect elaborate, disproven theories about gender differences in math, meaning math-gender misconceptions? And if so, which math-gender misconceptions are behind math-gender stereotypes? This is the focus of the present research. (...) The relevant literature implies the existence of three distinct misconceptions: empathizing-systemizing, girls’ compensation, and girls’ non-compensability. We assessed these misconceptions in a student teacher sample using our newly developed Math-Gender Misconceptions Questionnaire. Our results offer support for the expected three-factor structure of math-gender misconceptions. All three math-gender misconceptions showed good to acceptable scale reliabilities. On average, preservice teachers did not hold math-gender misconceptions. But a subgroup of 48.2% of preservice teachers held at least one of the three misconceptions. The empathizing-systemizing misconception was the most prevalent among the three misconceptions. Descriptively, endorsing the math-gender stereotype correlated most strongly with the empathizing-systemizing and the girls’ compensation misconception. This may indicate that especially these two misconceptions partly underlie math-gender stereotypes. As a consequence, refutation instructions designed to reduce these misconceptions may be a promising method to weaken math-gender stereotypes. Further research is needed to investigate to what degree reducing the present misconceptions is related to reducing math-gender stereotypes. Hence, this study is the first one of a planned series of studies on the relation between math-gender misconceptions and math-gender stereotypes. (shrink)

Some combinations of attitudes--of beliefs, credences, intentions, preferences, hopes, fears, and so on--do not fit together right: they are incoherent. A natural idea is that there are requirements of "structural rationality" that forbid us from being in these incoherent states. Yet a number of surprisingly difficult challenges arise for this idea. These challenges have recently led many philosophers to attempt to minimize or eliminate structural rationality, arguing that it is just a "shadow" of "substantive rationality"--that is, correctly responding to one's (...) reasons. -/- In *Fitting Things Together*, Alex Worsnip pushes back against this trend--defending the view that structural rationality is a genuine kind of rationality, distinct from and irreducible to substantive rationality, and tackling the most important challenges for this view. In so doing, he gives an original positive theory of the nature of coherence and structural rationality that explains how the diverse range of instances of incoherence can be unified under a general account, and how facts about coherence are normatively significant. He also shows how a failure to focus on coherence requirements as a distinctive phenomenon and distinguish them adequately from requirements of substantive rationality has led to confusion and mistakes in several substantive debates in epistemology and ethics. -/- Taken as a whole, Fitting Things Together provides the first sustained defense of the view that structural rationality is a genuine, autonomous, unified, and normatively significant phenomenon. (shrink)

Necessary Existence breaks ground on one of the deepest questions anyone ever asks: why is there anything? Pruss and Rasmussen present an original defence of the hypothesis that there is a necessarily existing being capable of providing an ultimate foundation for the existence of all things.

In Talking to Strangers, Danielle Allen argues that democratic citizens will need to acquire new habits for contending with distrust in order to prolong the democratic experiment. Though Allen's solution recalls her reading of the Republic, it is to Aristotle, not Plato, that she turns for help theorizing those habits. Drawing upon the Nicomachean Ethics, she proposes arts or techniques that might substitute for and outpace justice by enabling democratic strangers to treat one another like friends. While I endorse Allen's (...) analysis of the problems posed by rising levels of distrust, I propose a different solution. First, I argue that the habits Allen describes would have to be virtues and not merely techniques in order to effect real political change. Then, second, I identify those habits as “piety” and “gratitude”—virtues which, I contend, are not so much substitutes for as supplements to justice. My argument thus elaborates Thomas Aquinas's account of justice and its “potential parts” in the Summa Theologiae. (shrink)

Jacobi held a position of unparalleled importance in late eighteenth and early nineteenth century intellectual history. This includes his role in bringing about the close of the Enlightenment, his central part in shaping the reception of Kant's philosophy and German idealism, and his influence on the development of Romanticism and existentialism.

Machine learning, and more broadly artificial intelligence (AI), is a fascinating technology and can be considered as the closest approximation to the Cartesian “thinking thing” that humans have ever created. Just as the industrial revolution required a new ethos, the age of intelligent machines will create its own, challenging the established moral, economic, and political presuppositions. This paper discusses the relationship between AI and society; it presents several thought experiments to explore the complexity of the relationship and highlights the insufficiency (...) of the current normative paradigm in addressing technological expansion. I argue that many of the externalities, such as security risks, loss of privacy, and economic instability will result from trying to fit the emerging technologies into the existing frame of efficiency and utility, by redefining the notions of human value, identity, autonomy, purity, and truth, among others. The age of the intelligent machine is elevating alienation to new levels, treating the individual as mere patterns in data—its primary commodity. I further argue that while the possibility of unintended consequences, due to the potential misuse of AI is ever present, the intelligent machine per se is unlikely to engage in a zero-sum game for power on its own initiative. I question whether singularity is at all attainable and argue that technology will forever remain a proxy for human interests. I conclude by posing questions for charting the path forward. Through this analysis, I aim to provide a more nuanced understanding of the complex relationship between the AI and humans. (shrink)

This Is A New Release Of The Original 1868 Edition.

This important philosophical reflection on love and sexuality from a broadly Christian perspective is aimed at philosophers, theologians, and educated Christian readers. Alexander R. Pruss focuses on foundational questions on the nature of romantic love and on controversial questions in sexual ethics on the basis of the fundamental idea that romantic love pursues union of two persons as one body. _One Body_ begins with an account, inspired by St. Thomas Aquinas, of the general nature of love as constituted by (...) components of goodwill, appreciation, and unitiveness. Different forms of love, such as parental, collegial, filial, friendly, fraternal, or romantic, Pruss argues, differ primarily not in terms of goodwill or appreciation but in terms of the kind of union that is sought. Pruss examines romantic love as distinguished from other kinds of love by a focus on a particular kind of union, a deep union as one body achieved through the joint biological striving of the sort involved in reproduction. Taking the account of the union that romantic love seeks as a foundation, the book considers the nature of marriage and applies its account to controversial ethical questions, such as the connection between love, sex, and commitment and the moral issues involving contraception, same-sex activity, and reproductive technology. With philosophical rigor and sophistication, Pruss provides carefully argued answers to controversial questions in Christian sexual ethics. "This is a terrific—really quite extraordinary—work of scholarship. It is quite simply the best work on Christian sexual ethics that I have seen. It will become the text that anyone who ventures into the field will have to grapple with—a kind of touchstone. Moreover, it is filled with arguments with which even secular writers on sexual morality will have to engage and come to terms." —_Robert P. George, Princeton University __ "_One Body_ is an excellent piece of philosophical-theological reflection on the nature of sexuality and marriage. This book has the potential to become a standard go-to text for professors and students working on sex ethics issues, whether in philosophy or theology, both for the richness of its arguments, and the scope of its coverage of cases. " — Christopher Tollefsen, University of South Carolina_ "Alexander Pruss here develops sound and humane answers to the whole range of main questions about human sexual and reproductive choices. His principal argument for the key answers is very different from the one I have articulated over the past fifteen years. But his argumentation is at every point attractively direct, careful, energetic in framing and responding to objections, and admirably attentive to realities and the human goods at stake." —_John Finnis, University of Oxford _. (shrink)

In the Secunda secundae of his masterwork, the Summa Theologiae, Thomas Aquinas contends that reverence (an affection elicited by the gift of fear) is both the principle and cause of humility (an infused moral virtue). He suggests also that the relationship between fear and humility is emblematic of the relationship between the gifts of the Holy Spirit and infused virtues as such. This article examines these claims and explores their implications for understanding the contribution of the gifts to the infused (...) virtues’ growth: as the theological virtues grow, the infused moral and intellectual virtues grow with them; yet this happens by the intermediate growth of the gifts. Although uncharted within the landscape of contemporary Aquinas studies, these claims are plainly attested in the Summa and corroborated by the Literal Exposition of Job and the Commentary on John. (shrink)

Internalism about a person's good is roughly the view that in order for something to intrinsically enhance a person's well-being, that person must be capable of caring about that thing. I argue in this paper that internalism about a person's good should not be believed. Though many philosophers accept the view, Connie Rosati provides the most comprehensive case in favor of it. Her defense of the view consists mainly in offering five independent arguments to think that at least some form (...) of internalism about one's good is true. But I argue that, on closer inspection, not one of these arguments succeeds. The problems don't end there, however. While Rosati offers good reasons to think that what she calls 'two-tier internalism' would be the best way to formulate the intuition behind internalism about one's good, I argue that two-tier internalism is actually false. In particular, the problem is that no substantive theory of well-being is consistent with two-tier internalism. Accordingly, there is reason to think that even the best version of internalism about one's good is in fact false. Thus, I conclude, the prospects for internalism about a person's good do not look promising. (shrink)

' But, although such a being (a purely intellectual being) might perhaps be conceived to exist, and although, in studying our internal frame, ...

The essence and basic methods of the pure theory -- The state and the law -- Law and its "others" : natural law, morality and social policy -- Constitution and normative hierarchy -- The basic norm and efficacy of the legal system -- The rule of law -- Conclusion -- Index.

Introduction -- What is personal responsibility? -- Ordinary language -- Common conceptions -- What do philosophers mean by responsibility? -- Personally responsible for what? -- What do philosophers think? part I -- Causes -- Capacity -- Control -- Choice versus brute luck -- Second-order attitudes -- Equality of opportunity -- Deservingness -- Reasonableness -- Reciprocity -- Equal shares -- Combining criteria -- What do philosophers think? part II -- Utility -- Self-respect -- Autonomy -- Human flourishing -- Natural duties and (...) special obligations -- A matter of perspectives -- Combining values -- What do politicians think? -- A brief typology -- International comparisons -- Welfare reform -- Healthcare reform -- Rights and responsibilities -- On the responsibilities of politicians -- What do ordinary people think? -- Why ask? -- Attitudes to welfare claimants -- When push comes to shove -- Perceptions and reality -- Further international comparisons -- The trouble with opinion surveys -- Four contemporary issues in focus -- Unemployment -- Health -- Drug abuse -- Personal debt and financial rewards -- So how do we decide? -- Getting the public involved -- Citizens juries -- Answering some potential criticisms. (shrink)

Essentialism as applied to individuals is the claim that for at least some individuals there are properties that those individuals possess essentially. What it is to possess a property essentially is a matter of debate. To possess a property essentially is often taken to be akin to possessing a property necessarily, but stronger, although this is not a feature of Aristotle’s essentialism, according to which essential properties are those thing could not lose without ceasing to exist. Kit Fine (1994) takes (...) essential properties to be those that an object has in virtue of its identity, while other essentialists refer (as Fine also does) to the nature of an object as the source of its essential properties. It is sometimes important to distinguish the essential properties of a thing and the ‘full’ essence of a thing. The latter is the set of the essential properties of a thing, when that set necessarily suffices to determine the thing’s identity. One might hold that something has essential properties without agreeing that it has an identity-determining essence. Essentialism was largely in abeyance during the first two thirds of the twentieth century thanks to the domination of analytic philosophy by anti-metaphysical logical empiricism and the linguistic turn. The rehabilitation of essentialism owes much to the development of a formal apparatus for the understanding of modality more generally, thanks to C. I. Lewis, Ruth Barcan Marcus, and Saul Kripke. Kripke’s discussion of essentialism both about individuals and also about about natural kinds brought essentialism to wider philosophical prominence. Natural kind essentialism, which finds its modern genesis also in the work of Hilary Putnam, claims that natural kinds have essential properties: to say that possession of property P is is part of the essence of the kind K implies that, necessarily, every member or sample of the kind K possesses P. Essentialism about individuals has been linked to thinking about natural kinds by the contentious claim that one of the essential properties of any entity is that it belongs to the natural kind (or kinds) it actually belongs to. In this chapter I shall first outline certain claims and arguments concerning essentialism concerning individuals (Section 2).. (shrink)

Over the course of human history, the sciences, and biology in particular, have often been manipulated to cause immense human suffering. For example, biology has been used to justify eugenic programs, forced sterilization, human experimentation, and death camps—all in an attempt to support notions of racial superiority. By investigating the past, the contributors to _Biology and Ideology from Descartes to Dawkins_ hope to better prepare us to discern ideological abuse of science when it occurs in the future. Denis R. (...) class='Hi'>Alexander and Ronald L. Numbers bring together fourteen experts to examine the varied ways science has been used and abused for nonscientific purposes from the fifteenth century to the present day. Featuring an essay on eugenics from Edward J. Larson and an examination of the progress of evolution by Michael J. Ruse, _Biology and Ideology_ examines uses both benign and sinister, ultimately reminding us that ideological extrapolation continues today. An accessible survey, this collection will enlighten historians of science, their students, practicing scientists, and anyone interested in the relationship between science and culture. (shrink)

A Theology in Outline: Can These Bones Live? began with an undergraduate course taught by Robert W. Jenson at Princeton University in the spring of 2008. Based on a series of twenty-three course lectures, it offers a concise and accessible overview of Christian theology while retaining the atmosphere of Jenson's classroom. Much as does Jenson's Systematic Theology, A Theology in Outline treats a standard sequence of doctrines in Christian theology--God, Trinity, creation, humanity, sin, salvation, church, among others. However, its organizing (...) principle and leitmotiv are less traditional. Reflecting his recent interest in theological interpretation of scripture, Jenson frames the whole of Christian theology as a response to the question posed to the prophet Ezekiel: "Son of man, can these bones live?" For Jenson, to ask this question is to ask whether Christian theology itself is a pile of dead bones. Can the story that God lives with his people be told today? From first to last the chapters of this book proceed under the impelling pressure of this question. They thus comprise a single sequence of illustrative conversations for the purpose of introducing beginners to Christian theology. (shrink)

With any structural inference rule A/B, we associate the rule $${(A \lor p)/(B \lor p)}$$, providing that formulas A and B do not contain the variable p. We call the latter rule a join-extension ( $${\lor}$$ -extension, for short) of the former. Obviously, for any intermediate logic with disjunction property, a $${\lor}$$ -extension of any admissible rule is also admissible in this logic. We investigate intermediate logics, in which the $${\lor}$$ -extension of each admissible rule is admissible. We prove that (...) any structural finitary consequence operator (for intermediate logic) can be defined by a set of $${\lor}$$ -extended rules if and only if it can be defined through a set of well-connected Heyting algebras of a corresponding quasivariety. As we exemplify, the latter condition is satisfied for a broad class of algebraizable logics. (shrink)

Can philosophy be a source of hope? Today it is common to believe that the answer is no - that providing hope, if it is possible at all, belongs either to the predictive sciences or to religion. In this exciting and simulating book, however, Alexander Douglas argues that the philosophy of Spinoza can offer something akin to religious hope. Douglas shows how Spinoza is able, without appealing to belief in any traditional afterlife or supernatural grace, to develop a profound (...) and original theory of how humans can escape from the conditions of death and sin. Douglas argues that this theory of escape, which Spinoza calls beatitude, is the centrepiece of his entire philosophy, though scholars have often downplayed or ignored it. One reason for this scholarly neglect might be the difficulty of understanding Spinoza's theory, which departs from the standard doctrines and methods of Western philosophy. Douglas's interpretation therefore seeks inspiration beyond the Western tradition, drawing especially on the classical Daoist text Zhuangzi and its commentaries. Here, Douglas argues, surprising resonances with Spinoza's core ideas can be found, leading to a new way of understanding his strange yet compelling theory of beatitude. (shrink)

Mental causation is notoriously threatened by the causal exclusion argument. A prominent strategy to save mental causation from causal exclusion consists in subscribing to an interventionist account of causation. This move has, however, recently been challenged by several authors. In this paper, we do two things: We (i) develop what we consider to be the strongest version of the interventionist causal exclusion argument currently on the market and (ii) propose a new way how it can in principle be overcome. In (...) particular, we propose to replace strict supervenience in the assumption that the mental supervenes on the physical by probabilistic supervenience and show how this move has the potential to license the inference to mental causation. Finally, we argue that probabilistic supervenience captures some of the most important intuitions that strict supervenience captures and discuss possible objections to weakening strict supervenience in the way we suggest. (shrink)

This article suggests an iconic turn in cultural sociology. Icons can be seen, it is argued, as symbolic condensations that root social meanings in material form, allowing the abstractions of cognition and morality to be subsumed, to be made invisible, by aesthetic shape. Meaning is made iconically visible, in other words, by the beautiful, sublime, ugly, or simply by the mundane materiality of everyday life. But it is via the senses that iconic power is made. This new approach to meaning (...) is compared with others — with materialism, semiotics, aestheticism, moralism, realism, and spiritualism. (shrink)

Seit dem 2. nachchristlichen Jahrhundert werden die Schriften von Aristoteles kommentiert. Diese Ausgabe enthält griechische Kommentare zu seinem Werk vom 3. bis 8. Jahrhundert n. Chr., u. a. von Alexander von Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in griechischer Sprache.

Several current theories have essences as primary drivers of inductive potential: e.g., people infer dogs share properties because they share essences. We investigated the possibility that people take occupational roles as having robust inductive potential because of a different source: their position in stable social institutions. In Studies 1–4, participants learned a novel property about a target, and then decided whether two new individuals had the property (one with the same occupation, one without). Participants used occupational roles to robustly generalize (...) rights and obligations, functional behaviors, personality traits, and skills. In Studies 5–6, we contrasted occupational roles (via label) with race/gender (via visual face cues). Participants reliably favored occupational roles over race/gender for generalizing rights and obligations, functional behaviors, personality traits, and skills (they favored race/gender for inferring leisure behaviors and physiological properties). Occupational roles supported inferences to the same extent as animal categories (Studies 4 and 6). In Study 7, we examined why members of occupational roles share properties. Participants did not attribute the inductive potential of occupational roles to essences, they attributed it to social institutions. In combination, these seven studies demonstrate that any theory of inductive potential must pluralistically allow for both essences and social institutions to form the basis of inductive potential. (shrink)

Learning more about philosophical cognition has yielded significant insights into the methods that we employ when doing philosophy, and has led some experimental philosophers to raise concerns about the role that intuitions play in philosophical practice. One popular response to these methodological concerns involves appeal to philosophical expertise, and has become known as the expertise defense because it aims to defend the use of at least some kinds of intuitional evidence in philosophy. The basic idea is that philosophical expertise consists (...) in having developed, through a process of critical reflection, increased conceptual competence and theoretical accuracy, as well as a special knack for reading and thinking about philosophical thought experiments that call upon us to exercise our conceptual competence and theoretical acumen. It turns out to be an open question whether this folk theory of philosophical expertise can restore hope in the value of intuitional evidence, and here we examine two ways of trying to answer that question: one that involves careful reflection on the supposed benefits of philosophical education, and one that involves careful empirical examination of “expert” philosophical intuitions. (shrink)

How do words mean? What is the nature of meaning? How can we grasp a word's meaning? The frame-semantic approach developed in this book offers some well-founded answers to such long-standing, but still controversial issues. Following Charles Fillmore's definition of frames as both organizers of experience and tools for understanding, the monograph attempts to examine one of the most important concepts of Cognitive Linguistics in more detail. The point of departure is Fillmore's conception of "frames of understanding" - an approach (...) to (cognitive) semantics that Fillmore developed from 1975 to 1985. The envisaged Understanding Semantics ("U-Semantics") is a semantic theory sui generis whose significance for linguistic research cannot be overestimated. In addition to its crucial role in the development of the theoretical foundations of U-semantics, corpus-based frame semantics can be applied fruitfully in the investigation of knowledge-building processes in text and discourse. (shrink)

Writing in the cosmopolitan metropolis of Baghdad, Alfarabi (870-950) is unique in the history of premodern political philosophy for his extensive discussion of the nation, or Umma in Arabic. The term Umma may be traced back to the Qur'ān and signifies, then and now, both the Islamic religious community as a whole and the various ethnic nations of which that community is composed, such as the Turks, Persians, and Arabs. Examining Alfarabi's political writings as well as parts of his logical (...) commentaries, his book on music, and other treatises, Alexander Orwin contends that the connections and tensions between ethnic and religious Ummas explored by Alfarabi in his time persist today in the ongoing political and cultural disputes among the various nationalities within Islam. According to Orwin, Alfarabi strove to recast the Islamic Umma as a community in both a religious and cultural sense, encompassing art and poetry as well as law and piety. By proposing to acknowledge and accommodate diverse Ummas rather than ignoring or suppressing them, Alfarabi anticipated the contemporary concept of "Islamic civilization," which emphasizes culture at least as much as religion. Enlisting language experts, jurists, theologians, artists, and rulers in his philosophic enterprise, Alfarabi argued for a new Umma that would be less rigid and more creative than the Muslim community as it has often been understood, and therefore less inclined to force disparate ethnic and religious communities into a single mold. Redefining the Muslim Community demonstrates how Alfarabi's judicious combination of cultural pluralism, religious flexibility, and political prudence could provide a blueprint for reducing communal strife in a region that continues to be plagued by it today. (shrink)

Das Bild vom glaubwürdigen Wissenschaftler? vom Universalgelehrten der Renaissance zu modernen Laborspezialist*innen - ist ein kulturelles Konstrukt, das die Ansprüche seiner Zeit widerspiegelt. Wie es entsteht, wird im Galvanismusdiskurs um 1800 deutlich.Dieser Band beschäftigt sich mit den Fragen: Wer gilt um 1800 als Naturwissenschaftler? Wie findet man als junger Forscher Aufnahme in die wissenschaftliche Gemeinschaft? Und worin manifestieren sich die wissenschaftskulturellen Unterschiede in Deutschland und Großbritannien zu Beginn des 19. Jahrhunderts? Anhand der frühen Publikationen der jungen aufstrebenden Naturforscher Alexander (...) von Humboldt, Johann Wilhelm Ritter und Christian Heinrich Pfaff sowie ihrer britischen Kollegen untersucht der Autor die Konstruktion vom modernen Naturwissenschaftler durch die wissenschaftliche Gemeinschaft. (shrink)

Scotland has played an immense role in European high culture through the centuries, and among its cultural links none have been greater than those with France. This book shows that the links with France stretch back deep into the Middle Ages, and continue without a break into the 18th century, the Age of Enlightenment.

Commentaries on Aristotle's writings have been produced since the 2nd century AD. This edition contains Greek commentaries on his work from the 3rd to the 8th centuries AD by, among others, Alexander of Aphrodiensias, Themistios, Joh. Philoponus, Simplicius in Greek.

The posterior cortex, hippocampus, and prefrontal cortex in the Leabra architecture are specialized in terms of various neural parameters, and thus are predilections for learning and processing, but domain-general in terms of cognitive functions such as face recognition. Also, these areas are not encapsulated and violate Fodorian criteria for modularity. Anderson's terminology obscures these important points, but we applaud his overall message.

Background -- Continental drift : a threat to the establishment -- Evolution and creationism : science vs religion -- Dietary fat : nutritional politics -- Climate change : environmental politics -- Vaccination : exploitation of fear -- Gmo foods : fear of a frankenstein -- Science under attack.

Lazarus Revived shows how two thought experiments provide the foundation for arguments for the existence of conscious life after death. The theories of pluriverses and the Big Bang are examined and a substitute equation for E=MC² is presented.

Western societies today are coming unmoored in the face of an earth-shaking ethical and cultural paradigm shift. At its core is the question of what it means to be human and how we are meant to live. The old answers are no longer accepted; a dizzying array of options are offered in their stead. Underpinning this smorgasbord of lifestyles is a thicket of unquestioned assumptions, such as the separation of gender from biological sex, which not so long ago would have (...) been universally rejected as radical notions. In the spring of 2019, a group of Orthodox Christian scholars drawn from a wide variety of academic disciplines met together to offer responses to the moral crisis our generation faces, elaborating upon its various forms and facilitating a fuller understanding of some of its theological and philosophical foundations. In doing so they offer support to all those who question the claims that are so forcefully insisted upon today--a clarity that will aid them in standing up and resisting trends that have already shown to be the cause of great suffering and unhappiness. (shrink)

International regulation of autonomous weapon systems (AWS) is increasingly conceived as an exercise in risk management. This requires a shared approach for assessing the risks of AWS. This paper presents a structured approach to risk assessment and regulation for AWS, adapting a qualitative framework inspired by the Intergovernmental Panel on Climate Change (IPCC). It examines the interactions among key risk factors—determinants, drivers, and types—to evaluate the risk magnitude of AWS and establish risk tolerance thresholds through a risk matrix informed by (...) background knowledge of event likelihood and severity. Further, it proposes a methodology to assess community risk appetite, emphasizing that such assessments and resulting tolerance levels should be determined through deliberation in a multistakeholder forum. The paper highlights the complexities of applying risk-based regulations to AWS internationally, particularly the challenge of defining a global community for risk assessment and regulatory legitimization. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)