Using the flexibility of recently developed methods for causal discovery based on Boolean satisfiability solvers, we encode a variety of assumptions that weaken the Faithfulness assumption. The encoding results in a number of SAT-based algorithms whose asymptotic correctness relies on weaker conditions than are standardly assumed. This implementation of a whole set of assumptions in the same platform enables us to systematically explore the effect of weakening the Faithfulness assumption on causal discovery. An important effect, suggested by simulation results, is (...) that adopting weaker assumptions greatly alleviates the problem of conflicting constraints and substantially shortens solving time. As a result, SAT-based causal discovery is potentially more scalable under weaker assumptions. (shrink)

This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swansea, UK, in June/July 2009. The 34 revised full papers presented together with 11 revised short papers and 2 invited talks were carefully selected from 86 submissions. The papers are organized in topical sections on applications of SAT, complexity theory, structures for SAT, resolution and SAT, translations to CNF, techniques for conflict-driven SAT Solvers, solving SAT by local (...) search, hybrid SAT solvers, automatic adaption of SAT solvers, stochastic approaches to SAT solving, QBFs and their representations, optimization algorithms, distributed and parallel solving. (shrink)

In this paper we propose an non-machine learning artificial intelligence (AI) based approach for telecom data analysis, with a special focus on clique detection. Clique detection can be used to identify households, which is a major challenge in telecom data analysis and predictive analytics. Our approach does not use any form of machine learning, but another type of algorithm: satisfiability for propositional logic. This is a neglected approach in modern AI, and we aim to demonstrate that for certain tasks, it (...) may be a good alternative to machine learning-based approaches. We have used a simple DPLL satisfiability solver over an artificially generated telecom dataset (due to GDPR regulations), but our approach can be implemented on any telecom data by following the SAT encoding we have developed, and the DPLL solver can be substituted by a more advanced alternative such as CDCL. This paper extends the method presented in [1] for banking logs to data containing caller information, and proposes a more efficient encoding. -/- . (shrink)

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formalization into Boolean algebra was accompanied by the recognition that a wide range of combinatorial problems can be expressed as propositional satisfiability (SAT) problems. Because of this dual role, SAT developed into a mature, multi-faceted scientific discipline, and from the earliest days of computing a search was underway to discover how to solve SAT problems in an automated fashion. (...) This book, the Handbook of Satisfiability, is the second, updated and revised edition of the book first published in 2009 under the same name. The handbook aims to capture the full breadth and depth of SAT and to bring together significant progress and advances in automated solving. Topics covered span practical and theoretical research on SAT and its applications and include search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. SAT is interpreted in a broad sense, so as well as propositional satisfiability, there are chapters covering the domain of quantified Boolean formulae (QBF), constraints programming techniques (CSP) for word-level problems and their propositional encoding, and satisfiability modulo theories (SMT). An extensive bibliography completes each chapter. This second edition of the handbook will be of interest to researchers, graduate students, final-year undergraduates, and practitioners using or contributing to SAT, and will provide both an inspiration and a rich resource for their work. Edmund Clarke, 2007 ACM Turing Award Recipient: "SAT solving is a key technology for 21st century computer science." Donald Knuth, 1974 ACM Turing Award Recipient: "SAT is evidently a killer app, because it is key to the solution of so many other problems." Stephen Cook, 1982 ACM Turing Award Recipient: "The SAT problem is at the core of arguably the most fundamental question in computer science: What makes a problem hard?". (shrink)

There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SAT solving and interactive theorem proving. In this paper, we report on the development of a framework for formalizing voting theory in the Lean theorem prover, which we have applied to verify properties of a recently studied voting method. While previous applications of interactive theorem proving to social choice have focused on (...) the verification of impossibility theorems, we aim to cover a variety of results ranging from impossibility theorems to the verification of properties of specific voting methods. In order to formalize voting theoretic axioms concerning adding or removing candidates and voters, we work in a variable-election setting whose formalization makes use of dependent types in Lean. (shrink)

The logical calculus for SAT are not valid for MaxSAT and MinSAT because they preserve satisfiability but not the number of unsatisfied clauses. To overcome this drawback, a MaxSAT resolution rule preserving the number of unsatisfied clauses was defined in the literature. This rule is complete for MaxSAT when it is applied following a certain strategy. In this paper we first prove that the MaxSAT resolution rule also provides a complete calculus for MinSAT if it is applied following the strategy (...) proposed here. We then describe an exact variable elimination algorithm for MinSAT based on that rule. Finally, we show how the results for Boolean MinSAT can be extended to solve the MinSAT problem of the multiple-valued clausal forms known as signed conjunctive normal form formulas. (shrink)

How should a machine intelligence perform unsupervised structure discovery over streams of sensory input? One approach to this problem is to cast it as an apperception task [1]. Here, the task is to construct an explicit interpretable theory that both explains the sensory sequence and also satisfies a set of unity conditions, designed to ensure that the constituents of the theory are connected in a relational structure. However, the original formulation of the apperception task had one fundamental limitation: it assumed (...) the raw sensory input had already been parsed using a set of discrete categories, so that all the system had to do was receive this already-digested symbolic input, and make sense of it. But what if we don't have access to pre-parsed input? What if our sensory sequence is raw unprocessed information? The central contribution of this paper is a neuro-symbolic framework for distilling interpretable theories out of streams of raw, unprocessed sensory experience. First, we extend the definition of the apperception task to include ambiguous (but still symbolic) input: sequences of sets of disjunctions. Next, we use a neural network to map raw sensory input to disjunctive input. Our binary neural network is encoded as a logic program, so the weights of the network and the rules of the theory can be solved jointly as a single SAT problem. This way, we are able to jointly learn how to perceive (mapping raw sensory information to concepts) and apperceive (combining concepts into declarative rules). (shrink)

Tissue P systems with evolutional communication rules are computational models inspired by biochemical systems consisting of multiple individuals living and cooperating in a certain environment, where objects can be modified when moving from one region to another region. In this work, cell separation, inspired from membrane fission process, is introduced in the framework of tissue P systems with evolutional communication rules. The computational complexity of this kind of P systems is investigated. It is proved that only problems in class P (...) can be efficiently solved by tissue P systems with cell separation with evolutional communication rules of length at most, for each natural number n≥1. In the case where that length is upper bounded by, a polynomial time solution to the SAT problem is provided, hence, assuming that P≠NP a new boundary between tractability and NP-hardness on the basis of the length of evolutional communication rules is provided. Finally, a new simulator for tissue P systems with evolutional communication rules is designed and is used to check the correctness of the solution to the SAT problem. (shrink)

The inference systems proposed for solving SAT are unsound for solving MaxSAT and MinSAT, because they preserve satisfiability but not the minimum and maximum number of clauses that can be falsified, respectively. To address this problem, we first define a clause tableau calculus for MaxSAT and prove its soundness and completeness. We then define a clause tableau calculus for MinSAT and also prove its soundness and completeness. Finally, we define a complete clause tableau calculus for solving both (...) MaxSAT and MinSAT, in that the minimum number of generated empty clauses provides an optimal MaxSAT solution and the maximum number provides an optimal MinSAT solution. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:714 BOOK REVIEWS learning; the Jesuits lean to the voluntarist. Possessed of a unitary academic model, he is really arguing for Aristotle's analogy of attribution. Apparently, no one of his 200 plus Jesuit contacts told him that Nastri prefer St. Thomas and his analogy of proper proportionality. The historian Daniel Boorstin spent 25 yeari!l writing his trilogy on The Americans. What emerges from this analysis? Boorstin points out that (...) Americans like ambiguity, that they function best amid flux; ambivalence becomes their proper medium. For this reason, I have accepted Nathaniel Hawthorne as our most central writer. He situates American questions within a landscape of chiaroscuro. The Jesuit experience in the United States belongs essentially to the same landscape. But today, as formerly, it remains a landscape of questions. McDonough, on the other hand, has too many certitudes, too many answers, too much high definition-what Henry Adams regards as "mere facts." Instead of illuminating the landscape from within, his study inevitably recedes into the larger ambiguity reserved for what Wallace Stevens has called, " Prologues to what is possible." Saint Paul University Ottawa, Ontario JOHN P. McINTYRE, S.J. The Dilemma of Freedom and Foreknowledge. By LINDA TRINKAUS ZAGZEBSKI. New York: Oxford University Press, 1991. viii + 215 pp. $29.95. As a Christian and a philosopher, Linda Trinkaus Zagzebski wants to understand why it is reasonable to affirm that we remain free despite God's infallible knowledge of our future acts. Moreover, she is not content simply to demonstrate that this affirmation involves no logical con· tradiction, for "reasonable people expect more" (p. 33) than a merely negative result. Hence the author sets herself the more ambitious task of working toward a positive solution that would explain why the compatibility of divine foreknowledge and human freedom is plausible and not a bare logical possibility. The hook sorts out recent opinions on the subject and sketches an original position that she hopes will advance the discussion. Zagzehski begins by constructing the most formidable version of the dilemma. Assuming that God is infallible and essentially omniscient, that the past has a kind of necessity that the future lacks ("accidental necessity"), and that this necessity can he transferred (in some sense) from the antecedent to the consequent of a conditional proposition, the dilemma may he stated as follows: BOOK REVIEWS (1) Necessarily, God believes at time t 1 that I will do S at t 3 if and only if I do S at t 3. (2) It is accidentally necessary at t 2 that God believes at t 1 that I will do S at t 3. (3) If (1) and (2) are true, then it is accidentally necessary at t 2 that I do Sat t 3. (4) It follows that it is accidentally necessary at t 2 that I do S at t 3. (5) But if it is accidentally necessary at t 2 that I do S at t 3, I do not do S at t 3 freely. (6) Therefore, I do not do S at t 3 freely. 715 Much of the first chapter is devoted to establishing that this form of the dilemma is more resistant to solution than any other, especially the so-called problem of future truth. Zagzebski goes on to evaluate three broad approaches to solving the dilemma. In Chapter 2 she takes up the " timelessness " solution. Its proponents, among whom the author numbers Boethius, Thomas Aquinas, Eleonore Stump, and Norman Kretzmann, negate premise (2) of the foreknowledge dilemma by contending that God is not in time. Zagzebski considers this an acceptable negative solution to the dilemma and sees in it the potential to ground a more comprehensive, positive solution. Nonetheless, she refrains from subscribing wholeheartedly to the timelessness solution because it confronts one with a dilemma at least as perplexing as the one it solves. She puts the problem this way: like the past, eternity is fixed, for it is constituted by a state of affairs about which we cannot do anything; therefore my future acts are determined no less by God's timeless knowledge than by God's foreknowing them in a strictly temporal sense. In Chapter 3, Zagzebski considers... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:How Few Words Can the Shortest Story Have?Amihud GileadOf the best shortest story, we have only tales. According to one of them, Ernest Hemingway was proud of being the author of a story written in merely six words: "For sale: baby shoes, never worn." He considered this as his best story.1 Interviewing Gary Paulsen, Lori Atkins Goodson heard another version:Probably the best writing ever done was by Hemingway and (...) several other writers—I think it was in North Africa. During a drunken discussion, somebody said that they should write the best and shortest story they could write. They all had stories. Hemingway came up with six words: "For sale: Baby shoes. Never used."... Isn't that great? That's all there is. Six words. There's a book, there's a movie, there's a short story, there's a poem—anything you want to do with those six words, you can do it. It's just amazing what you can do with your words.2I greatly prefer the first version to the second despite its musicality or semi-rhythm. The minor colon is better than the major full stop and the capital letters. The whole story is genuinely minor in tone, and its great power rests upon this tone. "Used" is much less evocative and more commercially practical than "worn." "Used" draws the attention to the shoes, whereas "worn" intimately relates to the dead baby. Yes indeed, these six words can initiate a book, a feature movie, and the like; yet, as you will see below, I prefer to think about a whole world centered around, or arising out of, Hemingway's six words. Whether his six-words story is the shortest ever written is quite a different question, which will not be discussed in this paper.A very short story may comprise more than six words, say, seventeen, [End Page 119] such as the following: "The last man on earth sat alone in a room. There was a knock on the door" ("Knock" by Fredric Brown).3Which of these two stories is the better? The shorter one, Hemingway's story in the first version. Why? Not only because there is not a single superfluous word or, even, a letter or punctuation mark; each word, each mark must be there, each is necessary for the story. Hemingway's six words create or initiate a whole story, actually a universe, of sorrow, bereavement, mourning, solitude, silence, untimely death, despair, loss, and tragedy.4 Thus, each word in this story gets the utmost meaningfulness or significance that a word may have. Hemingway's story shows us a tragic world of dread "in a handful of" six words, each of which is very simple. In contrast, although Brown's story bears a lot of tension and it is quite enigmatic (Who is knocking on the door? God, the Devil, an alien? Or is it simply a hallucination?), it conveys much less in seventeen words than do Hemingway's six. Brown's seventeen words do not create or reveal a world, let alone a universe. They create some tension, perhaps a thrill, possibly an enigma but not a world. There is certainly some puzzle that the reader may attempt to solve, but not much more.Even in this respect, Hemingway's story is more enigmatic: What is the purpose of the sale of this baby's shoes? Is there some hope that what cannot be used for the lost baby will be useful for another, living baby? Or is it the stinginess of the dead baby's parents or relatives? Or is it their poverty that forces them to sell even these little shoes? Or is it their wish not to possess these shoes any longer despite their great significance? Regarding this last possibility, it is more suitable to sell them than to throw them away. In any of these possibilities, the shoes have some value. And the enigma under discussion is certainly tragic in any of these possibilities.In contrast, Brown's story suggests merely a puzzle, not a tragic enigma. Such a puzzle may be found even in pulp fiction, not in fine writing, whereas... (shrink)

Recent advancements in algorithms for abstract argumentation make it possible now to solve reasoning problems even with argumentation frameworks of large size, as demonstrated by the results of the various editions of the International Competition on Computational Models of Argumentation (ICCMA). However, the solvers participating to the competition may be hard to use for non-expert programmers, especially if they need to incorporate these algorithms in their own code instead of simply using the command-line interface. Moreover, some ICCMA solvers focus on (...) the ICCMA tracks, and do not implement algorithms for other problems. In this paper we describe pygarg, a Python implementation of the SAT-based approach used in the argumentation solver CoQuiAAS. Contrary to CoQuiAAS and most of the participants to the various editions of ICCMA, pygarg incorporates all problems that have been considered in the main track of any edition of ICCMA. We show how to easily use pygarg via a command-line interface inspired by ICCMA competitions, and then how it can be used in other Python scripts as a third-party library. (shrink)

In this article we present a new kind of computing device that uses biochemical reactions networks as building blocks to implement logic gates. The architecture of a computing machine relies on these generic and composable building blocks, computation units, that can be used in multiple instances to perform complex boolean functions. Standard logical operations are implemented by biochemical networks, encapsulated and insulated within synthetic vesicles called protocells. These protocells are capable of exchanging energy and information with each other through transmembrane (...) electron transfer. In the paradigm of computation we propose, protoputing, a machine can solve only one problem and therefore has to be built specifically. Thus, the programming phase in the standard computing paradigm is represented in our approach by the set of assembly instructions that directs the wiring of the protocells that constitute the machine itself. To demonstrate the computing power of protocellular machines, we apply it to solve a NP-complete problem, known to be very demanding in computing power, the 3-SAT problem. We show how to program the assembly of a machine that can verify the satisfiability of a given boolean formula. Then we show how to use the massive parallelism of these machines to verify in less than 20 min all the valuations of the input variables and output a fluorescent signal when the formula is satisfiable or no signal at all otherwise. (shrink)

How can we find any satisfying assignment for a Boolean formula that has many satisfying assignments? There exists an obvious randomized algorithm for solving this problem: one can just pick an assignment at random and check the truth value of the formula for this assignment, this is iterated until a satisfying assignment occurs. Does there exist a polynomial-time deterministic algorithm that solves the same problem? This paper presents such an algorithm and shows that its worst-case running time is linear (...) when input formulas are in k-CNF and a fraction of satisfying assignments is greater than a constant. This algorithm is almost the same as the algorithm proposed by Monien and Speckenmeyer in the early 1980s for less than 2n steps 3-SAT decision.Another result of this paper is that if a formula in k-CNF has many satisfying assignments, then there exists a short satisfying assignment, i.e. an assignment of truth values to a small number of variables. The proposed algorithm yields just such a short satisfying assignment. We also show that there exist formulas in general CNF having many satisfying assignments, that have no short satisfying assignments. (shrink)

Apocalyptic thinking permeates Paul’s ideas about the gospel, God, the present age, and what is to come. Paul in his letters not only writes about the revelations that he himself has received, but also how the gospel reveals God’s ultimate justice. Apocalypticism as an ideology is fundamentally concerned with justice and the expectation of a future intervention that will conclusively reconcile the injustices of the world with the justice of God. Though of course Paul never sat down and wrote an (...) “Apocalypse” or even an apocalyptic letter, his letters reveal glimpses of the apocalyptic ways Paul thought about the world and humanity’s place in it. This article reviews the history and main tenets of apocalypticism and then examines three fundamental areas of apocalyptic thinking as expressed in Paul’s letters: the idea of apocalypse as full disclosure, the apocalyptic promise of full justice, and Paul’s use of apocalyptic ideas to reorient his readers to thinking about true-but-hidden identity, both of the “present evil age” and of one’s current place in it. Paul draws upon and employs apocalyptic imagery to solve practical problems in his communities, equipping them to face the world with a full cosmic perspective. (shrink)

In this article we present a new kind of computing device that uses biochemical reactions networks as building blocks to implement logic gates. The architecture of a computing machine relies on these generic and composable building blocks, computation units, that can be used in multiple instances to perform complex boolean functions. Standard logical operations are implemented by biochemical networks, encapsulated and insulated within synthetic vesicles called protocells. These protocells are capable of exchanging energy and information with each other through transmembrane (...) electron transfer. In the paradigm of computation we propose, protoputing, a machine can solve only one problem and therefore has to be built specifically. Thus, the programming phase in the standard computing paradigm is represented in our approach by the set of assembly instructions that directs the wiring of the protocells that constitute the machine itself. To demonstrate the computing power of protocellular machines, we apply it to solve a NP-complete problem, known to be very demanding in computing power, the 3-SAT problem. We show how to program the assembly of a machine that can verify the satisfiability of a given boolean formula. Then we show how to use the massive parallelism of these machines to verify in less than 20 min all the valuations of the input variables and output a fluorescent signal when the formula is satisfiable or no signal at all otherwise. (shrink)

Propositional logic, with the aid of SAT solvers, has become capable of solving a range of important and complicated problems. Expanding this range, to contain additional varieties of problems, is subject to the complexity resulting from encoding counting constraints in conjunctive normal form. Due to the limitation of the expressive power of propositional logic, generally, such an encoding increases the numbers of variables and clauses excessively. This work eliminates the indicated drawback by interpolating constraint symbols and the set of (...) natural numbers \ into the alphabet of propositional logic and adjusting the underlying language accordingly. In the extended logic counting constraints are naturally formulated, while many important aspects, such as Boolean nature and the soundness and completeness theorems, are kept preserved. (shrink)

continent. 2.3 (2012): 218–223 Vijay Prashad. Arab Spring, Libyan Winter . Oakland: AK Press. 2012. 271pp, pbk. $14.95 ISBN-13: 978-1849351126. Nearly a decade ago, I sat in a class entitled, quite simply, “Corporations,” taught by Vijay Prashad at Trinity College. Over the course of the semester, I was amazed at the extent of Prashad’s knowledge, and the complexity and erudition of his style. He has since authored a number of classic books that have gained recognition throughout the world. The Darker (...) Nations , a peoples’ history of the Third World, sent defibrillating shockwaves through an academic world that had almost forgotten the epic scope and historic dignity of the non-aligned movement and post-colonial struggles. In his recent, award-winning work, Arab Spring, Libyan Winter , Prashad delves into his capacious knowledge of the Third World to excavate the discourses and narratives surrounding the upheavals of 2011. “Revolutions have no specific timetable,” states Prashad in the opening line of this exciting and provocative look at contemporary events. Instantly, an atmosphere of suspense emerges. The reader is alerted to the problem of history. Does the making of history then involve a suspension of historical time, or is it a continuous narrative structure into which events must eventually be integrated? Arab Spring, Libyan Winter shows that the answer to the question, “How is history made?” lies just as easily in the asking. The first half of the book works through the events that transpired to bring about the explosive popular uprisings of Arab Spring: Tunisia and Egypt, Yemen and Bahrain. But the events are not put together in a cohesive, chronological fashion. Using an uncommonly gripping style more akin to the folk-story motif of the djeli than to traditionally Orientalist academia, Prashad suspends a given situation, points out its components, and traces back the characters and genealogies that define each link before resuming a narrative. Every moment is an end to itself, and an origin of something different. Thus, the making of history becomes the suspension of its own progress, it’s catastrophic 'stability,' in a process of differentiation through inclusion. Empirically, one might suggest that history is a condition of time, and by extension, of the subject, but history is also an eminent producer of the Subject and her concept of time through memory and narrative. Hence, history is often overdetermined by a dominant narrative of the sovereign. The apparently chaotic composition of Prashad’s historicity is, then, an interstitial morphology of resistance. It illustrates that the time to act for the revolutionary lies in the gaps within the dominant historical realities. It points out the sorties of signifiers constituting nothing in the obliterated ruins of history. Through such illuminations, Arab Spring, Libyan Winter breaks through “the surface of history” to elaborate revolution’s snapping synapses, exploding interruptions and breaches, connecting flows. Messianic Politics It is tempting to think, 'History is either singular, or it is diffuse. It is either one coherent factual narrative, or it is comprised of the aletheia of the multitude.' Yet the reader finds Prashad examining the structure of history on multiple levels. For Prashad, world history is shaped by geographically defined political movements, such as communism or national liberation, with historical agents like the working class for the former and the nationalist militant for the latter. Religion, however, is another matter: “Religion has an unshakable eschatology which a post-utopian secular politics lacks.” Within the telos of religion, there appears on the horizon the image of Benjamin’s thoughts on messianic time—time as “a small fissure in the continuous catastrophe,” a break with history, may contain an ultimate redemption of the human beyond the political power struggle. Succoring the split between geo-political and utopian-religious (messianic) time in the context of Arab Spring, Prashad indicates that the base of “the deep desire and commitment to some form of democracy” is forged by the affinity between eschatological Islamist politics with the People. To think about the Subject of messianic time in the context of the lack of a “coherent timetable” for emancipatory politics, it is perhaps best to return to the modern tradition of Martin Luther King, Jr., whose prefigurative blending of liberation theology and emancipatory politics became most important during his works of 1963, the climactic year of “The Letter from a Birmingham Jail,” the March on Washington, and the bombing of the 16th Street Baptist Church. In “The Letter,” King states the point bluntly: Frankly, I have yet to engage in a direct-action campaign that was “well timed” in view of those who have not suffered unduly from the disease of segregation. For years now I have heard the word “wait!” It rings in the ear of every Negro with piercing familiarity. This “Wait” has almost always meant ‘Never.” We must come to see, with one of our distinguished jurists, that “justice too long delayed is justice denied.” The timing of rebellious action must not be a part of history. It must change history. The kairos appears spontaneous and untimely in its convulsive, shocking presence, yet it is, deeper still, a path, a longue durée , forged through diligent and rigorous praxis. King put a finer point on the path of historic liberation in his declaration in his 1963 speech at Western Michigan University: “[T]ime is neutral.... Somewhere along the way we must see that time will never solve the problem alone but that we must help time. Somewhere we must see that human progress never rolls in on the wheels on inevitability. It comes through the tireless efforts and the persistent work of dedicated individuals who are willing to be co-workers with God. Without this hard work, time itself becomes an ally of the insurgent and primitive forces of irrational emotionalism and social stagnation. We must always help time and realize that the time is always right to do right.” Time, then, exists in “the neutral,” while action must turn to the kairos , not only of taking time, but taking the right time. By turning our relation to time into kairos , we move time from its context within history to a duration between histories—the longue dure?e of Messianic time. The implementation of neutrality in this context suggests a broad space of time to extend through the valley of positive and negative. In Roland Barthes’s lectures from 1978, the neutral takes place in this minimal distance of non-conflict that exists outside of two extremes. It is, in the words of Maurice Blanchot, “the non-general, the non-generic, as well as the non-specific.” For Blanchot, the neutrality of time permeates life as death, impassive and beyond control; such is the neutrality of messianic time, which permeates the charge of history, changing the "I" into the "one." The neutrality of time therefore implicates history in a case against extremism, showing that the work of the radical is not to tend to any particular side, but to have the time to navigate through the terrible terrain of history by altering its course, its patterns and rhythms of movement, connection, sociality. Hence, one does not simply “make history,” one alters the course of history in accordance to “the right time.” The historical path toward emerging power is transmitted as a gesture to the outside of history, against history; a gesture as simple as reaching out. Thus a counterhistory, to use Foucault’s term, is brought forward as the guide of time past a point of no return, a Rubicon, the point where the normal path of history falls to the past. The subject, who must be the only true agent of history, facilitates time through helpfulness, and both the Subject and her history become decentered in relation to one another. Yet history negates the neutrality of time. As Barthes discloses, although the neutral is the “thought and practice of the nonconflictual, it is nevertheless bound to assertion, to conflict, in order to make itself heard.” Engaged with history, time is charged with a destiny, and becomes an opposition. As Prashad insists, “For Arab lands, the events of early 2011 were not the inauguration of a new history, but the continuation of an unfinished struggle that is a hundred years old.” The emergence of the Subject during Arab Spring did not conceive of a new history, but changed the path of history toward a different destiny. “Historical grievances combined with inflationary pressures now met with the subjective sense that victory might be at hand—this was not simply a protest to scream into the wind, but a protest to actually remove autocrats from their positions of authority. The facts of resistance had given way to the expectation of revolutionary change.” The negativity of this charge toward “revolutionary destiny” rendered control, as a positive force, seriously lacking. The lack of control lies in the problem that the Subject is not totally detemporalized or timeless, but untimely in her presence. The Subject is untimely, because her work is visionary, and it is only through such visionary work that the Rubicon can be crossed. Still, the crossing of this border is haunted by anxiety over an impending disaster that lays in wait. It is only through the form of what Benjamin calls divine violence, captivated not with the justice of the means, but the ends—the transformation of history—that a revelation of history’s traumatic foundations can be liberated, and patterns and rhythms of time developed throughout obscured traditions awakened. In this situation, the Subject appears to be outside of right, but setting the state to rights. Because her position is correct, in-so-far as the rebelling subject rebels due to a lack of recognition, her representation appears outside of the norm, which is mistaken as right. Therefore, such visionary work must be carried out through obscured traditions, underground, away from the surveillance of empire. Explaining his method from the start along the lines of Marx’s metaphor of the mole, Prashad insists, “It is the burrowing that is essential, not simply the emergence onto the surface of history.” Arab Spring, Libyan Winter is a book on uncharted networks of time, spread out over the 252 pages like an elaborate spider’s web of passages intertwining with and overwhelming the machinery of the state. Although untimely, Arab Spring was not a flash in the pan, or a Facebook or Twitter revolution. Prashad notes that the government’s suspension of these tools led to further radicalism by furthering communications through face-to-face encounters. In existential terms, Arab Spring might be thought of as a revolution of Being over techne , an uprising of the unchartable, infinite potential of the Other. The name of this Other is found in Chance. The faith of the revolution lies in the proper decentering of the subject, its giving to the Other of time, for only with respect to time does history actually appear on the horizon of the subject, rather than as an imposition. This time of historical agency appears as a moment when anything can happen—a revolutionary truth event where everything comes into question while being realized in its Otherness as a community of the people begins anew in the streets amidst discourse, friendship, reconfigurations of hegemony, and a becoming of a constituent power. Throwing a wrench into the gears of the “cobwebbed tradition” of Orientalism, the decentering of history in Arab Spring, Libyan Winter is a defining quality of its impassioned revolutionary cry. But perhaps the most paradigmatic points of the book emerge from the unexpected voices. To make the connection between the particular manifestations of revolutionary demands to the general historic terms of revolution, Prashad quotes an anonymous young Egyptian in Tahrir Square, who reminds us, “[T]he French Revolution took a very long time so the people could eventually get their rights.” Far from timelessness, the historicization of Arab Spring must exist precisely within the most uncanny appearance of time, as something that does not appear to come from the natural state of time as we know it, but in arriving has completely transformed the way that we understand time. Strange Monsters Revolution is never as simple as a revolt from below against a rusting structure of elites trying to remain in power. As with the French Revolution, Arab Spring consisted of complex familial ties, outside interests, and religious factions fighting alongside, often in awkward juxtaposition to, liberals, working class parties, farmers, and students. It is perhaps because of this historically difficult and incongruous composition that the Arabic word for revolution is thawra , referring to the image of the bull, or thawr , which has religious significance as a pagan deity for the Ancient Semitic tribes and Cartheginians. If Daniel Guérin was correct in saying, “Anarchism and Marxism drink from the same spring,” then it is quite a different oasis that drove the thirsty beast of revolution through what Prashad calls, “the Libyan labyrinth.” Recalling Bataille’s Acéphale, the intestinal labyrinth gains significance as the mode of metabolism and rumination in which, “(the Acephale) has lost himself, loses me with him, and in which I discover myself as him, in other words, as a monster.” Unraveling the discourse of the revolution, the flows of power and hegemony—from Qaddafi’s nationalist coup in 1969 to the wars with Chad from 1978 to 1987, the neoliberal reforms of the 1990s to, finally, the War on Terror—we find that the metabolic process of Libyan Winter ends in the production of oil. In a process of what Prashad calls “involution,” Qaddafi’s bellicose policies, along with his attempts to nationalize Islam together with oil, mutated the source of his power, turning his house against itself. Already a divided nation, with its two major cities on opposite geographic sides of the country, Libya became split between two opposed political powers—liberal reformists and staunch nationalists—as Qaddafi’s political disengagement manifested through what can only be described in psychoanalytic terms as a recursive passage a l’act (mysteriously calling Wikipedia “Kleenex,” declaring that opponents drank hallucinogens with their instant coffee, and so on). Prashad declares, “The mercurial style that Qaddafi adopted was not about his personality alone, but also a leader’s natural response to a system that relied upon power brokers whose own loyalty… did not have any ideological commitment to the system.” As in the case of other nations during Arab Spring, the true expression of revolt was an outward exposition of what had inwardly been happening in microcosmic societies throughout the realm—from indigenous tribes to political parties, for a century, the people, partly motivated by (and in resistance to) economic impositions of development, had been changing the traditional social compositions and participating in what Ruth Wilson Gilmore calls, “the relative autonomy of the movement from the leaders.” It was this empowerment of political reconfigurations taking place under the context of new democratic assemblages that shocked the elites and evoked such a powerful response. Unlike Qaddafi’s awkward policy choices and rants, real acts of power from the West were clear and decisive. Prashad sets the stages of war and diplomacy, far removed from the deserts, mountains, and cities that forged the backdrop of popular politics. Taking place under the now-classic architecture of the “four pillars” of US interests—oil, the War on Terror, Israel, and the circumvention of Iranian hegemony—we find elites rubbing elbows in “Heliopolist cocktail parties and hushed conferences in Kasr al-Ittihadiya” as well as the Concorde-Lafayette hotel in Paris, which provides the setting for a meeting of anti-Qaddafi figures consolidating their power. These scenes are buttressed with the careful portraiture of key historical actors. As Prashad brings the stage of history to life, we find the diplomats and liberals like Frank Wisner, whose career has brought him from Enron in the late 1990s to the Obama Administration, under the aegis of which he was meeting with Mubarak about military support during Arab Spring. We spy the provocateurs, for instance, gauche cavalier , Bernard Henri-Levy, who telephones Sarkozy from Benghazi about the need for more NATO air strikes. We follow the rebel military establishment as it suffers mysterious deaths and even more mysterious assents (like that of apparent CIA cohort, Khalifa Hifter). In each of these intriguing characters, we find different representations of the security state biopolitique: an oil-injected reification that drives Arab Spring from the resentment of rising food prices to the brink of implosion in Libyan Winter. Reminiscent of the scenes of Cold War soirées represented in old Bond films, the aristocratic fight for oil against democracy that was Libyan Winter presents a harsh truth that the new global crisis is simply the continuation of the old history: the global exploitation of capitalism waged against the imagination of the people. As Benjamin laments, “The labyrinth is the right path for the person who always arrives early enough at his destination. This destination is the marketplace.” Yet, “(t)he labyrinth is the habitat of… a humanity (a class) which does not want to know where its destiny is taking it.” Thus, the labyrinth leads, like the desert, only further into itself. As Blanchot explains, “The desert is even less certain than the world; it is never anything but the approach to the desert.” Only the visionary can take time out of the involution toward oblivion. It is here, in this approach to and escape from history, that we find ourselves within Benjamin’s Golgotha, Blanchot’s desert: A space of indeterminate uncertainty where we become familiar only with our own exile. Blanchot writes, “For the moderated and moderate man, the room, the desert, and the world are strictly determined places. For the man of the desert and the labyrinth, devoted to the error of a journey necessarily a little longer than his life, the same space will be truly infinite, even if he knows that it is not, all the more so since he knows it.” The desert, as allegory, provides an eschatology, a mortality in the destiny of Arab Spring. But any allegory of nature might lead to a labyrinthine eschatology (for example, in Bachelard, the forest presents "a limitless world"); the prescience of the untimely is always an uncanny acceptance of the infinite within the finite—the outside of what is understood. Transgenerational and occupied with the image of the future, the untimely makes otherness its home as it proceeds toward liberation. In the work of helping time navigate this dangerous passage of history, Prashad illustrates that the more violent break with history may have occurred in the peaceable struggles of Tahrir Square, and not in the military clashes of Qaddafi with his former Generals who defected to the CIA and NATO countries. It might be possible to suggest, then, that in the case of Tunisia and Egypt, the historical subject of the people was drawn together in a Dionysian dance of different rhythms in the marvelous realm of the ancients, while we fear that the case of Libya suggests an Apollonian future where time, itself, may lay dying under the machinic hand of history. The properly Nietzschean inversion would follow: time is dead, for history has killed it. Yet, if time is dead, struck down in Golgotha, exposed in the desert, mauled by the thawra , it is only in the present sense that it is rendered impossible outside of the context into which the untimely has thrown us. Thus, if history becomes an art of revolution, life as being-towards-death (death as the provocation of the neutrality of time) becomes what Benjamin calls “the allegory of resurrection” through the glorious ruins of history. Prashad ends his work with a rousing finale: “The time of the impossible has presented itself. In Egypt, where the appetite for the possibilities of the future are greatest, the people continue to assert themselves into Tahrir Square and other places, pushing to reinvigorate a Revolution that must not die… For them the slogan is simple: Down with the Present. Long live the Future. May it be so.&rdquo. (shrink)

Haspelmath argues that linguists who conduct comparative research and try to explain patterns that are general across languages can only consider two sources of these patterns: convergent cultural evolution of languages, which provides functional explanations of these phenomena, or innate building blocks for syntactic structure, specified in the human cognitive system. This paper claims that convergent cultural evolution and functional-adaptive explanations are not sufficient to explain the existence of certain crosslinguistic phenomena. The argument is based on comparative evidence of generalizations (...) based on Rizzi and Cinque's theories of cartographic syntax, which imply the existence of finely ordered and complex innate categories. I argue that these patterns cannot be explained in functional-adaptive terms alone. (shrink)

This article was written by Musa Jarullah Bigiyev (Rostov, 1875 – Cairo, 1949) who was a Turkish - Tatar scholar and published in Japan in 1941 in the Kaikyo Sekai– Islamic Worldjournal in Japanese.In this work, firstly Musa Jarullah Bigiyev explained the foundations of the Turkish population living within the borders of the Soviet Union, and then he expressed Turkish policies in the early 20thcentury. Musa Jarullah Bigiyev said that in the first half of 20thcentury, despite the intense efforts made (...) for the freedom of Turkish people who lived in Russia, it was not succeeded as the necessary unity could not be achieved and Russia implemented hard policy on them.In conclusion, Musa Jarullah Bigiyev finishes his work by saying that “As real Muslims, as free people and the owners of the Turkish power, we must not have the patients what will fall into Bolsheviks’ trap”. (shrink)

As has been noted by Alvin Goldman, there are some very interesting similarities between his Veritistic Social Epistemology (VSE) and Sandra Harding's Feminist Standpoint Theory (FST). In the present paper, it is argued that these similarities are so significant as to motivate an incorporation of FST into VSE, considering that (i) a substantial common ground can be found; (ii) the claims that go beyond this common ground are logically compatible; and (Hi) the generality of VSE not only does justice to (...) the inclusive ambition of FST, but even solves a well-discussed problem for the latter. (shrink)

In this article we describe four previous Tai-Chi models based on the I-Ching and their limitations. The I-Ching, the most important ancient source of information on traditional Chinese culture and cosmology, provides the metaphysical foundation for this culture, especially Confucian ethics and Taoist morality. To overcome the limitations of the four previous Tai-Chi models, we transform I-Ching cultural system into a psychological theory by applying the cultural system approach. Specifically, we propose the Jun-zi Self-Cultivation Model, which argues that an individual (...) can become an ideal person, or jun-zi, through the process of self-cultivation, leading to good fortune and the avoidance of disasters. The state of jun-zi is that of the well-functioning self, characterized by achieving one’s full potential and an authentic, durable sense of wellbeing. In addition, we compare egoism and jun-zi as modes of psychological functioning. The JSM can be used to as a framework to explain social behavior, improve mental health, and develop culturally sensitive psychotherapies in Confucian culture. Finally, an examination of possible theoretical directions, clinical applications, and future research is provided. (shrink)

Deepfakes are audio, video, or still-image digital artifacts created by the use of artificial intelligence technology, as opposed to traditional means of recording. Because deepfakes can look and sound much like genuine digital recordings, they have entered the popular imagination as sources of serious epistemic problems for us, as we attempt to navigate the increasingly treacherous digital information environment of the internet. In this paper, I attempt to clarify what epistemic problems deepfakes pose and why they pose these problems, by (...) drawing parallels between recordings and our own senses as sources of evidence. I show that deepfakes threaten to undermine the status of digital recordings as evidence. The existence of deepfakes thus encourages a kind of skepticism about digital recordings that bears important similarities to classic philosophical skepticism concerning the senses. However, the skepticism concerning digital recordings that deepfakes motivate is also importantly different from classical skepticism concerning the senses, and I argue that these differences illuminate some possible strategies for solving the epistemic problems posed by deepfakes. (shrink)

In the following I briefly set out Devitt's (1997) definition of entity realism and compare it to Hacking's (1983) definition. I then set out the pessimistic induction argument as suggested by Putnam (1978). I present an argument developed by Bertolet (1988) to the effect that Devitt's abductive defence of realism fails. In the light of its failure, Devitt offers the ability of his definition of scientific realism to solve the pessimistic induction argument as a tactical advantage for his definition. I (...) argue that Devitt's account is not adequately suited for defending realism when confronted with the pessimistic induction argument. I do this by setting out three problems for Devitt. In particular I argue that Devitt does not provide an adequate account of how to identify entities across theories across time. I argue that his proposed solution employing 'partial reference' of terms generates a new pessimistic induction, and that Devitt's position does not provide an adequate account of how to make sense of the progress of science. (shrink)

This article is a critical assessment of Harry Frankfurt's hierarchical theory of freedom. It spells out and distinguishes several different and irreconcilable conceptions of freedom present in Frankfurt's work. I argue that Frankfurt is ambiguous in his early formulation as to what conception of freedom of the will the hierarchical theory builds on, an avoidability or a satisfaction conception. This ambiguity causes problems in his later attempts to respond to the objections of wantonness of second-order desires and of infinite regress. (...) With his more recent idea of freedom as being satisfied with harmony in one's entire volitional system, Frankfurt may solve the infinite regress objection but he does so at the cost of ending up with a description of freedom, which comes very close to being identical to his own description of the wanton. Frankfurt's account leaves open the question of whether the satisfactory harmony is caused by the inability to do otherwise, or is independent of it. To answer this question, Frankfurt's hierarchical theory needs to be complemented with a number of “autonomy variables” (Double). Satisfaction may be a necessary condition of freedom, but it is not sufficient. We also need to know how the person came to be satisfied. If being satisfied is merely something that happens to one, it fails to be an adequate description of a free person – and it also contradicts some of Frankfurt's own earlier insights. (shrink)

German idealism stems in large part from Fichte’s response to a dilemma involving the concepts of pantheism, freedom and time: either time is the form of the determination of modes of substance, as held by a pantheistic or ‘dogmatic’ person, or the form of acts generated by human freedom, as held by an idealistic person. Fichte solves the dilemma by refuting dogmatism and deducing time from idealism’s first principle. But his diagnosis is more portentous: by casting the lemmas in terms (...) of person-types, he unintentionally invites Schelling’s philosophical rethinking of personality. In his middle period, Schelling argues for the consistency of the concepts of pantheism, freedom and time, claiming that it depends on a ‘good’ as opposed to ‘evil’ personality. However, since on his view personality is an absolute or originally undecided capacity for good and evil, the trio’s consistency is entirely contingent. In §1, I trace Fichte’s resolution of the dilemma. In §§2-3, I reconstruct Schelling’s arguments for consistency from the Freiheitsschrift and Weltalter, texts written just a few years apart. In §4, I allay a Kantian worry that this consistency relies problematically on the liberty of indifference or Willkür. (shrink)

I will begin this paper by identifying the problem within the theory of ethics, which contractualism as a moral theory is attempting to address. It is not that of solving the problem of moral motivation like the ‘arch-contractualist’, Thomas Scanlon, often claims, but rather that of describing a class of fundamental moral reasons – contractualist reasons for short. In the second section, I will defend the contractualist idea of how the nature of these moral reasons provides us with sufficient, (...) independent tools to construct the content of public moral principles. The rest of my paper is defensive. It addresses the main challenges set to the contractualist account of moral reasons. In the third section, I will discuss a frequent objection according to which the contractualist reasons are a redundant addition to the space of moral reasons. In the fourth section, I will examine the worry that acting from these reasons would not lead to morally admirable action but rather to vice. In the last section, I will investigate the criticism according to which the normative force of the contractualist reasons is insufficient for rationalising our moral actions in certain difficult circumstances. In this section, we get to the heart of the matter – what the reasons contractualism describes truly are, and how they can explain the generally overriding strength of our moral requirements. I hope to conclude that even after these serious challenges contractualism remains a philosophically viable account of morality's rationalistic appeal. (shrink)

As has been noted by Alvin Goldman, there are some very interesting similarities between his Veritistic Social Epistemology (VSE) and Sandra Harding's Feminist Standpoint Theory (FST). In the present paper, it is argued that these similarities are so significant as to motivate an incorporation of FST into VSE, considering that (i) a substantial common ground can be found; (ii) the claims that go beyond this common ground are logically compatible; and (iii) the generality of VSE not only does justice to (...) the inclusive ambition of FST, but even solves a well-discussed problem for the latter. (shrink)

Improving nitrogen (N) fertilizer management in agricultural systems is critical to meeting environmental goals while maintaining economically viable and productive food systems. This paper applies a farm systems framework to analyze how adoption of N management practices is related to different farming operation characteristics and the extent to which fertilizer, soil and irrigation practices are related to each other. We develop a multivariate probit regression model to analyze the interdependency of these adoption behaviors from 966 farmers across three watersheds and (...) diverse cropping systems in the Central Valley of California. Our analysis demonstrates that farmers adopt varying combinations or portfolios of practices, with the most common portfolio featuring a core set of fertilizer-focused practices. Irrigation infrastructure is an especially important farm operation characteristic for encouraging adoption of innovative practice portfolios that integrate water and fertilizer management. These findings highlight the ability for a farm systems approach to improve our understanding of farmer decision-making across diverse agricultural landscapes. (shrink)

In this ingenious and powerfully argued book Tim Maudlin sets out a novel account of logic and semantics which allows him to deal with certain notorious paradoxes which have bedevilled philosophical theories of truth. All philosophers interested in logic and language will find this a stimulating read.

The paper offers a solution to the generality problem for a reliabilist epistemology, by developing an “algorithm and parameters” scheme for type-individuating cognitive processes. Algorithms are detailed procedures for mapping inputs to outputs. Parameters are psychological variables that systematically affect processing. The relevant process type for a given token is given by the complete algorithmic characterization of the token, along with the values of all the causally relevant parameters. The typing that results is far removed from the typings of folk (...) psychology, and from much of the epistemology literature. But it is principled and empirically grounded, and shows good prospects for yielding the desired epistemological verdicts. The paper articulates and elaborates the theory, drawing out some of its consequences. Toward the end, the fleshed-out theory is applied to two important case studies: hallucination and cognitive penetration of perception. (shrink)

This paper deals with the question of the conflict of constitutional rights with regard to basic rights. Two extreme accounts are outlined: the subsumptive approach and the particularistic approach, that embody two main conceptions of practical rationality. Between the two approaches there is room for a range of options, two of which are examined: the proportionalist approach, which conserves the scope of rights restricting their stringency, and the specificationist approach, which preserves the stringency of rights restricting their scope. I will (...) present arguments in defence of the latter. (shrink)

This study examined 4-year-olds’ problem-solving under different social conditions. Children had to use water in order to extract a buoyant object from a narrow tube. When faced with the problem ‘cold’ without cues, nearly all children were unsuccessful. But when a solution-suggesting video was pedagogically delivered prior to the task, most children succeeded. Showing children the same video in a non-pedagogical manner did not lift their performance above baseline and was less effective than framing it pedagogically. The findings support (...) ideas central to natural pedagogy, 148–153, 2009). They also challenge the Cultural Intelligence hypothesis, according to which only humans’ social, but not their physical, cognition differs qualitatively from that of great apes. A more radical, transformative variant of the Cultural Intelligence hypothesis is suggested according to which humans’ physical cognition is shaped by their social nature and must therefore be recognized as equally distinctive as their social cognition. (shrink)

This article proposes a unified framework for understanding creative problem solving, namely, the explicit–implicit interaction theory. This new theory of creative problem solving constitutes an attempt at providing a more unified explanation of relevant phenomena (in part by reinterpreting/integrating various fragmentary existing theories of incubation and insight). The explicit–implicit interaction theory relies mainly on 5 basic principles, namely, (a) the coexistence of and the difference between explicit and implicit knowledge, (b) the simultaneous involvement of implicit and explicit processes (...) in most tasks, (c) the redundant representation of explicit and implicit knowledge, (d) the integration of the results of explicit and implicit processing, and (e) the iterative (and possibly bidirectional) processing. A computational implementation of the theory is developed based on the CLARION cognitive architecture and applied to the simulation of relevant human data. This work represents an initial step in the development of process-based theories of creativity encompassing incubation, insight, and various other related.. (shrink)

The legal doctrine of informed consent has overwhelmingly failed to assure that the medical treatment patients get is the treatment patients want. This Article describes and defends an ongoing shift toward shared decision making processes incorporating the use of certified patient decision aids.

That alcohol provides a benefit to creative processes has long been assumed by popular culture, but to date has not been tested. The current experiment tested the effects of moderate alcohol intoxication on a common creative problem solving task, the Remote Associates Test . Individuals were brought to a blood alcohol content of approximately .075, and, after reaching peak intoxication, completed a battery of RAT items. Intoxicated individuals solved more RAT items, in less time, and were more likely to (...) perceive their solutions as the result of a sudden insight. Results are interpreted from an attentional control perspective. (shrink)