- Table View
- List View
ZB 2000: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings (Lecture Notes in Computer Science #1878)
by Jonathan P. Bowen Steve Dunne Andy Galloway Steve KingThis book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000.The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.
ZUM '98: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science #1493)
by Jonathan P. Bowen Andreas Fett Michael G. Hinchey1 In a number of recent presentations – most notably at FME’96 –oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst formal methods practitioners. How can one of the founding fathers of formal methods seemingly denounce the ?eld of research after over a quarter of a century of support? This is a question that has been posed recently by some formal methods skeptics. However, Prof. Hoare has not abandoned formal methods. He is reiterating, 2 albeitmoreradically,his1987view thatmorethanonetoolandnotationwillbe requiredinthepractical,industrialdevelopmentoflarge-scalecomplexcomputer systems; and not all of these tools and notations will be, or even need be, formal in nature. Formalmethods arenotasolution,butratheroneofaselectionoftechniques that have proven to be useful in the development of reliable complex systems, and to result in hardware and software systems that can be produced on-time and within a budget, while satisfying the stated requirements. After almostthree decades,the time has come to view formalmethods in the context of overall industrial-scale system development, and their relationship to othertechniquesandmethods.Weshouldnolongerconsidertheissueofwhether we are “pro-formal” or “anti-formal”, but rather the degree of formality (if any) that we need to support in system development. This is a goal of ZUM’98, the 11th International Conference of Z Users, held for the ?rst time within continental Europe in the city of Berlin, Germany.
High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))
by Jonathan P. Bowen Michael G. HincheyErrata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were often inaccurate, copied carelessly, and had been instrumental in causing a number of maritime disasters. Babbage's machine, called a 'Difference Engine' because it performed its cal culations using the principle of partial differences, was intended to substantially reduce the number of errors made by humans calculating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage's engine would be classed as safety-critical. That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.
Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures (Lecture Notes in Computer Science #11430)
by Jonathan P. Bowen Zhiming Liu Zili ZhangThis volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETSS 2018, held in April 2018 at Southwest University in Chongqing, China.The five chapters in this volume provide an overview of research in the frontier of theories, methods, and tools for software modelling, design, and verification. The topics covered in these chapter include Software Verification with Whiley, Learning Büchi Automata and Its Applications, Security in IoT Applications, Programming in Z3, and The Impact of Alan Turing: Formal Methods and Beyond. The volume provides a useful resource for postgraduate students, researchers, academics, and engineers in industry, who are interested in theory, methods, and tools for the development of trustworthy software.
Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers (Lecture Notes in Computer Science #10134)
by Jonathan P. Bowen Huibiao ZhuThis book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the 12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of combination of formal notations and theories of programming that define in various different ways many common notions, such as abstraction refinement, choice, termination, feasibility, locality, concurrency, and communication. They also show that despite many differences, such theories may be unified in a way that greatly facilitates their study and comparison.
Model Theory for Modal Logic: Kripke Models for Modal Predicate Calculi (Synthese Library #127)
by K.A. Bowen
Engineering Ethics: Challenges and Opportunities
by W. Richard BowenEngineering Ethics: Challenges and Opportunities aims to set a new agenda for the engineering profession by developing a key challenge: can the great technical innovation of engineering be matched by a corresponding innovation in the acceptance and expression of ethical responsibility? Central features of this stimulating text include:· An analysis of engineering as a technical and ethical practice providing great opportunities for promoting the wellbeing and agency of individuals and communities.· Elucidation of the ethical opportunities of engineering in three key areas: Engineering for Peace, emphasising practical amelioration of the root causes of conflict rather than military solutions. Engineering for Health, focusing on close collaboration with healthcare professionals for both the promotion and restoration of health. Engineering for Development, providing effective solutions for the reduction of extreme poverty.· Innovative strategies for implementing these ethical opportunities are described: Emphasis on the personal responsibility of every engineer and on the benefits of supporting social structures. Use of language and concepts that are appealing to business managers and political decision makers.· Future prospects for increasing the acceptance and expression of ethical responsibility by engineers are envisaged.· Engineering Ethics: Challenges and Opportunities provides engineers, decision makers and the wider public with new understanding of the potential of engineering for the promotion of human flourishing.
Ever the Leader: Selected Writings, 1995-2016
by William G. Bowen Hanna Holborn Gray Kevin M. GuthrieEver the Leader gathers together selected speeches and writings from one of the great scholars and commentators of higher education. William G. Bowen’s career at Princeton University—from economics professor to provost to a sixteen-year tenure as president—was marked by extraordinary accomplishments during times of great change, both at the university and in the country. But it was in Bowen’s second act, as president of the Andrew W. Mellon Foundation and founding chairman of ITHAKA, that he took the lessons he learned as a highly productive leader of one of the nation’s most esteemed universities and applied them to a broader set of problems in higher education. This volume of work from Bowen’s later career captures this expansion of his thought and influence.Comprising remarks and articles on the subjects of university values, educational opportunity, college sports, technology, and colleagues and peers in higher education leadership, Ever the Leader is more than just a concise distillation of Bowen’s research and thinking on some of the most urgent issues of the day—it is a portrait of leadership in action. The selected papers, talks, and articles exemplify Bowen’s commitment and singular ability to communicate strong, persuasive arguments for change, and to motivate others to engage with the truly hard questions facing higher education leaders.Filled with formidable insights, Ever the Leader will be required reading for university presidents, policymakers, and all those who carry on the struggle for equity and excellence in higher education.
Ever the Leader: Selected Writings, 1995-2016
by William G. Bowen Hanna Holborn Gray Kevin M. GuthrieEver the Leader gathers together selected speeches and writings from one of the great scholars and commentators of higher education. William G. Bowen’s career at Princeton University—from economics professor to provost to a sixteen-year tenure as president—was marked by extraordinary accomplishments during times of great change, both at the university and in the country. But it was in Bowen’s second act, as president of the Andrew W. Mellon Foundation and founding chairman of ITHAKA, that he took the lessons he learned as a highly productive leader of one of the nation’s most esteemed universities and applied them to a broader set of problems in higher education. This volume of work from Bowen’s later career captures this expansion of his thought and influence.Comprising remarks and articles on the subjects of university values, educational opportunity, college sports, technology, and colleagues and peers in higher education leadership, Ever the Leader is more than just a concise distillation of Bowen’s research and thinking on some of the most urgent issues of the day—it is a portrait of leadership in action. The selected papers, talks, and articles exemplify Bowen’s commitment and singular ability to communicate strong, persuasive arguments for change, and to motivate others to engage with the truly hard questions facing higher education leaders.Filled with formidable insights, Ever the Leader will be required reading for university presidents, policymakers, and all those who carry on the struggle for equity and excellence in higher education.
Ever the Leader: Selected Writings, 1995-2016
by William G. Bowen Kevin M. Guthrie Hanna Holborn GrayEver the Leader gathers together selected speeches and writings from one of the great scholars and commentators of higher education. William G. Bowen’s career at Princeton University—from economics professor to provost to a sixteen-year tenure as president—was marked by extraordinary accomplishments during times of great change, both at the university and in the country. But it was in Bowen’s second act, as president of the Andrew W. Mellon Foundation and founding chairman of ITHAKA, that he took the lessons he learned as a highly productive leader of one of the nation’s most esteemed universities and applied them to a broader set of problems in higher education. This volume of work from Bowen’s later career captures this expansion of his thought and influence.Comprising remarks and articles on the subjects of university values, educational opportunity, college sports, technology, and colleagues and peers in higher education leadership, Ever the Leader is more than just a concise distillation of Bowen’s research and thinking on some of the most urgent issues of the day—it is a portrait of leadership in action. The selected papers, talks, and articles exemplify Bowen’s commitment and singular ability to communicate strong, persuasive arguments for change, and to motivate others to engage with the truly hard questions facing higher education leaders.Filled with formidable insights, Ever the Leader will be required reading for university presidents, policymakers, and all those who carry on the struggle for equity and excellence in higher education.
Environmental Justice Through Research-Based Decision-Making (Routledge Research in Public Administration and Public Policy)
by William M. BowenThis book discusses whether and to what extent there are widespread injustices and inequities caused by the distribution of environmental hazards in America today.
Environmental Justice Through Research-Based Decision-Making (Routledge Research in Public Administration and Public Policy)
by William M. BowenThis book discusses whether and to what extent there are widespread injustices and inequities caused by the distribution of environmental hazards in America today.
Engineering Ethics: Outline of an Aspirational Approach
by William Richard BowenAround the turn of the millennium, a young woman with outstanding academic achievements in science and mathematics applied to study engineering at a Eu- pean university. She had chosen to study engineering particularly because of the opportunities she expected it would give her to make a contribution to the well- ing of others. It happened that the university engineering department to which she applied had just been involved in the design of a vehicle for a world speed record attempt. When the young woman visited the university for interview this “triumph of technology” was presented as being a quintessential example of good engine- ing. However, though it was clear to her that the vehicle was technically ing- ious, she also recognised that it was of no practical use. She concluded that she had misunderstood the nature of engineering, and still wishing to help others she changed her plans and studied medicine, at which she assuredly excelled. This young woman’s change of career was undoubtedly a specific loss for en- neering. Additionally, it had a broader, tragic dimension; for her understanding of the purpose of engineering was more mature than that of the academics she - countered. Moreover, their imbalanced prioritisation of technical ingenuity over helping people is not uncommon within parts of the profession.
The Princeton Encyclopedia of Islamic Political Thought
by Gerhard Bowering Patricia Crone Wadad Kadi Devin J. Stewart Muhammad Qasim Zaman Mahan Mirza Richard Bulliet David Cook Roxanne L. Euben Khaled Fahmy Frank Griffel Bernard Haykel Robert W. Hefner Timur Kuran Jane Mcauliffe Ebrahim MoosaThe first encyclopedia of Islamic political thought from the birth of Islam to today, this comprehensive, authoritative, and accessible reference provides the context needed for understanding contemporary politics in the Islamic world and beyond. With more than 400 alphabetically arranged entries written by an international team of specialists, the volume focuses on the origins and evolution of Islamic political ideas and related subjects, covering central terms, concepts, personalities, movements, places, and schools of thought across Islamic history. Fifteen major entries provide a synthetic treatment of key topics, such as Muhammad, jihad, authority, gender, culture, minorities, fundamentalism, and pluralism. Incorporating the latest scholarship, this is an indispensable resource for students, researchers, journalists, and anyone else seeking an informed perspective on the complex intersection of Islam and politics. Includes more than 400 concise, alphabetically arranged entries Features 15 in-depth entries on key topics Covers topics such as: Central themes and sources of Islamic political thought: caliph, modernity, knowledge, shari'a, government, revival and reform Modern concepts, institutions, movements, and parties: civil society, Islamization, secularism, veil, Muslim Brotherhood Islamic law and traditional Islamic societies: justice, taxation, fatwa, dissent, governance, piety and asceticism, trade and commerce Sects, schools, regions, and dynasties: Mu'tazilis, Shi'ism, Quraysh, Mecca and Medina, Baghdad, Indonesia, Nigeria, Central Asia, Ottomans Thinkers, personalities, and statesmen: Mawardi, Shafi'I, Saladin, Tamerlane, Akbar, Atatürk, Nasser, Khomeini Contains seven historical and contemporary maps of Muslim empires, postcolonial nation-states, populations, and settlements Guides readers to further research through bibliographies, cross-references, and an index
The Princeton Encyclopedia of Islamic Political Thought
by Gerhard Bowering Patricia Crone Wadad Kadi Devin J. Stewart Muhammad Qasim Zaman Mahan Mirza Richard Bulliet David Cook Roxanne L. Euben Khaled Fahmy Frank Griffel Bernard Haykel Robert W. Hefner Timur Kuran Jane Mcauliffe Ebrahim MoosaThe first encyclopedia of Islamic political thought from the birth of Islam to today, this comprehensive, authoritative, and accessible reference provides the context needed for understanding contemporary politics in the Islamic world and beyond. With more than 400 alphabetically arranged entries written by an international team of specialists, the volume focuses on the origins and evolution of Islamic political ideas and related subjects, covering central terms, concepts, personalities, movements, places, and schools of thought across Islamic history. Fifteen major entries provide a synthetic treatment of key topics, such as Muhammad, jihad, authority, gender, culture, minorities, fundamentalism, and pluralism. Incorporating the latest scholarship, this is an indispensable resource for students, researchers, journalists, and anyone else seeking an informed perspective on the complex intersection of Islam and politics. Includes more than 400 concise, alphabetically arranged entries Features 15 in-depth entries on key topics Covers topics such as: Central themes and sources of Islamic political thought: caliph, modernity, knowledge, shari'a, government, revival and reform Modern concepts, institutions, movements, and parties: civil society, Islamization, secularism, veil, Muslim Brotherhood Islamic law and traditional Islamic societies: justice, taxation, fatwa, dissent, governance, piety and asceticism, trade and commerce Sects, schools, regions, and dynasties: Mu'tazilis, Shi'ism, Quraysh, Mecca and Medina, Baghdad, Indonesia, Nigeria, Central Asia, Ottomans Thinkers, personalities, and statesmen: Mawardi, Shafi'I, Saladin, Tamerlane, Akbar, Atatürk, Nasser, Khomeini Contains seven historical and contemporary maps of Muslim empires, postcolonial nation-states, populations, and settlements Guides readers to further research through bibliographies, cross-references, and an index
Ideological, Cultural, and Linguistic Roots of Educational Reforms to Address the Ecological Crisis: The Selected Works of C.A. (Chet) Bowers
by C. A. BowersIn this volume C.A. (Chet) Bowers, whose pioneering work on education and environmental and sustainability issues is widely recognized and respected around the world, brings together a carefully curated selection of his seminal work on the ideological, cultural, and linguistic roots of the ecological crisis; misconceptions underlying modern consciousness; the cultural commons; a critique of technology; and educational reforms to address these pressing concerns. In the World Library of Educationalists series, international scholars themselves compile career-long collections of what they judge to be their finest pieces – extracts from books, key articles, salient research findings, major theoretical and/practical contributions – so the world can read them in a single manageable volume. Readers will be able to follow the themes and strands of their work and see their contribution to the development of a field, as well as the development of the field itself. Contributors to the series include: Michael Apple, James A. Banks, Joel Spring, William F. Pinar, Stephen J. Ball, Elliot Eisner, Howard Gardner, John Gilbert, Ivor F. Goodson, and Peter Jarvis.
Ideological, Cultural, and Linguistic Roots of Educational Reforms to Address the Ecological Crisis: The Selected Works of C.A. (Chet) Bowers
by C. A. BowersIn this volume C.A. (Chet) Bowers, whose pioneering work on education and environmental and sustainability issues is widely recognized and respected around the world, brings together a carefully curated selection of his seminal work on the ideological, cultural, and linguistic roots of the ecological crisis; misconceptions underlying modern consciousness; the cultural commons; a critique of technology; and educational reforms to address these pressing concerns. In the World Library of Educationalists series, international scholars themselves compile career-long collections of what they judge to be their finest pieces – extracts from books, key articles, salient research findings, major theoretical and/practical contributions – so the world can read them in a single manageable volume. Readers will be able to follow the themes and strands of their work and see their contribution to the development of a field, as well as the development of the field itself. Contributors to the series include: Michael Apple, James A. Banks, Joel Spring, William F. Pinar, Stephen J. Ball, Elliot Eisner, Howard Gardner, John Gilbert, Ivor F. Goodson, and Peter Jarvis.
A Critical Examination of STEM: Issues and Challenges (Sociocultural, Political, and Historical Studies in Education)
by Chet BowersThis critical examination of STEM discourses highlights the imperative to think about educational reforms within the diverse cultural contexts of ongoing environmental and technologically driven changes. Chet Bowers illuminates how the dominant myths of Western science promote false promises of what science can achieve. Examples demonstrate how the various science disciplines and their shared ideology largely fail to address the ways metaphorically layered language influences taken-for-granted patterns of thinking and the role this plays in colonizing other cultures, thus maintaining the myth that scientific inquiry is objective and free of cultural influences. Guidelines and questions are included to engage STEM students in becoming explicitly aware of these issues and the challenges they pose.
A Critical Examination of STEM: Issues and Challenges (Sociocultural, Political, and Historical Studies in Education)
by Chet BowersThis critical examination of STEM discourses highlights the imperative to think about educational reforms within the diverse cultural contexts of ongoing environmental and technologically driven changes. Chet Bowers illuminates how the dominant myths of Western science promote false promises of what science can achieve. Examples demonstrate how the various science disciplines and their shared ideology largely fail to address the ways metaphorically layered language influences taken-for-granted patterns of thinking and the role this plays in colonizing other cultures, thus maintaining the myth that scientific inquiry is objective and free of cultural influences. Guidelines and questions are included to engage STEM students in becoming explicitly aware of these issues and the challenges they pose.
Naturally Minded: Mental Causation, Virtual Machines, and Maps (New Directions in Philosophy and Cognitive Science)
by Simon BowesThis book is an empirically informed investigation of the philosophical problem of mental causation, and a philosophical investigation of the status of cognitive scientific generalisations. If there are mental causes which can be classified in a way useful for predicting and explaining, then they are natural kinds. First. we develop an account of natural kinds that accommodates the cognitive. Second, we show how statements using these are not reducible to statements about physical kinds, involving biological and social facts. Finally, Virtual Machine Functionalism is defended as the correct account of the relationship between cognition and the material world.
Adorno and the Ends of Philosophy
by Andrew BowieTheodor Adorno’s reputation as a cultural critic has been well-established for some time, but his status as a philosopher remains unclear. In Adorno and the Ends of Philosophy Andrew Bowie seeks to establish what Adorno can contribute to philosophy today. Adorno’s published texts are notably difficult and have tended to hinder his reception by a broad philosophical audience. His main influence as a philosopher when he was alive was, though, often based on his very lucid public lectures. Drawing on these lectures, both published and unpublished, Bowie argues that important recent interpretations of Hegel, and related developments in pragmatism, echo key ideas in Adorno’s thought. At the same time, Adorno’s insistence that philosophy should make the Holocaust central to the assessment of modern rationality suggests ways in which these approaches should be complemented by his preparedness to confront some of the most disturbing aspects of modern history. What emerges is a remarkably clear and engaging re-interpretation of Adorno’s thought, as well as an illuminating and original review of the state of contemporary philosophy.Adorno and the Ends of Philosophy will be indispensable to students of Adorno’s work at all levels. This compelling book is also set to ignite debate surrounding the reception of Adorno’s philosophy and bring him into the mainstream of philosophical debate at a time when the divisions between analytical and European philosophy are increasingly breaking down.
Adorno and the Ends of Philosophy
by Andrew BowieTheodor Adorno’s reputation as a cultural critic has been well-established for some time, but his status as a philosopher remains unclear. In Adorno and the Ends of Philosophy Andrew Bowie seeks to establish what Adorno can contribute to philosophy today. Adorno’s published texts are notably difficult and have tended to hinder his reception by a broad philosophical audience. His main influence as a philosopher when he was alive was, though, often based on his very lucid public lectures. Drawing on these lectures, both published and unpublished, Bowie argues that important recent interpretations of Hegel, and related developments in pragmatism, echo key ideas in Adorno’s thought. At the same time, Adorno’s insistence that philosophy should make the Holocaust central to the assessment of modern rationality suggests ways in which these approaches should be complemented by his preparedness to confront some of the most disturbing aspects of modern history. What emerges is a remarkably clear and engaging re-interpretation of Adorno’s thought, as well as an illuminating and original review of the state of contemporary philosophy.Adorno and the Ends of Philosophy will be indispensable to students of Adorno’s work at all levels. This compelling book is also set to ignite debate surrounding the reception of Adorno’s philosophy and bring him into the mainstream of philosophical debate at a time when the divisions between analytical and European philosophy are increasingly breaking down.
Aesthetic Dimensions of Modern Philosophy
by Andrew BowieMuch of contemporary philosophy, especially in the analytical tradition, regards aesthetics as of lesser significance than epistemology, ethics, metaphysics, and the philosophy of language. Yet, in Aesthetic Dimensions of Modern Philosophy, Andrew Bowie explores the idea that art and aesthetics have crucial implications for those areas of philosophy. In the modern period, the growth of warranted scientific knowledge is accompanied both by heightened concern with epistemological scepticism and a new philosophical attention to art and the beauty of nature. This suggests that modernity involves problems concerning how human beings make sense of the world that go beyond questions of knowledge, and are reflected in the arts. The relationship of art to philosophy is explored in Montaigne, Descartes, Hume, Kant, Schelling, the early German Romantics, and Hegel. This book also considers Cassirer's and the hermeneutic tradition's exploration of close links between meaning in language and in art. The work of Karl Polanyi, Marx, Nietzsche, Heidegger, Adorno, Dewey, and others is used to investigate how the modern sciences and the development of capitalism change both humankind's relations to nature and the nature of value, and so affect the role of art in human self-understanding. The aesthetic dimensions of modern philosophy can help to uncover often neglected historical shifts in how 'subjective' and 'objective' are conceived. Seeing art as a kind of philosophy, and philosophy as a kind of art, reveals unresolved tensions between the different cultural domains of the modern world and questions some of the orientation of contemporary philosophy.
Aesthetic Dimensions of Modern Philosophy
by Andrew BowieMuch of contemporary philosophy, especially in the analytical tradition, regards aesthetics as of lesser significance than epistemology, ethics, metaphysics, and the philosophy of language. Yet, in Aesthetic Dimensions of Modern Philosophy, Andrew Bowie explores the idea that art and aesthetics have crucial implications for those areas of philosophy. In the modern period, the growth of warranted scientific knowledge is accompanied both by heightened concern with epistemological scepticism and a new philosophical attention to art and the beauty of nature. This suggests that modernity involves problems concerning how human beings make sense of the world that go beyond questions of knowledge, and are reflected in the arts. The relationship of art to philosophy is explored in Montaigne, Descartes, Hume, Kant, Schelling, the early German Romantics, and Hegel. This book also considers Cassirer's and the hermeneutic tradition's exploration of close links between meaning in language and in art. The work of Karl Polanyi, Marx, Nietzsche, Heidegger, Adorno, Dewey, and others is used to investigate how the modern sciences and the development of capitalism change both humankind's relations to nature and the nature of value, and so affect the role of art in human self-understanding. The aesthetic dimensions of modern philosophy can help to uncover often neglected historical shifts in how 'subjective' and 'objective' are conceived. Seeing art as a kind of philosophy, and philosophy as a kind of art, reveals unresolved tensions between the different cultural domains of the modern world and questions some of the orientation of contemporary philosophy.