DOCSLIB.ORG

CLAS Academic Handbook 2020-2021.Pdf

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

1 Villanova University College of Liberal Arts and Sciences 2020-21 Catalog Table of Contents College of Liberal Arts and Sciences Academic Incomplete Grades for Undergraduate Students | Page 21 Handbook | Page 4 Laboratory Science Accommodation for Student with Disabilities | Page 21 College of Liberal Arts and Sciences | Page 4 Leave of Absence | Page 22 College of Liberal Arts and Sciences Directory | Page 4 Mathematics Placement | Page 22 History | Page 4 Medallion of Excellence | Page 22 Academic Mission | Page 5 Medical Leave of Absence | Page 22 Mission to Students, Faculty, and Staff | Page 5 Official tDa e of Graduation | Page 22 Office for Undergraduate Students | Page 6 Overload Policy | Page 22 Office for Undergraduate Students Directory | Page 6 Phi Beta Kappa (ΦΒΚ) | Page 23 Vision | Page 6 Refunds/Tuition Reversal | Page 23 Mission | Page 6 Removal of AP Course Credit | Page 23 Academic Advising | Page 6 Repeat Course Request | Page 23 Exploratory Science Advising | Page 7 Required Units for Admission | Page 24 Health Professions Advising | Page 7 Residency Requirement for Graduation | Page 24 Internship Program | Page 7 Satisfactory/Unsatisfactory Grades | Page 24 Leadership and Professional Development | Page 7 Students with Disabilities | Page 24 The Bridge Society | Page 8 Transfer Credit Hours | Page 24 The Core Curriculum | Page 8 Transfer Students | Page 25 Core Curriculum Overview | Page 8 Unauthorized Withdrawal | Page 26 Summary of Core Curriculum Course Requirements | Page 8 Undergraduates Taking Graduate Level Courses | Page 26 Fulfilling orC e Curriculum Course Requirements | Page 9 Withdrawal from the University | Page 26 Learning Outcomes and Assessment | Page 12 W Grade | Page 26 University and CLAS Policies | Page 12 Walkers at Commencement | Page 26 Academic Bankruptcy | Page 12 Withdrawal from a Course | Page 26 Academic Dismissal | Page 12 WX Grade | Page 27 Academic Integrity | Page 13 Y Grade | Page 27 Academic Probation | Page 13 Degrees | Page 28 Academic Progress | Page 13 Academic Standing | Page 13 Aerospace Studies (Air Force ROTC) | Page 28 Advanced Placement and International Baccalaureate Credit Africana Studies | Page 28 | Page 13 Arab and Islamic Studies | Page 29 Apply for Re-Admission | Page 15 Arabic Language | Page 29 Attendance | Page 15 Art History | Page 30 Auditing a Course | Page 16 Asian Studies | Page 32 CLAS Students Taking College of Professional Studies Courses Astrophysics and Planetary Science | Page 33 | Page 16 Biochemistry | Page 35 Closed Section | Page 16 Biology | Page 37 Complaints Against Faculty | Page 16 Business | Page 39 Confidentiality | Page 16 Center for Irish Studies | Page 40 Credit by Exam | Page 16 Chemistry | Page 41 Credit Increases | Page 17 Chinese Language | Page 44 Cross College Majors | Page 17 Classical Studies | Page 45 Dean's List | Page 17 Cognitive Science | Page 46 Declaring or Changing a Major for CLAS Students | Page 17 Communication | Page 49 Declaring a CLAS Minor or Concentration | Page 18 Comprehensive Science | Page 52 Degree Requirements | Page 18 Computing Sciences | Page 53 Disclosure of Student Records | Page 18 Criminology | Page 55 Double Majors/Primary & Secondary Majors | Page 18 Economics | Page 57 Drop/Add | Page 18 Education and Counseling | Page 59 Dual Degree Policy | Page 18 English | Page 63 F Grade | Page 19 Ethics | Page 67 Fast Forward Courses | Page 19 French and Francophone Studies | Page 69 Final Exams and Finals Week | Page 19 Gender and Women's Studies | Page 70 Full-Time Student Status vs. Part-Time Student Status (i.e. Geography and the Environment | Page 71 Scholastic Load) | Page 19 Global Interdisciplinary Studies | Page 79 Grade Appeals | Page 19 History | Page 91 Grade Changes | Page 19 Honors | Page 92 Grade Definitions and aluesV | Page 19 Humanities | Page 95 Grade Point Average (GPA) | Page 20 Italian | Page 96 Grade Reports | Page 21 Japanese Language | Page 98 Graduation Honors | Page 21 Latin American Studies | Page 98 Grade Extensions on Incomplete Grades | Page 21 Liberal Arts | Page 99 2 Villanova University College of Liberal Arts and Sciences 2020-21 Catalog Mathematics and Statistics | Page 99 Education | Page 178 Military Science (Army ROTC) | Page 104 English | Page 183 Naval Science (Navy ROTC) | Page 104 Entrepreneurship | Page 190 Peace and Justice | Page 104 Ethics | Page 190 Philosophy | Page 105 Finance | Page 191 Physics | Page 107 French and Francophone Studies | Page 193 Political Science | Page 109 Gender and Women's Studies | Page 196 Psychological and Brain Sciences | Page 112 Geography and the Environment | Page 196 Public Administration | Page 116 Global Interdisciplinary Studies | Page 202 Russian Studies | Page 117 Greek | Page 205 Sociology | Page 118 History | Page 206 Spanish Studies | Page 119 Honors | Page 213 Theatre | Page 121 Human Services | Page 217 Theology and Religious Studies | Page 123 Humanities | Page 217 Writing and Rhetoric | Page 126 Italian | Page 220 Course Descriptions | Page 130 Japanese Language | Page 223 Latin | Page 224 Accounting | Page 130 Latin American Studies | Page 225 Aerospace Studies (Air Force ROTC) | Page 132 Leadership | Page 225 Africana Studies | Page 132 Liberal Arts | Page 226 American Sign Language | Page 133 Management | Page 226 Arab and Islamic Studies | Page 133 Marketing | Page 228 Arabic Language | Page 133 Mathematics and Statistics | Page 230 Art History | Page 134 Meteorology | Page 234 Astrophysics and Planetary Science | Page 136 Naval Science (Navy ROTC) | Page 234 Biology | Page 137 Organizational Development Management | Page 235 Business Administration | Page 144 Peace and Justice | Page 236 Business Law | Page 145 Philosophy | Page 238 Center for Irish Studies | Page 145 Physics | Page 242 Chemistry | Page 146 Political Science | Page 245 Chinese Language | Page 154 Psychological and Brain Sciences | Page 250 Classical Studies | Page 155 Public Administration | Page 252 Cognitive Science | Page 156 Russian Studies | Page 252 Cognitive and Behavioral Neuroscience | Page 157 Sociology | Page 253 Communication | Page 157 Spanish Studies | Page 255 Computing Sciences | Page 166 Statistics | Page 258 Counseling | Page 172 Theatre | Page 260 Criminology | Page 172 Theology and Religious Studies | Page 262 Cultural Studies | Page 174 Economics | Page 174 3 Villanova University College of Liberal Arts and Sciences 2020-21 Catalog origins to old St. Augustine’s Church in College of Liberal Arts and Philadelphia, which the Augustinians founded in 1796, and to its parish school, St. Augustine’s Sciences Academic Academy, established in 1811. Handbook In 1842 the Augustinians purchased “Belle Air,” the country estate of John Rudolph, a Revolutionary War officer and Philadelphia College of Liberal Arts and merchant. There they established the Sciences “Augustinian College of Villanova,” under the patronage of St. Thomas of Villanova, a 16th century Augustinian educator and Bishop of College of Liberal Arts and Valencia, Spain. Eventually the College came to be known as Villanova and gave its name to the Sciences Directory town which grew up around it. Adele Lindenmeyr, Ph.D., Dean Emory Woodard, Ph.D., Dean, Graduate Studies Classes for the new college began on September Crystal J. Lucky, Ph.D., Associate Dean for 18, 1843, when 13 students embarked on a Baccalaureate Studies traditional liberal arts curriculum. At the outset, Barry Selinsky, Ph.D., Associate Dean for however, difficulties plagued the new college. The Research and Faculty Development anti-Catholic “Know Nothing” riots in Philadelphia Joseph Lennon, Ph.D., Associate Dean for in 1844 resulted in the burning of St. Augustine’s International & Interdisciplinary Studies Church. The need to rebuild the church and Edward Fierros, Ph.D., Associate Dean for maintain the new college created a financial crisis Diversity and Inclusion for the Order. As a result, the College closed its Rebecca Rebalsky, Assistant Dean for External doors on February 20, 1845. It was able to reopen and College Relations in September, 1846, with a student population of Susan Jacobs, M.A., Assistant Dean for 24; the first commencement took place on July Undergraduate Students 21, 1847. The following year, on March 10, 1848, the Seth Matthew Fishman, Ph.D., Director of Governor of Pennsylvania, Francis R. Shunk, Curriculum and Assessment signed the Act of Legislature incorporating the College. Office: 105 Saint Augustine Center for the Liberal Arts In 1857, Villanova College closed for a second Phone: 610-519-4600 time. Demands on the services of priests through E-mail Associate Deans: the expansion of parishes in the area created [email protected] staffing oblemspr for the Augustinians, while the E-mail Dean: [email protected] “Panic of 1857” brought on hard economic times. Web site: http://www.villanova.edu/artsci/ The onslaught of the Civil War in 1860 affected student enrollment, and the College was not reopened until September 1865. Set love as the criterion of all that you say, and In the years that followed, the College prospered, whatever you teach, teach in such a way that the increasing its student population and adding person to whom you speak, by hearing, may significantly ot its physical facilities. Although in believe, by believing hope, and by hoping love. the first 50 years of its existence the College concentrated exclusively on the liberal arts, it nevertheless remained open to the changes in curriculum which were required to meet the THE INSTRUCTION
Recommended publications
  • Eternity Free Download

    Eternity Free Download

    ETERNITY FREE DOWNLOAD Heather Terrell | 304 pages | 28 Jun 2011 | HarperCollins Publishers Inc | 9780061965715 | English | New York, United States Eternity in Christian Thought A third approach might involve giving equal weight to both poles and seeking to come to a coherent and adequate conception of both time and God as part of the same Eternity. But note that specific Christian doctrines such as the doctrine of the Trinity or the Incarnation, while closely related, are not the focus here. Play Eternity game. In which case Eternity time-span is not simultaneously a whole. Eternity you would not precede Eternity times. Sermons of Christmas Evans Joseph Cross. Spirituality Outline of spirituality Category:Spirituality. Pike, Nelson C. Past history deep time Present Future Futures studies Far future in religion Timeline of the far future Eternity Eternity of the world. B-theory of time Compatibilism and incompatibilism Determinism Endurantism Eternalism Four-dimensionalism Fatalism Temporal finitism Indeterminism Perdurantism Presentism Static Eternity of time. For Eternity on this solution, see the SEP entries on foreknowledge and free will and fatalism. You are being in a supreme degree and are immutable. Try Now. Color: Color. Therefore nothing ever moves with respect to God. McTaggart distinguished between the A-series and the B-series of events. What sorts of considerations might bear on whether they are or not? Alternate Versions. Suppose something eternal Eternity something as temporally present. Namespaces Article Eternity. Technical Specs. Until recently, the timelessness view dominated in both philosophy and theology. User Reviews. In relativity theory, there are no such things as times or spatial locations, at the fundamental level.
  • Jewish and Christian Cosmogony in Late Antiquity

    Jewish and Christian Cosmogony in Late Antiquity

    Texts and Studies in Ancient Judaism Texte und Studien zum Antiken Judentum Edited by Peter Schäfer (Princeton, NJ/Berlin) Annette Yoshiko Reed (Philadelphia, PA) Seth Schwartz (New York, NY) Azzan Yadin-Israel (New Brunswick, NJ) 155 Jewish and Christian Cosmogony in Late Antiquity Edited by Lance Jenott and Sarit Kattan Gribetz Mohr Siebeck Lance Jenott, born 1980, is a post-doctoral research fellow at the University of Oslo. He studied History, Classics, and Religion at the University of Washington (Seattle) and Princeton University, and holds a PhD in the Religions of Late Antiquity from Princeton University. Sarit Kattan Gribetz, born 1984, is a post-doctoral fellow at the Jewish Theological Semi- nary and Harvard University. She studied Religion, Jewish Studies, and Classics at Prince- ton University, where she earned an AB and PhD in the Religions of Late Antiquity. ISBN 978-3-16-151993-2 ISSN 0721-8753 (Texts and Studies in Ancient Judaism) Die Deutsche Nationalbibliothek lists this publication in the Deutsche Nationalbiblio- graphie; detailed bibliographic data are available on the Internet at http://dnb.dnb.de. © 2013 by Mohr Siebeck, Tübingen, Germany, www.mohr.de This book may not be reproduced, in whole or in part, in any form (beyond that permitted by copyright law) without the publisher's written permission. This applies particularly to reproductions, translations, microfilms and storage and processing in electronic systems. The book was printed on non-aging paper by Guide-Druck in Tübingen and bound by Großbuchbinderei Spinner in Ottersweier. Printed in Germany. Preface This volume presents essays that emerged from a colloquium on the topic of cosmogony (the creation of the world) among ancient Jews and Chris- tians held at Princeton University in May 2010.
  • Timelessness, Creation, and God's Real Relation to the World

    Timelessness, Creation, and God's Real Relation to the World

    Document généré le 1 oct. 2021 20:44 Laval théologique et philosophique Timelessness, Creation, and God’s Real Relation to the World William Lane Craig Expérience et théologie Volume 56, numéro 1, février 2000 URI : https://id.erudit.org/iderudit/401276ar DOI : https://doi.org/10.7202/401276ar Aller au sommaire du numéro Éditeur(s) Faculté de philosophie, Université Laval ISSN 0023-9054 (imprimé) 1703-8804 (numérique) Découvrir la revue Citer cet article Craig, W. L. (2000). Timelessness, Creation, and God’s Real Relation to the World. Laval théologique et philosophique, 56(1), 93–112. https://doi.org/10.7202/401276ar Tous droits réservés © Laval théologique et philosophique, Université Laval, Ce document est protégé par la loi sur le droit d’auteur. L’utilisation des 2000 services d’Érudit (y compris la reproduction) est assujettie à sa politique d’utilisation que vous pouvez consulter en ligne. https://apropos.erudit.org/fr/usagers/politique-dutilisation/ Cet article est diffusé et préservé par Érudit. Érudit est un consortium interuniversitaire sans but lucratif composé de l’Université de Montréal, l’Université Laval et l’Université du Québec à Montréal. Il a pour mission la promotion et la valorisation de la recherche. https://www.erudit.org/fr/ Laval Théologique et Philosophique, 56,1 (février 2000) : 93-112 TIMELESSNESS, CREATION, AND GOD'S REAL RELATION TO THE WORLD William Lane Craig Talbot School of Theology Biola University RÉSUMÉ : La question de la relation de Dieu au monde fait difficulté aujourd'hui, tout autant que dans la perspective traditionnelle. Elle soulève à neuf la question du temps et de l'éternité et appelle un examen approfondi de cette dernière.
  • Undergraduate Catalog 14-16

    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.
  • The Origins of the 247-Year Calendar Cycle Nadia Vidro

    The Origins of the 247-Year Calendar Cycle Nadia Vidro

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by UCL Discovery The Origins of the 247-year Calendar Cycle Nadia Vidro Aleph: Historical Studies in Science and Judaism, Volume 17, Number 1, 2017, pp. 95-137 (Article) Published by Indiana University Press For additional information about this article https://muse.jhu.edu/article/652312 Access provided by University College London (UCL) (30 Mar 2017 08:39 GMT) Nadia Vidro The Origins of the 247-year Calendar Cycle Many medieval and early modern Jewish calendars were based on the assumption that the calendar repeats itself exactly after 247 years. Although this cycle—known as the ʿIggul of R. Naḥshon Gaon—is discussed in many sources, both medieval and modern, its origins remain a mystery. The present article sheds light on the early history of the reiterative Jewish calendar by looking at the oldest 247-year cycles identified to date. Textsf rom the Cairo Genizah demonstrate that the 247-year cycle originated in Babylonia in the middle of the tenth century and was produced by Josiah b. Mevorakh (ibn) al-ʿĀqūlī, previously known from Judeo-Persian calendar treatises. In contrast, a large body of manuscript evidence shows that the attribution of the cycle to R. Naḥshon Gaon (874–882 CE) is not attested before the twelfth century and may be unhistorical. The 247- year cycle may have been proposed as an alternative Jewish calendar that would eliminate the need for calculation and prevent calendar divergence. But at least from the early twelfth century the cycle was seen as a means of setting the standard calendar, even though it is not fully compatible with the latter.
  • SMT Solving in a Nutshell

    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]
  • A Survey of User Interfaces for Computer Algebra Systems

    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.
  • The Process of Urban Systems Integration

    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.
  • Modeling and Analysis of Hybrid Systems

    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]
  • Aquinas and Bonaventure: the World’S Beginning in Time

    Aquinas and Bonaventure: the World’S Beginning in Time

    Aquinas and Bonaventure: The World’s Beginning in Time Mark Hellinger PHIL 211: Medieval Philosophy March 27, 2015 1 One of the questions that the Medieval Philosophers pondered was the question of whether or not the world had a beginning in time. Both St. Thomas Aquinas and St. Bonaventure disagree with Aristotle, Avicenna, and others, concluding that the world did indeed have a beginning. They disagree, however, on the ability to use reason to conclude that the world is not eternal. As St. Bonaventure says, one can prove that the world is not eternal; it is an article of faith, but one that can be reasoned to as well. St. Bonaventure posits the position that the world is not eternal and one can prove that this is the case. “It has to be said that to maintain that the world is eternal or eternally produced by claiming that all things have been produced out of nothing is entirely against truth and reason…”1 To claim that the world is eternal, one would have to presuppose that matter is also eternal. An analogy he provides for this position (taken from St. Augustine) is that of a foot making an imprint on dust. It can be said that both the foot and the dust are eternal, but the footprint formed by the foot is still a creation of the foot. St. Bonaventure argues that matter cannot be eternal by pointing out, “For by means of an infinite power, which does not need the support of matter, it is just as easy that something be produced out of nothing as from something else.
  • Satisfiability Checking and Symbolic Computation

    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.
  • Richard Rufus of Cornwall on Creation: the Reception of Aristotelian Physics in the West

    Richard Rufus of Cornwall on Creation: the Reception of Aristotelian Physics in the West

    Richard Rufus of Cornwall on Creation: The Reception of Aristotelian Physics in the West REGA WOOD Richard Rufus was an English philosopher-theologian, the fifth Franciscan Master of Theology at Oxford.1 Like Bonaven- ture, he was Master of Arts at Paris before joining the Franciscans in 1238, five years before Bonaventure's entry and two years after the celebrated theologian Alexander of Hales had joined the order, bringing with him what became the order's first chair of theology. Together, Alexander of Hales, Robert Grosseteste, Bonaventure, and Richard Rufus helped make the Franciscan order a major force in the intellectual life of the thirteenth and fourteenth centuries.2 1. Thomas of Eccleston Tractatus de adventu fratrum mirwrum in Anφam, ed. A. G. Little (Manchester: University Press, 1951), p.5L 2. This paper is dedicated to the late James Weisheipl and to the late Frank Kelley, an esteemed collaborator on the Ockham edition at the Franciscan Institute. Fr. Weisheipl supervised Kelley's doctoral work and encouraged him to broaden his interests to include Franciscan as well as Dominican contributions to the history of Western philosophy. Work on this paper began in 1983 in Erfurt, East Germany, and in West Berlin. It was supported in part by an Alexander von Humboldt Fellowship and a grant from the American Philosophical Society. A preliminary version of this paper was read at Kalamazoo, Michigan, at the 1989 Medieval Congress. It was included in the sessions dedicated to James Weisheipl. i 2 REGA WOOD Rufus's influence was chiefly felt in England during the thirteenth century.