Barsalou's elision of the personal and sub-personal levels tends to conceal the fact that he is, at best, providing the “specs” but not yet a model for his hypothesized perceptual symbols.

Discovering high-utility itemsets (HUIs) consists of finding sets of items that yield a high profit in customer transaction databases. An important limitation of traditional high-utility itemset mining (HUIM) is that only the utility measure is used for assessing the interestingness of patterns. This leads to finding several itemsets that have a high profit but contain items that are weakly correlated. To address this issue, this paper proposes to integrate the concept of correlation in HUIM to find profitable itemsets that are (...) highly correlated, using the all-confidence and bond measures. An efficient algorithm named FCHM (fast correlated high-utility itemset miner) is proposed to efficiently discover correlated high-utility itemsets (CHIs). Two versions of the algorithm are proposed: FCHM|$_{all\text{-}confidence}$| and FCHM|$_{bond}$|⁠, which are based on the all-confidence and bond measures, respectively. An experimental evaluation was done using four real-life benchmark datasets from the HUIM literature: mushroom, retail, kosarak and foodmart. Results show that FCHM is efficient and can prune a huge amount of weakly CHIs. (shrink)

In "The pitfalls of heritability," a review of Edward O. Wilson’s Consilience Times Literary Supplement, Feb 12, 1999, p33], Jerry Hirsch claims to have convicted Wilson of a "confusion about genetic similarity and difference." In his book, Wilson claims that if we assume that "a mere one thousand genes out of the fifty to a hundred thousand genes in the human genome were to exist in two forms in the population," the probability of any two humans--excluding identical siblings--having the same (...) genotype is vanishingly small. Hirsch points out that a single genotype can be produced in more than one way, thus increasing the likelihood of a single genotype recurring in the human population. Hirsch’s point is fair enough as far it goes, but it does not go nearly far enough. Hirsch has failed to carry out all the relevant calculations needed to determine the probability of two humans having the same genotype. In the realm of Vast numbers ("Very much greater than ASTronomical"--Dennett, 1995, p109), increased likelihood in and of itself tells us nothing. Here, then, are some of the relevant calculations. (shrink)

I present the symbol grounding problem in the larger context of a materialist theory of content and then present two problems for causal, teleo-functional accounts of content. This leads to a distinction between two kinds of mental representations: presentations and symbols; only the latter are cognitive. Based on Milner and Goodale’s dual route model of vision, I posit the existence of precise interfaces between cognitive systems that are activated during object recognition. Interfaces are constructed as a child learns, and is (...) taught, how to interact with its environment; hence, interface structure has a social determinant essential for symbol grounding. Symbols are encoded in the brain to exploit these interfaces, by having projections to the interfaces that are activated by what they symbolise. I conclude by situating my proposal in the context of Harnad’s (1990) solution to the symbol grounding problem and responding to three standard objections. (shrink)

Games may seem like a waste of time, where we struggle under artificial rules for arbitrary goals. The author suggests that the rules and goals of games are not arbitrary at all. They are a way of specifying particular modes of agency. This is what make games a distinctive art form. Game designers designate goals and abilities for the player; they shape the agential skeleton which the player will inhabit during the game. Game designers work in the medium of agency. (...) Game-playing, then, illuminates a distinctive human capacity. We can take on ends temporarily for the sake of the experience of pursuing them. Game play shows that our agency is significantly more modular and more fluid than we might have thought. It also demonstrates our capacity to take on an inverted motivational structure. Sometimes we can take on an end for the sake of the activity of pursuing that end. (shrink)

Jerry Fodor's argument for an innate language of thought continues to be a hurdle for researchers arguing that natural languages provide us with richer conceptual systems than our innate cognitive resources. I argue that because the logical/formal terms of natural languages are given a usetheory of meaning, unlike predicates, logical/formal terms might be learned without a mediating internal representation. In that case, our innate representational system might have less logical structure than a natural language, making it possible that we augment (...) our innate representational system and improve our ability to think by learning a natural language. (shrink)

We focus on Folieism, Rey's brand of Eliminativism about languages, according to which words, sentences, phonemes, and such, and consequently languages, do not exist; they are intentional inexistents, on a par with unicorns that speakers, under an ineluctable illusion, mistake as real. We present a simplified reconstruction of his argument, challenge what we take to be its presuppositions, and argue that its conclusion has unwanted social/ethical consequences and construes linguistics writ large in a strange light, as a kind of pretense, (...) leading us to reject Folieism. (shrink)

There seems to be a deep tension between two aspects of aesthetic appreciation. On the one hand, we care about getting things right. On the other hand, we demand autonomy. We want appreciators to arrive at their aesthetic judgments through their own cognitive efforts, rather than deferring to experts. These two demands seem to be in tension; after all, if we want to get the right judgments, we should defer to the judgments of experts. The best explanation, I suggest, is (...) that aesthetic appreciation is something like a game. When we play a game, we try to win. But often, winning isn’t the point; playing is. Aesthetic appreciation involves the same flipped motivational structure: we aim at the goal of correctness, but having correct judgments isn’t the point. The point is the engaged process of interpreting, investigating, and exploring the aesthetic object. Deferring to aesthetic testimony, then, makes the same mistake as looking up the answer to a puzzle, rather than solving it for oneself. The shortcut defeats the whole point. This suggests a new account of aesthetic value: the engagement account. The primary value of the activity of aesthetic appreciation lies in the process of trying to generate correct judgments, and not in having correct judgments. -/- *There is an audio version available: look for the Soundcloud link, below.*. (shrink)

I propose to study one problem for epistemic dependence on experts: how to locate experts on what I will call cognitive islands. Cognitive islands are those domains for knowledge in which expertise is required to evaluate other experts. They exist under two conditions: first, that there is no test for expertise available to the inexpert; and second, that the domain is not linked to another domain with such a test. Cognitive islands are the places where we have the fewest resources (...) for evaluating experts, which makes our expert dependences particularly risky. -/- Some have argued that cognitive islands lead to the complete unusability of expert testimony: that anybody who needs expert advice on a cognitive island will be entirely unable to find it. I argue against this radical form of pessimism, but propose a more moderate alternative. I demonstrate that we have some resources for finding experts on cognitive islands, but that cognitive islands leave us vulnerable to an epistemic trap which I will call runaway echo chambers. In a runaway echo chamber, our inexpertise may lead us to pick out bad experts, which will simply reinforce our mistaken beliefs and sensibilities. (shrink)

I demonstrate that locking on, a key notion in Jerry Fodor's most recent theory of content, supplemented informational atomism (SIA), is cashed out in terms of asymmetric dependence, the central notion in his earlier theory of content. I use this result to argue that SIA is incompatible with the language of thought hypothesis because the constraints on the causal relations into which symbols can enter imposed by the theory of content preclude the causal relations needed between symbols for them to (...) serve as the elements of the medium of thought. (shrink)

I consider how several results from cognitive science bear on the nature of representation and how representations might be structured. Distinguishing two notions of representation, presentations, which are cases of direct sensing, and symbols, which stand in for something else, I argue that only symbols pose a philosophical problem for naturalizing content. What is required is an account of how one thing can stand in for another. Milner and Goodale’s dual route model of vision offers a model for this ‘stand-in’ (...) relation. Following this model, symbols must play a functional role of activating cognitive operations relevant to what the symbols stand in for. What emerges is an interconnected network of symbols whose tokenings are central – as opposed to modular – cognitive operations. A consequence of this view, which I call an acquired language of thought (ALOT) since most of the symbols humans use are the words of a natural language, is that the framework for central cognition is constructed during the acquisition of a natural language lexicon.Presentations and Symbols: What Cognition Requires of Representationalism. (shrink)

Palmer=s main intuition pump, the Acolor machine, @ greatly underestimates the complexity of a system isomorphic in color experience to humans. The neuroscientific picture of this complexity makes clear that the brain actively produces our experiences by processes that science can investigate, thereby supporting functionalism and leaving no (color) room for a passive observer to witness subisomorphic experiential differences.

We offer a novel argument for one-boxing in Newcomb’s Problem. The intentional states of a rational person are psychologically coherent across time, and rational decisions are made against this backdrop. We compare this coherence constraint with a golf swing, which to be effective must include a follow-through after the ball is in flight. Decisions, like golf swings, are extended processes, and their coherence with other psychological states of a player in the Newcomb scenario links her choice with the way she (...) is predicted in a common cause structure. As a result, the standard argument for two-boxing is mistaken. (shrink)

This article seeks to reinterpret the process of state and class formation in “peripheral” societies—notably Syria—through a contextualized reading of Marx’s Eighteenth Brumaire influenced by the approach of Political Marxism (PM). In light of PM’s claim that capitalism did not emerge in France until the late nineteenth century, it draws a picture of post-revolutionary French society in which the legacy of the precapitalist Absolutist state still determined the nature of ruling class reproduction and class struggle, centered on the state apparatus (...) as the principal source of appropriation. These insights on the nature of ruling class appropriation and the centrality of the state are then applied to the case of post-Ottoman Syria, uncovering parallels with class struggles in post-revolutionary France rooted in the “Jacobin” politics of a state-dependent bourgeoisie of officials and officers. It proposes to rethink the contested moments of transition in terms of “alternative modernities” that developed in the absence of generalized capitalist relations of production. (shrink)

An adequate theory of rights ought to forbid the harming of animals to promote trivial interests of humans, as is often done in the animal-user industries. But what should the rights view say about situations in which harming some animals is necessary to prevent intolerable injustices to other animals? I develop an account of respectful treatment on which, under certain conditions, it’s justified to intentionally harm some individuals to prevent serious harm to others. This can be compatible with recognizing the (...) inherent value of the ones who are harmed. My theory has important implications for contemporary moral issues in nonhuman animal ethics, such as the development of cultured meat and animal research. (shrink)

Value capture occurs when an agent’s values are rich and subtle; they enter a social environment that presents simplified — typically quantified — versions of those values; and those simplified articulations come to dominate their practical reasoning. Examples include becoming motivated by FitBit’s step counts, Twitter Likes and Re-tweets, citation rates, ranked lists of best schools, and Grade Point Averages. We are vulnerable to value capture because of the competitive advantage that such crisp and clear expressions of value have in (...) our private reasoning and our public justification. There is, however, a price. In value capture, we take a central component of our autonomy — our ongoing deliberation over the exact articulation of our values — and we outsource it. And the metrics to which we outsource usually engineered for the interests of some external force, like a large-scale institution’s interest in cross-contextual comprehensibility and quick aggregability. That outsourcing cuts off one of the key benefits to personal deliberation. In value capture, we no longer adjust our values and their articulations in light of own rich experience of the world. Our values should often be carefully tailored to our particular selves or our small-scale communities, but in value capture, we buy our values off the rack. In some cases – like decreasing CO2 emissions – the costs of non-tailored values are outweighed by the benefit of precise collective coordination. In other cases, like in our aesthetic lives, they are not. This suggests that we should want different values suited to different scales. We should want value federalism. Some values are perhaps best pursued at the largest-scale level, others at smaller scales. The problem occurs when we exhibit an excess preference for the largest-scale values – when we consistently let the universal metrics swamp our quieter interests. (shrink)

We offer an account of the generic use of the term “porn”, as seen in recent usages such as “food porn” and “real estate porn”. We offer a definition adapted from earlier accounts of sexual pornography. On our account, a representation is used as generic porn when it is engaged with primarily for the sake of a gratifying reaction, freed from the usual costs and consequences of engaging with the represented content. We demonstrate the usefulness of the concept of generic (...) porn by using it to isolate a new type of such porn: moral outrage porn. Moral outrage porn is representations of moral outrage, engaged with primarily for the sake of the resulting gratification, freed from the usual costs and consequences of engaging with morally outrageous content. Moral outrage porn is dangerous because it encourages the instrumentalization of one’s empirical and moral beliefs, manipulating their content for the sake of gratification. Finally, we suggest that when using porn is wrong, it is often wrong because it instrumentalizes what ought not to be instrumentalized. (shrink)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

In The Case for Animal Rights, Tom Regan argues that although all subjects-of-a-life have equal inherent value, there are often differences in the value of lives. According to Regan, lives that have the highest value are lives which have more possible sources of satisfaction. Regan claims that the highest source of satisfaction, which is available to only rational beings, is the satisfaction associated with thinking impartially about moral choices. Since rational beings can bring impartial reasons to bear on decision making, (...) Regan maintains that they have an additional possible source of satisfaction that nonrational beings do not have and, consequently, the lives of rational beings turn out to have greater value.. (shrink)

What is a game? What are we doing when we play a game? What is the value of playing games? Several different philosophical subdisciplines have attempted to answer these questions using very distinctive frameworks. Some have approached games as something like a text, deploying theoretical frameworks from the study of narrative, fiction, and rhetoric to interrogate games for their representational content. Others have approached games as artworks and asked questions about the authorship of games, about the ontology of the work (...) and its performance. Yet others, from the philosophy of sport, have focused on normative issues of fairness, rule application, and competition. The primary purpose of this article is to provide an overview of several different philosophical approaches to games and, hopefully, demonstrate the relevance and value of the different approaches to each other. Early academic attempts to cope with games tried to treat games as a subtype of narrative and to interpret games exactly as one might interpret a static, linear narrative. A faction of game studies, self-described as “ludologists,” argued that games were a substantially novel form and could not be treated with traditional tools for narrative analysis. In traditional narrative, an audience is told and interprets the story, where in a game, the player enacts and creates the story. Since that early debate, theorists have attempted to offer more nuanced accounts of how games might achieve similar ends to more traditional texts. For example, games might be seen as a novel type of fiction, which uses interactive techniques to achieve immersion in a fictional world. Alternately, games might be seen as a new way to represent causal systems, and so a new way to criticize social and political entities. Work from contemporary analytic philosophy of art has, on the other hand, asked questions whether games could be artworks and, if so, what kind. Much of this debate has concerned the precise nature of the artwork, and the relationship between the artist and the audience. Some have claimed that the audience is a cocreator of the artwork, and so games are a uniquely unfinished and cooperative art form. Others have claimed that, instead, the audience does not help create the artwork; rather, interacting with the artwork is how an audience member appreciates the artist's finished production. Other streams of work have focused less on the game as a text or work, and more on game play as a kind of activity. One common view is that game play occurs in a “magic circle.” Inside the magic circle, players take on new roles, follow different rules, and actions have different meanings. Actions inside the magic circle do not have their usual consequences for the rest of life. Enemies of the magic circle view have claimed that the view ignores the deep integration of game life from ordinary life and point to gambling, gold farming, and the status effects of sports. Philosophers of sport, on the other hand, have approached games with an entirely different framework. This has lead into investigations about the normative nature of games—what guides the applications of rules and how those rules might be applied, interpreted, or even changed. Furthermore, they have investigated games as social practices and as forms of life. (shrink)

Анотація. У статті проаналізовані досягнення Соціального Вчительства Католицької Церкви, репрезентовані працями Лева ХІІІ, Пія ХІ, Пія ХІІ, Івана Павла ІІ, що розкривають змістовні характеристики поняття «принцип субсидіарності», його роль і значення в системі християнських цінностей. Принцип субсидіарності робить можливими такі взаємовідносини в соціальному житті, коли спільнота вищого порядку не втручається у внутрішнє життя спільноти нижчого порядку, перебираючи на себе належні тій функції; заради спільного добра, спільного блага вона надає їй у разі потреби підтримку й допомогу, узгоджуючи у такий спосіб її (...) взаємодію з іншими соціальними структурами. Принцип субсидіарності скеровує соціальну практику на утвердження спільного блага в людському співтоваристві. Поширення і застосування принципу субсидіарності протистоїть небезпеці «одержавлення» суспільства та найзагрозливіших проявів колективізму, обмежує абсолютизацію влади, бюрократизацію державних і соціокультурних структур, стає одним із гарантів дотримання прав і свобод громадян своєї країни. (shrink)

In her BBC Reith Lectures on Trust, Onora O’Neill offers a short, but biting, criticism of transparency. People think that trust and transparency go together but in reality, says O'Neill, they are deeply opposed. Transparency forces people to conceal their actual reasons for action and invent different ones for public consumption. Transparency forces deception. I work out the details of her argument and worsen her conclusion. I focus on public transparency – that is, transparency to the public over expert domains. (...) I offer two versions of the criticism. First, the epistemic intrusion argument: The drive to transparency forces experts to explain their reasoning to non-experts. But expert reasons are, by their nature, often inaccessible to non-experts. So the demand for transparency can pressure experts to act only in those ways for which they can offer public justification. Second, the intimate reasons argument: In many cases of practical deliberation, the relevant reasons are intimate to a community and not easily explicable to those who lack a particular shared background. The demand for transparency, then, pressures community members to abandon the special understanding and sensitivity that arises from their particular experiences. Transparency, it turns out, is a form of surveillance. By forcing reasoning into the explicit and public sphere, transparency roots out corruption — but it also inhibits the full application of expert skill, sensitivity, and subtle shared understandings. The difficulty here arises from the basic fact that human knowledge vastly outstrips any individual’s capacities. We all depend on experts, which makes us vulnerable to their biases and corruption. But if we try to wholly secure our trust — if we leash groups of experts to pursuing only the goals and taking only the actions that can be justified to the non-expert public — then we will undermine their expertise. We need both trust and transparency, but they are in essential tension. This is a deep practical dilemma; it admits of no neat resolution, but only painful compromise. (shrink)

According to most accounts of trust, you can only trust other people (or groups of people). To trust is to think that another has goodwill, or something to that effect. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is to settle one’s mind about something, to stop questioning it. To trust is to rely on a resource while suspending deliberation over its reliability. Trust lowers the barrier of monitoring, challenging, checking, (...) and questioning. Trust sets up open pipelines between yourself and parts of the external world. Trust permits external resources to have a similar relationship to one as one’s internal cognitive faculties. This creates efficiency, but at the price of exquisite vulnerability. We must trust in this way because we are cognitively limited beings in a cognitively overwhelming world. Crucially, we can hold the unquestioning attitude towards objects and technologies. When I trust my climbing rope, I stop worrying about its reliability. When I trust my online calendaring system, I simply go to the events indicated, without question. But, one might worry, how could one ever hold such a normatively loaded attitude as trust towards mere objects? How could it ever make sense to feel betrayed by an object? Trust is our engine for expanding and outsourcing our agency — for binding external processes into our practical selves. Thus, we can be betrayed by our smartphones in the same way that we can be betrayed by our memory. When we trust, we try to make something a part of our agency, and we are betrayed when our part lets us down. To unquestioningly trust something is to let it in—to attempt to bring it inside one’s practical functioning. This suggests a new form of gullibility: agential gullibility, which occurs when agents too hastily and carelessly integrate external resources into their own agency. (shrink)

Recent discussions in the just war literature suggest that soldiers have a duty to assume certain risks in order to protect the lives of all innocent civilians. I challenge this principle of risk by arguing that it is justified neither as a principle that guides the conduct of combat soldiers, nor as a principle that guides commanders in the US military. I demonstrate that the principle of risk fails on the first account because it requires soldiers both to violate their (...) strict duty of obedience and loyalty and to exceed their special obligations to protect their fellow comrades, the state, the state's constituents and other protected civilians. I then illustrate that the principle of risk fails on the second account since it conflicts with the commander's primary obligation to protect and promote the welfare and lives of his or her soldiers. I conclude by arguing that we cannot reasonably expect soldiers and commanders to adhere to the principle of risk until there is a radical, institutional-level transformation of militaristic goals, values, strategies, policies, warrior codes and expectations of service members in the US Armed Forces. (shrink)

Монографія "Функціональність релігії: український контекст".

Twitter makes conversation into something like a game. It scores our communication, giving us vivid and quantified feedback, via Likes, Retweets, and Follower counts. But this gamification doesn’t just increase our motivation to communicate; it changes the very nature of the activity. Games are more satisfying than ordinary life precisely because game-goals are simpler, cleaner, and easier to apply. Twitter is thrilling precisely because its goals have been artificially clarified and narrowed. When we buy into Twitter’s gamification, then our values (...) shift from the complex and pluralistic values of communication, to the narrower quest for popularity and virality. Twitter’s gamification bears some resemblance with the phenomena of echo chambers and moral outrage porn. In all these phenomena, we are instrumentalizing our ends for hedonistic reasons. We have shifted our aims in an activity, not because the new aims are more valuable, but in exchange for extra pleasure. (shrink)

This classic and controversial book examines the roots of the idea of virtue, diagnoses the reasons for its absence in modern life, and proposes a path for its recovery.

The Statesman is Plato's neglected political work, but it is crucial for an understanding of the development of his political thinking. In some respects it continues themes from the Republic, particularly the importance of knowledge as entitlement to rule. But there are also changes: Plato has dropped the ambitious metaphysical synthesis of the Republic, changed his view of the moral psychology of the citizen, and revised his position on the role of law and institutions. In its presentation of the statesman's (...) expertise, the Statesman modifies, as well as defending in original ways, this central theme of the Republic. (shrink)

I met Ernie in 1965 on the wrestling mats of our high school in North Bergen, New Jersey, a township on top of the plateau overlooking Hoboken and across the Hudson River from Manhattan. Hoboken then was still the Hoboken of Elia Kazan’s “On the Waterfront” (1954).1 Even though the Hudson was less than a mile across at that point, it was a wide spiritual divide. We were Jersey boys, not New Yorkers. Ernie was as ambitious as I was about (...) wrestling, and, so, after the season was over, we used to take a bus to Journal Square in Jersey City, and then walk about eight city blocks to a gym to lift weights. In those days, high schools didn’t have weight rooms; and gyms were scarce, men only, quite filthy, and entirely devoid of cardio equipment and Nautilus machines. They were all sweat, grunts, groans, and clanking iron. By 1968, on Tuesdays and Thursdays, after a grueling wrestling practice at the high school, we would take a bus to New York City (it took about a half hour to get into “the City” by bus, less if the Lincoln Tunnel was not crowded), and then a short subway ride up to the New York Athletic Club on 59th street, across from Central Park, to spend a couple of hours working out with former university wrestling stars—guys in their mid-twenties from places like Oklahoma, Nebraska, and Iowa—who were training to make the Olympic team. Even with all of this wrestling time, we were frustrated by the fact that there was nowhere to work out on Sundays. We investigated and found out that the Jersey City YMCA had a wrestling mat and was open on Sundays. We then spent our Sunday afternoons working out there, so as not to miss a day of wrestling. Wrestling was our savior: a healthy way to get out anger.2 But it wasn’t all wrestling. We did something else too: We talked. We spent many hours together introspecting out loud, and just trying to make sense of things. Ernie has mentioned in print one early topic of discussion: “We spent years trying to solve various logical conundra like how on earth the Virgin Mary could have been a virgin.... (shrink)

The feeling of clarity can be dangerously seductive. It is the feeling associated with understanding things. And we use that feeling, in the rough-and-tumble of daily life, as a signal that we have investigated a matter sufficiently. The sense of clarity functions as a thought-terminating heuristic. In that case, our use of clarity creates significant cognitive vulnerability, which hostile forces can try to exploit. If an epistemic manipulator can imbue a belief system with an exaggerated sense of clarity, then they (...) can induce us to terminate our inquiries too early — before we spot the flaws in the system. How might the sense of clarity be faked? Let’s first consider the object of imitation: genuine understanding. Genuine understanding grants cognitive facility. When we understand something, we categorize its aspects more easily; we see more connections between its disparate elements; we can generate new explanations; and we can communicate our understanding. In order to encourage us to accept a system of thought, then, an epistemic manipulator will want the system to provide its users with an exaggerated sensation of cognitive facility. The system should provide its users with the feeling that they can easily and powerfully create categorizations, generate explanations, and communicate their understanding. And manipulators have a significant advantage in imbuing their systems with a pleasurable sense of clarity, since they are freed from the burdens of accuracy and reliability. I offer two case studies of seductively clear systems: conspiracy theories; and the standardized, quantified value systems of bureaucracies. (shrink)

This edition of Martin Ostwald's revised version of J. B. Skemp's 1952 translation of _Statesman_ includes a new selected bibliography, as well as Ostwald's interpretive introduction, which traces the evolution in Plato's political philosophy from _Republic_ to _Statesman to Laws_--from philosopher-king to royal statesman.

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and (...) conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area. (shrink)

God and moral obligations -- What is a divine command theory of moral obligation? -- The relation of divine command theory to natural law and virtue ethics -- Objections to divine command theory -- Alternatives to a divine command theory -- Conclusions: The inescapability of moral obligations.

Стаття С. Присухіна «Іван Павло ІІ про логіку діалогу між Католицькою Церквою та ісламом» присвячена філософськобогословським напрацюванням Папи Римського Івана Павла ІІ щодо аналізу змістовних характеристик поняття «діалог між католицизмом і ісламом», а також логіки його здійснення в непростому й суперечливому сьогоденні.