ABSTRACT The question of axiomatizability of first-order temporal logics is studied w.r.t. different semantics and several restrictions on the language. The validity problem for logics admitting flexible interpretations of the predicate symbols or allowing at least binary predicate symbols is shown to be ?1 1-complete. In contrast, it is decidable for temporal logics with rigid monadic predicate symbols but without function symbols and identity.
Model checking is a widely used technique that aids in the designand debugging of reactive systems. This paper gives an overview onthe theory and algorithms used for model checking, with a biastowards automata-theoretic approaches and linear-time temporallogic. We also describe elementary abstraction techniques useful forlarge systems that cannot be directly handled by model checking.
This article reflects a conversation between Jan G. van der Watt and Stephan Joubert. The article serves as the introduction to the Special Collection: ‘From timely exegesis to contemporary ecclesiology: Relevant hermeneutics and provocative embodiment of faith in a Corona-defined world – Festschrift for Stephan Joubert, sub-edited by Willem Oliver ’. Following a brief bio-statement as introduction, the following issues are discussed: the collection for the Jerusalem church; relevance of theology for society; social-scientific exegesis; the ancient concept of (...) grace; Bible translation in South Africa; public theology on the electronic platform; biblical examples of leadership and electronic media in religious activities and education.Contribution: This Festschrift represents current trends in biblical scholarship and ecclesial leadership. It contributes to the public discourse in church and society, especially the role of the electronic media in current Fourth Industrial Revolution. (shrink)
The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.
Fundamentality plays a pivotal role in discussions of ontology, supervenience, and possibility, and other key topics in metaphysics. However, there are two different ways of characterising the fundamental: as that which is not grounded, and as that which is the ground of everything else. I show that whether these two characterisations pick out the same property turns on a principle—which I call “Dichotomy”—that is of independent interest in the theory of ground: that everything is either fully grounded or not even (...) partially grounded. I then argue that Dichotomy fails: some facts have partial grounds that cannot be complemented to a full ground. Rejecting Dichotomy opens the door to recognising a bifurcation in our notion of fundamentality. I sketch some of the far-reaching metaphysical consequences this might have, with reference to big-picture views such as Humeanism. Since Dichotomy is entailed by the standard account of partial ground, according to which partial grounds are subpluralities of full grounds, a non-standard account is needed. In a technical “Appendix”, I show that truthmaker semantics furnishes such an account, and identify a semantic condition that corresponds to Dichotomy. (shrink)
This thought-provoking book discusses the concept of progress in economics and investigates whether any advance has been made in its different spheres of research. The authors look back at the history, successes and failures of their respective fields and thoroughly examine the notion of progress from an epistemological and methodological perspective. The idea of progress is particularly significant as the authors regard it as an essentially contested concept which can be defined in many ways – theoretically or empirically; locally or (...) globally; or as encouraging or impeding the existence of other research traditions. The authors discuss the idea that for progress to make any sense there must be an accumulation of knowledge built up over time rather than the replacement of ideas by each successive generation. Accordingly, they are not concerned with estimating the price of progress, reminiscing in the past, or assessing what has been lost. Instead they apply the complex mechanisms and machinery of the discipline to sub-fields such as normative economics, monetary economics, trade and location theory, Austrian economics and classical economics to critically assess whether progress has been made in these areas of research. -/- Bringing together authoritative and wide-ranging contributions by leading scholars, this book will challenge and engage those interested in philosophy, economic methodology and the history of economic thought. It will also appeal to economists in general who are interested in the advancement of their profession. (shrink)
We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics with (...) converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)
This comprehensive new book introduces the core history of phenomenology and assesses its relevance to contemporary psychology, philosophy of mind, and cognitive science. From critiques of artificial intelligence research programs to ongoing work on embodiment and enactivism, the authors trace how phenomenology has produced a valuable framework for analyzing cognition and perception, whose impact on contemporary psychological and scientific research, and philosophical debates continues to grow. The first part of _An Introduction to Phenomenology_ is an extended overview of the history (...) and development of phenomenology, looking at its key thinkers, focusing particularly on Husserl, Heidegger and Merleau-Ponty, as well as its cultural and intellectual precursors. In the second half Chemero and Käufer turn their attention to the contemporary interpretations and uses of phenomenology in cognitive science, showing that phenomenology is a living source of inspiration in contemporary interdisciplinary studies of the mind. Käufer and Chemero have written a clear, jargon-free account of phenomenology, providing abundant examples and anecdotes to illustrate and to entertain. This book is an ideal introduction to phenomenology and cognitive science for the uninitiated, as well as for philosophy and psychology students keen to deepen their knowledge. (shrink)
Much attention has been focused in recent years on the ethical acceptability of physicians receiving gifts from drug companies. Professional guidelines recognize industry gifts as a conflict of interest and establish thresholds prohibiting the exchange of large gifts while expressly allowing for the exchange of small gifts such as pens, note pads, and coffee. Considerable evidence from the social sciences suggests that gifts of negligible value can influence the behavior of the recipient in ways the recipient does not always realize. (...) Policies and guidelines that rely on arbitrary value limits for gift-giving or receipt should be reevaluated. (shrink)
Angesichts der gegenwärtigen ökonomischen, ökologischen und sozialen Krisen zeichnet sich ab, dass die Wachstumsdynamik moderner Gesellschaften nicht mehr stabilisierend wirkt, sondern selbst zum Krisentreiber geworden ist. In diesem Band diskutieren die Philosophin Nancy Fraser und die Soziologen Klaus Dörre, Stephan Lessenich und Hartmut Rosa, was dies für die Gegenwart und die Zukunft der Demokratie bedeutet und welche Konzeptionen und Wege hin zu einer demokratischen Transformation vorstellbar sind. Aus ihrer demokratietheoretischen Perspektive intervenieren Viviana Asara, Banu Bargu, Ingolfur Blühdorn, Robin Celikates, (...) Lisa Herzog, Brian Milstein, Michelle Williams und Christos Zografos. (shrink)
Este trabajo aborda dos facetas complementarias del poeta francés Stéphane Mallarmé. En primer lugar, se estudia la poética, con su objetivo frustrado de alcanzar la Forma Pura y la presencia de la Nada y el Silencio, así como la función de los objetos en el proceso de escritura. La segunda parte trata sobre la revista La Dernière Mode, fundada y dirigida por Mallarmé entre 1874 y 1875, y después se centra en la crítica de arte escrita por Mallarmé, sobre todo (...) en su aproximación a Édouard Manet y los pintores impresionistas. (shrink)
In the past decade well-designed research studies have shown that the practice of collaborative philosophical inquiry in schools can have marked cognitive and social benefits. Student academic performance improves, and so too does the social dimension of schooling. These findings are timely, as many countries in Asia and the Pacific are now contemplating introducing Philosophy into their curricula. This paper gives a brief history of collaborative philosophical inquiry before surveying the evidence as to its effectiveness. The evidence is canvassed under (...) two categories: schooling and thinking skills; and schooling, socialisation and values. In both categories there is clear evidence that even short-term teaching of collaborative philosophical inquiry has marked positive effects on students. The paper concludes with suggestions for further research and a final claim that the presently-available research evidence is strong enough to warrant implementing collaborative philosophical inquiry as part of a long-term policy. (shrink)
I suggest a way of extending Stalnaker’s account of assertion to allow for centered content. In formulating his account, Stalnaker takes the content of assertion to be uncentered propositions: entities that are evaluated for truth at a possible world. I argue that the content of assertion is sometimes centered: the content is evaluated for truth at something within a possible world. I consider Andy Egan’s proposal for extending Stalnaker’s account to allow for assertions with centered content. I argue that Egan’s (...) account does not succeed. Instead, I propose an account on which the contents of assertion are identified with sets of multi-centered worlds. I argue that such a view not only provides a plausible account of how assertions can have centered content, but also preserves Stalnaker’s original insight that successful assertion involves the reduction of shared possibilities. (shrink)
Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we (...) propose a selection of landmark results about decidability, complexity and expressive power. (shrink)
De se attitudes seem to play a special role in action and cognition. This raises a challenge to the traditional way in which mental attitudes have been understood. In this chapter, we review the case for thinking that de se attitudes require special theoretical treatment and discuss various ways in which the traditional theory can be modified to accommodate de se attitudes.
Since the 1860s, petroleum companies, through their influence on local governments, port authorities, international actors and the general public gradually became more dominant in shaping the urban form of ports and cities. Under their development and pressure, the relationships between industrial and urban areas in port cities hosting oil facilities evolved in time. The borders limiting industrial and housing territories have continuously changed with industrial places moving progressively away from urban areas. Such a changing dynamic influenced the permeability of these (...) borders. Port cities are nodes and logistic points where various flows of commodities, wealth, and knowledge gathered before further re‐distribution. These flows affected port cities by changing their spatial organization and the availabiity of space between borders. The main question here is: How did industrial and urban borders evolve through time in port cities? Through a historical analysis, the article explores the settlements of oil facilities and the influence of oil companies over local, regional, and national governments in creating borders and how it influenced the porosity of port cities. This article, through the petroleum narrative, illustrates the impacts of past borders on the contemporary urban form through the evolution of the French port city of Dunkirk, in the North of France. As a historical study, the article analyzes the changing relationships between petroleum industrial sites and housing areas in the city of Dunkirk, using aerial pictures, archival sources, and regulations of different periods. The importance of this analysis lies in knowing that former oil sites previously located on the periphery of Dunkirk, that were forgotten by the authorities are now located within the current urban tissue. This process demonstrates the importance of historical developments to understand current challenges in the urban planning of industrial port cities. (shrink)
Among the questions to be raised under the heading of “personal identity” are these: “What are we?” (fundamental nature question) and “Under what conditions do we persist through time?” (persistence question). Against the dominant neo-Lockean approach to these questions, the view known as animalism answers that each of us is an organism of the species Homo sapiens and that the conditions of our persistence are those of animals. Beyond describing the content and historical background of animalism and its rivals, this (...) entry explores some of the arguments for and objections to this controversial account of our nature and persistence. (shrink)
There is currently disagreement about whether the phenomenon of first-person, or de se, thought motivates a move towards special kinds of contents. Some take the conclusion that traditional propositions are unable to serve as the content of de se belief to be old news, successfully argued for in a number of influential works several decades ago.1 Recently, some philosophers have challenged the view that there exist uniquely de se contents, claiming that most of the philosophical community has been under the (...) grip of an attractive but unmotivated myth.2 At the very least, this latter group has brought into question the arguments in favor of positing special kinds of content for de se belief; I think they have successfully shown that these arguments are not as conclusive, or fully articulated, as many have taken them to be. In this paper I will address these challenges directly and I will present and defend an argument for the conclusion that the phenomenon of de se thought does indeed motivate the move to a special kind of content, content that is uniquely de se. First, I characterize a notion of de se belief that is neutral with respect to friends and foes of uniquely de se content. I then argue for a determination thesis relating de se belief to belief content: that there is no difference in de se belief without a difference in belief content. I argue that various proposals for rejecting this determination thesis are unsuccessful. In the last part of the paper, I employ this determination thesis to argue for the existence of a type of belief content that is uniquely de se. (shrink)
Analytic philosophy is once again in a methodological frame of mind. Nowhere is this more evident than in metaphysics, whose practitioners and historians are actively reflecting on the nature of ontological questions, the status of their answers, and the relevance of contributions both from other areas within philosophy and beyond. Such reflections are hardly new: the debate between Willard van Orman Quine and Rudolf Carnap about how to understand and resolve ontological questions is widely seen as a turning point in (...) twentieth-century analytic philosophy. And indeed, this volume is occasioned by the fact that the deflationary approach to metaphysics advocated by Carnap in that debate is once again attracting considerable interest and support. Eleven original essays by many of today's leading voices in metametaphysics aim to deepen our understanding of Carnap's contributions to metaontology and to explore how this legacy might be mined for insights into the contemporary debate. (shrink)
Bayesian epistemology addresses epistemological problems with the help of the mathematical theory of probability. It turns out that the probability calculus is especially suited to represent degrees of belief (credences) and to deal with questions of belief change, confirmation, evidence, justification, and coherence. Compared to the informal discussions in traditional epistemology, Bayesian epis- temology allows for a more precise and fine-grained analysis which takes the gradual aspects of these central epistemological notions into account. Bayesian epistemology therefore complements traditional epistemology; it (...) does not re- place it or aim at replacing it. (shrink)
In Corporate Reorganization Law and Forces of Change, Sarah Paterson investigates the development of modern corporate reorganisation law in the United States and England and shows how, and why, the use of these laws has changed over time. Paterson argues that any analysis of corporate restructuring law must focus on the participants in the process and the way they mobilise and adapt legal rules in new ways to meet the problem of the day. She concludes that best practice, not doctrinal (...) concepts, should inform any law reform in this area. This review concludes nonetheless with an attempt to identify a doctrinal concept of a modern restructuring law based on the insights of Paterson’s socio-legal analysis. (shrink)
We present an overview of linear-time temporal logics with Presburger constraints whose models are sequences of tuples of integers. Such formal specification languages are well-designed to specify and verify systems that can be modelled with counter systems. The paper recalls the general framework of LTL over concrete domains and presents the main decidability and complexity results related to fragments of Presburger LTL. Related formalisms are also briefly presented.
The view known as animalism asserts that we are human animals—that each of us is an instance of the Homo sapiens species. The standard argument for this view is known as the thinking animal argument . But this argument has recently come under attack. So, here, a new argument for animalism is introduced. The animal ancestors argument illustrates how the case for animalism can be seen to piggyback on the credibility of evolutionary theory. Two objections are then considered and answered.
Dr. McGee presents a cogent argument for the patentability of the diagnosis of gene forms that are found to be associated with disease or other phenotypic manifestations. We're convinced he's wrong. An analogy will help explain why.