This paper details efforts by the Purdue School of Engineering and Technology at Indiana University Purdue University Indianapolis (IUPUI) to create a single instrument for honors science, technology, engineering and mathematics (STEM) students wishing to demonstrate competence in the IUPUI Principles of Undergraduate Learning (PUL’s) and Accreditation Board for Engineering and Technology (ABET) Engineering Accreditation Criterion (EAC) and Technology Accreditation Criterion (TAC) 2, a (...) through k. Honors courses in Human Behavior, Ethical Decision-Making, Applied Leadership, International Issues and Leadership Theories and Processes were created along with a specific menu of activities and an assessment rubric based on PUL’s and ABET criteria to evaluate student performance in the aforementioned courses. Students who complete the series of 18 Honors Credit hours are eligible for an Honors Certificate in Leadership Studies from the Department of Organizational Leadership and Supervision. Finally, an accounting of how various university assessment criteria, in this case the IUPUI Principles of Undergraduate Learning, can be linked to ABET outcomes and prove student competence in both, using the aforementioned courses, menu of items, and assessment rubrics; these will be analyzed and discussed. (shrink)
We investigate computational properties of propositional logics for dynamical systems. First, we consider logics for dynamic topological systems (W.f), fi, where W is a topological space and f a homeomorphism on W. The logics come with ‘modal’ operators interpreted by the topological closure and interior, and temporal operators interpreted along the orbits {w, f(w), f2 (w), ˙˙˙} of points w ε W. We show that for various classes of topological spaces the resulting logics are not recursively enumerable (and so not (...) recursively axiomatisable). This gives a ‘negative’ solution to a conjecture of Kremer and Mints. Second, we consider logics for dynamical systems (W, f), where W is a metric space and f and isometric function. The operators for topological interior/closure are replaced by distance operators of the form ‘everywhere/somewhere in the ball of radius a, ‘for a ε Q +. In contrast to the topological case, the resulting logic turns out to be decidable, but not in time bounded by any elementary function. (shrink)
An objection has been raised that Karol Wojtyła presents an ethical system heavily centered on actions and deeds. With the exception of his occasional references to the virtue of chastity in Love and Responsibility and his first writing on Saint John, some of the most central themes of ancient and medieval, as well as of contemporary, ethics seem almost entirely absent. In the following article, we will turn to Wojtyła’s most important philosophical work, The Acting Person, to glean from it (...) his understanding of “action.” We will then turn to the writings of Dietrich von Hildebrand, as an example of a classic counterpart for any approach to man primarily through action. After briefly discussing the ethical relevance of aspects such as inner responses, fundamental moral attitudes, and virtues, we will conclude by returning to Wojtyła and re-evaluating the legitimacy of the objection raised against him. (shrink)
We study a propositional bimodal logic consisting of two S4 modalities £ and [a], together with the interaction axiom scheme a £ϕ → £ aϕ. In the intended semantics, the plain £ is given the McKinsey-Tarski interpretation as the interior operator of a topology, while the labelled [a] is given the standard Kripke semantics using a reflexive and transitive binary relation a. The interaction axiom expresses the property that the Ra relation is lower semi-continuous with respect to the topology. The (...) class of topological Kripke frames characterised by the logic includes all frames over Euclidean space where Ra is the positive flow relation of a differential equation. We establish the completeness of the axiomatisation with respect to the intended class of topological Kripke frames, and investigate tableau calculi for the logic, although tableau completeness and decidability are still open questions. (shrink)
Tense logics formulated in the bimodal propositional language are investigated with respect to Kripke-completeness (completeness) and decidability. It is proved that all minimal tense extensions of modal logics of finite width (in the sense of K. Kine) as well as all minimal tense extensions of cofinal subframe logics (in the sense of M. Zakharyaschev) are complete. The decidability of all finitely axiomatizable minimal tense extensions of cofinal subframe logics is shown. A number of variations and extensions of these results are (...) also presented. (shrink)
Demonstrative noun phrases (e.g. this; that guy over there ) are intimately connected to the context of use in that their reference is determined by demonstrations and/or the speaker's intentions. The semantics of demonstratives therefore has important implications not only for theories of reference, but for questions about how information from the context interacts with formal semantics. First treated by Kaplan as directly referential , demonstratives have recently been analyzed as quantifiers by King, and the choice between these two approaches (...) is a matter of ongoing controversy. Meanwhile, linguists and psychologists working from a variety of perspectives have gathered a wealth of data on the form, meaning, and use of demonstratives in many languages. Demonstratives thus provide a fruitful topic for graduate study for two reasons. On the one hand, they serve as an entry point to foundational issues in reference and the semantics–pragmatics interface. On the other hand, they are an especially promising starting point for interdisciplinary research, which brings the results of linguistics and related fields to bear on the philosophy of language. Author Recommends Kaplan, David. 'Demonstratives.' 1977. Themes from Kaplan . Ed. J. Almong, J. Perry, and H. Wettstein. Oxford: Oxford UP, 1989. 481–563. The seminal work on the semantics of demonstratives and indexicals, such as I, here , and now . Kaplan introduces a distinction between content (which maps from possible circumstances to extensions) and character (which maps from possible contexts to contents). He argues that demonstratives and indexicals are directly referential : given a possible context, their character fixes their extension. Kaplan, David. 'Afterthoughts.' Themes from Kaplan . Ed. J. Almong, J. Perry, and H. Wettstein. Oxford: Oxford UP, 1989. 565–614. An elaboration on the theory developed in 'Demonstratives.' Kaplan considers the connection between direct reference and rigid designation; raises the issue of whether demonstratives depend on demonstrations or speaker intentions; and discusses implications of the analysis for formal semantics and for epistemology. King, Jeffrey C. Complex Demonstratives . Cambridge, MA: MIT Press, 2001. In perhaps the most influential challenge to date to the direct reference theory of demonstratives, King argues that complex demonstratives (i.e. demonstrative determiners with nominal complements) are best analyzed as quantifiers. Braun, David. 'Complex Demonstratives and Their Singular Contents.' Linguistics and Philosophy 31 (2008): 57–99. This recent Kaplanian analysis of complex demonstratives shows the 'state of the art' of direct reference approaches and responds to some of the objections to such approaches raised by King. Elbourne, Paul. 'Demonstratives as Individual Concepts.' Linguistics and Philosophy 31 (2008): 409–466. The most recent analysis of demonstratives as individual concepts, contrasting with both the direct reference and quantificational approaches. Fillmore, Charles. Lectures on Deixis . Stanford, CA: CSLI, 1997. In this collection of lectures, originally delivered in 1971, Fillmore considers demonstratives and indexical expressions in many languages to describe the types of information about the context (e.g. locations in space, time, and discourse) that are encoded in natural language. Gundel, Jeanette K., Nancy Hedberg, and Ron Zacharski. 'Cognitive Status and the Form of Referring Expressions in Discourse.' Language 69 (1993): 274–307. Perhaps the most detailed pragmatic alternative to formal semantic theories of demonstratives and other referring expressions. The authors argue that demonstratives are best described as imposing a condition of use in which the referent of the demonstrative has a certain level of salience for the interlocutors. Online Materials http://plato.stanford.edu/entries/indexicals/ Indexicals (David Braun) http://plato.stanford.edu/entries/reference/ Reference (Marga Reimer) http://plato.stanford.edu/entries/rigid-designators/ Rigid designators (Joseph LaPorte) http://philpapers.org/browse/indexicals-and-demonstratives/ Online bibliography of papers on indexicals and demonstratives Sample Syllabus The following syllabus can be used in entirety for a survey course on demonstratives; in addition, each of the three units is self-contained and can be used alone. Unit 1: Demonstratives and Indexicality Week 1: Indexicals 1. Kaplan, Demonstratives 2. Kaplan, Afterthoughts Week 2: Issues for Indexical Reference 1. Reimer, Marga. 'Do Demonstrations Have Semantic Significance?' Analysis 51 (1991): 177–83. 2. Bach, Kent. 'Intentions and Demonstrations.' Analysis 52 (1992): 140–46. 3. Nunberg, Geoffrey. 'Indexicality and Deixis.' Linguistics and Philosophy 16.1 (1993): 1–43. Week 3: Optional detour: Monsters 1. Schlenker, Philippe. 'A Plea for Monsters.' Linguistics and Philosophy 26 (2003): 29-120. Week 4: Demonstratives as Quantifiers 1. King. Complex Demonstratives , chapters 1–3. Week 5: Indexical and Non-Indexical Demonstratives 1. Braun, David. 'Complex Demonstratives and Their Singular Contents.' Linguistics and Philosophy 31 (2008): 57–99. Optional additional reading 2. Roberts, Craige. 'Demonstratives as Definites.' Information Sharing . Ed. Kees van Deemter and Roger Kibble. Stanford, CA: CSLI Press, 2002. 3. Wolter, Lynsey. 'That's That: The Semantics and Pragmatics of Demonstrative Noun Phrases.' Diss. University of California, Santa Cruz, 2006, chapters 2–3. 4. Elbourne, Paul. 'Demonstratives as Individual Concepts.' Linguistics and Philosophy 31 (2008): 409–66. Unit 2: Demonstratives, Proximity, Salience Week 6: Demonstratives and Proximity 1. Fillmore, Charles. 'Deixis I.' in Lectures on Deixis . Stanford, CA: CSLI, 1997. 59–76. 2. Fillmore, Charles. 'Deixis II.' in Lectures on Deixis . Stanford, CA: CSLI, 1997. 103–26. Optional additional reading 3. Prince, Ellen. 'On the Inferencing of Indefinite- this NPs.' Elements of Discourse Understanding . Ed. Aravind K. Joshi, Bonnie L. Weber, and Ivan A. Sag. Cambridge: Cambridge University Press, 1981. 231–50. Week 7: Demonstratives and Salience 1. Gundel, Jeanette K., Nancy Hedberg, and Ron Zacharski. 'Cognitive Status and the Form of Referring Expressions in Discourse.' Language 69 (1993): 274–307. Optional additional reading 2. Brown-Schmidt, Sarah, Donna K. Byron, and Michael K. Tanenhaus. 'Beyond Salience: Interpretation of Personal and Demonstrative Pronouns.' Journal of Memory and Language 53 (2005): 292–313. Note: readers new to psycholinguistics should concentrate on the Introduction. Unit 3: Demonstratives and Copular Sentences Week 8: Background on the Typology of Copular Sentences 1. Higgins, F. Roger. 'The Pseudo-Cleft Construction in English.' Diss. MIT, 1973, chapter 5. Week 9: Demonstratives in Copular Sentences 1. Mikkelsen, Line. 'Specifying Who: On the Structure, Meaning, and Use of Specificational Copular Clauses.' Diss. University of California, Santa Cruz, 2004, chapter 8.2 (Truncated Clefts). 2. Heller, Daphna and Lynsey Wolter. ' That is Rosa : Identificational Sentences as Intensional Predication.' Proceedings of Sinn und Bedeutung 12 . Ed. Atle Grønn. Oslo: Department of Literature, Area Studies and European Languages, University of Oslo, 2008. Week 10: Demonstratives, Copular Sentences, Modals 1. Birner, Betty J., Jeffrey P. Kaplan, and Gregory Ward. 'Functional Compositionality and the Interaction of Discourse Constraints.' Language 83 (2007): 317–43. Focus Questions 1. Which of the following expressions are indexicals? Which are demonstratives? Why? (a) a pencil (b) the pencil (c) this pencil (d) Mary Smith (e) Mary's pencil (f ) my pencil (g) we (h) you (i) here (j) there (k) now (l) then 2. Do demonstratives ever interact with scope-taking operators to give rise to two or more truth-conditionally distinct readings? If so, under what circumstances? 3. (a) If demonstratives (sometimes or always) interact with scope-taking operators to give rise to two or more truth-conditionally distinct readings, to what extent can a direct reference theory of demonstratives be maintained? (b) If demonstratives never interact with scope-taking operators to give rise to two or more truth-conditionally distinct readings, to what extent can a quantificational theory of demonstratives be maintained? 4. What kind of thing is a demonstration? Is it a pointing gesture? An indication of the speaker's focus of attention? Something more abstract? 5. What information do English demonstratives convey about proximity? What is 'proximity'– physical closeness to the speaker, or something more abstract? What is the status of this information: is it entailed, presupposed, or something else? 6. Do demonstratives that are accompanied by a physical gesture of demonstration have the same semantic value as anaphoric demonstratives, such as that in (a)? Why or why not? (a) John made a peanut butter sandwich and ate it quickly. Next he took an apple from the fridge. He ate that more slowly. (shrink)
Any study of the 'Scientific Revolution' and particularly Descartes' role in the debates surrounding the conception of nature (atoms and the void v. plenum theory, the role of mathematics and experiment in natural knowledge, the status and derivation of the laws of nature, the eternality and necessity of eternal truths, etc.) should be placed in the philosophical, scientific, theological, and sociological context of its time. Seventeenth-century debates concerning the nature of the eternal truths such as '2 + 2 = 4' (...) or the law of inertia turn on the question of whether these truths were created along with nature, or were uncreated and subsisting in God's mind. One's answer to that question has direct consequences for conceptions of the necessity/contingency of mathematical and natural knowledge, how knowledge of such truths is accomplished by humans, and what grounds these truths. In this paper, I review the positions of four successors to Descartes' philosophy on the question of the eternal truths to illustrate how in specific ways that question with its theological, metaphysical, modal, and epistemological dimensions concerned the objectivity and certainty of the discoveries of the new science. Author Recommends: Clarke, Desmond. Descartes' Philosophy of Science . University Park, Penn State Press, 1982. This work provides an account of Descartes as a practicing scientist whose rationalism is mitigated by reliance on experiment and experience. Author re-examines Descartes' philosophical and scientific works in this new light. Dear, Peter. Revolutionizing the Sciences: European Knowledge and its Ambitions, 1500–1700 . Princeton, Princeton University Press, 2001. This work provides a useful overview of the issues and thinkers of the Scientific Revolution. Of particular relevance is chapter 8 on Cartesian and Newtonian science. Funkenstein, Amos. Theology and the Scientific Imagination from the Middle Ages to the Seventeenth Century . Princeton, Princeton University Press, 1986. This work is an advanced study of the theological and metaphysical foundations of early modern science. Discussions include questions of God's nature, God's knowledge in relation to human knowledge, providence, the laws of nature, and the truths of mathematics. In particular, chapter 3 discusses Descartes' account of the eternal truths and divine omnipotence. Garber, Daniel. Descartes' Metaphysical Physics . Chicago, University of Chicago Press, 1992. This work examines how Descartes' metaphysical doctrines of God, soul, and body set the groundwork for his physics. It includes a study of God and the grounds for the laws of physics (chapter 9). Henry, John. The Scientific Revolution and the Origins of Modern Science . 3rd ed. New York, Palgrave, Macmillan Press, 2008. This work provides a brief, general, and informative overview of the Scientific Revolution, including the themes of method, magic, religion, and culture. Osler, Margaret J. Divine Will and the Mechanical Philosophy: Gassendi and Descartes on Contingency and Necessity in the Created World . Cambridge, Cambridge University Press, 1994. This work is an examination and comparison of the mechanical philosophies of Gassendi and Descartes. It offers in-depth discussion of the issue of voluntarism and intellectualism in the period and how that related to conceptions of laws of nature and the eternal truths. Shapin, Steven. The Scientific Revolution . Chicago, University of Chicago Press, 1996. This work provides a critical synthesis of as well as a guide to recent scholarship in the history of science for a general readership. Online Materials Dr. Robert A. Hatch's Scientific Revolution Website: http://web.clas.ufl.edu/users/rhatch/pages/03-Sci-Rev/SCI-REV-Home/ A compendium of resources for the study of Scientific Revolution. Early English Books Online: http://eebo.chadwyck.com/home Early English Books Online (EEBO) contains digital facsimile page images of virtually every work printed in England, Ireland, Scotland, Wales and British North America and works in English printed elsewhere from 1473 to 1700. Early Modern Resources: http://www.earlymodernweb.org.uk/emr/ Early Modern Resources is a gateway for all those interested in finding electronic resources relating to the early modern period in history. Gallica, the Digital Library of the Bibliothèque Nationale de France: http://gallica.bnf.fr/ An ever-growing digital library which includes numerous primary and secondary texts of relevance to Descartes and his role in Scientific Revolution. Hatfield, Gary, 'René Descartes', The Stanford Encyclopedia of Philosophy. Spring 2009 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/spr2009/entries/descartes/ Slowik, Edward, 'Descartes' Physics', The Stanford Encyclopedia of Philosophy. Winter 2008 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/win2008/entries/descartes-physics/ Syllabus Sample Syllabus: Cartesian Science The following is five weeks covering Cartesian Science in a course on Descartes or the Scientific Revolution, or 17th-century theories of matter, or related themes on early modern truth and method, especially on the continent. This material is best suited to a graduate level audience, but it could be modified to suit an upper-division undergraduate course, as the readings are basically primary texts whose context and background can be explained in lectures. Week 1: Cartesian Revolution in France • Scientific method • Role of mathematics and experiment • Certainty of scientific knowledge Readings: Hatfield, Gary, 'René Descartes', The Stanford Encyclopedia of Philosophy. Spring 2009 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/spr2009/entries/descartes/ Descartes, Discourse on Method , Parts 1–3 Descartes, Meditations on First Philosophy , First Meditation. Week 2: Descartes' Scientific Treatises • Mechanization and mathematization of nature • Primary–secondary quality distinction Readings: Discourse on Method, Parts 4–6 Selections from Descartes' Scientific Essays: The World or Treatise on Light (ATXI 3–48); Treatise on Man (ATXI 119–202); Optics (ATVI 82–147). Slowik, Edward, 'Descartes' Physics', The Stanford Encyclopedia of Philosophy. Winter 2008 ed. Ed. Edward N. Zalta; URL: http://plato.stanford.edu/archives/win2008/entries/descartes-physics/ Henry, John, 'The Mechanical Philosophy,' chapter 5. The Scientific Revolution and the Origins of Modern Science . 3rd ed. Macmillan, 2008. Week 3: Descartes' Theory of Nature • Descartes' derivation of the law of conservation and the three laws of motion • God's role in the metaphysics and physics of nature Readings: Selections from Principles of Philosophy, Preface (all); Letter to Elizabeth; Part I: 1–8; Part II: 1–45, 55, 64; Part III: 1–4, 15–19, 45–47; Part IV: 187–207. John Henry, 'Religion and Science,' chapter 6. The Scientific Revolution and the Origins of Modern Science . 3rd ed. Macmillan, 2008. Week 4: Post-1650 Cartesian Science: Necessity and Contingency in Nature • Debates on God, Creation, and Causes Readings: Easton, Patricia, 'What is at Stake in the Cartesian Debates on the Eternal Truths?' Philosophy Compass 4.2 (2009): 348–62. Malebranche, Nicolas, 'Elucidation 10', from The Search after Truth (1674). Note: All selections available in Nicolas Malebranche (1992). Philosophical Selections , edited by S. Nadler, Hackett. Gottfried Leibniz (1714) Monadology . Week 5: Causes in Nature and Morals • Theodicy as an explanation of defect and evil in a lawful universe: Malebranche v. Leibniz Readings: Nicolas Malebranche, Elucidation XVI (on occasionalism), and Treatise on Nature and Grace, Discourse One, Part 1. Gottfried Leibniz (1706), Theodicy. Focus Questions Weekly questions can be used to focus the readings. This can be done in a web or e-mail discussion thread, as a weekly assignment, or for in class discussion. I require students to post a short paragraph in response to the question or some posting by a classmate on the question. Students are required to post by 10 a.m. the day before we meet for class on a course website. Week 1: According to Descartes, what role does skepticism play in scientific reasoning? Week 2: Comment on the following: 'But I am supposing this machine to be made by the hands of God, and so I think you may reasonably think it capable of a greater variety of movements than I could possibly imagine in it, and of exhibiting more artistry than I could possibly ascribe to it' [ Treatise on Man ; ATXI 120]. Week 3: What is Descartes' conception of the relation between the metaphysics and physics of nature? Week 4: Critically discuss the positions of Descartes, Malebranche, and Leibniz on what provides the foundation for the certitude of natural knowledge? Week 5: Explain why both Malebranche and Leibniz consider moral sin to be analogous to natural defect? Seminar/Project Idea Hold a debate on the question of the status of the eternal truths. The proposition will be Descartes' position: 'Eternal truths must be both created and necessary if certainty in science is to be possible'. Format: 1. At the beginning of the 5-week module, students will be assigned to one of three roles: Team A, Team B, and judge's panel. Students will be given the debate proposition, but will not be told which team will take the affirmative and which team the negative until the time of the debate. 2. Recommend a variation on the Classic Debate Format to encourage the development of argument: sequence begins with affirmative construction (8 minutes), negative construction (8 minutes), second affirmative construction (8 minutes), second negative construction (8 minutes), first negative rebuttal (4 minutes), first affirmative rebuttal (4 minutes), final negative rebuttal (4 minutes) and final affirmative rebuttal (4 minutes). 3. Judges Panel: will consist of 3–4 judges who will assess the performance of Teams A and B. Judgment should be based on the persuasiveness of the team position. 4. Debate will be held at the end of the fifth week, or semester, whichever makes most sense given the course length and structure. Acknowledgements The author gratefully acknowledges the immensely helpful comments and suggestions by the participants in her graduate seminar on the Scientific Revolution: Benjamin Chicka, Sarah Jacques-Ross, Richard Ross, Marcella Stockstill, and Zohra Wolters. (shrink)
This is Part 1 of a paper on fibred semantics and combination of logics. It aims to present a methodology for combining arbitrary logical systems L i , i ∈ I, to form a new system L I . The methodology `fibres' the semantics K i of L i into a semantics for L I , and `weaves' the proof theory (axiomatics) of L i into a proof system of L I . There are various ways of doing this, we (...) distinguish by different names such as `fibring', `dovetailing' etc, yielding different systems, denoted by L F I , L D I etc. Once the logics are `weaved', further `interaction' axioms can be geometrically motivated and added, and then systematically studied. The methodology is general and is applied to modal and intuitionistic logics as well as to general algebraic logics. We obtain general results on bulk, in the sense that we develop standard combining techniques and refinements which can be applied to any family of initial logics to obtain further combined logics. The main results of this paper is a construction for combining arbitrary, (possibly not normal) modal or intermediate logics, each complete for a class of (not necessarily frame) Kripke models. We show transfer of recursive axiomatisability, decidability and finite model property. Some results on combining logics (normal modal extensions of K) have recently been introduced by Kracht and Wolter, Goranko and Passy and by Fine and Schurz as well as a multitude of special combined systems existing in the literature of the past 20-30 years. We hope our methodology will help organise the field systematically. (shrink)
Phillips & Silverstein emphasize the gain-control properties of NMDA synapses in cognitive coordination. We endorse their view and suggest that NMDA synapses play a crucial role in biased attentional competition and (visual) working memory. Our simulations show that NMDA synapses can control the storage rate of visual objects. We discuss specific predictions of our model about cognitive effects of NMDA-antagonists and schizophrenia.
