This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, Planning Domain Description Language with control Knowledge (PDDL-K), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality plans. The semantics of the language is given in terms of a translation into a set of LTL formulae. Planning is then reduced (...) to “executing” the LTL encoding, i.e. to model search in LTL. The feasibility of the approach has been successfully tested by means of the system Pdk, an implementation of the proposed method. (shrink)
In this paper we study proof procedures for some variants of first-order modal logics, where domains may be either cumulative or freely varying and terms may be either rigid or non-rigid, local or non-local. We define both ground and free variable tableau methods, parametric with respect to the variants of the considered logics. The treatment of each variant is equally simple and is based on the annotation of functional symbols by natural numbers, conveying some semantical information on the worlds where (...) they are meant to be interpreted.This paper is an extended version of a previous work where full proofs were not included. Proofs are in some points rather tricky and may help in understanding the reasons for some details in basic definitions. (shrink)
ABSTRACT In this paper we state and prove Herbrand's properties for two modal systems, namely T and S4, thus adapting a previous result obtained for the system D [CIA 86a] to such theories. These properties allow the first order extension?along the lines of [CIA 91]?of the resolution method defined in [ENJ 86] for the corresponding propositional modal systems. In fact, the Herbrand-style procedures proposed here treat quantifiers in a uniform way, that suggests the definition of a restricted notion of unification (...) for quantifier free modal formulae obtained by means of a Skolem-like procedure. The differences among the three systems considered, D, T and S4, are taken into account by preliminary propositional transformations of the formulae, in such a way that the problem of quantifier elimination can be treated within the same pattern in the different systems. The methods employed to prove the fundamental theorems are purely proof-theoretical and make use of the formalization of the considered modal theories in terms of sequent calculi, where the cut elimination theorem holds. (shrink)
We address concerns raised by Maul (2012) regarding the validity of the Mayer-Salovey-Caruso Emotional Intelligence Test (MSCEIT). We respond to requests for clarifications of our model, and explain why the MSCEIT’s scoring methods stand up to scrutiny and why many reported reliabilities of the MSCEIT may be underestimates, using reanalyses of the test’s standardization sample of N = 5,000 to illustrate our point. We also organize findings from four recent articles that provide evidence for the MSCEIT’s validity based on (...) its relations with other tests. (shrink)
In diesem Sammelband werden Aufsätze von renommierten Husserl-Forschern und Nachwuchswissenschaftlern zu systematischen Fragen und Problemen von Husserls Phänomenologie versammelt. Die Texte basieren teilweise auf Vorträgen der Tagung „Die Aktualität Husserls", die 2009 an der LMU München stattgefunden hat. In drei thematischen Blöcken, die sich schwerpunktmäßig auf Probleme der Ontologie, Sprachphilosophie/ Philosophie des Geistes und Handlungstheorie/Ethik konzentrieren, wird die systematische Breite und Komplexität von Husserls Denken deutlich, das sich nahezu nahtlos auf aktuelle Fragestellungen beziehen lässt - wenngleich es sich diesen nicht (...) immer anpasst und in kritischer Distanz insbesondere zur Naturalisierbarkeit des Geistes bleibt. Mit Beiträgen von Emanuele Caminada, Christian Beyer, Christopher Erhard, Sophie Loidolt, Verena Mayer, Uwe Meixner, Roberta De Monticelli, Henning Peucker, Sonja Rinofner-Kreidl, Rochus Sowa und Thomas Vongehr. (shrink)
Quine criticised the semantic notion of analyticity that is often attributed to Frege and Kant for presupposing an essentialist theory of meaning. In what follows I trace back the notion from Quine via Carnap to Frege and Kant, and eventually examine Kant's distinction between analytic and synthetic judgements in more detail. It turns out that the so called Frege-Kant-notion of analyticity can not be attributed to Kant. In contrast, Kant had a distinctly pragmatic notion of analytic judgements. According to him (...) analytic propositions elucidate certain presuppositions of our conceptual scheme, thereby serving the anti-metaphysical project of transcendental philosophy. (shrink)
This paper offers a new answer to an old question. Others have argued that exploitation is wrong because it is coercive, or degrading, or fails to protect the vulnerable. But these answers only work for certain cases; counterexamples are easily found. In this paper I identify a different answer to the question by placing exploitation within the larger family of wrongs to which it belongs. Exploitation is one species of wrongful gain, and exploiters always gain at the expense of others (...) by inflicting relative losses on disadvantaged parties. They do harm to their victims, even when their interactions are mutually advantageous, by failing to benefit the disadvantaged party as fairness requires. This failure is the essential wrong in every case of wrongful exploitation. At the end of the paper I assess how wrong this failure is as a way to gain at another's expense. (shrink)
Contrary to the assumptions of those who pair Dewey and Piaget based on progressivism's recent history, Dewey shared broader concerns with Vygotsky (whose work he never read). Both Dewey and Vygotsky emphasized the role of cultural forms and meanings in perpetuating higher forms of human thought, whereas Piaget focused on the role played by logical and mathematical reasoning. On the other hand, with Piaget, Dewey emphasized the nurture of independent reasoning central to the liberal Protestant heritage the two men shared. (...) Indeed, Dewey's broad theorizing of democracy's implications for schooling can be seen to integrate the research emphases of the two psychologists. (shrink)
Peace is more likely where there is trade and commerce between nation-states. However, many nations are "failed states" or "failing states," in large part because of civil wars. Yet, "business" may have a role to play here, too; as private military security companies (PMSCs) proliferate, governments and international organizations seem increasingly disposed to contract for their services, in some cases for combat roles as well as non-combat support roles in various conflict zones. This has raised questions about the ethics of (...) using private companies for public purposes, especially where (as now) private companies have operated outside of legal accountability. This article suggests ways in which such accountability can be put in place, such that PMSCs can actually serve the cause of securing local and regional stability as a first step toward establishing a much safer environment for people and for business. (shrink)
According to the prevailing scholarly view, made popular by Neil Harding, Lenin is said to have derived his well-known theory of working-class consciousness in What Is To Be Done? from G. V. Plekhanov, the father of Russian Marxism. Is this article I demonstrate, however, that Plekhanov and Lenin disagreed quite sharply on this question. Plekhanov did not believe that workers would fail to develop a socialist consciousness in the absence of external intervention. Indeed, Plekhanov was a thorough-going optimist about proletarian (...) capacities, and while he did assign an important role to the intelligentsia in the process of consciousness-raising, that role was carefully circumscribed. An exhaustive review of Plekhanov's writings before November 1903, when he broke with Lenin, reveals just how unorthodox Lenin's most famous argument was in the context of Russian Social-Democratic theory. (shrink)
The concept of noncombatant immunity prohibits the intentional targeting of noncombatants. The availability of nonlethal weapons (NLW) may weaken this prohibition, especially since using NLWs against noncombatants may, in some cases, actually save the noncombatants' lives. Given the advancement of NLWs, I argue that their probable appearance on the battlefield demands close scrutiny due to the moral problems associated with their use. In this paper, I examine four distinct cases and determine whether the use of NLWs is morally permissible. While (...) it seems that the reduced harm caused by NLWs makes their use more acceptable, adhering to noncombatant immunity requires more than not killing noncombatants. It also requires that military forces treat noncombatants a certain way. In the cases I present, to use NLWs against noncombatants treats them as combatants and coerces them to do something against their will. While a consequentialist foundation for noncombatant immunity may permit this action, a rights-based concept of noncombatant immunity does not. I contend that only a rights-based concept of noncombatant immunity is viable, and that the availability of NLWs should not significantly alter the prohibitions prescribed by noncombatant immunity. (shrink)
Although Frege was eager to theoretically eliminate the judging subject from logic and mathematics, his system is permeated with notions that refer to subjective mental processes, such as grasping a thought, assuming, judging, and value. His semantic system depends on such notions, but since Frege in general shuns explaining them, his central conception of judgment and truth remains dark. In this paper it is proposed to fill out the gaps in Frege's explanations with the help of Husserl's phenomenological descriptions, especially (...) those of the sixth Logical Investigation. This leads to a comparison between Frege's notion of judgment and Husserl's "Evidenz", and finally also to a phenomenological classification of Frege's remarks on truth. (shrink)
Are guest-worker programs exploitative? Egalitarian and neoclassical theories of exploitation agree that they always are. But these judgments are too indiscriminate. Privileged guests are the exception, and the exception points toward a more sensitive standard for identifying exploitation. This more sensitive standard, the sufficiency theory of exploitation, is used to analyze several guest-worker programs. Even when guest-worker programs are exploitative, it is argued that the unfairness should be tolerated if the exploitation is modest, not severe, and if the most likely (...) nonexploitative alternative worsens the plight of the disadvantaged. (shrink)
This paper uses the example of payday loans to identify two standards of exploitation that better accord with intuitions about taking unfair advantage than neoclassical or neo-Marxian exploitation theory. These two standards are derived from ongoing policy debates about the regulation of payday loans. The sufficiency standard is more restrictive than relative-advantage theory, but the latter indicates when exceptions to the prohibition on exploitation should be made for the sake of the disadvantaged party.
Abstract Many of Boettke's criticisms of formalist economics are justified. However, he defines formalism so broadly that it becomes practically synonymous with mainstream economics, while his criticisms primarily target the sins of formalist economics more narrowly defined. And since he treats Austrian economics as the only viable alternative to mainstream economics, he incorrectly awards victory to Austrian economics. While Austrian economics has some valuable ideas to contribute to mainstream economics, it has serious deficiencies of its own.
The goals of this study are to test a pattern of ethical decision making that predicts ethical intentions of individuals within corporations based primarily on the ethical values embedded in corporate culture, and to see whether that model is generally stable across countries. The survey instrument used scales to measure the effects of corporate ethical values, idealism, and relativism on ethical intentions of Turkish, Thai, and American businesspeople. The samples include practitioner members of the American Marketing Association in the U.S., (...) and full-time businesspeople enrolled in executive MBA programs in Thailand and Turkey. The study is positioned within a fairly new stream that assesses patterns across countries, rather than differences between them, in a way that might be called “culture free.” The results show a generally positive influence between cultural ethical values and ethical intentions. The results also indicate that the positive effect of corporate ethical values on ethical intentions is greater for managers with low idealism and high relativism. We also discuss the implications of our results for managers of international businesses. (shrink)
This is a study of the effects of a number of background variables on ethical perceptions of Mexican and U.S. marketers. This research investigates how a marketer’s personal religiousness, relativism, and the ethical values influence in perceptions of the degree of ethical problems in hypothetical marketing scenarios. It also examines differences between Mexican and U.S. marketers on these variables. The results show significant differences in perception between the countries, and we discuss the implications of these differences for cross-cultural business activities.
The current disclosure model of informed consent ignores the linguistic complexity of any act of communication, and the increased risk of difficulties in the special circumstances of informed consent. This article explores, through linguistic analysis, the specificity of informed consent as a speech act, a communication act, and a form of dialogue, following on the theories of J.L. Austin, Roman Jakobson, and Mikhail Bakhtin, respectively. In the proposed model, informed consent is a performative speech act resulting from a series of (...) communication acts which together constitute a dialogic, polyphonic, heteroglossial discourse. It is an act of speech that results in action being taken after a conversation has happened where distinct individuals, multiple voices, and multiple perspectives have been respected, and convention observed and recognized. It is more meaningful and more ethical for both patient and physician, in all their human facets including their interconnectedness. Keywords: communication, dialogism, informed consent, linguistics, performative, physician-patient relationship CiteULike Connotea Del.icio.us What's this? (shrink)
By what process was the Jacobin identity transplanted into nineteenth-century Russian radical culture? According to the conventional account, the Jacobin label was coined by proponents like Zainevskij and Tkaev. Lenin, in turn, is said to have derived his Jacobin identity from them, thus revealing the non-Marxian source of his political ideas. This article contests that interpretation through a study of the origin and spread of the Jacobin terminology in post-emancipation Russia. I show that the Jacobin identity in Russia was invented (...) by anti-Jacobin populists and that there were scarcely any self-proclaimed Jacobins prior to Lenin. I also reconstruct the path by which Lenin came to identify with French Jacobinism. That path remained within the territory of Marxist theory from beginning to end. (shrink)
What did Lenin mean when he claimed to be thinking dialectically about questions of political practice? Renewed interest has been expressed in this subject, but the tendency of most studies is to treat Lenin's dialectic as a metaphysical doctrine consisting of universal laws such as transformation into opposite, and so forth. Emphasizing Lenin's Hegel Notebooks, commentators have argued that his tactical innovations after 1914 were simply applications of these dialectical laws. Examination of Lenin's conception of the dialectic as set forth (...) in his tactical writings after the turn of the century shows, however, that the Leninist practice of dialectical thinking was in fact the very antithesis of metaphysical reason, because it repudiated the universality of abstract rules in the formulation of tactics. Several examples of this practice are examined, including the case of national self-determination and the problem of party dictatorship over the working class. (shrink)
Urban communities in 21st century America are facing severe economic challenges, ones that suggest a mandate to contemplate serious changes in the way America does business. The middle class is diminishing in many parts of the country, with consequences for the economy as a whole. When faced with the loss of its economic base, any business community must make some difficult decisions about its proper role and responsibilities. Decisions to support the community must be balanced alongside and against responsibilities to (...) owners, shareholders and relevant “stakeholders” in a relatively new context. Corporations in urban communities “hollowed out” by white flight or urban sprawl must decide what level of support they can and should provide. This paper examines corporate decisions within the emerging urban prosperity initiatives, using the framework of integrative social contract theory proposed by Donaldson and Dunfee. We suggest that urban prosperity initiatives present a mandate on corporations sufficiently strong as to qualify as an authentic norm. Further, we argue that strict adherence to a corporate bottom line approach or “corporate isolationism” is not congruent with contemporary community standards. (shrink)
U.S. multinational enterprises must now follow the policies of Title VII of the Civil Rights Act of 1964 in their overseas operations, at least with respect to U.S. expatriate employees. Doing so in a culture which discourages gender equality in the workplace raises difficult issues, both practically and ethically. Vigorously importing U.S. attitudes toward gender-equality into a social culture such as Japan or Saudi Arabia may seem ethnocentric, a version of ethical imperialism. Yet adapting to host country norms risks a (...) kind of moral relativism. This article supports the view that MNEs which promote workplace equality in a host country such as Japan, which is actively involved in the international economic and political community, is not ethical imperialism in any pejorative sense and is preferable to a moral relativism or social contract approach.We hold these truths to be self-evident: that all men are created equal, and endowed by their creator with certain rights — life, liberty, and the pursuit of happiness. (shrink)
At the UN, important projects laying down transnational corporations' (TNCs) human rights responsibilities have been launched without ever clarifying the relevant theoretical foundations. One of the consequences is that the human rights principles in projects like the 2000 UN Global Compact and the 2003 Norms on the Responsibilities of Transnational Corporations and Other Business Enterprises with Regard to Human Rights can be understood in different ways, which should not cause surprise given that their authors come from diverse backgrounds, including economics (...) and public policy. An examination of these projects and the views of their authors reveals that, although they are superficially linked to international human rights law, they go well beyond it and attempt to deal with corporate social responsibility issues in ways that elude neat classification as fitting neatly in either legal or non-legal categories. Too little attention has been paid to how in the course of developing these projects the legal and ethical dimensions have become entwined and how lines have gotten blurred. Meanwhile, there has been recognition that these UN projects have emerged simply as ad hoc responses to practical concerns about the sustainability of globalization. The lack of any foundational theory or normative framework should be addressed; it is time to bring together specialists from different fields concerned with the human rights responsibilities of corporations to see if it is possible to define a coherent overarching theory for these UN projects. (shrink)
: Feminist affiliation has long been suspect among Native American women whose memories survive the dishonor of colonialism. The idea of common struggles is simultaneously repugnant and alluring. Sadly, this has led to much confusion and rejection between Aboriginal women. I suggest "a return to reciprocity" to understand and come to terms with feminist rejection or affiliation. If we cannot come together, the fracturing that began with European ideology will continue to fragment and destroy the fabric of Native cultures.