Martin Luther King, Jr drew upon his early grounding in family and church to forge a praxis of egalitarian justice in the rigidly segregated American South of his youth. King?s ethical outlook was eclectic, reflecting the influence of such figures as Mays, Davis, Rauschenbusch, Niebuhr, Thurman and Gandhi, alongside such doctrines as personalism and liberalism, nationalism and realism. Yet King?s subsequent academic study more nearly enhanced than restructured his early, formative exposure to black church and community. King became committed to (...) nonviolence, not as passive resistance, but as an active, aggressive, individual and self?improving solution to problems of gross injustice in society. Nonviolence for King was not an end, but a means, to the achievement of what he called ?Beloved Community? (shrink)

A crisis continues to brew within the pharmaceutical research and development (R&D) enterprise: productivity continues declining as costs rise, despite ongoing, often dramatic scientific and technical advances. To reverse this trend, we offer various suggestions for both the expansion and broader adoption of modeling and simulation (M&S) methods. We suggest strategies and scenarios intended to enable new M&S use cases that directly engage R&D knowledge generation and build actionable mechanistic insight, thereby opening the door to enhanced productivity. What M&S requirements (...) must be satisfied to access and open the door, and begin reversing the productivity decline? Can current methods and tools fulfill the requirements, or are new methods necessary? We draw on the relevant, recent literature to provide and explore answers. In so doing, we identify essential, key roles for agent-based and other methods. We assemble a list of requirements necessary for M&S to meet the diverse needs distilled from a collection of research, review, and opinion articles. We argue that to realize its full potential, M&S should be actualized within a larger information technology framework—a dynamic knowledge repository—wherein models of various types execute, evolve, and increase in accuracy over time. We offer some details of the issues that must be addressed for such a repository to accrue the capabilities needed to reverse the productivity decline. (shrink)

Part of The US Army Large-Scale Combat Operations Series, Maintaining the High Ground combines discussions and historical case studies from the past seventy-five years to address ethical challenges for the Army Profession. With today's all-volunteer Army, maintaining public trust is critical, and large-scale combat operations require a professional class of leaders and soldiers with strong ethics and the ability to adapt and even shape their own future.

Military ethics seeks to provide practical guidance for the resolution of real ethical problems associated with the conduct of military operations. In doing so, it must reflect how actual persons give and take-up reasons when deliberating what actions to take. The Just War Tradition, for example, provides deontological and consequentialist considerations soldiers should take up when considering how to conduct operations. Sometimes, unfortunately, soldiers may find themselves in tragic situations where principles and consequences provide no clear guidance. To fill that (...) gap, a full account of military ethics requires an account of virtue, which focuses more on the agent than the act and can provide resources necessary to avoid, or failing that, resolve, otherwise unresolvable ethical dilemmas that can arise during military operations. This point does not mean virtue ethics supersedes or assimilates other ethical approaches. Rather it means that in the context of a process aimed at establishing reflective equilibrium, it provides important beliefs, judgments, and ways of thinking about applied ethics that are critical not just to building a robust, maximally coherent equilibrium but also to maintain it. These resources are especially critical when one is faced with the kind of tragic situations soldiers confront in war. (shrink)

This volume began as a remembrance of Alonzo Church while he was still with us and is now finally complete. It contains papers by many well-known scholars, most of whom have been directly influenced by Church's own work. Often the emphasis is on foundational issues in logic, mathematics, computation, and philosophy - as was the case with Church's contributions, now universally recognized as having been of profound fundamental significance in those areas. The volume will be of interest to logicians, computer (...) scientists, philosophers, and linguists. The contributions concern classical first-order logic, higher-order logic, non-classical theories of implication, set theories with universal sets, the logical and semantical paradoxes, the lambda-calculus, especially as it is used in computation, philosophical issues about meaning and ontology in the abstract sciences and in natural language, and much else. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields. (shrink)

Kurt Gödel’s version of the ontological argument was shown by J. Howard Sobel to be defective, but some plausible modifications in the argument result in a version which is immune to Sobel’s objection. A definition is suggested which permits the proof of some of Godel’s axioms.

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

These papers treat those issues involved in formulating a logic of propositional attitutudes and consider the relevance of the attitudes to the continuing study of both the philosophy of language and the philosophy of mind. Table of Contents: Introduction, by C. Anthony Anderson and Joseph Owens Quine on Quantifying In, by Kit Fine Prolegomena to a Structural Theory of Belief and Other Attitudes, by Hans Kemp A Study in Comparitive Semantics, by Ernest LePore and Barry Loewer Wherein is Language (...) Social?, by Tyler Burge Narrow Content, by Robert Stalnaker Cognitive Access and Semantic Puzzles, by Joseph Owens On Some Thought-Experiments About Mind and Meaning, by John Wallace and H. E. Mason Belief and the Indentity of Reference, by Keith S. Dennellan A Millian Heir Rejects the Wages of Sinn, by Nathan Salmon The Mode-of-Presentation Problem, by Stephen Schiffer Consciousness and Intentionality: Robots With and Without the Right Stuff, by Keith Gunderson Consciousness, Unconsciousness, and Intentionality, by John R. Searle. (shrink)

This chapter contains sections titled: Alfred Tarski Alonzo Church Kurt Gödel.

In a well- known barb, CD Broad said: "Mr. Bertrand Russell produces a new system of philosophy each year or so, and Mr. GE Moore none ...

Encountering philosophy of religion for the first time, we are like explorers arriving on an uncharted coastline. This introduction from Anthony Thiselton is divided into three parts, first mapping the main approaches, then introducing us to the major ideas and thinkers, and finally giving concise explanations of all the words and phrases readers need to know.