Radio Frequency Identification, or RFID, is a technology which has been receiving considerable attention as of late. It is a fairly simple technology involving radio wave communication between a microchip and an electronic reader, in which an identification number stored on the chip is transmitted and processed; it can frequently be found in inventory tracking and access control systems. In this paper, we examine the current uses of RFID, as well as identifying potential future uses of the technology, including item-level (...) tagging, human implants and RFID-chipped passports, while discussing the impacts that each of these uses could potentially have on personal privacy. Possible guidelines for RFID’s use, including Fair Information Principles and the RFID Bill of Rights are then presented, as well as technological solutions to personal privacy problems, such as tag killing and blocker tags, as well as simple aluminum foil shields for passports. It is then claimed, though, that guidelines and technological solutions will be ineffective for privacy protection, and that legislation will be necessary to guard against the threats posed by the RFID. Finally, we present what we believe to be the most important legislative points that must be addressed. (shrink)

Pancreatitis is a complex, progressively destructive inflammatory disorder. Alcohol was long thought to be the primary causative agent, but genetic contributions have been of interest since the discovery that rare PRSS1, CFTR and SPINK1 variants were associated with pancreatitis risk. We now report two associations at genome-wide significance identified and replicated at PRSS1-PRSS2 and X-linked CLDN2 through a two-stage genome-wide study. The PRSS1 variant likely affects disease susceptibility by altering expression of the primary trypsinogen gene. The CLDN2 risk allele is (...) associated with atypical localization of claudin-2 in pancreatic acinar cells. The homozygous CLDN2 genotype confers the greatest risk, and its alleles interact with alcohol consumption to amplify risk. These results could partially explain the high frequency of alcohol-related pancreatitis in men. © 2012 Nature America, Inc. All rights reserved. (shrink)

Richard Rorty once wrote that inspired teaching “is the result of an encounter with an author, character, plot, stanza, line or archaic torso which has made a difference to the [teacher’s] conception of who she is, what she is good for, what she wants to do with herself: an encounter which has rearranged her priorities and purposes.” In a teaching career more than three decades long, no author has influenced me more profoundly as a teacher and as a human (...) being than Simone Weil. She has changed how I think about myself, my relationships, the world around me and ultimately about what transcends me. And this could not help but change how I am in the classroom. This essay is a reflection on how Simone Weil has changed my life, both in and out of the classroom. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The ancient Taoist text that forms the central part of this book was discovered by Wilhelm, who recognized it as essentially a practical guide to the integration of personality. Foreword and Appendix by Carl Jung; illustrations. Translated by Cary F. Baynes.A Helen and Kurt Wolff Book.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

"This is an excellent textbook on Neoplatonism which gives the reader a very concise and lucid overview of the basic doctrines and leading thinkers of the last great philosophy to emerge before the Christianization of the Roman Empire. I’ve no doubt that my students next semester will benefit from the analyses contained in the book. The contents of the chapters are very informative and adequately place developments in their socio-cultural context." --Michael B. Simmons, Auburn University at Montgomery.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

This is a new release of the original 1926 edition.

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

"One of the expected fruits of Descartes' philosophical enterprise is "the highest and most perfect moral system," a system which, organically developed from its metaphysical and physical foundations, will provide the moral agent with direction and purpose in each of life's contingencies. Yet, Descartes' published work contains no such moral system, and commentators have generally agreed that Descartes "has entered the history of philosophy as perhaps the only systematic philosopher of the first rank who failed to provide any methodical treatment (...) of moral problems."" "Through a careful investigation of primarily Descartes' Correspondence and his final treatise, The Passions of the Soul, Vance Morgan here constructs the framework of a working ethical system, consistent with the spirit of Cartesian metaphysics and physics. He finds that while Descartes' metaphysics are remarkable for their insistence on indubitably clear and distinct principles, his ethic is equally remarkable in its conclusion that indubitably certain, inviolable principles are not available in the realm of morals and human activity. Virtue is not defined with reference to the results of one's actions, nor to one's faithful adherence to a set of rationally derived moral directives. Rather, virtue consists in the moral attitude with which one lives one's life, the psychological conviction that one has always resolutely acted upon the best intellectual activity of which one is capable."--BOOK JACKET.Title Summary field provided by Blackwell North America, Inc. All Rights Reserved. (shrink)

Recently a great deal of attention has been paid to conflicts of interest in medical research, and the Institute of Medicine has called for more research into this important area. One research question that has not received sufficient attention concerns the mechanisms of action by which conflicts of interest can result in biased and/or flawed research. What discretion do conflicted researchers have to sway the results one way or the other? We address this issue from the perspective of selective inertia, (...) or an unnatural selection of research methods based on which are most likely to establish the preferred conclusions, rather than on which are most valid. In many cases it is abundantly clear that a method that is not being used in practice is superior to the one that is being used in practice, at least from the perspective of validity, and that it is only inertia, as opposed to any serious suggestion that the incumbent method is superior, that keeps the inferior procedure in use, to the exclusion of the superior one. By focusing on these flawed research methods we can go beyond statements of potential harm from real conflicts of interest, and can more directly assess actual harm. (shrink)

Perception purports to help you gain knowledge of the world even if the world is not the way you expected it to be. Perception also purports to be an independent tribunal against which you can test your beliefs. It is natural to think that in order to serve these and other central functions, perceptual representations must not causally depend on your prior beliefs and expectations. In this paper, I clarify and then argue against the natural thought above. All perceptual systems (...) must solve an under-determination problem: the sensory data they receive could be caused by indefinitely many arrangements of distal objects and properties. Using a Bayesian approach to perceptual processing, I argue that in order to solve the under-determination problem, perceptual capacities must rely on prior beliefs or expectations of some kind. I then argue that perceptual states or processes can help ground knowledge of the world whether the ‘beliefs’ necessary for perceptual processing are encoded as sub-personal states within a perceptual system or cognitive states, such as person-level beliefs. My argument has two main parts. First, I give a preliminary argument that cognitive influence on perception can be appropriate, and I respond to three lines of objection. Second, I argue that cognitively influenced perceptual states can be instances of seeing that p, which makes the relevant states well suited to help ground knowledge that p. I conclude that a cognitively penetrated perceptual state or process can help ground knowledge under some circumstances. (shrink)

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

In this installment of the Faculty Authors Series, Vance Morgan (Philosophy, Providence College) discusses his newest book, "Freelance Christianity: Philosophy, Faith, and the Real World.".

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

Discusses the moral and ethical aspects of euthanasia and related topics.