Advocates of dynamic systems have suggested that higher mental processes are based on continuous representations. In order to evaluate this claim, we first define the concept of representation, and rigorously distinguish between discrete representations and continuous representations. We also explore two important bases of representational content. Then, we present seven arguments that discrete representations are necessary for any system that must discriminate between two or more states. It follows that higher mental processes require discrete representations. We also argue that discrete (...) representations are more influenced by conceptual role than continuous representations. We end by arguing that the presence of discrete representations in cognitive systems entails that computationalism (i.e., the view that the mind is a computational device) is true, and that cognitive science should embrace representational pluralism. (shrink)

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. This article (...) explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)

A book on the notion of fundamental length, covering issues in the philosophy of math, metaphysics, and the history and the philosophy of modern physics, from classical electrodynamics to current theories of quantum gravity. Published (2014) in Cambridge University Press.

We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras.

In this paper, I present a discrete solution for the paradox of Achilles and the tortoise. I argue that Achilles overtakes the tortoise after a finite number of steps of Zeno’s argument if time is represented as discrete. I then answer two objections that could be made against this solution. First, I argue that the discrete solution is not an ad hoc solution. It is embedded in a discrete formulation of classical mechanics. Second, I show that the discrete solution cannot (...) be falsified experimentally. (shrink)

I propose a version of quantum mechanics featuring a discrete and finite number of states that is plausibly a model of the real world. The model is based on standard unitary quantum theory of a closed system with a finite-dimensional Hilbert space. Given certain simple conditions on the spectrum of the Hamiltonian, Schrödinger evolution is periodic, and it is straightforward to replace continuous time with a discrete version, with the result that the system only visits a discrete and finite set (...) of state vectors. The biggest challenges to the viability of such a model come from cosmological considerations. The theory may have implications for questions of mathematical realism and finitism. (shrink)

In this field questions arise which are certainly difficult; but as I listened last time to members of the group, I felt that the main difficulty perhaps lay in determining precisely what questions we are trying to answer. I have the conviction that if we could only say clearly what the questions are, the answers to them might not appear so elusive. So I have begun with a simple list of questions about discretion which in one form or another (...) were, as it seemed to me, expressed by the group last time. I may indeed have omitted something and inserted something useless: if so, no doubt I shall be informed of this later. The central questions then seem to me to be the following: 1. What is discretion, or what is the exercise of discretion? 2. Under what conditions and why do we in fact accept or tolerate discretion in a legal system? 3. Must we accept discretion or tolerate discretion, and if so, why? 4. What values does the use of discretion menace, and what values does it maintain or promote? 5. What can be done to maximize the beneficial operation of the use of discretion and to minimize any harm that it does? (shrink)

This paper argues that liberal tenats that justify intervention to promote the welfare of an incompetent do not suffice as a basis for analyzing parent-child relationships, and that this inadequacy is the basis for many of the problems that arise when thinking about the state's role in resolving family conflicts, particularly when monitoring parental discretion in medical decision-making on behalf of a child. The state may be limited by the best interest criterion when dealing with children, but parents are (...) not. The state's relation with the child is formal while the parental relation is intimate, having its own goals and purposes. While the liberal canons insist on the incompetent one's best interest, parents are permitted to compromise the child's interests for ends related to these familial goals and purposes. Parents decisions should be supervened, in general, only if it can be shown that no responsible mode of thinking warrants such treatment of a child. Keywords: proxy medical consent, children's rights, state's protection of children, parental authority and the state's intervention, paternalism, liberalism, parental values CiteULike Connotea Del.icio.us What's this? (shrink)

Automated decision-making takes up an increasingly significant place in the administrative state. This article presents a conception of discretion that is helpful for evaluating the proper place of algorithms in public decision-making. I argue that the algorithm itself is not a site of discretion. The threat is that automated decision-making alters the relationships between traditional actors in a way that can cut down discretion and human commitment. Algorithmic decision-makers can serve to fetter the discretion that the (...) legislature and the populace expect to be exercised. We must strive to maintain discretion, moral agency, deliberative ideals, and human commitment through the system that surrounds the use of an algorithm and to develop a new expertise that can retain and exercise the expected discretion. Backing this argument are traditional legal constraints, public expectations, and administrative law principles, tied together through the organizing principle of discretion. (shrink)

Van Bendegem has recently offered an argument to the effect that, if time is discrete, then there should exist a correspondence between the motions of massive bodies and a discrete geometry. On this basis, he concludes that, even if space is continuous, it should nonetheless appear discrete. This paper examines the two possible ways of making sense of that correspondence, and shows that in neither case van Bendegem’s conclusion logically follows.

The discretionary powers of welfare state professionals are in tension with the requirements of the democratic Rechtsstaat. Extensive use of discretion can threaten the principles of the rule of law and relinquish democratic control over the implementation of laws and policies. These two tensions are in principle ineradicable. But does this also mean that they are impossible to come to grips with? Are there measures that may ease these tensions? We introduce an understanding of discretion that adds an (...) epistemic dimension (discretion as a mode of reasoning) to the common structural understanding of discretion (an area of judgment and decision). Accordingly we distinguish between structural and epistemic measures of accountability. The aim of the former is to constrain discretionary spaces or the behaviour within them while the aim of the latter is to improve the quality of discretionary reasoning. The focus in this article is on epistemic measures that are internally related to the main characteristic of accountability, namely justified use of discretionary power. (shrink)

The present study provides evidence that valence focus and arousal focus are important processes in determining whether a dimensional or a discrete emotion model best captures how people label their affective states. Individuals high in valence focus and low in arousal focus fit a dimensional model better in that they reported more co-occurrences among like-valenced affective states, whereas those lower in valence focus and higher in arousal focus fit a discrete model better in that they reported fewer co-occurrences between like-valenced (...) affective states. Taken together, these findings suggest that one static, nomothetic theory may not accurately describe the subjective affective experience of all individuals. (shrink)

Leibniz argues against Descartes’s conception of material substance based on considerations of unity. I examine a key premise of Leibniz’s argument, what I call the Plurality Thesis—the claim that matter (i.e. extension alone) is a plurality of parts. More specifically, I engage an objection to the Plurality Thesis stemming from what I call Material Monism—the claim that the physical world is a single material substance. I argue that Leibniz can productively engage this objection based on his view that matter is (...) discrete. The discreteness of matter provides two aspects of support for the Plurality Thesis. First, it indicates that the parts of matter do not share boundaries and are, therefore, independent in an important sense. Second, it indicates that the parts of matter are determinate and are, therefore, ontologically prior to the wholes they compose. (shrink)

Recent discussions in the philosophy of science have devoted considerable attention to the analysis of conceptual issues relating to the methodology of explanation and prediction in the sciences. Part of this literature has been devoted to clarifying the very ideas of explanation and prediction. But the discussion has also ranged over various related topics, including the status of laws to be used for explanatory and predictive purposes, the logical interrelationships between explanatory and predictive reasonings, the differences in the strategy of (...) explanatory argumentation in different branches of science, the nature and possibility of teleological explanation, etc. The aim of the present article is to examine the issues involved in such questions from the specialized perspective afforded by one particular kind of physical systems--namely, systems, here to be characterized as discrete state systems, whose behavior has been studied extensively in the scientific literature under the general heading of Markov chains. These systems have been chosen as our focus because their behavior over time can be analyzed at once with great ease and with extraordinary precision. (shrink)

Prosecutors in the US legal system have great power to interfere at their discretion in the lives of citizens, and face relatively few checks on the exercise of this discretion. The vast scope of the criminal law provides a pretext for prosecuting nearly anyone. Meanwhile, other features of the legal system, such as the way plea bargains are structured and the doctrine of prosecutorial immunity, further increase prosecutorial power. And existing institutional restraints on prosecutorial abuses, such as democratic (...) accountability, the grand jury system, and the possibility of a selective prosecution defense, are mostly ineffectual. I draw on republican political theory, including insights from Philip Pettit and Elizabeth Anderson, to argue that this state of affairs gives prosecutors dominating, and therefore unjust, power over vast swathes of the public. I then survey some potential institutional changes which might help ameliorate the problem. (shrink)

The present study provides evidence that valence focus and arousal focus are important processes in determining whether a dimensional or a discrete emotion model best captures how people label their affective states. Individuals high in valence focus and low in arousal focus fit a dimensional model better in that they reported more co-occurrences among like-valenced affective states, whereas those lower in valence focus and higher in arousal focus fit a discrete model better in that they reported fewer co-occurrences between like-valenced (...) affective states. Taken together, these findings suggest that one static, nomothetic theory may not accurately describe the subjective affective experience of all individuals. (shrink)

Examining the role of dispositions (potentials and propensities) in both physics and psychology reveals that they are commonly derivative dispositions, so called because they derive from other dispositions. Furthermore, when they act, they produce further propensities. Together, therefore, they appear to form discrete degrees within a structure of multiple generative levels. It is then constructively hypothesized that minds and physical nature are themselves discrete degrees within some more universal structure. This gives rise to an effective dualism of mind and nature, (...) but one according to which they are still constantly related by causal connections. I suggest a few of the unified principles of operation of this more complicated but universal structure. (shrink)

H.L.A. Hart’s lost and found essay ‘Discretion’ has provided new insight into the issue of how legal systems can cope with indeterminacy in the law. The so-called ‘open texture’ of law calls for the exercise of judicial discretion, which, I argue, renders judges susceptible to the problem of dirty hands. To show this, I frame the problem as being open to an array of appropriate emotional responses, namely, various senses of guilt. With these responses in mind, I revise (...) an example from Michael Walzer’s original analysis in a way that highlights purely personal sacrifices in solutions to dirty hands situations. I then turn to an account of moral emotions in legal decision-making and show how judges—in failing to advance all interests—might be left with a unique sense of guilt. With an application of this account to Hart’s legal positivism, it can be seen that a judge’s hands are often dirtied in resolving borderline cases. If discretion leaves judges in situations where they must do wrong in order to do right, Hart’s endorsement of a closure view of wrongdoing will lead to difficulties in how he can explain the presence of moral remainders in jurisprudence. (shrink)

In various guises (usually referred to as the “basic emotion” or “discrete emotion” approach), scientists and philosophers have long argued that certain categories of emotion are natural kinds. In a recent paper, Colombetti (2009) proposed yet another natural kind account, and in so doing, characterized and critiqued psychological constructionist approaches to emotion, including our own Conceptual Act Model. In this commentary, we briefly address three topics raised by Columbetti. First, we correct several common misperceptions about the discrete emotion approach to (...) emotion. Second, we discuss misconceptions of our Conceptual Act Model. Finally, we briefly comment on Columbetti's Dynamical Discrete Emotion model. (shrink)

Democratic institutions and practice depend on trust, in two ways. Citizens must trust each other to abide by shared rules and norms that together govern a political community; it is a feature of democratic states that they direct their resources not to enforcement of rule abidingness, but rather towards providing collective and public goods. Instead, states rely on the semi-voluntary compliance of citizens with these shared norms and laws. Citizens must also trust their political representatives, who via their election are (...) granted discretion to make decisions that will have significant impact on the lives of those they represent. Yet, according to many scholars across many disciplines, this trust is at risk of being undermined, if it hasn’t yet been so. The possible reasons for weakened and broken trust are many, ranging from escalating wealth inequalities, to increasing cultural and ethnic diversity, to political incompetence of both voters and political representatives, to corruption among political representatives. In this article, I examine the trust that underpins the discretion accorded to elected representatives, to identify when the improper use of this discretion may reasonably be thought to be a source of distrust. In particular, I argue that where discretion is used arbitrarily, it may threaten to undermine the trust relations between citizens and their representatives, and therefore the efficient and effective running of democratic states. (shrink)

In this essay, I argue against a way of approaching the issue of Judicial discretion that finds its clearest exposition and highest development in recent works by Ronald Dworkin. This approach is too narrow. It ignores a kind of Judicial discretion whose existence has been maintained by jurists with discretionist sympathies, and which is philosophically significant. The kind of discretion it ignores raises the issue of the justification of adjudication as clearly as does the kind of (...) class='Hi'>discretion that it recognizes. Moreover, discussion of the kind of discretion ignored is in some respects the natural starting place for a discussion of judicial discretion in general. (shrink)

Carroll Izard completed his dissertation in 1952, beginning a career spanning more than six decades that coincided with clinical psychology maturing as a profession, and the birth of clinical science and cognitive neuroscience. Izard’s focus on discrete emotions as evolved systems that organize information, prepare responses, and shape the development of personality and relationships persisted through his career, despite “emotions” often being overshadowed by psychodynamic, behavioral, or cognitive perspectives. His theoretical work anticipated and now integrates contemporary neuroscience and relational perspectives. (...) Exploration of discrete emotions has kept lines of inquiry open that enrich our understanding of psychopathology. Izard also embraced clinical science, combining basic research with effectiveness studies addressing the unmet need for mental health services via emotion-focused interventions. (shrink)

Elected prosecutors have pledged not to enforce abortion laws, in response to state-level abortion bans. For their pledges to be meaningful, prosecutors must exercise their discretion in cases of individuals who face legal risk, including people who help others self-manage their abortions. With a harm-reduction approach to improving abortion access, prosecutors should aim to reduce abortion helpers’ involvement with the criminal justice system.

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The ability (...) of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

Camras and Shutter review evidence suggesting that infants’ facial expressions do not represent discrete emotions and cannot easily be matched to the facial expressions of adults. This raises the important question of whether infants have a notion about the meanings of discrete emotions at all. The authors do not discuss whether infants are sensitive to discrete emotional expressions when perceiving others. In our commentary we discuss evidence for the perception of discrete emotional facial expressions in infancy.

Causal connectionists need to provide an account of causal linkage and of causal direction. This chapter distinguishes between two kinds of causal connection, namely, discrete and continuous. Causal connectionists have a number of options for explaining the linkage between causes and effects in the case of discrete causation. The chapter provides some popular options. If some causation is discrete, and the exercise of causal powers provides a direction to discrete causation, then the causal direction of processes can be derived from (...) the causal direction of discrete interaction. David Hume famously made the claim about the knowledge of causation in his Enquiry Concerning Human Understanding. Hume offers, in defense of his principle, a set of thought‐experiments that seem to show that we can always imagine any event's having a different result from the one we in fact observe. Causal processes like locomotion may provide counterexamples to Hume's Epistemic Principle. (shrink)

Philip Pettit’s conception of freedom as nondomination is modally robust in that it requires not simply reducing the probability of uncontrolled interference by others but entirely eliminating that possibility. In this article, I consider whether freedom as nondomination provides an attractive analysis of official discretion, particularly in the context of the criminal law, an area of recurring interest for Pettit. I argue that not only does the modally robust character of freedom as nondomination have some rather unattractive implications in (...) the criminal law, but that it sits poorly with Pettit’s more general ambitions to provide a consequentialist framework for the evaluation of social institutions. Drawing on recent work by Niko Kolodny, I develop an ‘anti-deference’ interpretation of nondomination and contrast it to Pettit’s modally robust conception. (shrink)

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers. Particular attention has been given to the material that some students find challenging, such as proofs. (...) This book illustrates how to spot invalid arguments, to enumerate possibilities, and to construct probabilities. It also presents case studies to students about the possible detrimental effects of ignoring these basic principles. The book is invaluable for a discrete and finite mathematics course at the freshman undergraduate level or for self-study since there are full solutions to the exercises in an appendix. (shrink)

Geared toward undergraduate majors in math, computer science, and computer engineering, this text employs discrete mathematics to introduce basic knowledge of proof techniques. Exercises with hints. 2019 edition.

A general metatheorem is proved which reduces a wide class of statements about continuous time stochastic processes to statements about discrete time processes. We introduce a strong language for stochastic processes, and a concept of forcing for sequences of discrete time processes. The main theorem states that a sentence in the language is true if and only if it is forced. Although the stochastic process case is emphasized in order to motivate the results, they apply to a wider class of (...) random variables. At the end of the paper we illustrate how the theorem can be used with three applications involving submartingales. (shrink)

We define a first-order extension LK(CP) of the cutting planes proof system CP as the first-order sequent calculus LK whose atomic formulas are CP-inequalities ∑ i a i · x i ≥ b (x i 's variables, a i 's and b constants). We prove an interpolation theorem for LK(CP) yielding as a corollary a conditional lower bound for LK(CP)-proofs. For a subsystem R(CP) of LK(CP), essentially resolution working with clauses formed by CP- inequalities, we prove a monotone interpolation theorem (...) obtaining thus an unconditional lower bound (depending on the maximum size of coefficients in proofs and on the maximum number of CP-inequalities in clauses). We also give an interpolation theorem for polynomial calculus working with sparse polynomials. The proof relies on a universal interpolation theorem for semantic derivations [16, Theorem 5.1]. LK(CP) can be viewed as a two-sorted first-order theory of Z considered itself as a discretely ordered Z-module. One sort of variables are module elements, another sort are scalars. The quantification is allowed only over the former sort. We shall give a construction of a theory LK(M) for any discretely ordered module M (e.g., LK(Z) extends LK(CP)). The interpolation theorem generalizes to these theories obtained from discretely ordered Z-modules. We shall also discuss a connection to quantifier elimination for such theories. We formulate a communication complexity problem whose (suitable) solution would allow to improve the monotone interpolation theorem and the lower bound for R(CP). (shrink)

I review arguments demonstrating how the concept of “particle” numbers arises in the form of equidistant energy eigenvalues of coupled harmonic oscillators representing free fields. Their quantum numbers (numbers of nodes of the wave functions) can be interpreted as occupation numbers for objects with a formal mass (defined by the field equation) and spatial wave number (“momentum”) characterizing classical field modes. A superposition of different oscillator eigenstates, all consisting of n modes having one node, while all others have none, defines (...) a non-degenerate “n-particle wave function”. Other discrete properties and phenomena (such as particle positions and “events”) can be understood by means of the fast but continuous process of decoherence: the irreversible dislocalization of superpositions. Any wave-particle dualism thus becomes obsolete. The observation of individual outcomes of this decoherence process in measurements requires either a subsequent collapse of the wave function or a “branching observer” in accordance with the Schrödinger equation—both possibilities applying clearly after the decoherence process. Any probability interpretation of the wave function in terms of local elements of reality, such as particles or other classical concepts, would open a Pandora’s box of paradoxes, as is illustrated by various misnomers that have become popular in quantum theory. (shrink)

Discrete Mathematics is designed to serve as a textbook for undergraduate engineering students of computer science and postgraduate students of computer applications. The book would also prove useful to post graduate students of mathematics. It seeks to provide a thorough understanding of the subject and present its practical applications to computer science.

Energy nonconservation is a serious problem of dynamical collapse theories. In this paper, we propose a discrete model of energy-conserved wavefunction collapse. It is shown that the model is consistent with existing experiments and our macroscopic experience.

The purpose of the study is to reveal the relationship between the discreteness of historical consciousness and the processes of spiritual and intellectual development of the individual; to offer his vision of what the discreteness of historical consciousness is and to determine the degree of its influence on the process of spiritual and intellectual formation of the individual. The article focuses on the fact that the discreteness of historical consciousness has a destructive effect on public consciousness and its forms. The (...) degree of discreteness of historical consciousness and the level of spiritual and intellectual development of the individual are interdependent and have a mutual influence on each other. As a result of the conducted research, it was revealed that the discrete historical consciousness is a fragmented "torn" historical consciousness, which poses a threat to the spiritual and intellectual formation of the individual. (shrink)

Aggregation of variables allows to approximate a large scale dynamical system (the micro-system) involving many variables into a reduced system (the macro-system) described by a few number of global variables. Approximate aggregation can be performed when different time scales are involved in the dynamics of the micro-system. Perturbation methods enable to approximate the large micro-system by a macro-system going on at a slow time scale. Aggregation has been performed for systems of ordinary differential equations in which time is a continuous (...) variable. In this contribution, we extend aggregation methods to time-discrete models of population dynamics. Time discrete micro-models with two time scales are presented. We use perturbation methods to obtain a slow macro-model. The asymptotic behaviours of the micro and macro-systems are characterized by the main eigenvalues and the associated eigenvectors. We compare the asymptotic behaviours of both systems which are shown to be similar to a certain order. (shrink)

Dealing with situations where parents’ views about treatment for their child are strongly opposed to doctors’ views is one major area of ethical challenge in paediatric health care. The traditional approach focuses on the child’s best interests, but this is problematic for a number of reasons. The Harm Principle test is regarded by many ethicists as more appropriate than the best interests test. Despite this, use of the best interests test for intervening in parental decisions is still very common in (...) clinical settings and can lead to confusion. In this paper, I propose the Zone of Parental Discretion as a means of putting into practice the key ideas of the Harm Principle, in a clear, step-by-step process. The Zone of Parental Discretion provides a tool for ethical deliberation by clinicians and ethicists about all situations in which parents and doctors disagree about treatment of a child, whether parents are refusing medically recommended treatment, or requesting non-recommended treatment. (shrink)

: How might we locate originality as emerging from within the "discrete" work of commentary? Because many women have engaged with philosophy in forms (including commentary) that preclude their work from being seen as properly "original," this question is a feminist issue. Via the work of selected contemporary French women philosophers, the author shows how commentary can reconfigure the philosophical tradition in innovative ways, as well as in ways that change what counts as philosophical innovation.

This paper discusses the discrete symmetries of off-shell electromagnetism, the Stueckelberg–Schrodinger relativistic quantum theory and its associated 5D local gauge theory. Seeking a dynamical description of particle/antiparticle interactions, Stueckelberg developed a covariant mechanics with a monotonically increasing Poincaré-invariant parameter. In Stueckelberg’s framework, worldlines are traced out through the parameterized evolution of spacetime events, which may advance or retreat with respect to the laboratory clock, depending on the sign of the energy, so that negative energy trajectories appear as antiparticles when the (...) observer describes the evolution using the laboratory clock. The associated gauge theory describes local interactions between events (correlated by the invariant parameter) mediated by five off-shell gauge fields. These gauge fields are shown to transform tensorially under under space and time reflections—unlike the standard Maxwell fields—and the interacting quantum theory therefore remains manifestly Lorentz covariant. Charge conjugation symmetry in the quantum theory is achieved by simultaneous reflection of the sense of evolution and the fifth scalar field. Applying this procedure to the classical gauge theory leads to a purely classical manifestation of charge conjugation, placing the CPT symmetries on the same footing in the classical and quantum domains. In the resulting picture, interactions do not distinguish between particle and antiparticle trajectories—charge conjugation merely describes the interpretation of observed negative energy trajectories according to the laboratory clock. (shrink)

The theoretical core of positivism is thought to consist of three theses about the nature of law. The separability thesis denies the existence of necessary moral constraints on the content of law. The pedigree thesis articulates necessary and sufficient conditions for legal validity having to do with how or by whom law is promulgated. The discretion thesis asserts that judges decide hard cases by making new law. While it is often assumed that these theses form a coherent theoretical whole, (...) such an assumption is false. Construed as a claim about all possible legal systems, the discretion thesis is inconsistent with the pedigree thesis. Construed as a claim that is true in some, but not all, possible legal systems, the discretion thesis makes a fundamentally different kind of claim than those made by the pedigree and separability theses and hence should not be thought of as part of positivism's theory of law. (shrink)

It is shown that the classes of discrete parts, A ∩ ℕk, of approximately resp. weakly decidable subsets of Euclidean spaces, A ⊆ ℝk, coincide and are equal to the class of ω-r. e. sets which is well-known as the first transfinite level in Ershov's hierarchy exhausting Δ02.