Cultivating Personhood: Kant and Asian Philosophy

Total Page:16

File Type:pdf, Size:1020Kb

Cultivating Personhood: Kant and Asian Philosophy Cultivating Personhood: Kant and Asian Philosophy Cultivating Personhood: Kant and Asian Philosophy Edited by Stephen R. Palmquist De Gruyter ISBN 978-3-11-022623-2 e-ISBN 978-3-11-022624-9 Library of Congress Cataloging-in-Publication Data Cultivating personhood : Kant and Asian philosophy / edited by Stephen R. Palmquist. p. cm. Proceedings of a conference held in May 2009 in Hong Kong. Includes bibliographical references and index. ISBN 978-3-11-022623-2 (hardcover : alk. paper) 1. Persons Ϫ Congresses. 2. Philosophical anthropology Ϫ Con- gresses. 3. Kant, Immanuel, 1724Ϫ1804 Ϫ Congresses. 4. Philoso- phy, Asian Ϫ Congresses. I. Palmquist, Stephen R. BD450.C85 2010 128Ϫdc22 2010036203 Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbibliografie; detailed bibliographic data are available in the Internet at http://dnb.d-nb.de. ” 2010 Walter de Gruyter GmbH & Co. KG, Berlin/New York Printing and binding: Hubert & Co. GmbH & Co. KG, Göttingen ϱ Printed on acid-free paper Printed in Germany www.degruyter.com To Philadora Grace A genuine union of East and West Preface Chinese philosophy first came to my attention in the early 1980s, not long after I read Kant’s three Critiques in March of 1981. Even at that early stage, I felt instinctively that Kant is deeply Chinese in his think- ing, with close parallels (in very different ways) to both Confucian and Daoist philosophers. Soon after coming to Hong Kong to teach in 1987, I learned of Mou Zongsan and his intriguing challenge both to his own Chinese tradition (to take Kant more seriously) and to Western Kant scholars (to make use of Chinese philosophical resources to fill gaps in philosophical wisdom left by Kant). I gradually became convinced that a major international conference was not only possible, but increas- ingly urgent as a path to forge in cross-cultural philosophy, given the rising place of China on the world scene. Belonging to a department uncommonly blessed with scholars well-versed in Kant’s philosophy gave me confidence to believe that my own university would make an ideal venue for such a ground-breaking event. Yet it took over six- teen years to get past the idea stage. Not until May of 2007, when Prof. Cheng Chung-ying visited the Department of Religion and Philosophy at Hong Kong Baptist Univer- sity as a scholarly consultant and gave his resounding approval to the idea, did the planning process for the “Kant in Asia” conference actually begin. On a return visit later that year, Prof. Cheng suggested that the conference focus on the unity of personhood, a theme that was eventu- ally adopted when the conference Organizing Committee held its first meeting in January of 2008. On the first day of the Chinese Year of the Rat, a preliminary Call for Papers was sent to Kant scholars around the world, and the response was so overwhelming that the Committee kept needing to increase the planned number of participants. The assis- tance of numerous philosophical societies around the world was essential in promoting the conference so effectively. In the end over 200 abstracts were submitted. With funding kindly promised by the Department in March of 2008 and by the University a few months later, we eventually invited three distinguished keynote speakers and 94 paper presenters, from over 30 different countries. As the Year of the Ox drew near (early 2009), almost as if to insure that our ideals of unity could not be realized too fully, the Organizing VIII Preface Committee began experiencing something like a Kantian “conflict of the faculties” first hand. Procedural tensions eventually led a minority on the Committee to stage a mutiny, casting a shadow over the Depart- ment’s involvement. Fortunately, the majority of my colleagues, togeth- er with a team of over 20 students, stuck with their commitments, pro- viding much-needed assistance in the weeks preceeding the long-await- ed event. With the many challenges we faced together in the days lead- ing up to the conference, the second of the two sentences quoted at the beginning of the Editor’s Introduction became the motto for the major international conference that took place from 20–23 May 2009. “Kant in Asia: The Unity of Human Personhood” was a great success by all counts, even regarded by some participants as instigating a sea change in global Kant studies. Not long after the conference, Walter de Gruyter offered to publish the proceedings. The present volume includes revised versions of the three kenote lectures, followed by 64 out of approximately 80 contrib- uted papers that were submitted after the conference. In editing these essays I have sought to strike a balance between unity of form and di- versity of content. Certain stylistic and grammatical standards have been applied to the essays, and I would like to thank each contributor for her or his forbearance in putting up with the requirements of the chosen conventions, even when these conflicted with the author’s own preferred usages. Several features, however, proved so distinctive of different cultural approaches to the issues being discussed that I elect- ed not to impose a common standard. Perhaps the best example is the use of Chinese (and other Asian) names. As the form of these names, when expressed in European languages, can vary widely, and as names are among the most personal of all words, I have allowed each author to name both him/herself and others in whatever manner she or he prefers. The same goes for names of philosophies or traditions (e.g., “Daoism” vs. “Taoism”), except that I have ensured that all such names are capitalized. A brief biographical sketch of each contrib- utor can be found at the end of the book. Following this Preface is an explanation of the referencing system used throughout the book. I would like to thank some of the many persons who, following Prof. Cheng’s crucial initial support, made this project possible. Without the backing of Kwan Kai Man, my Department Head in 2007–2008, the conference never would have materialized. The colleagues who joined me on the Organizing Committee (Jonathan, Leo, William, Kwok Kui, and Ellen) each made crucial contributions in shaping the Preface IX program as it developed over a period of more than a year; despite the conflict that arose, I will always cherish the collegial trust we six devel- oped during those initial months of planning. For encouraging the Uni- versity to provide a substantial additional grant, shortly after the confer- ence first became a Department event, and for continuing their support by appearing as honored guests at the Opening Ceremony, I thank HKBU’s Arts Faculty Dean, Chung Ling, and Vice President for Re- search and Institutional Development, Tsoi Ah Chung. Cheung Ping- ling helped design the poster and secured last minute sponsorship, in the hope that we would not need to utilize Department funds. Thanks also to Dean Chung for persuading the new Department Head to do the right thing by providing funds from a Departmnt account to cover most of the shortfall that remained after the conference. The list of students who assisted during the conference is too long to reproduce here, but a special thanks is due to the four who led teams of other students to look after virtually all the details of actually running the event itself: without the unflinching assistance of Bosco (Wu Wing Keung), Can- dies (Lo Kwan Yuk), Coey (Hui Ka Yu), and Ringo (Cheung Siu Ko), the conference could easily have descended into chaos. I also deep- ly appreciated the colleagues not on the Organizing Committee, and the numerous scholars from other institutions in Hong Kong, who assisted by chairing one or more of the conference’s 36 concurrent sessions. Ob- viously, the scholars who submitted papers, took the trouble to come all the way to Hong Kong for the conference, and especially those who re- submitted revised versions for this publication, deserve credit for actual- ly making the conference so successful. But most of all, for the care and attention she paid to so many aspects of the planning, implementation, and aftermath of the conference (e.g., processing literally thousands of emails sent to the kantinasia gmail account), including this publication (e.g., helping to prepare the index), and for encouraging me to move forward with this long-standing dream even before Prof. Cheng did, my wife, Natalya (Lok Yuen Ching), deserves credit for the success of both the conference and its published proceedings. Together we ded- icate this book to our daughter, whose energetic disposition is a source of constant good cheer, engendering ever-renewed faith in the possibil- ity of the unity of personhood. Stephen R. Palmquist Hong Kong, 11 October 2010 Note on References References to Kant’s works are normally included in the main text, spec- ifying the volume and page numbers of the Berlin Academy Edition (or, in the case of Critique of Pure Reason, the standard A/B page numbering). English translations used are those of the Cambridge Edition of Kant’s works, unless otherwise noted. Some authors also use the following abbre- viations to refer to works named repeatedly: CPR: Critique of Pure Reason CPrR: Critique of Practical Reason CJ: Critique of Judgment GMM or Groundwork: Groundwork of the Metaphysics of Morals MM: Metaphysics of Morals RBR or Religion: Religion within the Bounds of Bare Reason The specific volumes of The Cambridge Edition of the Works of Immanuel Kant, general editors Paul Guyer and Allen W. Wood (Cambridge: Cam- bridge University Press), listed alphabetically by title, are as follows: Anthropology, History, and Education, ed.
Recommended publications
  • Historical and Pure Religion: a Response to Stephen Palmquist Author(S): Douglas Mcgaughey Source: the Journal of Religion, Vol
    Historical and Pure Religion: A Response to Stephen Palmquist Author(s): Douglas McGaughey Source: The Journal of Religion, Vol. 93, No. 2 (April 2013), pp. 151-176 Published by: The University of Chicago Press Stable URL: http://www.jstor.org/stable/10.1086/669206 . Accessed: 28/03/2013 09:03 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp . JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. The University of Chicago Press is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Religion. http://www.jstor.org This content downloaded from 158.104.100.45 on Thu, 28 Mar 2013 09:03:54 AM All use subject to JSTOR Terms and Conditions Historical and Pure Religion: A Response to Stephen Palmquist* Douglas McGaughey / Willamette University INTRODUCTION In the preface to the second edition of Religion within the Boundaries of Mere Reason, Kant parses out options for engaging a discussion between two kinds of faith: the first option is historical religion, which draws its doctrines from a particular, historical revelation ða posterioriÞ, whereas the second option is pure religion, in which one self-legislates moral principles ða prioriÞ “abstracted from experience.”1 What makes something pure, according to Kant, is that it is concerned with those elements in the supersensible dimension of experience ðthe “intelligible,” or consciousnessÞ that must be added to phenomena in order for us to understand.
    [Show full text]
  • Undergraduate Catalog 14-16
    UNDERGRADUATE CATALOG: 2014-2016 Connecticut State Colleges and Universities ACADEMIC DEPARTMENTS, PROGRAMS, AND Accreditation and Policy COURSES Message from the President Ancell School of Business Academic Calendar School of Arts & Sciences Introduction to Western School of Professional Studies The Campus School of Visual and Performing Arts Admission to Western Division of Graduate Studies Student Expenses Office of Student Aid & Student Employment Directory Student Affairs Administration Academic Services and Procedures Faculty/Staff Academic Programs and Degrees Faculty Emeriti Graduation Academic Program Descriptions WCSU Undergraduate Catalog: 2014-2016 1 CONNECTICUT STATE COLLEGES & UNIVERSITIES The 17 Connecticut State Colleges & Universities (ConnSCU) provide affordable, innovative and rigorous programs that permit students to achieve their personal and career goals, as well as contribute to the economic growth of Connecticut. The ConnSCU System encompasses four state universities – Western Connecticut State University in Danbury, Central Connecticut State University in New Britain, Eastern Connecticut State University in Willimantic and Southern Connecticut State University in New Haven – as well as 12 community colleges and the online institution Charter Oak State College. Until the state’s higher education reorganization of 2011, Western was a member of the former Connecticut State Unviersity System that also encompassed Central, Eastern and Southern Connecticut state universities. With origins in normal schools for teacher education founded in the 19th and early 20th centuries, these institutions evolved into diversified state universities whose graduates have pursued careers in the professions, business, education, public service, the arts and other fields. Graduates of Western and other state universities contribute to all aspects of Connecticut economic, social and cultural life.
    [Show full text]
  • SMT Solving in a Nutshell
    SAT and SMT Solving in a Nutshell Erika Abrah´ am´ RWTH Aachen University, Germany LuFG Theory of Hybrid Systems February 27, 2020 Erika Abrah´ am´ - SAT and SMT solving 1 / 16 What is this talk about? Satisfiability problem The satisfiability problem is the problem of deciding whether a logical formula is satisfiable. We focus on the automated solution of the satisfiability problem for first-order logic over arithmetic theories, especially using SAT and SMT solving. Erika Abrah´ am´ - SAT and SMT solving 2 / 16 CAS SAT SMT (propositional logic) (SAT modulo theories) Enumeration Computer algebra DP (resolution) systems [Davis, Putnam’60] DPLL (propagation) [Davis,Putnam,Logemann,Loveland’62] Decision procedures NP-completeness [Cook’71] for combined theories CAD Conflict-directed [Shostak’79] [Nelson, Oppen’79] backjumping Partial CAD Virtual CDCL [GRASP’97] [zChaff’04] DPLL(T) substitution Watched literals Equalities and uninterpreted Clause learning/forgetting functions Variable ordering heuristics Bit-vectors Restarts Array theory Arithmetic Decision procedures for first-order logic over arithmetic theories in mathematical logic 1940 Computer architecture development 1960 1970 1980 2000 2010 Erika Abrah´ am´ - SAT and SMT solving 3 / 16 SAT SMT (propositional logic) (SAT modulo theories) Enumeration DP (resolution) [Davis, Putnam’60] DPLL (propagation) [Davis,Putnam,Logemann,Loveland’62] Decision procedures NP-completeness [Cook’71] for combined theories Conflict-directed [Shostak’79] [Nelson, Oppen’79] backjumping CDCL [GRASP’97] [zChaff’04]
    [Show full text]
  • A Survey of User Interfaces for Computer Algebra Systems
    J. Symbolic Computation (1998) 25, 127–159 A Survey of User Interfaces for Computer Algebra Systems NORBERT KAJLER† AND NEIL SOIFFER‡§ †Ecole des Mines de Paris, 60 Bd. St-Michel, 75006 Paris, France ‡Wolfram Research, Inc., 100 Trade Center Drive, Champaign, IL 61820, U.S.A. This paper surveys work within the Computer Algebra community (and elsewhere) di- rected towards improving user interfaces for scientific computation during the period 1963–1994. It is intended to be useful to two groups of people: those who wish to know what work has been done and those who would like to do work in the field. It contains an extensive bibliography to assist readers in exploring the field in more depth. Work related to improving human interaction with computer algebra systems is the main focus of the paper. However, the paper includes additional materials on some closely related issues such as structured document editing, graphics, and communication protocols. c 1998 Academic Press Limited 1. Introduction There are several problems with current computer algebra systems (CASs) that are interface-related. These problems include: the use of an unnatural linear notation to enter and edit expressions, the inherent difficulty of selecting and modifying subexpressions with commands, and the display of large expressions that run off the screen. These problems may intimidate novice users and frustrate experienced users. The more natural and intuitive the interface (the closer it corresponds to pencil and paper manipulations), the more likely it is that people will want to take advantage of the CAS for its ability to do tedious computations and to verify derivations.
    [Show full text]
  • The Process of Urban Systems Integration
    THE PROCESS OF URBAN SYSTEMS An integrative approach towards the institutional process of systems integration in urban area development INTEGRATION MSc Thesis Eva Ros MSc Thesis November 2017 Eva Ros student number # 4188624 MSc Architecture, Urbanism and Building Sciences Delft University of Technology, department of Management in the Built Environment chair of Urban Area Development (UAD) graduation laboratory Next Generation Waterfronts in collaboration with the AMS institute First mentor Arie Romein Second mentor Ellen van Bueren This thesis was printed on environmentally friendly recycled and unbleached paper 2 THE PROCESS OF URBAN SYSTEMS INTEGRATION An integrative approach towards the institutional process of systems integration in urban area development 3 MANAGEMENT SUMMARY (ENG) INTRODUCTION Today, more than half of the world’s population lives in cities. This makes them centres of resource consumption and waste production. Sustainable development is seen as an opportunity to respond to the consequences of urbanisation and climate change. In recent years the concepts of circularity and urban symbiosis have emerged as popular strategies to develop sustainable urban areas. An example is the experimental project “Straat van de Toekomst”, implementing a circular strategy based on the Greenhouse Village concept (appendix I). This concept implements circular systems for new ways of sanitation, heat and cold storage and greenhouse-house symbiosis. Although many technological artefacts have to be developed for these sustainable solutions, integrating infrastructural systems asks for more than just technological innovation. A socio-cultural change is needed in order to reach systems integration. The institutional part of technological transitions has been underexposed over the past few years.
    [Show full text]
  • Modeling and Analysis of Hybrid Systems
    Building Bridges between Symbolic Computation and Satisfiability Checking Erika Abrah´ am´ RWTH Aachen University, Germany in cooperation with Florian Corzilius, Gereon Kremer, Stefan Schupp and others ISSAC’15, 7 July 2015 Photo: Prior Park, Bath / flickr Liam Gladdy What is this talk about? Satisfiability problem The satisfiability problem is the problem of deciding whether a logical formula is satisfiable. We focus on the automated solution of the satisfiability problem for first-order logic over arithmetic theories, especially on similarities and differences in symbolic computation and SAT and SMT solving. Erika Abrah´ am´ - SMT solving and Symbolic Computation 2 / 39 CAS SAT SMT (propositional logic) (SAT modulo theories) Enumeration Computer algebra DP (resolution) systems [Davis, Putnam’60] DPLL (propagation) [Davis,Putnam,Logemann,Loveland’62] Decision procedures NP-completeness [Cook’71] for combined theories CAD Conflict-directed [Shostak’79] [Nelson, Oppen’79] backjumping Partial CAD Virtual CDCL [GRASP’97] [zChaff’04] DPLL(T) substitution Watched literals Equalities and uninterpreted Clause learning/forgetting functions Variable ordering heuristics Bit-vectors Restarts Array theory Arithmetic Decision procedures for first-order logic over arithmetic theories in mathematical logic 1940 Computer architecture development 1960 1970 1980 2000 2010 Erika Abrah´ am´ - SMT solving and Symbolic Computation 3 / 39 SAT SMT (propositional logic) (SAT modulo theories) Enumeration DP (resolution) [Davis, Putnam’60] DPLL (propagation) [Davis,Putnam,Logemann,Loveland’62]
    [Show full text]
  • Immanuel Kant: a Christian Philosopher?
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Asbury Theological Seminary Faith and Philosophy: Journal of the Society of Christian Philosophers Volume 6 Issue 1 Article 5 1-1-1989 Immanuel Kant: A Christian Philosopher? Stephen Palmquist Follow this and additional works at: https://place.asburyseminary.edu/faithandphilosophy Recommended Citation Palmquist, Stephen (1989) "Immanuel Kant: A Christian Philosopher?," Faith and Philosophy: Journal of the Society of Christian Philosophers: Vol. 6 : Iss. 1 , Article 5. Available at: https://place.asburyseminary.edu/faithandphilosophy/vol6/iss1/5 This Article is brought to you for free and open access by the Journals at ePLACE: preserving, learning, and creative exchange. It has been accepted for inclusion in Faith and Philosophy: Journal of the Society of Christian Philosophers by an authorized editor of ePLACE: preserving, learning, and creative exchange. IMMANUEL KANT: A CHRISTIAN PHILOSOPHER? Stephen Palmquist I begin with a few general suggestions about what it means to be a Christian. I then sum­ marize the new interpretation of Kant as proposing a 'System of Perspectives,' which I have set out in greater detail elsewhere. After discussing the important notions of 'criticism,' 'perspective' and 'system' as they operate in Kant's thought, the bulk of the essay is devoted to an assessment of the theological implications of Kant's System, I conclude that, contrary to popular opinion, particularly among some Christian theologians, Kant's intentions were theologically constructive, and moreover, that his System is thoroughly consistent with the Christian perspective. One's answer to the question of the Christian character of Kant's Critical philos­ ophy will determine the extent to which one believes his System can serve as an adequate philosophical foundation for a Christian world view.
    [Show full text]
  • Bibliography
    BIBLIOGRAPHY Abbott, Edwin A., The Kernel and the Husk: Letters on Spiritual Christianity, by the Author of “Philochristus” and “Onesimus”, London: Macmillan, 1886. Adams, Dickenson W. (ed.), The Papers of Thomas Jefferson (Second Series): Jefferson’s Extracts from the Gospels, Ruth W. Lester (Assistant ed.), Princeton, NJ: Princeton University Press, 1983. Addis, Cameron, Jefferson’s Vision for Education, 1760–1845, New York: Peter Lang, 2003. Adorno, Theodore W., and Max Horkheimer, Dialectic of Enlightenment, John Cumming (trans.), London: Allen Lane, 1973. Agrippa, Heinrich Cornelius, The Vanity of the Arts and Sciences, London: Printed by R. E. for R. B. and Are to Be Sold by C. Blount, 1684. Albertan-Coppola, Sylviane, ‘Apologetics’, in Catherine Porter (trans.), Alan Charles Kors (ed.), The Encyclopedia of the Enlightenment (vol. 1 of 4), Oxford: Oxford University Press, 2001, pp. 58–63. Alexander, Gerhard (ed.), Apologie oder Schutzschrift für die vernünfti- gen Verehrer Gottes/Hermann Samuel Reimarus (2 vols.), im Auftrag der Joachim-Jungius-Gesellschaft der Wissenschaften in Hamburg, Frankfurt: Insel, 1972. ———, Auktionskatalog der Bibliothek von Hermann Samuel Reimarus: alphabe- tisches Register, Hamburg: Joachim-Jungius-Gesellschaft der Wissenschaften, 1980. Alexander, H. G. (ed.), The Leibniz-Clarke Correspondence: Together with Extracts from Newton’s “Principia” and “Opticks”, Manchester: Manchester University Press, 1956. © The Editor(s) (if applicable) and The Author(s) 2019 375 J. C. P. Birch, Jesus in an Age of Enlightenment, Christianities in the Trans-Atlantic World, https://doi.org/10.1057/978-1-137-51276-5 376 BIBLIOGRAPHY Allegro, John M., The Sacred Mushroom and the Cross: A Study of the Nature and Origins of Christianity Within the Fertility Cults of the Ancient Near East, London: Hodder and Stoughton, 1970.
    [Show full text]
  • CURRICULUM VITAE Eric S. Nelson, Ph.D. Associate Professor, Division
    CURRICULUM VITAE Eric S. Nelson, Ph.D. Associate Professor, Division of the Humanities Academic Building, The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong SAR Email: [email protected] Websites Academia: https://hkust.academia.edu/EricSNelson Google Scholar: https://scholar.google.com.hk/citations?user=TYI4Br8AAAAJ&hl=en Philpeople: https://philpeople.org/profiles/eric-s-nelson Researchgate: https://www.researchgate.net/profile/Eric_Nelson20 PROFESSIONAL SUMMARY Current Position 2014- : Associate Professor, Humanities, Hong Kong University of Science and Technology Areas of Research Hermeneutics, Critical Social Theory, Phenomenology Daoist and Buddhist Philosophy, Comparative and Intercultural Philosophy Philosophy of Nature, Ecology, and Environmental Ethics Education 2002: Ph.D. in Philosophy from Emory University (Atlanta, GA, USA) 1993: B.A. in Philosophy from Northwestern University (Evanston, IL, USA) I. RESEARCH PUBLICATIONS 1. VOLUMES Monographs 1. (Forthcoming) Levinas, Adorno, and the Ethics of the Material Other (Albany: SUNY, 2019). 2. Chinese and Buddhist Philosophy in Early Twentieth-Century German Thought (London: Bloomsbury, 2017) / paperback edition with new afterword (London: Bloomsbury, 2019). Interviews: 3am Magazine (2018). Reviews: (1) Steve Burik, Global Intellectual History (2017), (2) Erik Hoogcarspel, Phenomenological Reviews (2018), (3) Kwok-ying Lau, Notre Dame Philosophical Reviews (2018), (4) Jay Goulding, Journal of World Philosophies (2018), (5) David Chai, Philosophy East and West (2018), (6) Halla Kim, 1 Frontiers of Philosophy in China (2018); (7) Fiona Ellis, Philosophy, 11 October 2018; (8) Lehel Balogh, Religious Studies Review, 44: 352-352. (9) Jean-Yves Heurtebise, Journal of Chinese Philosophy (Forthcoming) Author Meets Critics Conference Panels: (1) Comparative and Continental Philosophy Circle (April 2018); (2) Society for Phenomenology and Existential Philosophy (October 2018); (3) American Philosophical Association: Eastern Division (January 2019).
    [Show full text]
  • Satisfiability Checking and Symbolic Computation
    Satisfiability Checking and Symbolic Computation E. Abrah´am´ 1, J. Abbott11, B. Becker2, A.M. Bigatti3, M. Brain10, B. Buchberger4, A. Cimatti5, J.H. Davenport6, M. England7, P. Fontaine8, S. Forrest9, A. Griggio5, D. Kroening10, W.M. Seiler11 and T. Sturm12 1RWTH Aachen University, Aachen, Germany; 2Albert-Ludwigs-Universit¨at, Freiburg, Germany; 3Universit`adegli studi di Genova, Italy; 4Johannes Kepler Universit¨at, Linz, Austria; 5Fondazione Bruno Kessler, Trento, Italy; 6University of Bath, Bath, U.K.; 7Coventry University, Coventry, U.K.; 8LORIA, Inria, Universit´ede Lorraine, Nancy, France; 9Maplesoft Europe Ltd; 10University of Oxford, Oxford, U.K.; 11Universit¨at Kassel, Kassel, Germany; 12CNRS, LORIA, Nancy, France and Max-Planck-Institut f¨ur Informatik, Saarbr¨ucken, Germany. Abstract Symbolic Computation and Satisfiability Checking are viewed as individual research areas, but they share common interests in the development, implementation and application of decision procedures for arithmetic theories. Despite these commonalities, the two communities are currently only weakly con- nected. We introduce a new project SC2 to build a joint community in this area, supported by a newly accepted EU (H2020-FETOPEN-CSA) project of the same name. We aim to strengthen the connection between these communities by creating common platforms, initiating interaction and exchange, identi- fying common challenges, and developing a common roadmap. This abstract and accompanying poster describes the motivation and aims for the project, and reports on the first activities. 1 Introduction We describe a new project to bring together the communities of Symbolic Computation and Satisfiability Checking into a new joint community, SC2. Both communities have long histories, as illustrated by the tool development timeline in Figure 1, but traditionally they do not interact much even though they are now individually addressing similar problems in non-linear algebra.
    [Show full text]
  • Spin and Orbital Polarons in Strongly Correlated Electron Systems
    Jagiellonian University Faculty of Physics, Astronomy & Applied Computer Science Marian Smoluchowski Institute of Physics Spin and Orbital Polarons in Strongly Correlated Electron Systems Krzysztof Bieniasz A Ph.D. Thesis prepared under the supervision of prof. dr hab. Andrzej Michał Oleś Kraków 4239 Oświadczenie Ja, niżej podpisany, Krzysztof Bieniasz (nr indeksu: 323673;), doktorant Wydziału Fizyki, Astronomii i Informatyki Stosowanej Uniwersytetu Jagiel- lońskiego, oświadczam, że przedłożona przeze mnie rozprawa doktorska pt. „Polarony spinowe i orbitalne w układach silnie skorelowanych elektronów” (tytuł w języku angielskim: “Spin and Orbital Polarons in Strongly Correlated Electron Systems”) jest oryginalna i przedstawia wyniki badań wykonanych przeze mnie osobiście, pod kierunkiem prof. dra hab. Andrzeja M. Olesia. Pracę napisałem samodzielnie. Oświadczam, że moja rozprawa doktorska została opracowana zgodnie z Ustawą o prawie autorskim i prawach pokrewnych z dnia 6 lutego 3;;6 r. (Dziennik Ustaw 3;;6 nr 46 poz. :5 wraz z późniejszymi zmianami). Jestem świadom, że niezgodność niniejszego oświadczenia z prawdą, ujaw- niona w dowolnym czasie, niezależnie od skutków prawnych wynikających z wyżej wymienionej ustawy, może spowodować unieważnienie stopnia naby- tego na podstawie tej rozprawy. Kraków, 45 czerwca 4239 r. .............................. Streszczenie Właściwości układów silnie skorelowanych elektronów, a w szczególności skorelowanych izolatorów Motta, które są często spotykane wśród tlenków metali przejściowych, są istotnym zagadnieniem w fizyce fazy skonden- sowanej. Jednym z głównych problemów w tej dziedzinie, zwłaszcza ze względu na jego znaczenie dla eksperymentów fotoemisyjnych, jest zachowanie się ładunku poruszającego się w izolatorze Motta, sprzęga- jącego się do spinowych i orbitalnych stopni swobody, tworząc polaron. Zagadnienie istnienia oraz dynamicznych właściwości powstającej w ten sposób kwazicząstki da się rozwiązać za pomocą obliczeń funkcji Greena z modeli efektywnych.
    [Show full text]
  • Impossible Objects
    Some (Possibly) New Considerations Regarding Impossible Objects Aaron Sloman http://www.cs.bham.ac.uk/~axs School of Computer Science University of Birmingham Mathematical cognition is primarily about necessities and impossibilities, recognized through understanding of structural relationships NOT regularities and probabilities derived by collecting statistical evidence. E.g. if spatial volume V1 contains V2, and V2 contains V3, then V1 mustcontain V3. I.e. V1 contains V2, and V2 contains V3 and V1 does not contain V3 is impossible. Similarly 3+5 mustequal 8. It cannotequal 9. (Immanuel Kant pointed out this feature of mathematics in Kant(1781).) Neural nets that merely derive probabilities from statistical data cannot explain those key kinds of mathematical cognition. Surprisingly many neuroscientists, psychologists, philosophers and AI researchers are blind to this limitation of neural nets including some who are much admired for research on mathematical cognition! Perhaps they and their admirers are simply blind to key features of mathematical cognition pointed out by Kant. Euclid’s Elements is full of examples but misguided 20th century educational decisions deprived a high proportion of intelligent learners of opportunities to experience discovering geometrical proofs and refutations. Alternative titles: -- Impossibility: the dark face of necessity. -- What don’t we know about spatial perception/cognition? especially the perceptual abilities of ancient mathematicians? -- Aspects of mathematical consciousness, -- Possible impossible
    [Show full text]