Nominal logic is a variant of first-order logic in which abstract syntax with names and binding is formalized in terms of two basic operations: name-swapping and freshness. It relies on two important principles: equivariance (validity is preserved by name-swapping), and fresh name generation ("new" or fresh names can always be chosen). It is inspired by a particular class of models for abstract syntax trees involving names and binding, drawing on ideas from Fraenkel-Mostowski set theory: finite-support models in which each value (...) can depend on only finitely many names. Although nominal logic is sound with respect to such models, it is not complete. In this paper we review nominal logic and show why finite-support models are insufficient both in theory and practice. We then identify (up to isomorphism) the class of models with respect to which nominal logic is complete: ideal-supported models in which the supports of values are elements of a proper ideal on the set of names. We also investigate an appropriate generalization of Herbrand models to nominal logic. After adjusting the syntax of nominal logic to include constants denoting names, we generalize universal theories to nominal-universal theories and prove that each such theory has an Herbrand model. (shrink)

"This reviewer had to be restrained from stopping people in the street to urge them to read it: They would learn something of the way science is done,...

The United Network for Organ Sharing (UNOS) waiting list was designed as a just and equitable system through which the limited number of organs is allocated to the millions of Americans in need of a transplant. People have trusted the system because of the belief that everyone on the list has an equal opportunity to receive an organ and also that allocation is blind to matters of financial standing, celebrity or political power. Recent events have revealed that certain practices and (...) policies have the potential to be exploited. The policies addressed in this paper enable those on the list with the proper resources to gain an advantage over other less fortunate members, creating a system that benefits not the individual most in medical need, but the one with the best resources. These policies are not only unethical but threaten the balance and success of the entire UNOS system. This paper proposes one possible solution, which seeks to balance the concepts of justice and utility. (shrink)

This edited volume draws upon Lacanian psychoanalytic theory to examine the conscious and unconscious forces underlying race as a social formation, conceptualizing race, racial identity, and racism in ways that go beyond traditional modes of psychoanalytic thought Featuring contributions from Lacanian scholars from diverse geographical and disciplinary contexts, chapters span a wide breadth of topics including white nationalism and contemporary debates over confederate monuments; emergent theories of race rooted in Afropessimism and postcolonialism; Latinx and other racialized groups; apartheid and American (...) slavery; and applications of Lacan's concepts of the lamella, drive and sexuation to processes of racialization. The collection both reorients readers' understandings of race through its deployment of Lacanian theory and redefines the Lacanian subject through its theorizing of subjectivity in relation to race, racism and racial identification. Lacan and Race will be a definitive text for psychoanalytic theorists and contemporary scholars of race and appeal to readers across the fields of psychology, cultural studies, humanities, politics, and sociology. (shrink)

Bohmian mechanics, which is also called the de Broglie-Bohm theory, the pilot-wave model, and the causal interpretation of quantum mechanics, is a version of quantum theory discovered by Louis de Broglie in 1927 and rediscovered by David Bohm in 1952. It is the simplest example of what is often called a hidden variables interpretation of quantum mechanics. In Bohmian mechanics a system of particles is described in part by its wave function, evolving, as usual, according to Schrödinger's equation. However, the (...) wave function provides only a partial description of the system. This description is completed by the specification of the actual positions of the particles. The latter evolve according to the.. (shrink)

In the last quarter of the nineteenth century, Ludwig Boltzmann explained how irreversible macroscopic laws, in particular the second law of thermodynamics, originate in the time-reversible laws of microscopic physics. Boltzmann’s analysis, the essence of which I shall review here, is basically correct. The most famous criticisms of Boltzmann’s later work on the subject have little merit. Most twentieth century innovations – such as the identification of the state of a physical system with a probability distribution on its phase space, (...) of its thermodynamic entropy with the Gibbs entropy of , and the invocation of the notions of ergodicity and mixing for the justification of the foundations of statistical mechanics – are thoroughly misguided. (shrink)

The most puzzling issue in the foundations of quantum mechanics is perhaps that of the status of the wave function of a system in a quantum universe. Is the wave function objective or subjective? Does it represent the physical state of the system or merely our information about the system? And if the former, does it provide a complete description of the system or only a partial description? We shall address these questions here mainly from a Bohmian perspective, and shall (...) argue that part of the difficulty in ascertaining the status of the wave function in quantum mechanics arises from the fact that there are two different sorts of wave functions involved. The most fundamental wave function is that of the universe. From it, together with the configuration of the universe, one can define the wave function of a subsystem. We argue that the fundamental wave function, the wave function of the universe, has a law-like character. (shrink)

From the early years of the Common Era to 1700, Indian intellectuals explored with unparalleled subtlety the place of emotion in art. Their investigations led to the deconstruction of art's formal structures and broader inquiries into the pleasure of tragic tales. _Rasa_, or taste, was the word they chose to describe art's aesthetics, and their passionate effort to pin down these phenomena became its own remarkable act of creation. This book is the first in any language to follow the evolution (...) of rasa from its origins in dramaturgical thought--a concept for the stage--to its flourishing in literary thought--a concept for the page. _Reader on Rasa_ incorporates primary texts by every significant thinker of classical Indian aesthetics, many never translated before. The arrangement of the selections captures the intellectual dynamism that has powered this debate for centuries. Headnotes explain the meaning and significance of each text, a comprehensive introduction summarizes major threads in intellectual-historical terms, and critical endnotes and an extensive bibliography add further depth to the selections. The Sanskrit theory of emotion in art is one of the most sophisticated in the ancient world, a precursor of the work being done today by critics and philosophers of aesthetics. This volume's conceptual detail, historical precision, and clarity will appeal to any scholar interested in a full portrait of global intellectual development. __Reader on Rasa___ is the inaugural book in the Historical Sourcebooks in Classical Indian Thought series, edited by Sheldon Pollock. These text-based books guide readers through the most important forms of classical Indian thought, from epistemology, rhetoric, and hermeneutics to astral science, yoga, and medicine. Each volume provides fresh translations of key works, headnotes to contextualize selections, a comprehensive analysis of major lines of development within the discipline, and exegetical and text-critical endnotes, as well as a bibliography. Designed for comparativists and interested general readers, Historical Sourcebooks is also a great resource for advanced scholars seeking authoritative commentary on challenging works._. (shrink)

A survey of contemporary philosophical and scientific literatures reveals that different authors employ the term ‘heuristic’ in ways that deviate from, and are sometimes inconsistent with, one another. Given its widespread use in philosophy and cognitive science generally, it is striking that there appears to be little concern for a clear account of what phenomena heuristics pick out or refer to. In response, I consider several accounts of ‘heuristic’, and I draw a number of distinctions between different sorts of heuristics (...) in order to make sense of various research programmes. I then develop a working characterization of ‘heuristic’ which is shown to be coherent and robust enough to serve as a kind within philosophy and cognitive science broadly. My intent is not to pursue a unified account of ‘heuristic’, but to highlight some features of certain kinds of heuristics that are important for theorizing about cognition in order to proceed with a science of the mind/brain. 1 Why We Need an Appropriate Characterization of ‘Heuristic’2 Inadequate Definitions2.1 A positive attempt2.2 Heuristics versus guaranteed correct outcomes3 A Taxonomy of Heuristics3.1 Stimulus-driven versus heuristic3.2 Perceptual versus cognitive heuristics3.3 Computational versus cognitive heuristics3.4 Methodological versus inferential heuristics3.5 Summary of distinctions4 Characterizing Cognitive Heuristics4.1 Heuristics as rules of thumb4.2 Beyond rules of thumb: exploiting information5 Concluding Remarks. (shrink)

It is often claimed that the bulk of the laws of physics –including such venerable laws as Universal Gravitation– are violated in many (or even all) circumstances because they havecounter-instances that result when a system is not isolated fromother systems. Various accounts of how one should interpretthese (apparently) violated laws have been provided. In thispaper, I examine two accounts of (apparently) violated laws, thatthey are merely ceteris paribus laws and that they aremanifestations of capacities. Through an examination of theprimary example (...) that motivated these views, I show that given aproper understanding of the situation, neither view is optimalbecause the law is not even apparently violated. Along the way, Iam able to diagnose what has led to the mistaken belief: I showthat it originates from an element of the standard empiricistconception of laws. I then evaluate the suggestions of how tointerpret violated laws with respect to other examples and findthem wanting there too. (shrink)

Primate vocal communication is very different from human language. Differences are most pronounced in call production. Differences in production have been overemphasized, however, and distracted attention from the information that primates acquire when they hear vocalizations. In perception and cognition, continuities with language are more apparent. We suggest that natural selection has favored nonhuman primates who, upon hearing vocalizations, form mental representations of other individuals, their relationships, and their motives. This social knowledge constitutes a discrete, combinatorial system that shares several (...) features with language. It is probably a general primate characteristic whose appearance pre-dates the evolution of spoken language in our hominid ancestors. The prior evolution of social cognition created individuals who were preadapted to develop language. Several features thought to be unique to language—like discrete combinatorics and the encoding of propositional information—were not introduced by language. They arose, instead, because understanding social life and predicting others’ behavior requires a particular style of thinking. (shrink)

This book examines Aristotle's metaphysics and his account of nature, stressing the ways in which his desire to explain observed natural processes shaped his philosophical thought. It departs radically from a tradition of interpretation, in which Aristotle is understood to have approached problems with a set of abstract principles in hand, principles derived from critical reflection on the views of his predecessors. A central example of the book interprets Aristotle's essentialism as deriving from an examination of the kinds of unity (...) that various sorts of things have: elemental motion, alteration, transformation and the growth of organisms. An important conclusion of this argument is that an essence may, under certain circumstances, lack some of its essential attributes. This is a major re-evaluation of Aristotle's metaphysics that will interest philosophers, classicists and historians of science. (shrink)

Bohmian mechanics is arguably the most naively obvious embedding imaginable of Schr¨ odinger’s equation into a completely coherent physical theory. It describes a world in which particles move in a highly non-Newtonian sort of way, one which may at first appear to have little to do with the spectrum of predictions of quantum mechanics. It turns out, however, that as a consequence of the defining dynamical equations of Bohmian mechanics, when a system has wave function ψ its configuration is typically (...) random, with probability density ρ given by |ψ|2, the quantum equilibrium distribution. It also turns out that the entire quantum formalism, operators as observables and all the rest, naturally emerges in Bohmian mechanics from the analysis of “measurements.” This analysis reveals the status of operators as observables in the description of quantum phenomena, and facilitates a clear view of the range of applicability of the usual quantum mechanical formulas. (shrink)

Despite its extraordinary predictive successes, quantum mechanics has, since its inception some seventy years ago, been plagued by conceptual di culties. The basic problem, plainly put, is this: It is not at all clear what quantum mechanics is about. What, in fact, does quantum mechanics describe?

This paper puts forward an argument for stakeholder rights. It begins by exploring two major answers to the question, 'in whose interests should the commercial company function?'. One claims parity for other stakeholders alongside the shareholder on the basis of a theory of property rights, and another on a theory of citizenship. Each of these answers, it is argued, fail to convince. The way forward is to recast the initial question, not asking in whose interest the company should function, but (...) which type of interest, potentially located in any sort of person, might the company serve. That interest is identified and distinguished from others that people affected by corporations might have. These distinctions then provide the basis for an argument in favour of enfranchising two sorts of individual: sovereign stakeholders, in charge of monitoring the formulation and revision of company objectives; and secondary stakeholders, who along with those in the first category monitor the means used to achieve those objectives.The paper concludes that these distinctions should lead us to reconsider other elements in the corporate governance debate, such as the nature of a director's fiduciary duty; and the difference between democracy in corporations and democracy in the wider society. (shrink)

In [3] John S. Bell proposed how to associate particle trajectories with a lattice quantum field theory, yielding what can be regarded as a |Ψ|2-distributed Markov process on the appropriate configuration space. A similar process can be defined in the continuum, for more or less any regularized quantum field theory; such processes we call Bell-type quantum field theories. We describe methods for explicitly constructing these processes. These concern, in addition to the definition of the Markov processes, the efficient calculation of (...) jump rates, how to obtain the process from the processes corresponding to the free and interaction Hamiltonian alone, and how to obtain the free process from the free Hamiltonian or, alternatively, from the one-particle process by a construction analogous to “second quantization.” As an example, we consider the process for a second quantized Dirac field in an external electromagnetic field. (shrink)

In Bohmian mechanics elementary particles exist objectively, as point particles moving according to a law determined by a wavefunction. In this context, questions as to whether the particles of a certain species are real---questions such as, Do photons exist? Electrons? Or just the quarks?---have a clear meaning. We explain that, whatever the answer, there is a corresponding Bohm-type theory, and no experiment can ever decide between these theories. Another question that has a clear meaning is whether particles are intrinsically distinguishable, (...) i.e., whether particle world lines have labels indicating the species. We discuss the intriguing possibility that the answer is no, and particles are points---just points. (shrink)

We consider an isolated, macroscopic quantum system. Let H be a microcanonical “energy shell,” i.e., a subspace of the system’s Hilbert space spanned by the (finitely) many energy eigenstates with energies between E and E + δE. The thermal equilibrium macro-state at energy E corresponds to a subspace Heq of H such that dim Heq/ dim H is close to 1. We say that a system with state vector ψ H is in thermal equilibrium if ψ is “close” to Heq. (...) We show that for “typical” Hamiltonians with given eigenvalues, all initial state vectors ψ0 evolve in such a way that ψt is in thermal equilibrium for most times t. This result is closely related to von Neumann’s quantum ergodic theorem of 1929. (shrink)

Bohmian trajectories have been used for various purposes, including the numerical simulation of the time-dependent Schr¨ odinger equation and the visualization of time-dependent wave functions. We review the purpose they were invented for: to serve as the foundation of quantum mechanics, i.e., to explain quantum mechanics in terms of a theory that is free of paradoxes and allows an understanding that is as clear as that of classical mechanics. Indeed, they succeed in serving that purpose in the context of a (...) theory known as Bohmian mechanics, to which this article is an introduction. (shrink)

Bohmian mechanics and the Ghirardi-Rimini-Weber theory provide opposite resolutions of the quantum measurement problem: the former postulates additional variables (the particle positions) besides the wave function, whereas the latter implements spontaneous collapses of the wave function by a nonlinear and stochastic modification of Schrödinger's equation. Still, both theories, when understood appropriately, share the following structure: They are ultimately not about wave functions but about 'matter' moving in space, represented by either particle trajectories, fields on space-time, or a discrete set of (...) space-time points. The role of the wave function then is to govern the motion of the matter. (shrink)

We consider the possibility that all particles in the world are fundamentally identical, i.e., belong to the same species. Different masses, charges, spins, flavors, or colors then merely correspond to different quantum states of the same particle, just as spin-up and spin-down do. The implications of this viewpoint can be best appreciated within Bohmian mechanics, a precise formulation of quantum mechanics with particle trajectories. The implementation of this viewpoint in such a theory leads to trajectories different from those of the (...) usual formulation, and thus to a version of Bohmian mechanics that is inequivalent to, though arguably empirically indistinguishable from, the usual one. The mathematical core of this viewpoint is however rather independent of the detailed dynamical scheme Bohmian mechanics provides, and it amounts to the assertion that the configuration space for N particles, even N “distinguishable particles,” is the set of all N -point subsets of physical 3-space. (shrink)