Examines the religious philosophy of John Hick, with an emphasis on his attempt to show that theistic claims are factually significant.

How does the human brain link relational concepts to perceptual experience? For example, a speaker may say “the cup to the left of the computer” to direct the listener's attention to one of two cups on a desk. We provide a neural dynamic account for both perceptual grounding, in which relational concepts enable the attentional selection of objects in the visual array, and for the generation of descriptions of the visual array using relational concepts. In the model, activation in neural (...) populations evolves dynamically under the influence of both inputs and strong interaction as formalized in dynamic field theory. Relational concepts are modeled as patterns of connectivity to perceptual representations. These generalize across the visual array through active coordinate transforms that center the representation of target objects in potential reference objects. How the model perceptually grounds or generates relational descriptions is probed in 104 simulations that systematically vary the spatial and movement relations employed, the number of feature dimensions used, and the number of matching and nonmatching objects. We explain how sequences of decisions emerge from the time‐ and state‐continuous neural dynamics, how relational hypotheses are generated and either accepted or rejected, followed by the selection of new objects or the generation of new relational hypotheses. Its neural realism distinguishes the model from information processing accounts, its capacity to autonomously generate sequences of processing steps distinguishes it from deep neural network accounts. The model points toward a neural dynamic theory of higher cognition. (shrink)

While corpus studies have shown that discourse connectives that convey the same coherence relation can display subtle differences, research on online discourse processing has only focused on a rather limited set of connectives. Yet, different connectives – for example, rare or polyfunctional ones – might elicit different reading patterns. In order to explore this assumption, we test the robustness of discourse processing for French native speakers by measuring the way they process causal and concessive sentences that are conveyed by either (...) an appropriate or inappropriate connective. Throughout three experiments, we change important characteristics of the connectives: we first test frequently used connectives, secondly less frequent ones, and finally less frequent connectives that are polyfunctional and for which different functions clearly compete. Our results show that the processing for incoherent items was affected for all connectives, however readers showed altered reading fluency when infrequent connectives were used. We conclude that discourse processing is quite robust and that readers are able to insert meaning conveyed by rare connectives while still showing the highest reading ease with frequent connectives. (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.

Describing actions entails that relations between objects are discovered. A pervasively neural account of this process requires that fundamental problems are solved: the neural pointer problem, the binding problem, and the problem of generating discrete processing steps from time-continuous neural processes. We present a prototypical solution to these problems in a neural dynamic model that comprises dynamic neural fields holding representations close to sensorimotor surfaces as well as dynamic neural nodes holding discrete, language-like representations. Making the connection between these two (...) types of representations enables the model to describe actions as well as to perceptually ground movement phrases—all based on real visual input. We demonstrate how the dynamic neural processes autonomously generate the processing steps required to describe or ground object-oriented actions. By solving the fundamental problems of neural pointing, binding, and emergent discrete processing, the model may be a first but critical step toward a systematic neural processing account of higher cognition. (shrink)

This essay discusses how, for Hegel, freedom can be realized in nature in a rudimentary fashion in solar systems. This solves a problem in Kant’s account of freedom, namely, the problem that Kant only gives a negative argument for why freedom is not impossible but does not give a positive account of how freedom is real. I give a novel account of Kant’s negative argument. Then, I show how, according to Hegel, solar systems can be considered as exhibiting freedom in (...) a rudimentary fashion. Finally, I lay out how Hegel systematically develops this point about the freedom of solar systems in the ‘Mechanism’-chapter of the Science of Logic. In doing so, he uses Kant’s negative argument in a ‘purified’ form to arrive at an account of an ‘intimate token-type relation’ between the planets in a solar system and the law that governs their motion. The essay as a whole provides a concrete example of how Hegel is an inheritor and radicalizer of Kant, both with respect to freedom’s reality and with respect to philosophical method. (shrink)

The issue of statelessness poses problems for the statist approach to the philosophy of immigration. Despite the fact that the statist approach claims to constrain the state’s right to exclude with human rights considerations, the arguments statists offer for the right of states to determine their own immigration policies would also justify citizenship rules that would render some children stateless. Insofar as rendering a child stateless is best characterized as a violation of human rights and insofar as some states have (...) direct responsibility for causing such harm, the problem of non-refugee stateless children points to greater constraints than most statists accept on states’ right to determine their own rules for membership. While statists can ultimately account for the right not to be rendered stateless, recognizing these additional human rights constraints ultimately weakens the core of the statist position. (shrink)

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)

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.

Hartmut Rosa advances an account of the temporal structure of society from the perspective of critical theory. He identifies three categories of change in the tempo of modern social life: technological acceleration, evident in transportation, communication, and production; the acceleration of social change, reflected in cultural knowledge, social institutions, and personal relationships; and acceleration in the pace of life, which happens despite the expectation that technological change should increase an individual's free time. According to Rosa, both the structural and cultural (...) aspects of our institutions and practices are marked by the "shrinking of the present," a decreasing time period during which expectations based on past experience reliably match the future. When this phenomenon combines with technological acceleration and the increasing pace of life, time seems to flow ever faster, making our relationships to each other and the world fluid and problematic. It is as if we are standing on "slipping slopes," a steep social terrain that is itself in motion and in turn demands faster lives and technology. As Rosa deftly shows, this self-reinforcing feedback loop fundamentally determines the character of modern life. (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)

Background In an increasingly globalized world, legal protocols related to health care that are both effective and culturally sensitive are paramount in providing excellent quality of care as well as protection for physicians tasked with decision making. Here, we analyze the current medicolegal status of brain death diagnosis with regard to end-of-life care in Japan, China, and South Korea from the perspectives of front-line health care workers. Main body Japan has legally wrestled with the concept of brain death for decades. (...) An inability to declare brain death without consent from family coupled with cultural expectations of family involvement in medical care is mirrored in other Confucian-based cultures and may complicate care for patients from these countries when traveling or working overseas. Within Japan, China, and South Korea, medicolegal shortcomings in the diagnosis of brain death act as a great source of stress for physicians and expose them to potential public and legal scorn. Here, we detail the medicolegal status of brain death diagnosis within Japan and compare it to China and South Korea to find common ground and elucidate the impact of legal ambiguity on health care workers. Conclusion The Confucian cultural foundation of multiple Asian countries raises common issues of family involvement with diagnosis and cultural considerations that must be met. Leveraging public education systems may increase awareness of brain death issues and lead to evolving laws that clarify such end-of-life issues while protecting physicians from sociocultural backlash. (shrink)

The topic of this dissertation is the concept of nature and how Kant and Hegel each conceive of it. Both agree that ‘nature’ cannot be an empirical concept but is rather presupposed in all experience and object-related thinking. Yet, Kant holds that we can only conceive of nature as a unified whole when we conceive of it as a mechanical system. Whereas, according to Hegel, the unity of all the different kinds of natural phenomena can only be accounted for by (...) means of his dialectical method. A crucial and novel point in my reading of Kant is that the concept of nature as a mechanical system is merely a regulative ideal, i.e., an imaginary end-point of science that we only approach asymptotically. It is this point that allows me to resolve long-standing puzzles in the scholarship regarding organisms and free will. For, this point allows for a coherent reading of Kant, a reading that involves that 1) we do in fact have experience of organisms and that 2) Kant’s distinctive kind of determinism is compatible with an open future. My reading of Kant furthermore provides a uniquely suited entry-point into Hegel’s dialectical account of nature, according to which not only human beings and organisms, but even solar systems do not fit the mould of a flat-footed mechanical determinism. This allows me to show that Hegel is—in several respects—both an inheritor and radicalizer of Kant. (shrink)

Taking a phrase from President Clinton’s successful presidential campaign in 1992, this book could have just as easily been called It’s About Trust, Stupid. In his book, David A Shore, PhD, associate dean and founding director of the Trust Initiative at the Harvard School of Public Health, presents a convincing argument for the importance of trust in healthcare delivery.Shore is equally convincing in arguing that people have a lack of trust in the healthcare system in the United States. To make (...) this point, he cites studies showing that while many continue to trust doctors and nurses, the trust in healthcare delivery itself …. (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.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

Uncertainty is the name of the game in philosopher Kenneth W Goodman’s attempt to apply ethics to evidence based medicine . Indeed, the book is as much about epistemology, or the study of how we learn and know about the world, as it is about ethics. Goodman’s desire is to understand what constitutes proof, or evidence, that a particular treatment is better than others. One of the ethical connections is that a failure to use such treatments is blameworthy.EBM is a (...) concept that is getting a great deal of attention these days. At least two factors drive this …. (shrink)

Mental representations have continuous as well as discrete, combinatorial properties. For example, while predominantly discrete, phonological representations also vary continuously; this is reflected by gradient effects in instrumental studies of speech production. Can an integrated theoretical framework address both aspects of structure? The framework we introduce here, Gradient Symbol Processing, characterizes the emergence of grammatical macrostructure from the Parallel Distributed Processing microstructure (McClelland, Rumelhart, & The PDP Research Group, 1986) of language processing. The mental representations that emerge, Distributed Symbol Systems, (...) have both combinatorial and gradient structure. They are processed through Subsymbolic Optimization–Quantization, in which an optimization process favoring representations that satisfy well-formedness constraints operates in parallel with a distributed quantization process favoring discrete symbolic structures. We apply a particular instantiation of this framework, λ-Diffusion Theory, to phonological production. Simulations of the resulting model suggest that Gradient Symbol Processing offers a way to unify accounts of grammatical competence with both discrete and continuous patterns in language performance. (shrink)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

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.

One question addressed by John Rawls in “A Theory of Justice” (1971) is that of justice between the generations. The question presents Rawls with certain difficulties which stem from the fact that in his theory, Hume’s conditions of justice are spliced together with Kant’s principle of universalisation. The question of future generations strains this construct to breaking point. But even if this problem can be solved, Rawls’s justification approach remains unsatisfactory, since he discusses intergenerational justice only under the aspect of (...) just saving. It will be shown that this approach implies a concept of weak sustainability which is not a sufficient condition for the long-term preservation of vital life-sustaining resources. (shrink)

Rorty was one of the great dissolvers of dualisms, but strangely this iconoclasm ended when it came to liberal democracy. Here he held fast to the most stubborn of dualisms in political thought, a simple dichotomy of the public and the private, and used it, unsuccessfully, to resolve questions concerning the place of religion in modern democratic politics. Yet the philosophical basis of Rorty's pragmatism both undercuts two common ways of spelling out the relationship between religion and the polity in (...) liberalism and makes his use of the public/private dichotomy impossible. By means of an internal critique, I argue for a Habermasian corrective. (shrink)

Normative questions concerning political authority and political obligation are widely seen as central questions of political philosophy. Current global transformations require an innovative response from normative political thinking about these two topics. In light of a concrete example of the supranational forms of authority and obligation that have been and are emerging beyond the national state and beyond the traditional domains of international law, I lay out what has become the standard approach to authority and obligation and indicate why this (...) approach is inadequate in contemporary circumstances. I sketch an alternative approach and suggest how the most promising exemplar of this kind, Habermas’ discourse theory of law and politics, can better deal with the example. Having thus made plausible the advantages of the discourse theory of the alternative approach, I end with an ‘internal’ critique of Habermas’ own recent writings on the global political order. (shrink)

(No abstract is available for this citation).

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)