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 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)

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 ...

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

Computer users are often the last line of defense in computer security. However, with repeated exposures to system messages and computer security warnings, neural and behavioral responses show evidence of habituation. Habituation has been demonstrated at a neural level as repetition suppression where responses are attenuated with subsequent repetitions. In the brain, repetition suppression to visual stimuli has been demonstrated in multiple cortical areas, including the occipital lobe and medial temporal lobe. Prior research into the repetition suppression effect has generally (...) focused on a single repetition and has not examined the pattern of signal suppression with repeated exposures. We used complex, everyday stimuli, in the form of images of computer programs or security warning messages, to examine the repetition suppression effect across repeated exposures. The use of computer warnings as stimuli also allowed us to examine the activation of learned fearful stimuli. We observed widespread linear decreases in activation with repeated exposures, suggesting that repetition suppression continues after the first repetition. Further, we found greater activation for warning messages compared to neutral images in the anterior insula, pre-supplemental motor area, and inferior frontal gyrus, suggesting differential processing of security warning messages. However, the repetition suppression effect was similar in these regions for both warning messages and neutral images. Additionally, we observed an increase of activation in the default mode network with repeated exposures, suggestive of increased mind wandering with continuing habituation. (shrink)

Formalised knowledge systems, including universities and research institutes, are important for contemporary societies. They are, however, also arguably failing humanity when their impact is measured against the level of progress being made in stimulating the societal changes needed to address challenges like climate change. In this research we used a novel futures-oriented and participatory approach that asked what future envisioned knowledge systems might need to look like and how we might get there. Findings suggest that envisioned future systems will need (...) to be much more collaborative, open, diverse, egalitarian, and able to work with values and systemic issues. They will also need to go beyond producing knowledge about our world to generating wisdom about how to act within it. To get to envisioned systems we will need to rapidly scale methodological innovations, connect innovators, and creatively accelerate learning about working with intractable challenges. We will also need to create new funding schemes, a global knowledge commons, and challenge deeply held assumptions. To genuinely be a creative force in supporting longevity of human and non-human life on our planet, the shift in knowledge systems will probably need to be at the scale of the enlightenment and speed of the scientific and technological revolution accompanying the second World War. This will require bold and strategic action from governments, scientists, civic society and sustained transformational intent. (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)

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)