We investigate properties of propositional modal logic over the classof finite structures. In particular, we show that certain knownpreservation theorems remain true over this class. We prove that aclass of finite models is defined by a first-order sentence and closedunder bisimulations if and only if it is definable by a modal formula.We also prove that a class of finite models defined by a modal formulais closed under extensions if and only if it is defined by a -modal formula.
It is a classical result of Mortimer that $L^2$ , first-order logic with two variables, is decidable for satisfiability. We show that going beyond $L^2$ by adding any one of the following leads to an undecidable logic:– very weak forms of recursion, viz.¶(i) transitive closure operations¶(ii) (restricted) monadic fixed-point operations¶– weak access to cardinalities, through the Härtig (or equicardinality) quantifier¶– a choice construct known as Hilbert's $\epsilon$ -operator.In fact all these extensions of $L^2$ prove to be undecidable both for satisfiability, (...) and for satisfiability in finite structures. Moreover most of them are hard for $\Sigma^1_1$ , the first level of the analytical hierachy, and thus have a much higher degree of undecidability than first-order logic. (shrink)
We show that the existential preservation theorem fails for two-variable first-order logic FO2. It is known that for all k ≥ 3, FOk does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and Németi. In contrast, we prove that the homomorphism preservation theorem holds for FO2.
Web scraping involves using computer programs for automated extraction and organization of data from the Web for the purpose of further data analysis and use. It is frequently used by commercial companies, but also has become a valuable tool in epidemiological research and public health planning. In this paper, we explore ethical issues in a project that “scrapes” public websites of U.S. county jails as part of an effort to develop a comprehensive database to enhance HIV surveillance and improve continuity (...) of care for incarcerated populations. We argue that the well-known framework of Emanuel et al. provides only partial ethical guidance for the activities we describe, which lie at a complex intersection of public health research and public health practice. We suggest some ethical considerations from the ethics of public health practice to help fill gaps in this relatively unexplored area. (shrink)
In medical research, it is not unusual that risks are ruled out without any specification the exact risk that was ruled out. This makes it difficult to balance expected health benefits and risk of harm when choosing between alternative treatment options. International guidelines for reporting medical research results are sufficiently specific when it comes to establishing health benefits. However, there is a lack of standards for reporting on ruling out risks. We argue that transparency is needed, as in the case (...) of non-inferiority trials. The Consolidated Standards of Reporting Trials and the Preferred Reporting Items for Systematic Reviews and Meta-Analyses statements should be revised accordingly. (shrink)
We investigate the expressive power of fragments of first-order logic that are defined in terms of prefixes. The main result establishes a strict hierarchy among these fragments over the signature consisting of a single binary relation. It implies that for each prefix p, there is a sentence in prenex normal form with prefix p, over a single binary relation, such that for all sentences θ in prenex normal form, if θ is equivalent to , then p can be embedded in (...) the prefix of θ. This strengthens a theorem of Walkoe. (shrink)
We prove a 0-1 law for the fragment of second order logic SO over parametric classes of finite structures which allow only one unary atomic type. This completes the investigation of 0-1 laws for fragments of second order logic defined in terms of first order quantifier prefixes over, e.g., simple graphs and tournaments. We also prove a low oscillation law, and establish the 0-1 law for Σ14 without any restriction on the number of unary types.
The paper examines the conditions under which we are responsible for actions performed under duress, focusing on a real case in which a soldier was compelled at gunpoint to participate in the massacre of civilian prisoners. The case stands for a class of cases in which the compelled act is neither clearly justified nor clearly excused on grounds of temporary incapacity, but in which it is nonetheless plausible that the agent is not morally blameworthy. The theoretical challenge is to identify (...) the excuse in such cases and to explain its basis. The paper argues that when mortal duress excuses in cases of this sort, it does so because the compelled act, though impermissible and freely chosen, nonetheless fails to manifest ‘an insufficiently good will’. The argument depends on a potentially controversial thesis in the ethics of concern, namely, that a thoroughly decent moral agent—someone who cares enough about morality and the values that underlie it—will not always be moved to do what he knows he ought to do. (shrink)
This paper examines the commonplace assertion that utilitarianism allows for and even, at times, requires the punishment of the innocent. It traces the origins of this doctrine to the writings of the British Idealists and the subsequent development of what is called the post-utilitarian paradigm which posits various justifications for punishment such as retribution, deterrence and reform, finds all of them inadequate, and then, with the addition of other ideas, reconciles them. The idea of deterrence is falsely depicted as the (...) utilitarian contribution to the theory of punishment, while deterrence in fact is one of several elements in the utilitarian theory. The mistake comes from ignoring the pain-pleasure dimension of Benthamite utilitarianism and from regarding the principle of utility itself as the sole criterion of action in a ‘top-down’ fashion. (shrink)
This article considers Bentham's response to the criticism of utilitarianism that it allows for and may even require the sacrifice of some members of society in order to increase overall happiness. It begins with the contrast between the principle of utility and the contrasting principle of sympathy and antipathy to show that Bentham regarded the main achievement of his principle as overcoming the subjectivity he found in all other philosophical theories. This subjectivism, especially prevalent in theories of rights, might well (...) lead to the sacrifice of the individual. The principle of utility was presented as an ‘objective’ theory that avoided the difficulties of other moral and political theories. The article also considers the importance of universally applicable ends, such as security and equality, as part of the principle of utility, and especially Bentham's view of maximizing pleasure as being a distributive rather than an aggregative idea. The article concludes by criticizing H. L. A. Hart's interpretation of the role of equality and rights in Bentham and John Stuart Mill, and argues that Mill's doctrine of moral rights builds on foundations originally established by Bentham, foundations which would preclude the sacrifice of individuals. (shrink)
Leo Strauss and Eric Voegelin were political theorists of the first rank whose impact on the study of political science in North America has been profound. A study of their writings is one of the most expeditious ways to explore the core of political science; comparing and contrasting the positions both theorists have taken in assessing that core provides a comprehensive appreciation of the main options of the Western tradition. In fifty-three recently discovered letters, Strauss and Voegelin explore the (...) nature of their similarities and differences, offering trenchant observations about one another's work, about the state of the discipline, and about the influences working on them. The correspondence fleshes out many assumptions made in their published writings, often with a frankness and directness that removes all vestiges of ambiguity. Included with the correspondence are four pivotal re-published essays—"Jerusalem and Athens: Some Preliminary Reflections", "The Gospel and Culture", "Immortality: Experience and Symbol", and "The Mutual Influence of Theology and Philosophy" —and commentaries by James L. Wiser, Hans-Georg Gadamer, Stanley Rosen, Thomas J. J. Altizer, Timothy Fuller, Ellis Sandoz, Thomas L. Pangle, and David Walsh. (shrink)
The fracture in the emerging discipline of biosemiotics when the code biologist Marcello Barbieri claimed that Peircian biosemiotics is not genuine science raises anew the question: What is science? When it comes to radically new approaches in science, there is no simple answer to this question, because if successful, these new approaches change what is understood to be science. This is what Galileo, Darwin and Einstein did to science, and with quantum theory, opposing interpretations are not merely about what theory (...) is right, but what is real science. Peirce's work, as he acknowledged, is really a continuation of efforts of Schelling to challenge the heritage of Newtonian science for the very good reason that the deep assumptions of Newtonian science had made sentient life, human consciousness and free will unintelligible, the condition for there being science. Pointing out the need for such a revolution in science has not succeeded as a defence of Peircian biosemiotics, however. In this paper, I will defend the scientific credentials of Peircian biosemiotics by relating it to the theoretical biology of the bio-mathematician, Robert Rosen. Rosen's relational biology, focusing on anticipatory systems and giving a place to final causes, should also be seen as a rigorous development of the Schellingian project to conceive nature in such a way that the emergence of sentient life, mind and science are intelligible. Rosen has made a very strong case for the characterization of his ideas as a real advance not only in science, but in how science should be understood, and I will argue that it is possible to provide a strong defence of Peircian biosemiotics as science through Rosen's defence of relational biology. In the process, I will show how biosemiotics can and should become a crucial component of anticipatory systems theory. (shrink)
The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of (...) living beings? Is the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)
Bose-Einstein statistics may be characterized in terms of multinomial distribution. From this characterization, an information theoretic analysis is made for Einstein-Podolsky-Rosen like situation; using Shannon’s measure of entropy.
First, I briefly recapitulate the main points of Rosen’s article, namely, that the word “Being” does not adequately signify the paradoxical unification of subject and object and that the Klein bottle can serve as a more appropriate sign -vehicle than the word. I then propose to apply his insight more widely; however, in order to do that, it is first necessary to identify infra- and exostructures of language, including culture, category structure, logic, metaphor, semantics, syntax, concept, and sign vehicles, (...) that preserve the status quo and keep subject and object disjunct. After analyzing those infra/exostructures, I engage a complementary process of integrating them, coagula, in order to spark ideas for innovating ways in which more of those facets of language can embrace paradox. (shrink)
The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the bio-mathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of « category » and the correlative concept of « natural equivalence » in mathematical modeling applied to living beings. Our questions are the following: according to Rosen, to what extent does the mathematical notion of category give access to more « natural (...) » formalisms in the modeling of living beings? Is the so-called « naturalness » of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer « yes » and to ground this transfer of the concept of « natural equivalence » in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of « category » in his more recent objections against computational models that since the 1990’s are pervading almost every domain of biology. (shrink)
As a young scholar, Eric Voegelin wanted to prove whether the ‘race idea’ could function as a means of political integration. He published two books on race that, after his flight to the USA, were eventually passed off as an early critique of racism. This is a complete misinterpretation and inversion of his endeavor. In his tracts, Voegelin only criticized a certain direction of race thinking that he identified as a materialistic biological approach to the problem. At the same (...) time, he advocated another spiritual and metaphysical attempt, represented by the examples of Carl Gustav Carus, Othmar Spann, and Ludwig Ferdinand Clauß. Both versions of race thinking were abundant in different types of fascism and also in Nazi Germany. That is why Voegelin could publish his books in Germany—and one of them even at the recommendation of a Nazi philosopher, with a publisher close to völkisch and fascist ideology. The revaluation of his racist texts was only possible on the basis of their affirmative or superficial and uncritical reading against the backdrop of the development of a one-dimensional conception of racism. (shrink)
A proposta deste estudo é abordar de forma teórica o pensamento do filósofo e cientista político, germano-americano, Eric Voegelin, buscando compreender a relação que promove entre o gnosticismo e a modernidade, tendo como foco sua afirmação de que o gnosticismo é o fundamento da modernidade. Para esta pesquisa, são utilizados como base teórica fundamental dois conceitos de sua teoria: religiões políticas e gnosticismo. Divide-se o trabalho em uma introdução ao tema e três capítulos, seguidos da conclusão. Na introdução, se (...) aborda o contexto histórico-político que fornece o estofo para o surgimento da modernidade e movimentos totalitários; com a biografia do autor, buscam-se elementos essenciais para a compreensão de sua posição de combate irrestrito às ideologias, principalmente ao nacional-socialismo alemão e socialismo stalinista. A partir da crítica ao movimento positivista, que considera a ciência natural e seus métodos o modo por excelência de apreensão da realidade, Voegelin demonstra que a dimensão simbólica, espiritual e transcendente do ser fica relegada a uma posição inferior, inexistente ou banalizada, causando uma deformação da verdade, que pode se manifestar em dogmas ou doutrinas ideológicas. No segundo capítulo, introduz-se sua noção de que o gnosticismo é o fundamento da sociedade moderna, na medida em que a insatisfação com a ordem corrente, a crença e desejo de mudança do indivíduo por meio do conhecimento, se firmam como contrários ao desenvolvimento do ser, apontando uma tendência nos movimentos ideológicos modernos à imanentização da escatologia cristã. No terceiro capítulo, apresentam-se as principais discussões a respeito dos limites e alcances de sua teoria, sua aproximação com uma filosofia da consciência e as possibilidades de utilizá-la para a compreensão dos fenômenos totalitários na atualidade, vistos como uma doença pneumopatológica. Concluiu-se que Voegelin, categórico ao apontar para a necessidade de uma nova abordagem para a ciência social e política, evidenciou uma estrutura religiosa nos movimentos modernos, ditos seculares; o conceito de gnosticismo como fundamento da modernidade, apesar de revisto pelo próprio autor e ainda fomentar controvérsias, pode ser um ponto de partida para estudos complementares, uma vez que enfatiza a necessidade de ampliação da consciência para a restauração da ordem social e política, e de incluir o aspecto transcendente do ser, que se expressa em seus símbolos e em suas experiências religiosas ao longo da história, para a compreensão da modernidade. (shrink)
In his New Science of Politics, Eric Voegelin offers an analysis of modernity: at its heart, it is a radicalization of Christianity—a radicalization that counts as a betrayal. Like other movements of its time, Christianity judged this world in terms of another—one wherein all of us were brothers and sisters, wherein justice mattered more than victory and mercy more than justice. But rather than endure in patience their own limitations, those whom Voegelin calls “gnostics” tried to build heaven on (...) earth—inevitably, by violence. This serves as his postmortem on the twentieth century: liberalism, communism, and fascism are all, according to Voegelin, trying to do what cannot be done—specifically, to do what Voegelin calls “immanentizing the eschaton.” Each is, in its own way, a revolt against the human condition—and so a revolt against God. -/- But these gnostics would hardly have seen themselves in this demonic light. Indeed, they often called themselves “rationalists” and saw themselves as a brave few who might lead humanity out of the madness of the past. Of course, Voegelin would hardly grant that Plato or Saint Augustine were less rational than, say, Thomas Hobbes. But he would certainly grant that the gnostics hoped to render the world “rational” by abolishing whatever aspects of the human condition were “irrational”—in the case of Hobbes, our capacity for mystical experience of God. -/- Of course, this is hardly how contemporary political scientists would explain Hobbes. In the introduction to his New Science of Politics, though, Voegelin offers an indirect explanation of this. He warns that the social sciences are prisoners of their idolatry of the natural sciences: they ignore any data that cannot be rendered in language that is entirely descriptive—insisting as they do so that this methodology is only “rational.”. (shrink)
Este artigo quer mostrar que Kant descobriu, segundo Eric Weil, o problema do sentido. Entretanto, Eric Weil observa que Kant não encontrou uma linguagem apropriada para falar do sentido. A linguagem de Kant era ainda uma linguagem ontológica. Malgrado isso, Kant conseguiu fechar, na terceira Crítica, o abismo que separava natureza e liberdade.
_ Source: _Volume 23, Issue 2, pp 236 - 255 In this article I compare some elements of Eric Gans’s thought with a few aspects of the philosophy of Hermann Cohen—first and foremost, Gans’s concept of the origin and Cohen’s concept of Ursprung—while revealing the deep affinity between these two lines of thinking.
Eric Voegelin believed that a morally acceptable and in the long run successful political order (which meant for the emigrant Voegelin primarily an order that is resistant to totalitarianism) can only be built on the foundation of a healthy religiosity of the citizens and the political leaders. The question of what a healthy religiosity is was examined by Voegelin by recurring to intellectual history and to the philosophy of consciousness. In my book I offer a detailed criticism Voegelin's philosophy (...) of consciousness and of his concept of political order. (shrink)
Consciousness is at once the most obvious and mysterious feature of the human mind. Kenneth Keulman seeks a better understanding of its many dimensions through interpretations of the ideas of the twentieth-century philosopher Eric Voegelin, who viewed the complexity of modern consciousness as the result of a distinctive form of evolution combining genetic change with cultural history. Voegelin's unique contribution to political theory, Keulman shows, comes from his development of an approach to history rooted in a study of the (...) symbolisms of the history of order. It is because the problems of order in society arise from the order of consciousness that the theory of consciousness can be placed at the center of political theory. Keulman's interpretation encompasses not only Voegelin's published writings but also a substantial body of unpublished material to which Voegelin gave him access before his death in 1985, including portions of what was to become Volume V of _Order and History_. (shrink)
Metaphysics: 5 Questions is a collection of short interviews based on 5 questions presented to some of the most influential and prominent philosophers in the field. We hear their views on metaphysics, the aim, the scope, the future direction of research and how their work fits in these respects. Interviews with Lynne Rudder Baker, Helen Beebee, Thomas Hofweber, Hugh Mellor, Peter Menzies, Stephen Mumford, Daniel Nolan, Eric T.Olson, L. A. Paul, Lorenz B. Puntel, Gonzalo Rodriguez-Pereyra, Gideon Rosen, Jonathan (...) Schaffer, Peter Simons, Barry Smith, Michael Tooley, Peter van Inwagen, Dean Zimmerman. (shrink)
Algebraic/topological descriptions of living processes are indispensable to the understanding of both biological and cognitive functions. This paper presents a fundamental algebraic description of living/cognitive processes and exposes its inherent ambiguity. Since ambiguity is forbidden to computation, no computational description can lend insight to inherently ambiguous processes. The impredicativity of these models is not a flaw, but is, rather, their strength. It enables us to reason with ambiguous mathematical representations of ambiguous natural processes. The noncomputability of these structures means computerized (...) simulacra of them are uninformative of their key properties. This leads to the question of how we should reason about them. That question is answered in this paper by presenting an example of such reasoning, the demonstration of a topological strategy for understanding how the fundamental structure can form itself from within itself. (shrink)
फेसबुक आणि ब्लॉगच्या जमान्यात तत्त्वज्ञानाची चर्चा केवळ पुस्तकांपुरती किंवा विद्यापीठीय चर्चासत्रांपुरती मर्यादित राहू नये, असे मानणारा एक चळवळय़ा प्राध्यापक, पुस्तकांच्या मानीव वर्चस्वामुळे तत्त्वज्ञान क्षेत्राचे काय नुकसान झाले, याबद्दलही बोलतो आहे आणि ही चर्चा पुस्तकांच्या बाहेरही झाली पाहिजे.. ती लोकाभिमुख झाली पाहिजे, असे सांगतो आहे..
It follows from Bell’s theorem and quantum mechanics that the detection of a particle of an entangled pair can (somehow) “force” the other distant particle of the pair into a well-defined state (which is equivalent to a reduction of the state vector): no property previously shared by the particles can explain the predicted quantum correlations. This result has been corroborated by experiment, although some loopholes still remain. However, it has not been experimentally proved—and it is far from obvious—that the absence (...) of detection, as in null-result (NR) experiments could have the very same effect. In this paper a way to try to bridge this gap is suggested. (shrink)
My purpose is to analyze the peculiar thinking of Weil, according to the categories of reasoning, as a choice to avoid violence. In his definition of man, Weil recovers the notion of realization, with which man is redefined in terms of what he must be and not merely for what he is. There-to, man is ..
The essays in this special issue focus on connecting the relevant aspects of Lowe’s work to any issue in philosophical theology or philosophy of religion, especially incarnation, trinity, divine attributes, human agency and divine sovereignty, unified experience and the existence of God, divine causation, divine temporality or atemporality et cetera.
There is an evident lack of rigorous frameworks for making sense of the role and status of spirituality and religion in organizations and organizing, in particular from the perspective of spiritual philosophies of the social. This paper suggests that the philosophy of Plato and his modern follower, political theorist Eric Voegelin could offer a viable perspective for understanding organizational spirituality in its metaphysical, political and ethical contexts. Essential for such a philosophical reflection is the postulation of the transcendental realm (...) as the ultimate reality that provides the fullest templates for order, knowledge and ethicality. It is argued, in the footsteps of Voegelin, that modern organizations and modern organization theory should seek to re-awaken the lost experiences of the divine Beyond by re-animating religious symbols and myths of transcendence as devices for a spiritually opened consciousness. (shrink)
ABSTRACTIn a recent paper published in this journal, Eric Funkhouser argues that some of our beliefs have the primary function of signaling to others, rather than allowing us to navigate the world. Funkhouser’s case is persuasive. However, his account of beliefs as signals is underinclusive, omitting both beliefs that are signals to the self and less than full-fledged beliefs as signals. The latter set of beliefs, moreover, has a better claim to being considered as constituting a psychological kind in (...) its own right than the set of beliefs Funkhouser identifies. (shrink)
En este trabajo presento un estudio sobre el estado del arte de la llamada ‘epistemología de las simulaciones computacionales’. En particular, me centro en los varios trabajos de Eric Winsberg quién es uno de los filósofos más fructíferos y sistemáticos en este tema. Además de analizar la obra de Winsberg, y basándome en sus trabajos y en el de otros filósofos, mostraré que hay buenas razones para pensar que la epistemología tradicional de la ciencia no es suficiente para el (...) análisis de las simulaciones computacionales. (shrink)
In the May 15, 1935 issue of Physical Review Albert Einstein co-authored a paper with his two postdoctoral research associates at the Institute for Advanced Study, Boris Podolsky and Nathan Rosen. The article was entitled “Can Quantum Mechanical Description of Physical Reality Be Considered Complete?” (Einstein et al. 1935). Generally referred to as “EPR”, this paper quickly became a centerpiece in the debate over the interpretation of the quantum theory, a debate that continues today. The paper features a striking (...) case where two quantum systems interact in such a way as to link both their spatial coordinates in a certain direction and also their linear momenta (in the same direction). As a result of this “entanglement”, determining either position or momentum for one system would fix (respectively) the position or the momentum of the other. EPR use this case to argue that one cannot maintain both an intuitive condition of local action and the completeness of the quantum description by means of the wave function. This entry describes the argument of that 1935 paper, considers several different versions and reactions, and explores the ongoing significance of the issues they raise. (shrink)
The violation of Bell inequalities by quantum physical experiments disproves all relativistic micro causal, classically real models, short Local Realistic Models (LRM). Non-locality, the infamous “spooky interaction at a distance” (A. Einstein), is already sufficiently ‘unreal’ to motivate modifying the “realistic” in “local realistic”. This has led to many worlds and finally many minds interpretations. We introduce a simple many world model that resolves the Einstein Podolsky Rosen paradox. The model starts out as a classical LRM, thus clarifying that (...) the many worlds concept alone does not imply quantum physics. Some of the desired ‘non-locality’, e.g. anti-correlation at equal measurement angles, is already present, but Bell’s inequality can of course not be violated. A single and natural step turns this LRM into a quantum model predicting the correct probabilities. Intriguingly, the crucial step does obviously not modify locality but instead reality: What before could have still been a direct realism turns into modal realism. This supports the trend away from the focus on non-locality in quantum mechanics towards a mature structural realism that preserves micro causality. (shrink)