This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

Darstellung des Inhalts -- Kommentar zum griechischen Text.

Although Heidegger's relation to political philosophy is, at the very least, problematic, many figures who have contributed significantly to the field attended his courses in the 1920s (Hans-Georg Gadamer, Hannah Arendt, Hans Jonas, Joachim Ritter, Gunther Anders and others). Heidegger's work at that time was marked by an extensive engagement with Aristotle, and above all with Aristotle's practical philosophy. This article approaches the question of Heidegger as a political thinker by returning to his reading of Aristotle's practical philosophy in (...) order to clarify the structural features of his thinking that inspired so many of his students to develop a political philosophy clearly influenced by him. Heidegger reads the Nicomachean Ethics as an ontology of human existence, centred on an interpretation of human existence (Dasein) as práxis. This reading inspired a renaissance of practical philosophy in Germany and beyond. However, as Arendt has shown, Heidegger's ontologization closes práxis within a solipsistic horizon that deforms its political sense. It is this closure, which proves especially damaging when Heidegger begins to understand Dasein in relation to history and community, that many of his students have sought to reverse in their own work, thereby restoring a political dimension to a philosophy profoundly influenced by Heidegger. (shrink)

Since the 1960s, many artists have incorporated ecological concerns into their work, an endeavor that has required new strategies in art-making. To explore recent American manifestations of these interests, the David and Alfred Smart Museum commissioned new projects from artists Mark Dion, Peter Fend, and Dan Peterman, each focusing on interrelationships between particular organisms—human beings-and a specific group of sites—a museum building, a river landscape, and a university campus. The results, exhibited at the Smart Museum during the summer of (...) 2000, evoke the varied scales, from the microscopic to the global, at which human actions affect the environment. This catalog documents each of the artists' projects through an array of images and words: Smart Museum Associate Curator Stephanie Smith provides an introduction and brief overviews of the three projects, each of the artists contribute statements, and photographers Susan Anderson and Tom van Eynde document—in over 100 images—the processes and projects that comprise the exhibition. (shrink)

According to the thesis of the extended mind (EM) , at least some token cognitive processes extend into the cognizing subject's environment in the sense that they are (partly) composed of manipulative, exploitative, and transformative operations performed by that subject on suitable environmental structures. EM has attracted four ostensibly distinct types of objection. This paper has two goals. First, it argues that these objections all reduce to one basic sort: all the objections can be resolved by the provision of an (...) adequate and properly motivated criterion—or mark—of the cognitive. Second, it provides such a criterion—one made up of four conditions that are sufficient for a process to count as cognitive. (shrink)

Provides an overview of Mark Sharlow's philosophical work with summaries of his positions. Includes references and links to his writings.

The Historical Dictionary of Philosophy, the _Historisches Wörterbuch der Philosophie,_ is distinguished by its particular presentation of philosophical terms, ideas and concepts. Rather than providing mere defintions or descriptive and analytical explanantions the _HWPh_ strictly applies the critical method of history of concepts developed by the eminent German scholar and philosopher Joachim Ritter. By means of precise and detailed references it documents the origin, first occurrence, the historical evolution and the changes of meaning of each concept, from Ancient Greek (...) to contemporary philosophy. For the reader this presentation is of unique value: it makes traceable the importance of terms and concepts at certain periods or for a particular philosopher, as well as its changes and development of meaning. Voulmes 1–12 of the _HWPh_ comprises more than 17.000 text columns on 3.670 philosophical terms. The dictionary does not include articles on persons. Volume 13 includes, besides of a comprehensive introductory essay, three different indexes: - the Subject Index classifies the articles by disciplinary and systematic categories - the Main Index includes all philosophical keywords with more than 30.000 references to their occurrences in other articles and contexts - the Author Index lists all authors and their contributions The included CD-ROM allows full text research of the _HWPh's_ entire content. (shrink)

Mark Olssen is one of the leading social scientists writing in the world today. Inspired by the writings of Michel Foucault, Olssen’s writing traverses philosophy, politics, education, and epistemology. This book comprises a selection of his papers published in academic journals and books over thirty-five years.

Like much in this book, the title and dust jacket illustration are clever. The first evokes Hume's remark in the Treatise that ‘Reason is, and ought only to be the slave of the passions.’ The second, which represents a cross between a dance-step and a clinch, links up with the title and anticipates an example used throughout the book to support its central claims: that Ronnie, unlike Bradley, has a reason to go to a party – namely, that there will (...) be dancing at the party – because Ronnie, unlike Bradley, loves dancing. So, the explanation of why Ronnie's and Bradley's reasons differ lies in their respective psychologies.Schroeder argues for a version of the Humean Theory of Reasons he calls Hypotheticalism, which says that every reason is explained by a desire in the same way as Ronnie's is. Schroeder argues that on almost every count, Hypotheticalism is as good as, or preferable to, the Humean and non-Humean alternatives; and he defends it against an array of objections. For example, he explains that while Hypotheticalism claims that ‘desires have to serve in the explanation of every reason because desires are part of the correct analysis of reasons’, it does not claim that a desire that explains a reason is part of that reason: rather it is a background condition for it. This, Schroeder argues, allows him to rebut a variety of objections that depend on conflating reasons with their background conditions. Other …. (shrink)

This volume traces the evolution of Whig and Tory, Puritan and Anglican ideas across a tumultuous period of British history, from the mid-seventeenth century through to the Age of Enlightenment. This volume, a tribute to Mark Goldie, traces the evolution of Whig and Tory, Puritan and Anglican ideas across a tumultuous period of British history, from the mid-seventeenth century through to the Age of Enlightenment. Mark Goldie, Fellow of Churchill College and Professor of Intellectual History at Cambridge University, (...) is one of the most distinguished historians of later Stuart Britain of his generation and has written extensively about politics, religion and ideas in Britain from the Restoration through to the Hanoverian succession. Based on original research, the chapters collected here reflect the range of his scholarly interests: in Locke, Tory and Whig political thought, and Puritan, Anglican and Catholic political engagement, as well as the transformative impact of the Glorious Revolution. They examine events as well as ideas and deal not only with England but also with Scotland, France and the Atlantic world. Politics, Religion and Ideas in Seventeenth- and Eighteenth-Century Britain will be of interest to later Stuart political and religious historians, Locke scholars and intellectual historians more generally. JUSTIN CHAMPION is Professor of History at Royal Holloway, University of London. JOHN COFFEY is Professor of Early Modern History at the University of Leicester. TIM HARRIS is Professor of History at Brown University. JOHN MARSHALL is Professor of History at John Hopkins University. CONTRIBUTORS: Justin Champion, John Coffey, Conal Condren, Gabriel Glickman, Tim Harris, Sarah Irving-Stonebraker, Clare Jackson, Warren Johnston, Geoff Kemp, Dmitri Levitin, John Marshall, Jacqueline Rose, S.-J. Savonius-Wroth, Hannah Smith, Delphine Soulard. (shrink)

An archive of Mark Sharlow's two blogs, "The Unfinishable Scroll" and "Religion: the Next Version." Covers Sharlow's views on metaphysics, epistemology, mind, science, religion, and politics. Includes topics and ideas not found in his papers.

A comprehensive collection of the writings of Mark Fisher (1968-2017), whose work defined critical writing for a generation. This comprehensive collection brings together the work of acclaimed blogger, writer, political activist and lecturer Mark Fisher (aka k-punk). Covering the period 2004 - 2016, the collection will include some of the best writings from his seminal blog k-punk; a selection of his brilliantly insightful film, television and music reviews; his key writings on politics, activism, precarity, hauntology, mental health and (...) popular modernism for numerous websites and magazines; his final unfinished introduction to his planned work on "Acid Communism"; and a number of important interviews from the last decade. Edited by Darren Ambrose and with a foreword by Simon Reynolds. (shrink)

For over twenty years, Mark McNulty has been documenting the Liverpool music scene, both in the city and as it has proliferated worldwide. Accompanied by over 100 photographs, Pop Cultured celebrates the city, its music, and its culture through the lens of this highly acclaimed and influential photographer. McNulty has covered a wide array of iconic British bands such as the Stone Roses, Happy Mondays, Echo and the Bunnymen, and the Arctic Monkeys, as well as visiting international acts like (...) the White Stripes. Witty, enthralling, and visually stunning, Pop Cultured combines McNulty’s images with his own laconic and humorous commentary and that of his iconic musical subjects, providing a rollercoaster account of the last twenty years of British culture. (shrink)

Mark Balaguer’s project in this book is extremely ambitious; he sets out to defend both platonism and fictionalism about mathematical entities. Moreover, Balaguer argues that at the end of the day, platonism and fictionalism are on an equal footing. Not content to leave the matter there, however, he advances the anti-metaphysical conclusion that there is no fact of the matter about the existence of mathematical objects.1 Despite the ambitious nature of this project, for the most part Balaguer does not (...) shortchange the reader on rigor; all the main theses advanced are argued for at length and with remarkable clarity and cogency. There are, of course, gaps in the account but these should not be allowed to overshadow the sig-. (shrink)

My project in Being For is both constructive and negative. The main aim of the book is to take the core ideas of meta-ethical expressivism as far as they can go, and to try to develop a version of expressivism that solves many of the more straightforward open problems that have faced the view without being squarely confronted. In doing so, I develop an expressivist framework that I call biforcated attitude semantics, which I claim has the minimal structural features required (...) in order to solve some of these open problems facing expressivism. I take biforcated attitude semantics to prove that expressivism is a coherent and interesting hypothesis about the semantics of natural languages.So much for the constructive part; having argued that biforcated attitude semantics incorporates the minimal moves required in order to solve a few of the more pressing open questions facing expressivism, I use it in order to productively constrain what an expressivist answer to further open questions must look like. The results, I end up arguing, are ultimately not promising; the very same structural features that expressivists need in order to answer so simple a problem as to explain why ‘P’ and ‘∼P’ are inconsistent sentences lead to a very general problem about how ordinary, non-moral sentences are to end up with the right truth-conditions, and though I show how to finesse this problem for some simple constructions – truth-conditional connectives and the quantifiers – I ultimately argue that it can’t be done for the full range of constructions in natural languages – including terms like modals, tense and binary quantifiers like ‘most’. So even if expressivism is coherent and interesting, it is an extremely unpromising hypothesis about the language that we actually speak.The main theme of the book is that the most fruitful way …. (shrink)

In addition to the standard ellipsis process known as VP-ellipsis, another ellipsis process, known as pseudo-gapping, was first brought to the fore-front in the 1970’s by Sag (1976) and N. Levin (1986). This process elides subparts of a VP, as in (1): (1) Although I don’t like steak, I do___pizza. Developing ideas of K.S. Jayaseelan (Jayaseelan (1990)), Howard Lasnik has developed an analysis in which pseudo-gapping, which, in some instances, looks as though it is simply deleting a verb, is in (...) fact deletion of a verb phrase, so that pseudo-gapping is really a probe into the structure of the verb phrase. I will examine pseudo-gapping in detail, and will show that it truly is a gold mine of insight into a number of fundamental issues in syntax. More concretely, I will demonstrate that a careful, detailed analysis of this process will bear on the derivational level at which Principle A of the binding theory applies, as well as the amount of explicit encoding within syntactic representations of informational structure, particularly focus. The paper will also re-assess Lasnik’s conclusion that pseudo-gapping provides evidence for Larson’s (1988) V-raising to a higher empty V position, a case of head movement, and will show that the movement involved is actually a case of remnant movement, or XP-movement. (shrink)

1. Bd. Lebensschöpfung und Vernunftfrevel.--2. Bd. Schmarotzerzüchtung und Erbopferung.--3. Bd. Nietzsche, der gerechtfertigye Seher. b.

artificial life, each of which is a grand challenge requiring a major advance on a fundamental issue for its solution. Each problem is briefly explained, and, where deemed helpful, some promising paths to its solution are indicated.

Kurz bevor Goethe in den Jahren 1808/9 die Wahlverwandtschaften schrieb, hatte sich sein ehemaliger naturwissenschaftlicher Kooperationspartner Johann Ritter in Untersuchungen zu Wünschelruten und Pendeln (1807/8) verloren, aus denen angeblich eine weitere tiefgreifende Analogie zwischen den Polaritäten in der Natur und denen beim Menschen hervorgehen sollte. Ritter arbeitete damals schon seit Jahren erfolgreich mit Goethes Polaritätsbegriff, und war dadurch sogar auf seinen größten Erfolg geleitet worden (die Entdeckung des UV-Lichts). So ist es nicht überraschend, dass sich Goethe für die (...) Pendelexperimente interessierte – und ihnen im Roman ein literarisches Denkmal setzte (während er sich wissenschaftlich dazu sicherheitshalber nicht äußerte). Die von beiden geteilte Polaritätsidee lief auf mehr hinaus als den vagen Gegensatz zwischen irgendwelchen antagonistischen Wirkfaktoren; vielmehr hatte sie handfeste strukturelle Implikationen im Sinne einer mathematischen Symmetrie: Bei Vertauschung der entgegengesetzten Pole in irgendeiner gegebenen Konfiguration kehren sich die ursprünglich beobachtbaren Wirkungen genau in ihr Gegenteil um. Diese Idee ist ein Kerngedanke der Farbenlehre (1810) und liegt z. B. Goethes Farbenkreis zugrunde; überraschenderweise lässt sie sich an einigen entscheidenden Wendepunkten der Wahlverwandtschaften präzise dingfest machen, und dadurch gewinnt ein beliebtes Spiel unter Goethelesern einen neuen Dreh: Die Farben des Farbenkreises haben eindeutig identifizierbare Gegenstücke im Personentableau des Romans. (shrink)