According to the Gottesman–Knill theorem, quantum algorithms that utilize only the operations belonging to a certain restricted set are efficiently simulable classically. Since some of the operations in this set generate entangled states, it is commonly concluded that entanglement is insufficient to enable quantum computers to outperform classical computers. I argue in this article that this conclusion is misleading. First, the statement of the theorem is, on reflection, already evident when we consider Bell’s and related inequalities (...) in the context of a discussion of computational machines. This, in turn, helps us to understand that the appropriate conclusion to draw from the Gottesman–Knill theorem is not that entanglement is insufficient to enable a quantum performance advantage, but rather that if we limit ourselves to the operations referred to in the Gottesman–Knill theorem, we will not have used the resources provided by an entangled quantum system to their full potential. (shrink)

The aim of this dissertation is to clarify the debate over the explanation of quantum speedup and to submit, for the reader's consideration, a tentative resolution to it. In particular, I argue, in this dissertation, that the physical explanation for quantum speedup is precisely the fact that the phenomenon of quantum entanglement enables a quantum computer to fully exploit the representational capacity of Hilbert space. This is impossible for classical systems, joint states of which must always be representable as product (...) states. I begin the dissertation by considering, in Chapter 2, the most popular of the candidate physical explanations for quantum speedup: the many worlds explanation of quantum computation. I argue that, although it is inspired by the neo-Everettian interpretation of quantum mechanics, unlike the latter it does not have the conceptual resources required to overcome objections such as the so-called `preferred basis objection'. I further argue that the many worlds explanation, at best, can serve as a good description of the physical process which takes place in so-called network-based computation, but that it is incompatible with other models of computation such as cluster state quantum computing. I next consider, in Chapter 3, a common component of most other candidate explanations of quantum speedup: quantum entanglement. I investigate whether entanglement can be said to be a necessary component of any explanation for quantum speedup, and I consider two major purported counter-examples to this claim. I argue that neither of these, in fact, show that entanglement is unnecessary for speedup, and that, on the contrary, we should conclude that it is. In Chapters 4 and 5 I then ask whether entanglement can be said to be sufficient as well. In Chapter 4 I argue that despite a result that seems to indicate the contrary, entanglement, considered as a resource, can be seen as sufficient to enable quantum speedup. Finally, in Chapter 5 I argue that entanglement is sufficient to explain quantum speedup as well. (shrink)

Diese Studie zeichnet die Entwicklung von Moralpolitiken in Deutschland seit den 1960er Jahren bis heute nach und analysiert moralpolitische Regulierungsmuster. Im Fokus stehen die Biopolitik (embryonale Stammzellforschung, Schwangerschaftsabbruch und Sterbehilfe), die Sexualpolitik (Homosexualität, Gleichgeschlechtliche Partnerschaften, Pornographie und Prostitution), die Suchtpolitik (Drogenkonsum und Glücksspiel) und die Waffenpolitik.

Although it is commonly assumed that Paulo Freire was widely influential in the field of education in the United States immediately upon publication of his classic work, Pedagogy of the Oppressed, in 1970, the historical evidence indicates otherwise. In fact, Freire's work only began to gain wide reception in the field in the mid- and late 1980s. In the process of charting a new history of the reception of Freire's work in the field, this historical article illuminates contemporary issues with (...) the use of Freire's ideas in educational conversations about social structure and agency. In particular, the article seeks to renew a close, contextual read of Freire's texts, especially Pedagogy of the Oppressed, and invigorate discussion about Freire's primary claim?that education must be the central feature of building movements for radical social change. Similarly, the article seeks to renew attention to the structural concerns that initiated the turn towards critical Marxist scholarship in the field?concerns about the relationship between school and society in the United States that the initial wave of critical scholars knew must be addressed before fully engaging ideas about the ways in which schools may participate in the push for social change. (shrink)

To complement theoretically driven work on argument, we present a datadriven description of published, written argument. We analyze political or philosophical treatises, articles in scholarly journals, and U.S. Supreme Court decisions. The description has emerged out of an inductive and a posteriori process based in grounded theory. The result is a suite of thirty-eight features that begins with conditions antecedent to writing and continues through to the consequences for the reader. We relate observational data to theories and practices from the (...) fields of rhetoric and applied linguistics, including pragmatics, to explain how the features work together as social and communicative acts in which the writer produces a text in order to affect or change the beliefs or actions of the reader. For our purposes, the whole text is the argument and is not reduced to its propositional content; it is a unified communicative act. In our description of argument, the writer, reader, and text are central categories. We describe these categories and their features using examples from a variety of types of written argument. (shrink)

Blair presumes the validity of the fluid-crystallized model throughout his article. Two comparative evaluations recently demonstrated that this presumption can be challenged. The fluid-crystallized model offers little to the understanding of the structural manifestation of general intelligence and other more specific abilities. It obscures important issues involving the distinction of pervasive learning disabilities (low general intelligence) from specific, content-related disabilities that impede the development of particular skills. (Published Online April 5 2006).

This paper examines the concept of isēgoria. It looks especially at Herodotus, comparing his use of the term to that of other authors. The term does not primarily refer to ‘the equal right to speak in the assembly’. Rather, it is a ‘language ideology’ that characterizes the bearing of the free, full citizen. Isēgoria was a negative concept, defined by what it was not more than what it was: not flattery; not fearful; not indirect. Isēgoria could only exist in a (...) community of complete equality, and was threatened when someone became too powerful or too important. It can best be translated as ‘the speech of equals before equals’. (shrink)

Over the past several years, discoveries from mouse genetics have had direct impact on our understanding of vitamin A metabolism. Although the metabolism of vitamin A in the mouse does have some special features (for example very large stores of liver and pulmonary retinyl esters), the ability to construct knockout and transgenic mouse models has yielded an impressive amount of information directly relevant to understanding the general principles of vitamin A transport, storage and degradation. We discuss below the metabolism of (...) vitamin A through a number of genetically engineered mouse strains with alterations in genes that affect this metabolism. The novelty of this experimental approach is evidenced by the fact that the oldest of these strains was first reported only eight years ago.1) BioEssays 23:409–419, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

Upon its publication in 1976, Samuel Bowles and Herbert Gintis? Schooling in Capitalist America was the most sophisticated and nuanced Marxian social and political analysis of schooling in the United States. Thirty-five years after its publication, Schooling continues to have a strong impact on thinking about education. Despite its unquestionable influence, it has received strikingly little historical attention. This historical article revisits the scholarship of Bowles and Gintis and the milieu in which Schooling was conceived. Specifically, it contextualizes the production (...) and reception of Schooling to better understand the emergence of Marxist thought in the field of education in the United States in the 1970s and 1980s. It also seeks to understand how the emergence of Marxist thought in the field was connected to the rise of an Academic Left?an intellectual shift in the academy toward Marxist social and political theory as a framework to theorize democratic socialist movement-building against capitalism and concomitant state sponsored oppression in the 1960s and 1970s. This history suggests that as we engage in historical and contemporary work on radical ideas in the field of education, we need to push ourselves continually to think about the intersection of education with other fields and disciplines. The article also pushes back against a widespread depiction of Schooling as crudely mechanistic. (shrink)

Arguably, no psychological variable has received more attention from behavioral geneticists than what has been called “general cognitive ability” (as well as “general intelligence” or “g”), and for good reason. GCA has a rich correlational network, implying that it may play an important role in multiple domains of functioning. GCA is highly correlated with various indicators of educational attainment, yet its predictive utility is not limited to academic achievement. It is also correlated with work performance, navigating the complexities of everyday (...) life, the absence of various social pathologies (such as criminal convictions), and even health and mortality. Although the causal basis for these associations is not always known, it is nonetheless the case that research on GCA has the potential to provide insights into the origins of a wide range of important social outcomes. In this essay, our discussion of why GCA is considered a fundamentally important dimension of behavior on which humans differ is followed by a look at behavioral genetics research on CGA. We summarize behavioral genetics research that has sought to identify and quantify the total contributions of genetic and environmental factors to individual differences in GCA as well as molecular genetic research that has sought to identify genetic variants that underlie inherited effects. (shrink)

Combine the following: medicine, ethics, jurisprudence, behavioral genetics, and antisocial behavior. Given our level of scientific knowledge today, this combination is more akin to a cerebral smorgasbord than to a dinner where starter, entree, wine, and dessert are carefully chosen to complement one another. Hence, any survey of menus must be highly selective. We accept as a given that there is a noteworthy genetic influence on ASB no matter how it is defined. In terms of behavioral research, the magnitude of (...) that genetic influence is substantial, but so is the impact from the environment, broadly defined to include pre-and post-natal, physical as well as psychosocial elements.We will discuss some of the major issues raised by this fact of genetic influence that have most applicability to topics usually raised by observers outside of behavioral genetics. (shrink)

Separating wheat from chaff in regard to the hyperbole surrounding media coverage about genes for violence, born killers, et cetera provides a launch pad for two experienced behavioral geneticists who have conducted research on aggression and crime with twins, families, and adoptees to provide an essay on the facts and limitations of current knowledge; they conclude that any current threats to jurisprudence lie in perception rather than in empirical facts.

Multidrug resistance resulting from expression of an energy‐dependent drug efflux pump encoded by the human MDR1 gene is a major impediment to effective cancer therapy. Pharmacologic intervention aimed at inhibiting this multidrug transporter should improve existing chemotherapy of human cancer, but drug development has been delayed by the difficulty and expense of developing valid animal models. Using recombinant DNA technology, a transgenic mouse has been engineered whose bone marrow is protected from the toxic effects of chemotherapy by expression of the (...) MDR1 gene. This animal system allows the rapid screening of drugs which inhibit the multidrug transporter and heralds a new era of using transgenic animals for pharmacologic screening. (shrink)

This volume illuminates and critically assesses Paul A. Samuelson's voluminous and groundbreaking contributions to the field of economics. The volume includes contributions from eminent scholars, including 6 Nobel Laureates, covering the extraordinary depth and breadth of Samuelson's contributions. Samuelson, the first American economist to win the Nobel prize in 1970, was the foremost voice in economics in the latter half of the 20th century. He single-handedly transformed the discipline by creating a new way of presenting economics, making it possible for (...) it to be cast all in mathematical terms. Samuelson developed broad frameworks, such as the neoclassical synthesis, a mixed economy, and the surrogate production function, which provided practitioners with a vision for research. Samuelson's contributions to economics are rich, complex, consequential, and relevant to the ordinary economics of life. The quality of Samuelson's output and methods leave no doubt that his contributions continue to be timely and relevant even in the 21st century. Ideal as a reference or an introduction to Samuelson's work, this is a must-have for students and academics alike. (shrink)

Jury theorems are mathematical theorems about the ability of collectives to make correct decisions. Several jury theorems carry the optimistic message that, in suitable circumstances, ‘crowds are wise’: many individuals together (using, for instance, majority voting) tend to make good decisions, outperforming fewer or just one individual. Jury theorems form the technical core of epistemic arguments for democracy, and provide probabilistic tools for reasoning about the epistemic quality of collective decisions. The popularity of jury theorems spans across various disciplines such (...) as economics, political science, philosophy, and computer science. This entry reviews and critically assesses a variety of jury theorems. It first discusses Condorcet's initial jury theorem, and then progressively introduces jury theorems with more appropriate premises and conclusions. It explains the philosophical foundations, and relates jury theorems to diversity, deliberation, shared evidence, shared perspectives, and other phenomena. It finally connects jury theorems to their historical background and to democratic theory, social epistemology, and social choice theory. (shrink)

Computer assisted theorem proving is an increasingly important part of mathematical methodology, as well as a long-standing topic in artificial intelligence (AI) research. However, the current generation of theorem proving software have limited functioning in terms of providing new proofs. Importantly, they are not able to discriminate interesting theorems and proofs from trivial ones. In order for computers to develop further in theorem proving, there would need to be a radical change in how the software functions. Recently, (...) machine learning results in solving mathematical tasks have shown early promise that deep artificial neural networks could learn symbolic mathematical processing. In this paper, I analyze the theoretical prospects of such neural networks in proving mathematical theorems. In particular, I focus on the question how such AI systems could be incorporated in practice to theorem proving and what consequences that could have. In the most optimistic scenario, this includes the possibility of autonomous automated theorem provers (AATP). Here I discuss whether such AI systems could, or should, become accepted as active agents in mathematical communities. (shrink)

Representation theorems are often taken to provide the foundations for decision theory. First, they are taken to characterize degrees of belief and utilities. Second, they are taken to justify two fundamental rules of rationality: that we should have probabilistic degrees of belief and that we should act as expected utility maximizers. We argue that representation theorems cannot serve either of these foundational purposes, and that recent attempts to defend the foundational importance of representation theorems are unsuccessful. As a result, we (...) should reject these claims, and lay the foundations of decision theory on firmer ground. (shrink)

The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.

This chapter contains sections titled: Polarization Light Quanta The Entangled State How Do They Do It? Bell's Theorem(s) Aspect's Experiment What Is Weird About the Quantum Connection? Appendix A: The GHZ Scheme.

We give a review and critique of jury theorems from a social-epistemology perspective, covering Condorcet’s (1785) classic theorem and several later refinements and departures. We assess the plausibility of the conclusions and premises featuring in jury theorems and evaluate the potential of such theorems to serve as formal arguments for the ‘wisdom of crowds’. In particular, we argue (i) that there is a fundamental tension between voters’ independence and voters’ competence, hence between the two premises of most jury theorems; (...) (ii) that the (asymptotic) conclusion that ‘huge groups are infallible’, reached by many jury theorems, is an artifact of unjustified premises; and (iii) that the (nonasymptotic) conclusion that ‘larger groups are more reliable’, also reached by many jury theorems, is not an artifact and should be regarded as the more adequate formal rendition of the ‘wisdom of crowds’. (shrink)

The representation theorems of expected utility theory show that having certain types of preferences is both necessary and sufficient for being representable as having subjective probabilities. However, unless the expected utility framework is simply assumed, such preferences are also consistent with being representable as having degrees of belief that do not obey the laws of probability. This fact shows that being representable as having subjective probabilities is not necessarily the same as having subjective probabilities. Probabilism can be defended on the (...) basis of the representation theorems only if attributions of degrees of belief are understood either antirealistically or purely qualitatively, or if the representation theorems are supplemented by arguments based on other considerations (simplicity, consilience, and so on) that single out the representation of a person as having subjective probabilities as the only true representation of the mental state of any person whose preferences conform to the axioms of expected utility theory. (shrink)

This paper introduces Agreement Theorems to dynamic-epistemic logic. We show first that common belief of posteriors is sufficient for agreement in epistemic-plausibility models, under common and well-founded priors. We do not restrict ourselves to the finite case, showing that in countable structures the results hold if and only if the underlying plausibility ordering is well-founded. We then show that neither well-foundedness nor common priors are expressible in the language commonly used to describe and reason about epistemic-plausibility models. The static agreement (...) result is, however, finitely derivable in an extended modal logic. We provide the full derivation. We finally consider dynamic agreement results. We show they have a counterpart in epistemic-plausibility models, and provide a new form of agreements via public announcements. (shrink)

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the (...) last part of the paper, we also discuss some extended forms of the Kolmogorov translation and we compare it to the Glivenko translation. (shrink)

Peer review is often taken to be the main form of quality control on academic research. Usually journals carry this out. However, parts of maths and physics appear to have a parallel, crowd-sourced model of peer review, where papers are posted on the arXiv to be publicly discussed. In this paper we argue that crowd-sourced peer review is likely to do better than journal-solicited peer review at sorting papers by quality. Our argument rests on two key claims. First, crowd-sourced peer (...) review will lead on average to more reviewers per paper than journal-solicited peer review. Second, due to the wisdom of the crowds, more reviewers will tend to make better judgments than fewer. We make the second claim precise by looking at the Condorcet Jury Theorem as well as two related jury theorems developed specifically to apply to peer review. (shrink)

Der hier vorliegende Text befasst sich mit der Rezeption von Aristoteles’ Metaphysik Λ bei Albertus Magnus und Thomas von Aquin. Er stellt das Material bereit für die Auswertung, die als Band 61 der Bochumer Studien zur Philosophie unter dem Titel Zur mittelalterlichen Herkunft einiger Theoreme in der modernen Aristoteles-Interpretation Eine Fallstudie anhand der Kommentare von Albertus Magnus und Thomas von Aquin zu Aristoteles’ Metaphysik Λ, bei John Benjamins Publishing Company, Amsterdam / Philadelphia 2024, erscheinen wird. **************************** This text deals with (...) the reception of Aristotle's Metaphysics Λ by Albertus Magnus and Thomas Aquinas. It provides the material for the analysis, which will be published as volume 61 of the BochumerStudien zur Philosophie under the title "Zur mittelalterlichenHerkunft einiger Theoreme in der modernenAristoteles-Interpretation. Eine Fallstudie anhand derKommentare von Albertus Magnus und Thomas vonAquin zu Aristoteles' Metaphysik Λ," by John Benjamins Publishing Company, Amsterdam / Philadelphia, 2024. (shrink)

Any intermediate propositional logic can be extended to a calculus with epsilon- and tau-operators and critical formulas. For classical logic, this results in Hilbert’s $\varepsilon $ -calculus. The first and second $\varepsilon $ -theorems for classical logic establish conservativity of the $\varepsilon $ -calculus over its classical base logic. It is well known that the second $\varepsilon $ -theorem fails for the intuitionistic $\varepsilon $ -calculus, as prenexation is impossible. The paper investigates the effect of adding critical $\varepsilon $ (...) - and $\tau $ -formulas and using the translation of quantifiers into $\varepsilon $ - and $\tau $ -terms to intermediate logics. It is shown that conservativity over the propositional base logic also holds for such intermediate ${\varepsilon \tau }$ -calculi. The “extended” first $\varepsilon $ -theorem holds if the base logic is finite-valued Gödel–Dummett logic, and fails otherwise, but holds for certain provable formulas in infinite-valued Gödel logic. The second $\varepsilon $ -theorem also holds for finite-valued first-order Gödel logics. The methods used to prove the extended first $\varepsilon $ -theorem for infinite-valued Gödel logic suggest applications to theories of arithmetic. (shrink)

We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf {PA}$ and intuitionistic arithmetic $\mathsf {HA}$. Using a generalized negative translation, we first provide a structured proof of the fact that $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over $\mathsf {HA} + {\Sigma _k}\text {-}\mathrm {LEM}$ where ${\Sigma _k}\text {-}\mathrm {LEM}$ is the axiom scheme of the law-of-excluded-middle restricted to formulas in $\Sigma _k$. In addition, we show that this conservation theorem is optimal in (...) the sense that for any semi-classical arithmetic T, if $\mathsf {PA}$ is $\Pi _{k+2}$ -conservative over T, then ${T}$ proves ${\Sigma _k}\text {-}\mathrm {LEM}$. In the same manner, we also characterize conservation theorems for other well-studied classes of formulas by fragments of classical axioms or rules. This reveals the entire structure of conservation theorems with respect to the arithmetical hierarchy of classical principles. (shrink)