The central project of the Critique of Pure Reason is to answer two sets of questions: What can we know and how can we know it? and What can't we know and why can't we know it? The essays in this collection are intended to help students read the Critique of Pure Reason with a greater understanding of its central themes and arguments, and with some awareness of important lines of criticism of those themes and arguments.

Building on the success and importance of three previous volumes, _Relational Psychoanalysis_ continues to expand and develop the relational turn. Under the keen editorship of Lewis Aron and Adrienne Harris, and comprised of the contributions of many of the leading voices in the relational world, _Volume 4_ carries on the legacy of this rich and diversified psychoanalytic approach by taking a fresh look at recent developments in relational theory. Included here are chapters on sexuality and gender, race and class, (...) identity and self, thirdness, the transitional subject, the body, and more. Thoughtful, capacious, and integrative, this new volume places the leading edge of relational thought close at hand, and pushes the boundaries of the relational turn that much closer to the horizon. Contributors: Neil Altman, Jessica Benjamin, Emanuel Berman, Jeanne Wolff Bernstein, Susan Coates, Ken Corbett, Muriel Dimen, Martin Stephen Frommer, Jill Gentile, Samuel Gerson, Virginia Goldner, Sue Grand, Hazel Ipp, Kimberlyn Leary, Jonathan Slavin, Malcolm Owen Slavin, Charles Spezzano, Ruth Stein, Melanie Suchet. (shrink)

Building on the success and importance of three previous volumes, _Relational Psychoanalysis_ continues to expand and develop the relational turn. Under the keen editorship of Lewis Aron and Adrienne Harris, and comprised of the contributions of many of the leading voices in the relational world, _Volume 5_ carries on the legacy of this rich and diversified psychoanalytic approach by taking a fresh look at the progress in therapeutic process. Included here are chapters on transference and countertransference, engagement, dissociation and (...) self-states, analytic impasses, privacy and disclosure, enactments, improvisation, development, and more. Thoughtful, capacious, and integrative, this new volume places the leading edge of relational thought close at hand, and pushes the boundaries of the relational turn that much closer to the horizon. Contributors: Lewis Aron, Anthony Bass, Beatrice Beebe, Philip Bromberg, Steven Cooper, Jody Messler Davies, Darlene Ehrenberg, Dianne Elise, Glen Gabbard, Adrienne Harris, Irwin Hoffman, Steven Knoblauch, Thomas Ogden, Spyros Orfanos, Stuart Pizer, Philip Ringstrom, Jill Salberg, Stephen Seligman, Joyce Slochower, Donnel Stern, Paul Wachtel. (shrink)

The first collection of Leibniz's key writings on the binary system, newly translated, with many previously unpublished in any language. -/- The polymath Gottfried Wilhelm Leibniz (1646–1716) is known for his independent invention of the calculus in 1675. Another major—although less studied—mathematical contribution by Leibniz is his invention of binary arithmetic, the representational basis for today's digital computing. This book offers the first collection of Leibniz's most important writings on the binary system, all newly translated by the authors with many (...) previously unpublished in any language. Taken together, these thirty-two texts tell the story of binary as Leibniz conceived it, from his first youthful writings on the subject to the mature development and publication of the binary system. -/- As befits a scholarly edition, Strickland and Lewis have not only returned to Leibniz's original manuscripts in preparing their translations, but also provided full critical apparatus. In addition to extensive annotations, each text is accompanied by a detailed introductory “headnote” that explains the context and content. Additional mathematical commentaries offer readers deep dives into Leibniz's mathematical thinking. The texts are prefaced by a lengthy and detailed introductory essay, in which Strickland and Lewis trace Leibniz's development of binary, place it in its historical context, and chart its posthumous influence, most notably on shaping our own computer age. (shrink)

The problem of consciousness arises when we accept that humans are subject to conscious experiences, and that these experiences resist explanations of a kind that other puzzling phenomena permit. I first consider the case that such experiences exist and then the reasons for taking a pessimistic view of our chances of explaining them. I argue that the fact that conscious experience is ineffable makes the problem even harder than Chalmers allows, as it undermines a presentation of the problem of reductive (...) explanation in this case. The fact that conscious phenomena require a first-person perspective provides a further reason for taking a pessimistic view of the chances for the kind of theory that Chalmers seeks. In a final section I consider what form solutions to the problem, as revised, might take. (shrink)

Offering an introduction to algorithms, this work considers automata in the context of their applications, NP-completeness, Turing machine notation and Chomsky normal form.

Over the course of the past 15 years, there has been a vast sea change in American psychoanalysis. It takes the form of a broad movement away from classical psychoanalytic theorizing grounded in Freud's drive theory toward models of mind and development grounded in object relations concepts. In clinical practice, there has been a corresponding movement away from the classical principles of neutrality, abstinence and anonymity toward an interactive vision of the analytic situation that places the analytic relationship, with its (...) powerful, reciprocal affective currents, in the foreground. These developments have been evident in virtually all schools of psychoanalysis in America, from the most traditional to the most radical. Collected together for the first time, this three volume set brings together this ongoing project for a new audience. _Relational Psychoanalysis: The Emergence of a Tradition_ - Each paper in Volume 1 is accompanied by an introduction, in which the editors place it in its historical context, and a new afterward, in which the author suggests subsequent developments in his or her thinking. This book is an invaluable resource for any clinical practitioner, teacher or student of psychoanalysis interested in exploring the exciting developments of recent years. _Relational Psychoanalysis: Innovation and Expansion_ - Volume 2 brings together key papers of the recent past that exemplify the continuing growth and refinement of the relational sensibility. In selecting these papers, editors Lewis Aron and Adrienne Harris have stressed the shared relational dimension of different psychoanalytic traditions, and they have used such commonalities to structure the best recent contributions to the literature. The topics covered in Volume 2 reflect both the evolution of psychoanalysis and the unique pathways that leading relational writers have been pursuing and in some cases establishing. _Relational Psychoanalysis: New Voices_ - Volume 3 is a forum for new relational voices and new idioms of relational discourse. Established writers, Muriel Dimen, Sue Grand, and Ruth Stein among them, utilize aspects of their own subjectivity to illuminate heretofore neglected dimensions of cultural experience, of trauma, and of clinical stalemate. A host of new voices applies relational thinking to aspects of race, class, and politics as they emerge in the clinical situation. (shrink)

It has been proposed by Dawkins, Dennett and others that memes are the units of cultural evolution. We here concentrate on Dennett's account because of the role it plays in his explanation of human consciousness - which is our principal target. Memes are claimed to be replicators that work on Darwinian principles. But in what sense are they replicators, and in what way are they responsible for their own propagation? We argue that their ability to replicate themselves is severely limited, (...) particularly in the case of language-borne memes. We contend, too, that the theory has unacceptable consequences for the role of design in accounting for cultural change, unless we seriously want to entertain the thought that design has as little relevance to cultural evolution as it does to the evolution of species. Finally, we argue that the account fails to do justice to the complexities of social practices. (shrink)

It is common in the history of science to try to extend an idea first demonstrated in one domain into others. Sometimes the extension is literal, and sometimes it is frankly metaphorical. Sometimes, however, when an extension is claimed to be literal, it is far from easy to see that it is. If an extension does not make use of entities and mechanisms involved in the original domain, and introduces novel entities and mechanisms, then it is not unreasonable to doubt (...) the claim of its authors that it is a literal extension of a well-established theory. IT is, therefore, not surprising that many who accept that the cultural transmission of information is unique to out species nevertheless balk at Dawkins's and Dennett's contention that there are units of cultural evolution, called 'memes', which can be used to explain the development and diversity of human culture, and whose survival is explicable in terms of Darwin's theory of evolution by natural selection. Our aim in this paper is to argue that scepticism about Dawkins's and Dennett's proposal is indeed justified; though it of course does not follow that there is not another way of explaining human culture in evolutionary terms. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

A Krom formula of pure quantification theory is a formula in conjunctive normal form such that each conjunct is a disjunction of at most two atomic formulas or negations of atomic formulas. Every class of Krom formulas that is determined by the form of their quantifier prefixes and which is known to have an unsolvable decision problem for satisfiability is here shown to be a conservative reduction class. Therefore both the general satisfiability problem, and the problem of satisfiability in finite (...) models, can be effectively reduced from arbitrary formulas to Krom formulas of these several prefix types. (shrink)

Over the course of the last four decades, William Leon McBride has distinguished himself as one of the most esteemed and accomplished philosophers of his generation. This volume—which celebrates the occasion of his seventy-fifth birthday—includes contributions from colleagues, friends, and formers students and pays tribute to McBride’s considerable achievements as a teacher, mentor, and scholar.

By theword problemfor some class of algebraic structures we mean the problem of determining, given a finite setEof equations between words and an additional equationx=y, whetherx=ymust hold in all structures satisfying each member ofE. In 1947 Post [P] showed the word problem for semigroups to be undecidable. This result was strengthened in 1950 by Turing, who showed the word problem to be undecidable forcancellation semigroups,i.e. semigroups satisfying thecancellation propertyNovikov [N] eventually showed the word problem for groups to be undecidable.In 1966 (...) Gurevich [G] showed the word problem to be undecidable forfinitesemigroups. However, this result on finite structures has not been extended to cancellation semigroups or groups; indeed it is easy to see that a finite cancellation semigroup is a group, so both questions are the same. We do not here settle the word problem for finite groups, but we do show that the word problem is undecidable for finite semigroups with zero satisfying an approximation to the cancellation property. (shrink)

The essays in this collection treat historical, literary, and philosophical topics related to Ayn Rand's Anthem, an anti-utopia fantasy set in the future. The first book-length study on Anthem, this collection covers subjects such as free will, political freedom, and the connection between freedom and individual thought and privacy.