1,730,185 research outputs found
Stephanie Davis-Kahl
No full textDavis-Kahl discusses Ames Library, the impact of COVID-19 on library operations, and the future of libraries
[Letter To Debbie Bates From Fritz Kahl]
No full textLetter written by Fritz Kahl to Debbie Bates of Grapevine, Texas. The letter is dated February 25, 1969. The letter concerns aviation and the various skills a pilot needs to be successful. It is a response to a letter written earlier by Debbie Bates
Soziale Dienste in Kahl am Main ein Wegweiser durch das Angebot in unserer Gemeinde ; Pflege, Senioren, Behinderte, Kranke
No full textAcademic Correspondence, Stanford and Other Universities 1959-1960: Paul Rask and Sammy al-Kahl, 1960
No full textLetter from Fayez Sayegh to Paul Rask and Sammy al-Kahl, Portland, Oregon, 1960, about Sayegh\u27s activities promoting Arab-American understanding, about his preference not to receive personal donations from supporters, and about an organization that might be set up to handle such donations
Henry Kahl\u27s Philosophy Thesis Portfolio
No full textKAHL, HENRY A Critical Examination of Susan Wolf’s Rejection of Common-Sense Moral Sainthood
ADVISER: Dr. Krisanna Scheiter
In Susan Wolf’s paper Moral Saints, she describes a figure whose actions strictly seek to improve welfare on individual and societal levels, namely a common-sense moral saint. If universally adopted, common-sense moral sainthood would presumably dramatically reduce the amount of suffering exhibited in our world, yet at the expense of developing the world’s nonmoral elements. Conversely, if all individuals were to pursue both moral and nonmoral ends, their dualistic approach would develop the world’s nonmoral elements, yet at the expense of sizable, permitted suffering. However, according to Wolf, individuals should not become common-sense moral saints, for common-sense moral sainthood is not an optimal personal ideal. By dismissing common-sense moral sainthood, Wolf may implicitly advocate that a world in which individuals pursue moral and nonmoral ends is valuable enough to justify the resulting suffering. Therefore, in my paper, I argue that to strengthen Wolf’s rejection of common-sense moral sainthood, she must justify why a world defined by a rich development of and appreciation for the nonmoral is superior to a world practically free of suffering. I support my thesis by first outlining Wolf’s account of common-sense moral sainthood. Second, I discern the pivotal implication of Wolf’s rejection of common-sense moral sainthood. Finally, I construct a thought experiment in which I demonstrate the observable differences between a world in which everyone pursues strictly moral ends and a world in which everyone pursues moral and nonmoral ends.
KAHL, HENRY Animal Intelligence in Aristotle’s De Anima
ADVISER: Dr. Krisanna Scheiter
In his treatise On the Soul (De Anima), Aristotle claims that human beings are the “most intelligent of animals” because they have the most precise sense of touch (DA 2.9, 421a23). But he does not explain what it is about the sense of touch that makes humans so intelligent. Some commentators claim that our precise sense of touch improves our ability to capture an object’s essence, which in turn makes us better reasoners. However, in my paper, I argue that having a precise sense of touch does not necessarily make humans more rational. Rather, I claim that, according to Aristotle, humans are the most intelligent animals because they can better discriminate between perceptible objects in comparison to other animals. This interpretation of intelligence digresses from commentator’s conventional understanding of intelligence as the ability to reason, i.e., grasp an object’s essence. I support my thesis by first exploring the relationship between delicate flesh and tactile perceptual ability. Second, I examine touch’s underlying involvement in sensory modalities other than touch. Third, I discern how enhanced tactile perception permits an improved perception of both common and co-incidental perceptible objects. Finally, I demonstrate how a precise sense of touch does not necessarily improve a human’s ability to capture an object’s essence
Gedenkschrift zum 75jährigen Bestehen der Katholischen Pfarrkirche St. Margareta Kahl am Main 1911 - 1986
No full textProofs of Relational Semigroupoids in Isabelle/Isar
Full text linkTitle: Proofs of Relational Semigroupoids in Isabelle/Isar, Author: Jinrong Han, Location: ThodeThe concept of relations is useful for applications in mathematics, logics and computer
science. Once an application structure is identified as a model of a particular relation-algebraic
theory, that theory becomes the preferred reasoning environment in this
application area. Examples of applications in computer science are database, graph
and games. In [Kah03], Kahl proposed using the proof assistant Isabelle/Isar to provide a
collection of theories for abstract relation-algebraic reasoning. In [DG04], De Guzman
improved and populated the theories introduced by Kahl in [Kah03]. Finite maps
or finite relations between infinite sets do not form a category since the necessary
identities are infinite. In [Kah08], Kahl presented relation-algebraic extensions of
semigroupoids where the operations that would produce infinite results in category
have been replaced with their variants that preserve finiteness, but still satisfy useful
algebraic laws. In this thesis, we will build a framework by building a hierarchy of Isabelle/Isar
theories to implement relational semigroupoid theories which are presented by Kahl
in [Kah08], focusing on the following: Since the difference between semigroupoids and categories are that no identities
are assumed in semigroupoids, category theories in [DG04] will be transferred into
our semigroupoid theories by modifying definitions, reformulating theorems, adding
theorems to help reprove theorems involving identities in their proofs. New theorems and new theories will be added to implement subidentity and range
and their properties. Then new theorems and new theories about restricted residual
and standard residual and their properties will be developed. In [Kah08], Kahl proposed
that in ordered semigroupoids with domain and range, if standard residuals
exist, then restricted residuals exist too and can be calculated via standard residuals.
A new theory will be built to prove this.ThesisMaster of Science (MS
- …
