A number of thinkers today, including open theists, find reasons to attribute temporality to God. According to Robert W. Jenson, the Trinity is indispensable to a Christian concept of God, and divine temporality is essential to the meaning of the Trinity. Following the lead of early Christian thought, Jenson argues that the persons of the Trinity are relations, and these relations are temporal. Jenson’s insights are obscured, however, by problematic references to time as a sphere to which God is related. (...) Schubert M. Ogden gives the notion of divine temporality coherent content by arguing that God’s actuality is best understood as an unending succession of experiences. This paper was delivered in the APA Pacific 2007 Mini-Conference on Models of God. (shrink)

Abstract:Robert Sugden has suggested a normative standard of freedom as ‘opportunity’ that is supposed to help realign normative economics – with its traditional rational choice orientation – with behavioural economics. While allowing preferences to be incoherent, he wants to maintain the anti-paternalist stance of orthodox welfare economics. His standard, though, presupposes that people respond to uncertainty about their own future preferences by dismissing any kind of self-constraint. We argue that the approach lacks psychological substance: Sugden's normative benchmark – the ‘responsible (...) person’ – can hardly serve as a convincing role model in a contractarian setting. An alternative concept is introduced, and some implications are briefly discussed. (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)

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

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.

Foucault's theory of power and subjectification challenges common concepts of freedom in social philosophy and expands them through the concept of 'freedom as critique': Freedom can be defined as the capability to critically reflect one's own subjectification, and the conditions of possibility for this critical capacity lie in political and social institutions. The article develops this concept through a critical discussion of the standard response by Foucault interpreters to the standard objection that Foucault's thinking obscures freedom. The standard response interprets (...) Fou-cault's later works, especially The Subject and Power, as a solution to the problem of freedom. It is mistaken, because it conflates different concepts of freedom that are present in Foucault's work. By differentiating these concepts, this paper proposes a new institutionalist approach to solve the problem of freedom that breaks with the partly anarchist underpinnings of Foucault scholarship: As freedom as critique is not given, but itself a result of subjectification, it entails a demand for 'modal robustness' and must therefore be institutionalized. This approach helps to draw out the consequences of Foucault's thinking on freedom for postfoundationalist democratic theory and the general social-philosophical discussion on freedom. (shrink)

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.

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.

previous theories and the relevance of those criticisms to the new accounts. Additionally, we have included a new section at the end, which gives some directions to literature outside of formal semantics in which the notion of mass has been employed. We looked at work on mass expressions in psycholinguistics and computational linguistics here, and we discussed some research in the history of philosophy and in metaphysics that makes use of the notion of mass.

In general, there are two main approaches to settling the alleged conflict between religion and science. On the first approach, one argues that there is not even the possibility of such a conflict, since the uses of religious utterances are sufficiently different from those of scientific ones to constitute them a distinct logical type. Thus, if religion appears to conflict with science, either this is merely an appearance, or else one of them, at least, is also performing the function of (...) the other, in which case their conflict is really either a scientific conflict or a religious conflict. In no case, however, can the truth of a scientific utterance be any reason for inferring the falsity of a religious one, and much less can it be any reason for entertaining doubts about the religious utterance's logical propriety. (shrink)

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)

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)

When do people say that they are moved, and does this experience constitute a unique emotion? We review theory and empirical research on being moved across psychology and philosophy. We examine feeling labels, elicitors, valence, bodily sensations, and motivations. We find that the English lexeme being moved typically (but not always) refers to a distinct and potent emotion that results in social bonding; often includes tears, piloerection, chills, or a warm feeling in the chest; and is often described as pleasurable, (...) though sometimes as a mixed emotion. While we conclude that it is a distinct emotion, we also recommend studying it in a more comprehensive emotion framework, instead of using the ambiguous vernacular term being moved as a scientific term. (shrink)

Schubert squarely addresses the question of whether there is a single standard of certainty that can be applied to such disparate areas as logic, mathematics, politics, religion, familial/tribal commitments, and science. The result is a new “philosophy in a grand manner” and a powerful ethical proposal for our time.

Die Fuhrung von Streitkraften in Einsatzen ist eine verantwortungsvolle Aufgabe. Militarische Fuhrer benotigen dafur eine ausgepragte moralische Urteilskraft. Was ist aber damit gemeint? Wie konnen ethische Reflexionen bei der Fuhrung von Streitkraften im Einsatz helfen? Hartwig von Schubert bietet neben einer Klarung ethischer Begriffe praxisnahe Kriterien fur einen ethischen Entscheidungs-Check an, die er anhand einer komplexen militarischen Lage einem Praxistest unterzieht. Er pladiert fur eine integrative Militarethik, die sich aus den Ethiken verschiedenster Berufsgruppen speist und die interdisziplinar und international (...) vermittelbar ist.". (shrink)

In addition to monocentric eukaryotes, which have a single localized centromere on each chromosome, there are holocentric species, with extended repeat‐based or repeat‐less centromeres distributed over the entire chromosome length. At least two types of repeat‐based holocentromeres exist, one composed of many small repeat‐based centromere units (small unit‐type), and another one characterized by a few large centromere units (large unit‐type). We hypothesize that the transposable element‐mediated dispersal of hundreds of short satellite arrays formed the small centromere unit‐type holocentromere in Rhynchospora (...) pubera. The large centromere unit‐type of the plant Chionographis japonica is likely a product of simultaneous DNA double‐strand breaks (DSBs), which initiated the de novo formation of repeat‐based holocentromeres via insertion of satellite DNA, derived from extra‐chromosomal circular DNAs (eccDNAs). The number of initial DSBs along the chromosomes must be higher than the number of centromere units since only a portion of the breaks will have incorporated eccDNA at an appropriate position to serve as future centromere unit sites. Subsequently, preferential incorporation of the centromeric histone H3 variant at these positions is assumed. The identification of repeat‐based holocentromeres across lineages will unveil the centromere plasticity and elucidate the mechanisms underlying the diverse formation of holocentromeres. (shrink)

Employees perception of the existence of a covenantal relationship between themselves and their employer indicates that they believe there is a mutual commitment to shared values and the welfare of the other party in the relationship. Research suggests that these types of employment relationships have positive benefits for both employees and employers. There has been little research, however, on the factors that determine whether such relationships will develop and thrive.In this paper, we suggest that the organizations ethical work climate may (...) be an important factor affecting employees perceptions about the nature of the relational contract between themselves and their employer. Specifically, we argue that work climates emphasizing benevolence and principle will be associated with covenantal relationships. Conversely, we believe that work climates emphasizing egoism will make it less likely that covenantal relationships will develop between an employer and employee. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.