The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form (...) a Boolean algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras. (shrink)

Michael A. Petersa and Fazal Rizvib aBeijing Normal University, Beijing, PR China; bMelbourne University, Melbourne, Australia Our minds are still racing back and forth, longing for a return to ‘no...

Recently, two apparently quite different duality-based approaches to automata minimisation have appeared. One is based on ideas that originated from the controllability-observability duality from systems theory, and the other is based on ideas derived from Stone-type dualities specifically linking coalgebras with algebraic structures derived from modal logics. In the present paper, we develop a more abstract view and unify the two approaches. We show that dualities, or more generally dual adjunctions, between categories can be lifted to dual adjunctions between (...) categories of coalgebras and algebras, and from there to automata with initial as well as final states. As in the Stone-duality approach, algebras are essentially logics for reasoning about the automata. By exploiting the ability to pass between these categories, we show that one can minimize the corresponding automata. We give an abstract minimisation algorithm that has several instances, including the celebrated Brzozowski minimisation algorithm. We further develop three examples that have been treated in previous works: deterministic Kripke frames based on a Stone-type duality, weighted automata based on the self-duality of semimodules, and topological automata based on Gelfand duality. As a new example, we develop alternating automata based on the discrete duality between sets and complete atomic Boolean algebras. (shrink)

The Sleeping Beauty problem is test stone for theories about self-locating belief, i.e. theories about how we should reasons when data or theories contain indexical information. Opinion on this problem is split between two camps, those who defend the "1/2 view" and those who advocate the "1/3 view". I argue that both these positions are mistaken. Instead, I propose a new "hybrid" model, which avoids the faults of the standard views while retaining their attractive properties. This model _appears_ to (...) violate Bayesian conditionalization, but I argue that this is not the case. By paying close attention to the details of conditionalization in contexts where indexical information is relevant, we discover that the hybrid model is in fact consistent with Bayesian kinematics. If the proposed model is correct, there are important lessons for the study of self-location, observation selection theory, and anthropic reasoning. (shrink)

Edmundson has written an admirably concise yet powerful book. It blends a critical account of Rawls’ work with an original case for democratic socialism hewn from Rawlsian stone. In my opinion, this case has some flaws but it remains a timely contribution to the enduring quest for justice and social stability.

The paper analyzes the final proof with Greek mathematics and the possibility of intermediates in the Phaedo. The final proof in Plato’s Phaedo depends on a claim at 105c6, that μονάς, ‘unit’, generates περιττός ‘odd’ in number. So, ψυχή ‘soul’ generates ζωή ‘life’ in a body, at 105c10-11. Yet commentators disagree how to understand these mathematical terms and their relation to the soul in Plato’s arguments. The Greek mathematicians understood odd numbers in one of two ways: either that which is (...) not divisible into two equal parts, or that which differs from an even number by a unit. Plato uses the second way in the final proof. This paper argues that a proper understanding of these mathematical terms within Greek mathematics shows that the argument for the final proof is better than previously thought. Such an interpretation of the final proof lends credence to Platonic intermediates. (shrink)

In this paper, we introduce a system, Sentence Planning Using Description, which generates collocations within the paradigm of sentence planning. SPUD simultaneously constructs the semantics and syntax of a sentence using a Lexicalized Tree Adjoining Grammar (LTAG). This approach captures naturally and elegantly the interaction between pragmatic and syntactic constraints on descriptions in a sentence, and the inferential and lexical interactions between multiple descriptions in a sentence. At the same time, it exploits linguistically motivated, declarative speci- fications of the discourse (...) functions of syntactic constructions to make contextually appropriate syntactic choices. (shrink)

Most of the debate for and against aesthetic formalism in the twentieth century has been little more than a sequence of assertions, on both sides. But there is one discussion that stands out for its argumentative subtlety and depth, and that is Kendall Walton’s paper ‘Categories of Art’.1 In what follows I shall defend a certain version of formalism against the antiformalist arguments which Walton deploys. I want to show that while Walton’s arguments do indeed create insurmountable difficulties for an (...) extreme version of formalism, he has not shown that a moderate version is problematic or inadequate. (I have no space to address anti-formalist arguments other than Walton’s.2) I shall defend moderate formalism rather than put forward positive considerations in its favour, although some of its attractions will become apparent as a side-effect. I pursue the positive case for moderate formalism elsewhere.3 I. FORMAL PROPERTIES AND FORMALISMS I.1. Walton begins his paper by raising an issue about whether those who make aesthetic judgements should only be concerned with what can be directly perceived in works of art. The issue of formalism has often been described in these terms. But Walton rightly distances himself from setting up a debate in that way. He moves on to take as his target the view that ‘Circumstances connected with a work’s origin ... have no essential bearing on an assessment of its aesthetic nature’ (p. 334). (shrink)

In this empirical paper, Jay, Stone, Meksin, Merck, Gordon and Hirst examine whether jury deliberations, in which individuals collaboratively recall and discuss evidence of a trial, shape the jurors’ memories. In doing so, Jay and colleagues provide a highly ecologically valid baseline for future investigation into why, how and when selective recall either facilitates remembering or leads to forgetting during jury deliberations. In particular, Jay et al. explore the specific social and cognitive mechanisms that might lead to either memory (...) facilitation (RIFA – Retrieval Induced Facilitation) and forgetting (RIF ‐ Retrieval Induced Forgetting) during jury deliberation. (shrink)

riety of necessity that binds moral and natural his conception of mental properties has no metaphysical consequences. Descartes is properties because the necessity is neither..

continent. 1.4 (2011): 279—285. Concerning its Transitive Nature, the Conversion of Native Americans of Spanish Colonial California, Indoctrinated Catholicism, & the Creation There’s no direct archaeological evidence that Jesus ever existed. 1 I memorized the Act of Contrition. I don’t remember it now, except the beginning: Forgive me Father for I have sinned . . . This was in preparation for the Sacrament of Holy Reconciliation, where in a confessional I confessed my sins to Father Scott, who looked like Jesus, (...) at least in Western cultural representations of Jesus since the middle ages, and if Jesus put on a few pounds. Father Scott was long-haired, redheaded, bearded, chubby, and tall. When he left church with the procession of altar servers and Eucharistic ministers, yelling, “Sing a Good Song Unto the Lord,” he smiled, hands folded, and he gazed over his parishioners, and bounced along. For four months every year he lived among the Crow Nation in Montana, where towards the end of his tenure at Our Lady of Refuge, they adopted him as an honorary member of their tribe. * This is the prayer we chanted, holding hands, every night before dinner: Bless us oh Lord, for these our gifts, which we are about to receive, our bounty through Christ, our Lord, Amen. Then we all said, God bless the cook! When we were with my grandparents, Grandpa said, God bless Chicky, and Holly, and Harvey, and Boots—all the dead dogs. * My sister tells me that she sits next to a handsome man on a flight across the country. After chitchat, she withdraws her book. She’s reading Kevin Sampsell’s A Common Pornography . After a few moments, the handsome man also reads from his book—his leather-bound Bible. Sister thinks, Oh, Jesus—too bad. She falls asleep. Later, settled in Nashville, she opens her volume and out falls a Jesus-covered card that reads, You can still find God and Salvation! Because that handsome God-fearing young man saw that word— pornography . * I suppose Father Jim’s dark hair, beard, and glasses made me think doctoral-ly of him. He called while I was in the midst of a breakup, after I’d twice attempted suicide, and my mother was desperate for help. She somehow found and phoned him. And Jim, now years out of Our Lady of Refuge’s parish, twenty years since my baptism, years even since he’d left the priesthood and the Catholic faith, still made the effort to bring me back into the fold. He said, “Have you seen a priest?” I did not respond, as I was more shocked to hear his voice than anything, so I said, “How are you, Father Jim? Sorry, I guess I shouldn’t call you ‘Father.’” And I said, “Why did you leave the priesthood? Do you have a girlfriend?” He said that I should call him just “Jim.” He said, “Do you need someone to talk to?” I said, “Not really.” He said, “Call your mother; she’s worried about you.” That was the last time I talked to Father Jim. * Mother let me know just how disappointed Jesus was. I cried and cried, and said I was sorry. Into my hands she placed my missal, ordered forty Rosaries. She said next Saturday I would go to confession. I hated confession. Who wouldn’t? * I realize, of course, that this page is a kind of confessional. * The Kumeyaay, Ipai, Tipai, Chumash, Esselen, Rumsen—all Native Americans of Alta California—shared similarities in their religions. Southern Californian tribes made use of Datura, or jimpson weed, a hallucinogen, for religious rituals. In the creation, God made brother sky and sister earth. Brother and sister mated, and sister gave birth to all things on Earth, including people, but it was difficult to distinguish people from all other aspects of Earth because everything was alive: granite and obsidian, the Pacific and its waves, the San Diego and Los Angeles Rivers. Wiyot—a hero—was very powerful, born from lightning, the son of the Creator and a virgin. When Wiyot thought that human women’s legs were more beautiful than Frog’s, Frog became jealous and poisoned Wiyot. The dying Wiyot went to all the people’s villages, and he distributed his power among them. He said, “When I die, I should be cremated.” The people built the fire and funeral pyre. When the fire was ready, and the people about to place Wiyot’s body upon it, Coyote came and snatched away Wiyot’s heart. * My friend Nick told me once how he ate some jimpson weed and that he hallucinated for three days. His family took a road trip and, while driving over the Sierra Nevada mountains, he kept seeing dinosaurs roaming the open meadows and charging down snowy slopes. So it’s no wonder that Native Americans who ingested this plant would have developed religion. * Walking Castroville’s streets after school I got into fights but mostly watched other boys scrabbling on the asphalt. I went to Burger King for Whoppers. Me and my friends cussed. Antonio admonished me when I said, “damn,” while strutting a sidewalk alongside the church. He said, “Jaime”—pronounced Hi-May, which was what all the Mexicans called me—“you’re crazy, eh. Don’t cuss at the church.” He meant while at church, as in, within its vicinity. I said, “We’re not in church.” Once we’d crossed the street, Tony said, “Damn dude, you’re fuckin crazy!” * Blessed Father Fray Junípero Serra raised the Eucharistic goblet to his lips, and candlelight danced on the blood’s tiny waves. Incense clouded the church so completely that some of the Pame natives grew nauseous. So, too, felt Blessed Father Fray Junípero Serra later that night, as he bent over a ceramic bowl and vomited blood, not only the Lord’s, but his own, for poison had laced the sacred vessel into which he poured the sacrament. The physician tending to the sick prelate urged him to take the remedy he’d prepared. But Blessed Father Fray Junípero Serra refused, said that he would pray, for he had never taken any medicine in his life, and he never would. * The Chumash of El Valle de Los Osos called themselves the Stishni, separating themselves from Chumash of other regions, those varying tribes of the central California coast that spoke mutually unintelligible dialects of their Hokan language. This made learning their languages impossible for the Spanish friars, to say nothing of translating the Doctrina. Thus the priests baptized few natives, despite the help that the tribes offered the fledgling settlements in the form of meat and acorn meal, which the Spaniards found repugnant. Some from these cultures, feeling threatened by the newcomers, shot flaming arrows into the thatched roofs of the mission structures. And why wouldn’t they feel threatened when priests chastised them for performing, for example, their Coyote Dance, wherein a man donning a coyote-skin-and-skull costume dances while a singer sings his tale, which laments the human feces strewn imaginatively about the Earth? Coyote, meantime, tries to get an onlooker to lick his genitals, and finally engages in public sexual intercourse with a female tribe member or two, then ends the dance by defecating. Though the Franciscans called such forbidden acts devilry , the Chumash maintained their Datura cult religion, along with the enforced Christianity. For the Chumash, the Earth was made of two enormous snakes that caused earthquakes when they slithered past one another—a vast reptilian tectonics. In the 20th century, long after Blessed Father Fray Junípero Serra and his cohorts had died, when asked by an anthropologist about religious contradictions, conflating the Datura and Christian cults, a Chumash man replied, incredulous: “But these are two different religions.” * When Portolá ordered that if by March 19th, the feast day of St. Joseph, the San Antonio had not arrived in San Diego Bay to relieve them, the Sacred Expedition to Nueva California would be abandoned, Blessed Father Fray Junípero Serra prayed a novena for San José’s intercession. And lo, a lookout sighted the San Antonio ’s sails—what seemed to the priest a miracle—that very Saint’s feast day. Europeans would stay in California, and Blessed Father Fray Junípero Serra would continue to reap a great harvest of souls for the Lord. By the end of mission secularization in 1836—sixty-six years after the San Antonio rescued the Spaniards—Native American populations in California had declined by seventy-three percent. * When Peter the Aleut would not renounce his Eastern Orthodox faith the padre of San Francisco had a toe severed from each foot with each refusal, totaling ten. The native Ohlones employed in this gruesome task—their obsidian chiseled knives tearing through skin and grinding bone—continued as per their orders, and cut off also each of Peter’s fingers (equals a total of twenty refusals). They quartered the martyr, spilled his bowels, as if from bear attack, attack by a bear in the shape of a Catholic. * Blessed Father Fray Junípero Serra absolutely believed that the slow rate of conversion for the native people was due to the influence of the Devil, who had been outraged by the coming of the Catholics to California, this region that he had long held in his dominion. * In his reception speech for the Nobel Prize for Literature, John Steinbeck said, “Man himself has become our greatest hazard and our only hope. So that today, St. John the Apostle may well be paraphrased: In the end is the Word, and the Word is Man—and the Word is with Men.” * In 1602, when Sebastián Vizcaíno and his friars sang mass on Catalina Island, as many as a hundred Pimungans witnessed the rite, asking by signs what it was about. According to Vizcaíno’s records, the Californians marveled not a little at the idea of Heaven and at the image of Jesus crucified. * Vizcaíno was brought to a prairie on Santa Catalina Island where the Pimungans worshipped their sun god. Upon the prairie they had placed an icon, a headless figure with horns protruding from the body, a figure that Vizcaíno predictably described as a demon. The Pimungans urged Vizcaíno not to approach the image of their deity, but he ignored them. He placed his crucifix against the wooden figurine and prayed the Our Father. Vizcaíno told the natives that his prayer was from Heaven, and that their god was the Devil. Vizcaíno held out his crucifix, encouraging the Pimungans to touch it and receive Jesus. He pointed at the sky and indicated Heaven. The Pimungans worshipped a sun deity, so they were impressed with this white man and his description of his god, for their gods seemed to be one and the same. It’s no wonder then that Vizcaíno’s diary reports the natives being pleased with this exchange. “Surely,” the diary says, “they will be converted to our Holy Faith.” * The Miwok women wailed and scratched at their faces when their men consorted with Sir Francis Drake and the other Englishmen who had landed on California’s coast in the summer of 1579. “The blood streaming downe along their brests, besides despoiling the upper parts of their bodies of those single coverings . . .they would with furie cast themselves upon the ground . . . on hard stones, knobby hillocks, stocks of wood, and pricking bushes.” Drake and his men fell themselves to their knees in prayer, their eyes Heavenward, so that the natives might see they prayed to God and they too might worship God then their eyes that had been so blinded by the deceiver might be opened. * Father Fray Antonio de la Ascención—Carmelite friar in Vizcaíno’s party—writes that the Indians of California can “easily and with very little labor be taught our Holy Catholic faith, and that they would receive it well and lovingly.” He calls for two hundred older and honorable soldiers to ensure brotherhood during the conquest, so that peace and love—the best tools to pacify pagans—should reign. The religious, the friar says, should likewise be wise and loving to easily quell animosities between Spaniards and the heathen, and therefore avoid war. The Spaniards should bring with them trinkets—beads, mirrors, knives—to distribute amongst the gentiles, so that they might come to love the Christians, and see “that they are coming to their lands to give them that of which they bring, and not to take away the Indians’ possessions, and may understand that they are seeking the good of their souls.” No women are to accompany the conquest, says Father Fray Antonio, “to avoid offenses to God.” * In 1955 Wallace Stevens admitted himself to St. Francis Hospital in Hartford, Connecticut. There, it’s rumored he converted to Catholicism before dying of stomach cancer, exclaiming to his priest after the baptism, “Now I am in the fold.” Stevens’s late-career poems seem less cynical, more in awe of being and death (read “Metaphor as Degeneration” from The Auroras of Autumn ). He could have chosen from at least three secular hospitals in Hartford at the time. * I was reading Stevens’s Collected Poems when I joined eHarmony and listed that as my “currently reading” book among the “more than twelve” books a year that I would read. I fell in love with my wife when she said, “Are you sending your work out to literary journals?” Prior to this, the first girl I talked to on the phone, when I explained my doctoral exams, said, “So, you’re like, reading Stephen King and stuff?” When I said not exactly she responded defensively: “He must be doing something right, since he makes all that money.” * Mom walked me, my brother, and sister, through the Stations of the Cross. We did this on Ash Wednesdays, or whenever she thought we needed extra God after church. It might’ve happened before church, though that’s unlikely because we were always late. Anyway, it’s easiest to walk the Stations of the Cross when there’s no one else around. To walk the actual Stations means one goes to Jerusalem and walks the Via Dolorosa to the Church of the Holy Sepulchre. So the Stations elsewhere—usually paintings, or low-relief sculptures upon church walls—serve as a kind of virtual Dolorosa. Mom held our hands and started from the rear of Our Lady of Refuge: the First Station. Mom said we should say a prayer at each Station and to think of all the pain Jesus went through so that we could go to Heaven. It was hard to keep thinking about that one thing for so long. My mind went to that Saturday’s little league game, to the donut and chocolate milk (our after-church reward from Castroville Bakery), and as I grew older I thought about girls. When you’re thirteen you can’t not think about the girl’s butt in the pew in front of yours as she kneels and stands to pray throughout mass. * It grew increasingly juvenile to lie awake at night daring myself to utter a simple sentence. Even if I said I didn’t believe in God, wouldn’t He know the truth? He was omniscient, like a narrator. Even the idea of Him as a him ceased making sense. Not only did this come with a budding realization of my paternalistic culture, but due to the simple question of why? If God was everything, everywhere, all knowing, then why would he be a man? There’s that question: If God is a man then God must have a penis, and if so, what for? * The Catholic Church incorporates some modern scientific research into its dogma concerning the formation of the Universe, Solar System, and Earth, as well as evolution. According to Catholic doctrine, in approximately the fifth millennia BCE, humans began to worship the one true God. Those humans were Adam and Eve, though the Church says humans had been around for thousands of years prior to Adam and Eve. The Church claims to be infallible. Every time the Church changes its doctrine it remains infallible. * One Catholic writer, Tom Meagher, writes that “Modernism[—]the idea that we come to our beliefs individually through emotional or personal experiences[—]has crept into our Catholic schools.” * Catholics believe that evil spirits, given power through Original Sin, can imbue ordinary inanimate objects of everyday use. Thus, such objects should be blessed in order to induce in them the desire to serve the good. Such objects are not limited to, but include, “new ships and boats, railways and trains, bridges, fountains, wells, cornmills, limekilns, smelting furnaces, telegrams, steam engines, and machines for providing electricity.” * In The Sound of Music Julie Andrews and Christopher Plummer sing together: “Nothing comes from nothing, nothing ever could...” * To explain competing theories on the very early universe, and pre-verse would be another book. What was the inflaton? Did (mem)branes collide, initiating the Big Bang, as opposed to Lemaître’s primordial atom, a singularity? Without a unified theory there’s gravity hanging out there, fucking everything up. We cannot make sense of the mechanics of the Planck Epoch—0-10-34 seconds into the Universe’s creation—named for Max Planck, who stumbled into the discovery of quantum mechanics in the early twentieth century. * My students often ask if I believe in God, since I espouse evolution, the Big Bang, Science, reject a strictly biblical or creationist theory of the Universe. I tell them that yes, I believe in God, though not the God that they imagine one must believe in. * When questioned regarding the rumor that, before his death, founder of quantum mechanics Max Planck had converted to Catholicism, he replied that he did not believe “in a personal God, let alone a Christian God.” * Physicist and Catholic priest George Lemaître, who formulated the theory and wrote the 1946 book The Primeval Atom Hypothesis , was made a household name by then-detractor Fred Hoyle, who pejoratively referred to the idea as a “Big Bang.” * Suicide is a mortal sin. To end one’s own life one must have despair, which is to lose hope, which is to lose faith, and to disbelieve in God. * Archaeology has uncovered graffiti in all of California’s missions—Indian pictographs inscribed into the adobe, covered with layers of whitewash. Native deities and depictions of cultural practices show that tribespeople never fully gave up their native traditions even after baptism and coming to the missions. There was something inside Native Californians that would never die. (shrink)

When water was discovered on Mars, people got very excited. Where there is water, there may be life. Scientists are planning new missions to study the planet up close. NASA’s next Mars rover is scheduled to arrive in 2010. In the decade following, a Mars Sample Return mission might be launched, which would use robotic systems to collect samples of Martian rocks, soils, and atmosphere, and return them to Earth. We could then analyze the sample to see if it contains (...) any traces of life, whether extinct or still active. Such a discovery would be of tremendous scientific significance. What could be more fascinating than discovering life that had evolved entirely independently of life here on Earth? Many people would also find it heartening to learn that we are not entirely alone in this vast cold cosmos. (shrink)

well-known arguments dispute the meaningfulness of language use in specific extant systems; the symbols they use..

Future of Humanity Institute, James Martin 21st Century School, University of Oxford, Littlegate House, 16/17 St Ebbe's Street, Oxford OX1 1PT, UK; www.nickbostrom.com..

That there is an epistemological difference between the mental and the physical is well- known. Introspection readily generates knowledge of one’s own conscious experience, but fails to yield evidence for the existence of anything physical. Conversely, empirical investigation delivers knowledge of physical properties, but neither finds nor requires us to posit conscious experience. In recent decades, a series of neo-Cartesian arguments have emerged that rest on this epistemological difference and purport to demonstrate that mind-brain identity is false and that consciousness (...) is not even realized by or supervenient on physical properties. Where Descartes argued he could clearly and distinctly conceive mind and body as existing separately, contemporary anti-physicalists hold that the conceivability of worlds in which actual world correlations between physical and phenomenological properties fail shows that these correlations are contingent rather than logically or metaphysically necessary. Together with Descartes, they conclude from conceivability that identity, as well as strong supervenience, is false. 1 If the argument of this paper is correct, however, then there is an argument for dualism that arises from the epistemological distinction, is grounded in the Meditations, and is yet distinct from the " 1 " conceivability arguments pursued both by Descartes and contemporary anti-physicalists. Furthermore, the argument is immune to the standard objections to conceivability arguments: its conclusion follows even if there are a posteriori identities between physical and phenomenal properties. (shrink)

The cognitive hierarchy model is an approach to decision making in multi-agent interactions motivated by laboratory studies of people. It bases decisions on empirical assumptions about agents’ likely play and agents’ limited abilities to second-guess their opponents. It is attractive as a model of human reasoning in economic settings, and has proved successful in designing agents that perform effectively in interactions not only with similar strategies but also with sophisticated agents, with simpler computer programs, and with people. In this paper, (...) we explore the qualitative structure of iterating best response solutions in two repeated games, one without messages and the other including communication in the form of non-binding promises and threats. Once the model anticipates interacting with sufficiently sophisticated agents with a sufficiently high probability, reasoning leads to policies that disclose intentions truthfully, and expect credibility from the agents they interact with, even as those policies act aggressively to discover and exploit other agents’ weaknesses and idiosyncrasies. Non-binding communication improves overall agent performance in our experiments. (shrink)

This paper gives a new, proof-theoretic explanation of partial-order reasoning about time in a nonmonotonic theory of action. The explanation relies on the technique of lifting ground proof systems to compute results using variables and unification. The ground theory uses argumentation in modal logic for sound and complete reasoning about specifications whose semantics follows Gelfond and Lifschitz’s language. The proof theory of modal logic A represents inertia by rules that can be instantiated by sequences of time steps or events. Lifting (...) such rules introduces string variables and associates each proof with a set of string equations; these equations are equivalent to a set of partial-order tree-constraints that can be solved efficiently. The defeasible occlusion of inertia likewise imposes partial-order constraints in the lifted system. By deriving an auxiliary partial order representation of action from the underlying logic, not the input formulas or proofs found, this paper strengthens the connection between practical planners and formal theories of action. Moreover, the general correctness of the theory of action justifies partial-order representations not only for forward reasoning from a completely specified start state, but also for explanatory reasoning and for reasoning by cases. (shrink)

This paper pursues a formal analogy between natural language dialogue and collaborative real-world action in general. The analogy depends on an analysis of two aspects of collaboration that figure crucially in language use. First, agents must be able to coordinate abstractly about future decisions which cannot be made on present information. Second, when agents finally take such decisions, they must again coordinate in order to interpret one anothers’ actions as collaborative. The contribution of this paper is a general representation of (...) collaborative plans and intentions, inspired by representations of deductions in logics of knowledge, action and time, which supports these two kinds of coordination. Such representations.. (shrink)

Since the collapse of the 'received view' consensus in the late 1960s, the question of scientific realism has been a major preoccupation of philosophers of science. This paper sketches the history of this debate, which grew from developments in the philosophy of language, but eventually took on an autonomous existence. More recently, the debate has tended towards more 'local' considerations of particular scientific episodes as a way of getting purchase on the issues. The paper reviews two such approaches, Fine's and (...) Hacking's, describing their positions, their prospects, and how they are related. Finally, the paper suggests that local philosophies of science offer a way for our discipline to engage more fruitfully with the public and the scientific community. (shrink)

This article considers the social construction of mental toughness in line with prevailing social attitudes towards success and dominance in elite sport. Critical attention is drawn to the research literature which has sought to conceptualise mental toughness and the idealistic rhetoric and metaphor with which it has done so. The concept of mental toughness currently reflects an elitist ideal, constructed along the lines of the romantic narrative of the ‘Hollywood hero’ athlete. In contrast, the mental and moral virtues which should (...) form the basis of mental toughness are often neglected when an athlete ‘fails’. Currently, mental toughness exists as a characteristic used to describe successful athletes and is only applied in hindsight. Finally, we recommend that the morally problematic association of mental toughness (within the media, society, and the research community) with ultimate success needs to be removed in order to rescue the concept from the elitist discourses which currently surround and suffocate it. (shrink)

This commentary focuses on three issues raised by Gigerenzer, Todd, and the ABC Research Group (1999). First, I stress the need for further experimental evidence to determine which heuristics people use in cognitive judgment tasks. Second, I question the scope of cognitive models based on simple heuristics, arguing that many aspects of cognition are too sophisticated to be modeled in this way. Third, I note the complementary role that rational explanation can play to Gigenerenzer et al.'s “ecological” analysis of why (...) heuristics succeed. (shrink)

Both critics and advocates of evidential arguments from evil often assume that theistic belief is not compatible with gratuitous evil. It is often assumed, in other words, that an omniscient, omnipotent, perfectly good being would not permit an evil unless he had a morally sufficient reason to permit it. However, this cornerstone of evidential arguments from evil has come under increasing fire of late, in particular by Peter van Inwagen. The aim of this paper is to outline and then assess (...) van Inwagen’s attempt to reconcile theism with gratuitous evil. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Political Theory in the Senatus Consultum PisonianumD. S. PotterThe object of this essay is to illustrate the interaction between specific events and broader imperial ideology in the Senatus Consultum Pisonianum (SCP), a decree of the Senate issued on 10 December A.D. 20 concerning the disposition of the case against the elder Piso and his associates. A subsidiary point is to place the use of such a decree within the (...) discourse of government in the Greco–Roman world.Public decrees emerged as an important venue for the exposition of state ideology centuries before Tiberius asked the Senate to record its views on Piso's fate. Indeed, we can detect the beginning of this development in Greece before the end of the Peloponnesian War and trace what appears to be some cross–fertilization between the style of civic decrees from the Greek cities of the eastern Mediterranean and the style of senatus consulta in the second and first centuries B.C. The process may be seen as an extension of the "motivation clauses" in honorific decrees passed for individuals to many other kinds of document.1 At the same time, the late fifth or early fourth century, we can see that public decrees offered a form for the continuation of a dialogue between states: thus the decree of Erythrae in which the Athenians are thanked for passing a decree in which they state that they will not turn the Erythraeans over to the "barbarians" or the elaborate denunciation of Spartan behaviors that is embedded within the charter of the Second Athenian Confederacy.2 By the second half of the fourth century, at least in Athens, and we know that the practice had extended to its former dominion on Samos by the time of Alexander, a "motivation clause" could run to many lines in explaining the actions of the [End Page 65] state.3 Our best evidence for this practice comes from honorific decrees for individuals, but the language of Diodorus suggests very strongly that some sort of historical preface was added to the decree that was passed declaring war on Macedon in 323, very similar to the one that would later figure in the decree of Chremonides declaring war in 268.4 The evidence for the use of extended prefaces, both for individuals and in other contexts, increases in the course of the third century, as civic decrees take on a role in the structuring of a community's memory that was transformed from a reflection to a mechanism of construction.5Our attention to such statements on stone is perhaps conditioned by our ability to recover them in a way that we cannot recover the words of representatives speaking extemporaneously in a public assembly, or the opinions of representatives meeting in closed conference, thus raising the question of just how important such documents really were as vehicles for communication. There is a substantial body of scholarly opinion suggesting that the inscribing of decrees was primarily a symbolic activity since these decrees were often written in hands that were difficult to read and, for that matter, a majority of the inhabitants of the Mediterranean world lacked the capacity to read.6 While no one would deny that one purpose of public inscription was symbolic—indeed the sloppiness that mars both copies A and B of the senatus consultum concerning the disposition of the Piso affair in A.D. 20 may be taken as a sign of this—likewise it needs to be stressed that such texts [End Page 66] were also regarded as permanent records to be read by those classes whose views were regarded as important by ancient governments, and scripts difficult to the eyes of one generation might be less so to those of another.7 The average late twentieth–century classicist may find it easier to decipher the Res Gestae of Augustus on the walls of the temple of Roma in Ancyra than to read the volumes of Leopold Ranke printed in fraktur: the ability to read a script is largely a matter of training and habit. It is clear that the mid–fourth–century Athenian or the second– century Bithynian might care a great deal... (shrink)

The mid-twentieth century saw the introduction of a new general model of processes, COMPUTATION, with the work of scientists such as Turing, Chomsky, Newell and Simon.1 This model so revolutionized the intellectual world that the dominant scientific programs of the day—spearheaded by such eminent scientists as Hilbert, Bloomfield and Skinner—are today remembered as much for the way computation exposed their stark limitations as for their positive contributions.2 Ever since, the field of Artificial Intelligence (AI) has defined itself as the subfield (...) of computer science dedicated to the understanding of intelligent entities as computational processes. Now, drawing on fifty years of results of increasing breadth and applicability, we can also characterize AI research as a concrete practice: an ENGINEER-. (shrink)

In recent years, poetry and videogames have begun talking to one another in earnest. Poets have found inspiration in digital-interactive landscapes, while game developers now look to poetry as a source of textual enrichment. This book examines the p.

Generational identity plays a large role in how teachers view educational change and school reform. Teachers of the Boomer generation, an era characterized by optimism and innovation, tend to be more resistant to change than those of Generation X, for whom standardization represents the norm, not a shift. This volume reviews five decades of research on educational change and teachers’ varying responses to it from a generational perspective, providing school leaders with insight on how best to relate to these groups (...) to achieve a common goal. Through ongoing professional development oriented by multigenerational grouping, teachers and school leaders can define success and create a multigenerational understanding of what good teaching and leadership look like. (shrink)

We describe a methodology for learning a disambiguation model for deep pragmatic interpretations in the context of situated task-oriented dialogue. The system accumulates training examples for ambiguity resolution by tracking the fates of alternative interpretations across dialogue, including subsequent clarificatory episodes initiated by the system itself. We illustrate with a case study building maximum entropy models over abductive interpretations in a referential communication task. The resulting model correctly resolves 81% of ambiguities left unresolved by an initial handcrafted baseline. A key (...) innovation is that our method draws exclusively on a system’s own skills and experience and requires no human annotation. (shrink)