This book presents a rigorous foundation for defining Boolean categories, in which the relationship between specification and behavior is explored. Boolean categories provide a rich interface between program constructs and techniques familiar from algebra, for instance matrix- or ideal-theoretic methods. The book's distinction is that the approach relies on a single program construct (the first-order theory of categories); others are derived mathematically from four axioms. Development of these axioms (which are obeyed by an abundance of program paradigms) yields Boolean algebras (...) of "predicates" loop-free constructs, and a calculus of partial and total correctness, which is shown to be the standard one of Hoare, Dijkstra, Pratt, and Kozen. (shrink)

This article examines what realists and anti-realist debates are all about. Through presenting the core of the main arguments in these debates, these are significant arguments and they are the kind of arguments that can clarify what it meant by ‘truth’ between Realist and anti-realist in general. The concluding remark is that though the main anti- realist’s arguments in these debates can be seen as some powerful arguments through raising questions on the relationship between theory and evidence, success and truth. (...) However, the success of science and the use of science in everyday life has not been given any satisfactory explanations by the anti-realists nor the use of it has been shut out from the daily life by these arguments against it. (shrink)

A viable environmental ethics must confront “the silence of nature”—the fact that in our culture only humans have status as speaking subjects. Deep ecology has attempted to do so by challenging the idiom of humanism that has silenced the natural world. This approach has been criticized by those who wish to rescue the discourse of reason in environmental ethics. I give a genealogy of nature’s silence to show how various motifs of medieval and Renaissance origins have worked together historically to (...) create the fiction of “Man,” a character portrayed as sole subject, speaker, and telos of the world. I conclude that the discourse of reason, as a guide to social practice, is implicated in this fiction and, therefore, cannot break the silence of nature. Instead, environmental ethics must learn a language that leaps away from the motifs of humanism, perhaps by drawing on the discourse of ontological humility found in primal cultures, postmodern philosophy, and medieval contemplative tradition. (shrink)

. This article presents and examines four different reconstructions of Ronald Duska’s argument for the thesis that employees’ loyalty to their employers is misguided. One of them is the reconstruction presented by John Corvino in this journal. The remaining three revolve around, respectively, employers’ failure to reciprocate employees’ (attempts at) loyalty, the commercial character of employment, and the instrumental character of employment. The result of the examination is that the argument does not withstand scrutiny in any of the four reconstructions. (...) The failure of Duska’s argument, however, does not mean that employee loyalty is justified, because the burden of proof is on the defenders of the loyalty. Moreover, a different argument, which is also presented in the article, shows that the loyalty of most present-day employees to their employers is bound to be significantly limited, because of the radical changeability of corporations with publicly traded stock. (shrink)

In this article I am going to propose a modification in the theory of pure restitution, in the hope that such modification will eliminate at least some sources of resistance to the theory, while preserving the theory's distinct place among the philosophical approaches to the institution of legal punishment.

This article examines whether Willard Van Orman Quine’s indeterminacy thesis can be sustained. The argument from above, Quine argues, can derive indeterminacy as its conclusion. I will argue that the indeterminacy claim cannot be sustained. I further argue that Quine changed the formulation of the underdetermination of theory by evidence (UTE) argument from what Duhem said to the Quine/Pierce meaning verification view, in order use the new formulation of UTE to imply indeterminacy. Given all that, we see when we apply (...) the old UTE argument we only arrive at underdetermination of theory by evidence, and that applies to all sciences, philosophy and knowledge, including philosophy of language. (shrink)

In this short article, I will explore John Searle’s social ontology project from the perspective of social epistemology. The outcome of my analysis is that language is decisive for the collective acquisition and production of knowledge. I agree with Searle regarding the exposure of language as a central constitutive component of social forms of knowledge, a component that plays a significant role in the development of social epistemology.

Assuming that moral discourse is prescriptive, what distinguishes it from other types of prescriptive discourse? To say, as Hare does, that it is its overridingness, is subject both to criticisms that assume that overridingness could, in principle, be used to distinguish one type of prescriptive discourse from another, and then show that it is doubtful that moral discourse is overriding, and to the criticisms that claim that it is in principle impossible to use overridingness to distinguish one type of prescriptive (...) discourse from another, because all of them are bound to be on a par in respect of overridingness. ;It is also impossible to distinguish moral discourse from other types of prescriptive discourse by saying that in it we use arguments based on imaginatively putting oneself in the shoes of others, because such arguments are used in prudential discourse as well. However, we can account for the distinction, if we realize that such arguments can be performed only on certain designated argument-places, and that in moral claims argument-places of two different types are designated for the purpose: those for moral agents and those for moral patients; while in prudential claims argument-places of only one type are designated: those for prudential agents. ;If this account is accepted, this raises a number of further questions. Examination of these questions leads to a form of relativism about membership in the sets of moral agents and moral patients. This form of relativism, however, leaves considerable room for rational discussion of membership in these sets and is compatible with the rejection of relativism about the content of moral rules. (shrink)

This is a republication of 'Hegeby Zanin' in a second country for the use on international philosophy students and researchers in non English language, combines two epistemology books ; classic epistemology and social epistemology.

In this erudite study, Anna Becker employs the lens of gender to explore the political thought of nine Renaissance writers. She argues that political thinkers in the Italian and French Renaissance perceived the domestic realm to be essentially political, particularly within relationships of marriage and parenting. She demonstrates that "The Great Dichotomy"—the assumed binary opposition between a public-civic realm that is political and male, and a private-domestic realm that is apolitical and female—did not exist in canonical Renaissance political thought.The first (...) chapter closely examines how three Italian commentators, Leonardo Bruni, Donato Acciaioli, and Bernardo Segni... (shrink)

Although the particular ethical consequenees of biocentrism can be defended at a logical level, the centrality of problems with valuational frameworks in biocentric ethics leads to ontologieal ambiguities which contribute to the broader problematic of modem metaphysics. I suggest, however, that this may actually help to thematize the relationship between the metaphysieal foundations of environmentalism and its social task. Mysticism and phenomenology, including the concept of the “ecological self,” attempt to settle these ambiguities in a dialectical opposition to the technological (...) world view behind the environmental crisis. Whatever ontological stability they achieve, however, is at the expense of being assimilated by the same kind of metaphysical totalization characterizing technological thinking. Unlike anthropocentrism and the stewardship model of environmentalism, nevertheless, these difficulties for biocentrism lead to positive results: the ambiguities in the search for philosophic stability and foundational certainty can act as a cue to the nonmetaphysical task of analyzing and resisting technological power. The result may be a “negative ethics,” but one that holds out the possibility of confronting the real power relations of technological culture (and the use of ethics within them), rather than pursuing the endless projeet of discovering the hidden source of value and meaning. (shrink)

This is book l of three philosophy books in international language; formal academic philosophy source in Kurdish language Given overall view on classic epistemology for university student in non English language philosophy departments and philosophy schools .

This is book ll of three philosophy books in international language, formal academic philosophy source in Kurdish language. Written for non English speaking university students as a philosophy guide into epistemology/ Social epistemology, as a resource for the use of philosophy departments and philosophy schools.

The question of what constitutes sexual harassment—from suggestive remarks to outright threats, from off-color jokes to lewd posters on office walls—is contentious, as is the question of how to address sexual harassment. Do all instances of sexual harassment constitute sex discrimination? Are some instances merely sexual attraction gone wrong? Do social policies aimed at eliminating sexual harassment in the workplace violate freedom of expression or do they make working relationships possible between women and men? In this uncompromising yet respectful debate, (...) two philosophers of widely divergent views present clear arguments and then respond directly to each other's reasoning. LeMonchek argues for a feminist perspective on sexual harassment that is sensitive to the politics of gender. Hajdin contends that this perspective is both morally confusing and legally problematic, and that sexual harassment can be better addressed by traditional moral and legal categories. (shrink)