Riemer’s recent paper on the perception of time discusses a neglected yet important topic in the psychological literature: the consequences for psychology (and psychophysics) from the ‘anisotropy’ of time. The paper presents an argument that there are unique kinds of challenges for psychophysics from such temporal anisotropy: (a) Challenges because the psychological experience of time has temporal anisotropy and the physical concept of time does not have temporal anisotropy. (b) Challenges for experimental research which are unique to temporal anisotropy. -/- (...) Although it is important to consider temporal anisotropy, I think there are reasons to deny the force of both kinds of challenges. (shrink)

This edited collection presents the latest cutting-edge research in the philosophy and cognitive science of temporal illusions. Illusion and error have long been important points of entry for both philosophical and psychological approaches to understanding the mind. Temporal illusions, specifically, concern a fundamental feature of lived experience, temporality, and its relation to a fundamental feature of the world, time, thus providing invaluable insight into investigations of the mind and its relationship with the world. The existence of temporal illusions crucially challenges (...) the naïve assumption that we can simply infer the temporal nature of the world from experience. This anthology gathers eighteen original papers from current leading researchers in this subject, covering four broad and interdisciplinary topics: illusions of temporal passage, illusions and duration, illusions of temporal order and simultaneity, and the relationship between temporal illusions and the cognitive representation of time. (shrink)

Does the status of certain temporal experiences as illusory depend on one’s conception of time? Our concept of time in part determines our concept of what we hold to be real and unreal; what we hold to be real and unreal partially determines what we hold to be illusory; thus, our concept of time in part determines what we hold to be illusory. This paper argues that this dependency of illusions on the concept of time is applicable to illusions of (...) time. Two possible temporal illusions given the evidence are examined, simultaneity and the experience of the past; it is argued that the evidence points at temporal illusions depending on which conception of time is true. (shrink)

This article examines the relationship between feminism, queer theory and the rise of popular debate over maternity and anti-maternity that has arisen in recent years in France. Through the image of ‘queer maternity’, that is to say, of women who question motherhood from the position of already having had children, the article tries to rethink the way in which feminism, queer theory and motherhood could be placed in relation to one another such that by questioning maternity, the symbolic order that (...) places motherhood on the side of the state and futurity can itself be questioned as a whole. This has particular resonances in the French context where a discourse of ‘natural’ motherhood has come to dominate: the ‘queer’ mother who questions her maternal status is thus argued to represent a threat to the futurity of the family, the social contract and the existing order. (shrink)

In this article, I present a case for a kind of existential theology which would be philosophical and metaphysical, though not broadly Platonic and classical, and biblical though not illogical. What I present will be an attempt to clarify and justify what I call "existential hayatological theism". In so doing I will draw on insights from what Edmond La B Cherbonnier and Claude Tresmontant designated as "biblical philosophy" and "biblical metaphysics" as well as from the neo-classical philosophies of Charles Hartshorne (...) and Alfred North Whitehead, especially that of Whitehead. (shrink)

This paper attempts to make sense of religious fundamentalists' distorted assessment of the evidence for evolution through natural selection—evidence the scientific and educational and religious communities at large see as unassailable. It argues that philosophical and logical categories and tools are useful in exploring the ideological fracture within the creationist debate, and it goes on to put some of them to work. I examine the epistemic or doxastic position of the audience-members from as neutral a point of view as possible, (...) in order to better understand both what is being expected, by us, of them as believers and information-processors and their response to this expectation. Since that response illustrates one dimension of the sudden and global resurgence of religion in an age of increasing secularization, a phenomenon which has surprised social scientists, this perennial topic deserves study. (shrink)

In this paper, we argue that Plotinus denies deliberative forethought about the physical cosmos to the demiurge on the basis of certain basic and widely shared Platonic and Aristotelian assumptions about the character of divine thought. We then discuss how Plotinus can nonetheless maintain that the cosmos is «providentially» ordered.

This edited collection presents the latest cutting-edge research in the philosophy and cognitive science of temporal illusions. Illusion and error have long been important points of entry for both philosophical and psychological approaches to understanding the mind. Temporal illusions, specifically, concern a fundamental feature of lived experience, temporality, and its relation to a fundamental feature of the world, time, thus providing invaluable insight into investigations of the mind and its relationship with the world. The existence of temporal illusions crucially challenges (...) the naïve assumption that we can simply infer the temporal nature of the world from experience. This anthology gathers eighteen original papers from current leading researchers in this subject, covering four broad and interdisciplinary topics: illusions of temporal passage, illusions and duration, illusions of temporal order and simultaneity, and the relationship between temporal illusions and the cognitive representation of time. (shrink)

In this paper, we argue that Plotinus denies deliberative forethought about the physical cosmos to the demiurge on the basis of certain basic and widely shared Platonic and Aristotelian assumptions about the character of divine thought. We then discuss how Plotinus can nonetheless maintain that the cosmos is «providentially» ordered. -/- [Note: This paper is a French translation (prepared by Mathilde Brémond) of a paper that appears in A. Marmodoro and B. Prince (eds.), Causation and Creation in Late Antiquity (Cambridge, (...) 2015).]. (shrink)

A substantial amount of recent work in natural language generation has focused on the generation of ‘‘one-shot’’ referring expressions whose only aim is to identify a target referent. Dale and Reiter's Incremental Algorithm (IA) is often thought to be the best algorithm for maximizing the similarity to referring expressions produced by people. We test this hypothesis by eliciting referring expressions from human subjects and computing the similarity between the expressions elicited and the ones generated by algorithms. It turns out that (...) the success of the IA depends substantially on the ‘‘preference order’’ (PO) employed by the IA, particularly in complex domains. While some POs cause the IA to produce referring expressions that are very similar to expressions produced by human subjects, others cause the IA to perform worse than its main competitors; moreover, it turns out to be difficult to predict the success of a PO on the basis of existing psycholinguistic findings or frequencies in corpora. We also examine the computational complexity of the algorithms in question and argue that there are no compelling reasons for preferring the IA over some of its main competitors on these grounds. We conclude that future research on the generation of referring expressions should explore alternatives to the IA, focusing on algorithms, inspired by the Greedy Algorithm, which do not work with a fixed PO. (shrink)

A substantial amount of recent work in natural language generation has focused on the generation of ‘‘one‐shot’’ referring expressions whose only aim is to identify a target referent. Dale and Reiter's Incremental Algorithm (IA) is often thought to be the best algorithm for maximizing the similarity to referring expressions produced by people. We test this hypothesis by eliciting referring expressions from human subjects and computing the similarity between the expressions elicited and the ones generated by algorithms. It turns out that (...) the success of the IA depends substantially on the ‘‘preference order’’ (PO) employed by the IA, particularly in complex domains. While some POs cause the IA to produce referring expressions that are very similar to expressions produced by human subjects, others cause the IA to perform worse than its main competitors; moreover, it turns out to be difficult to predict the success of a PO on the basis of existing psycholinguistic findings or frequencies in corpora. We also examine the computational complexity of the algorithms in question and argue that there are no compelling reasons for preferring the IA over some of its main competitors on these grounds. We conclude that future research on the generation of referring expressions should explore alternatives to the IA, focusing on algorithms, inspired by the Greedy Algorithm, which do not work with a fixed PO. (shrink)

Christian realism is undergoing a renaissance in both American Christianity and around the world. Caught between globalist liberalism, on the one hand, and pragmatic realism on the other, Christians are in search of international ethics, a standard and tradition in foreign policy, that takes the two great books of life, the Christian Scriptures and the world we live in, seriously. This book is an extended, edited collection that mines the tradition of Christian realism in international relations and finds in it (...) voices and mentors urgently fresh for a new age. With classic authors like Reinhold Niebuhr, Herbert Butterfield, Paul Ramsey, and Jean Bethke Elshtain, and contemporaries like Marc LiVecche, Rebecca Heinrichs, and others, this collection offers for the first time an organization, periodization, and collection of primary Christian realist sources for the initiate and the expert in foreign relations."--Provided by publisher. (shrink)

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but (...) rather must be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)

World politics, international relations, representative government. Author's works in demand.

Diversity and disagreement in the religious beliefs among many religious people seem here to stay, however much they bother some inquirers. Even so, the latter inquirers appear not to be similarly bothered by diversity and disagreement in the scientific beliefs among many scientists. They sometimes propose that we should take religious beliefs to be noncognitive and perhaps even nonontological and noncausal regarding their apparent referents, but they do not propose the same for scientific beliefs. Perhaps they would account for this (...) difference in terms of more extensive diversity and disagreement among religious beliefs than scientific beliefs. We shall attend to the alleged significance of diversity and disagreement among religious beliefs, with an eye toward its bearing on epistemic and ontological matters in religion. In particular, we shall ask whether the significance recommends a retreat from first-order to “second-order” religion, as suggested by Branden Thornhill-Miller and Peter Millican. (shrink)

Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are (...) often justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages. (shrink)

L’idéologie sous-jacente à la théorie de l’État de Raymond Carré de Malberg et de Hans Kelsen est marquée par la délicate articulation entre le pouvoir, l’ordre et la liberté. Si la place accordée à la démocratie et aux libertés est résiduelle chez Carré de Malberg, elle ressort bien plus clairement chez Kelsen. Les deux auteurs restent néanmoins fortement imprégnés, dans la logique positiviste, par l’idée d’ordre (articulant unité et puissance) qui structure encore, en filigrane, nos systèmes juridiques contemporains.

A first order representation (f.o.r.) in topology is an assignment of finitary relational structures of the same type to topological spaces in such a way that homeomorphic spaces get sent to isomorphic structures. We first define the notions "one f.o.r. is at least as expressive as another relative to a class of spaces" and "one class of spaces is definable in another relative to an f.o.r.", and prove some general statements. Following this we compare some well-known classes of spaces and (...) first order representations. A principal result is that if X and Y are two Tichonov spaces whose posets of zero-sets are elementarily equivalent then their respective rings of bounded continuous real-valued functions satisfy the same positive-universal sentences. The proof of this uses the technique of constructing ultraproducts as direct limits of products in a category theoretic setting. (shrink)

In this collection of essays, the first translation into English of the ground-breaking 'Normativität und Macht' (Suhrkamp 2015), Rainer Forst presents a new approach to critical theory. Each essay reflects on the basic principles that guide our normative thinking. Forst's argument goes beyond 'ideal' and 'realist' theories and shows how closely the concepts of normativity and power are interrelated, and how power rests on the capacity to influence, determine, and possibly restrict the space of justifications for others. By (...) combining insights from the disciplines of philosophy, history, and the social sciences, Forst revaluates theories of justice, as well as of power, and provides the tools for a critical theory of relations of justification. Translated from German. (shrink)

It is shown that the expressive power of second-order propositional modal logic whose modalities are S4.2 or weaker is the same as that of second-order predicate logic.

Cohesive powersof computable structures are effective analogs of ultrapowers, where cohesive sets play the role of ultrafilters. Let$\omega $,$\zeta $, and$\eta $denote the respective order-types of the natural numbers, the integers, and the rationals when thought of as linear orders. We investigate the cohesive powers of computable linear orders, with special emphasis on computable copies of$\omega $. If$\mathcal {L}$is a computable copy of$\omega $that is computably isomorphic to the usual presentation of$\omega $, then every cohesive power of$\mathcal (...) {L}$has order-type$\omega + \zeta \eta $. However, there are computable copies of$\omega $, necessarily not computably isomorphic to the usual presentation, having cohesive powers not elementarily equivalent to$\omega + \zeta \eta $. For example, we show that there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \eta $. Our most general result is that if$X \subseteq \mathbb {N} \setminus \{0\}$is a Boolean combination of$\Sigma _2$sets, thought of as a set of finite order-types, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$, where$\boldsymbol {\sigma }(X \cup \{\omega + \zeta \eta + \omega ^*\})$denotes the shuffle of the order-types inXand the order-type$\omega + \zeta \eta + \omega ^*$. Furthermore, ifXis finite and non-empty, then there is a computable copy of$\omega $with a cohesive power of order-type$\omega + \boldsymbol {\sigma }(X)$. (shrink)

We prove here theorems of the form: if T has a model M in which P 1 (M) is κ 1 -like ordered, P 2 (M) is κ 2 -like ordered ..., and Q 1 (M) if of power λ 1 , ..., then T has a model N in which P 1 (M) is κ 1 '-like ordered ..., Q 1 (N) is of power λ 1 ,.... (In this article κ is a strong-limit singular cardinal, and (...) κ' is a singular cardinal.) We also sometimes add the condition that M, N omits some types. The results are seemingly the best possible, i.e. according to our knowledge about n-cardinal problems (or, more precisely, a certain variant of them). (shrink)

Drawing on work in International Relations, International Law and Global Governance, this book aims to provide a clear and wide-ranging introduction to the ...

Drawing upon Hannah Arendt's and Carl Schmitt's theories on the relationship between nomos and boundary, this paper revisits how constitutionalism and political power are reconciled as constitutional ordering. It first analyzes constitutionalism in the light of political modernity. Indicating that political power grounded by constitutions is omnipotent, complementing and completing constitutionalism, the paper contends that an omnipotent constitutional ordering is anything but an unleashed Leviathan. It is argued that constitutional omnipotence is framed and thus constrained by a constitutional (...) nomos, the matrix of which is a dual delimitation of boundaries, generational, and jurisdictional. (shrink)

The aim of this article is to present the most important voices on the role of the US in the international order during Donald Trump’s presidency in the debate held in the Foreign Affairs. The authors assume that Foreign Affairs expresses the opinions of the most crucial organisation bringing together the elites of American foreign affairs – the Council on Foreign Relations. The paper proposes a hypothesis according to which there is a difference of opinion due to the adopted theoretical (...) perspective regarding Trump’s role in the destruction of the liberal international order among the American power elites, even though they agree that the ideological conflict between democratic and authoritarian countries around the world is escalating. (shrink)

Drawing upon Hannah Arendt's and Carl Schmitt's theories on the relationship between nomos and boundary, this paper revisits how constitutionalism and political power are reconciled as constitutional ordering. It first analyzes constitutionalism in the light of political modernity. Indicating that political power grounded by constitutions is omnipotent, complementing and completing constitutionalism, the paper contends that an omnipotent constitutional ordering is anything but an unleashed Leviathan. It is argued that constitutional omnipotence is framed and thus constrained by a constitutional (...) nomos, the matrix of which is a dual delimitation of boundaries, generational, and jurisdictional. (shrink)

Nowadays, the power systems are getting more and more complicated because of the delays introduced by the communication networks. The existence of the delays usually leads to the degradation and/or instability of power system performance. On account of this point, the traditional load frequency control approach for power system sketches a destabilizing impact and an unacceptable system performance. Therefore, this paper proposes a new LFC based on adaptive integral second-order sliding mode control approach for the large-scale (...) class='Hi'>power system with communication delays. First, a new linear matrix inequality is derived to ensure the stability of whole power systems using Lyapunov stability theory. Second, an AISOSMC law is designed to ensure the finite time reachability of the system states. To the best of our knowledge, this is the first time the AISOSMC is designed for LFC of the LSPSwCD. In addition, the report of testing results presents that the suggested LFC based on AISOSMC can not only decrease effectively the frequency variation but also make successfully less in mount of power oscillation/fluctuation in tie-line exchange. (shrink)

We introduce SO-HORNr which is a revised version of SO-HORN and show that SO-HORNr captures equation image on ordered finite structures. We also introduce second-order extended Horn logic SO-EHORN and a superclass SO-EHORNr of it. We show that both of them capture equation image on ordered finite structures by proving that SO-EHORN and SO-EHORNr have the same expressive power when only consider ordered structures.

Nitzan and Bichler’s Capital as Power suggests that conventional theories of capitalism, Marxist and liberal alike, are unable to answer the question: what is capital? They argue that the basic units of Marxist economics, abstract labour and value, are unobservable and immeasurable, and hence ‘non-existent’ and ‘fictitious’. Against Marxists, they argue that capital is not an ‘economic’ entity, but a symbolic quantification of power.This review contends that what Nitzan and Bichler present as a critique of Marxism as such (...) pivots on an incomprehension of dialectical thinking, and thus misses the mark. Furthermore, this absence in their readings of Marx is strictly correlative to the limits of their own theory-building. Capital as Power simply inverts the vulgar economism it finds in Marxist theories, presenting us with a theory in which capital is financial rather than productive, and symbolic rather than material. In doing so, it reproduces the one-sidedness it criticises, while discarding the possibility of analysing capitalism dialectically as a totality consisting of contradictory, but mutually presupposing, moments. (shrink)

The book discusses different models of world order, traditional and modern. Any practical application of the concept at issue will be affected by the prevailing power structure, and to some degree, reflect it. The reality of American preeminence in the world today needs to be reconciled with the demand for international legitimacy.

In this article we study linear temporal logics with team semantics that are novel logics for defining hyperproperties. We define Kamp-type translations of these logics into fragments of first-order team logic and second-order logic. We also characterize the expressive power and the complexity of model-checking and satisfiability of team logic and second-order logic by relating them to second- and third-order arithmetic. Our results set in a larger context the recent results of Lück showing that the extension of TeamLTL by (...) the Boolean negation is highly undecidable under the so-called synchronous semantics. We also study stutter-invariant fragments of extensions of TeamLTL. (shrink)

This article focuses on a religious structure that is intrinsic to the contemporary mechanisms that have enabled the global domination of economic power: faith in the market. Following Foucault’s transition from biopolitics to governmentality, this article articulates the mechanism that generates the ability for human beings to give shape and value to their lives. Through a reading of Schmitt and Hayek, as well as an updated reading of Weber’s thesis on the origin of capitalism, this article argues that we (...) must turn our attention to the Christian motifs that shape our contemporary understanding of the ‘economy’. (shrink)

An observer attempts to infer the unobserved ranking of two ideal objects, A and B, from observed rankings in which these objects are `accompanied' by `noise' components, C and D. In the first ranking, A is accompanied by C and B is accompanied by D, while in the second ranking, A is accompanied by D and B is accompanied by C. In both rankings, noisy-A is ranked above noisy-B. The observer infers that ideal-A is ranked above ideal-B. This commonly used (...) inference rule is formalized for the case in which A,B,C,D are sets. Let X be a finite set and let be a linear ordering on 2X. The following condition is imposed on . For every quadruple (A,B,C,D)∈Y, where Y is some domain in (2X)4, if and , then . The implications and interpretation of this condition for various domains Y are discussed. (shrink)

Foucault’s conceptualization of “pastoral power” is important in the development and application of the notion of “governmentality” or the regulation of mass populations. However, Foucault’s exploration of pastoral power, especially in the form of confessional practice, owes a good deal to his Roman Catholic heritage. Hints in his work, which were never developed, suggest some aspects of Protestant forms of pastoral power. These hints are taken up to explore one Protestant tradition, that of Scottish Presbyterianism, in detail. (...) Based on the history of the church in the eighteenth century, four aspects of Protestant pastoral power are outlined: examination, accountability, ecclesiology, and organizing as a good in its own right. (shrink)

This paper brings together a most fascinating and under-examined body of early New World writing that belong to a genre of writing I call “the torture narrative” with the insights of Marshall McLuhan in order to offer a way of thinking about body parts, especially hands, teeth, tongues, and eyeballs, and their extensions through technologies such as alphabets, manuscripts, books, and weapons. At its core are questions about the nature and effects of the changes wrought by the early-Gutenberg era—a period (...) characterized by vast scientific and technical discoveries, rising nationalisms, explorations, and conquests—in the New World. Rather than explore the ways an early New World print culture reflects or distorts discrete historical or ethnographic facts about colonial contact, I want to probe the ways the torture narrative speaks to the conditions of speaking and writing, and therefore to the discursive and textual production of the New World subject and New World space. My inquiry seeks to understand both the violence in, and the violence of, representation at founding historical moments, but its relevance far exceeds Renaissance or American studies. At stake in this discussion is an appreciation of a mode of intellectual inquiry that is attentive to the relationship between media technologies and the social worlds they reflect and transform. (shrink)

Kegley asks whether in a culturally pluralistic global community it is possible to find a common normative principle that statesmen from diverse ethical traditions might embrace to discipline democratic behavior.