Modal dependence logic was introduced recently by Väänänen. It enhances the basic modal language by an operator = (). For propositional variables p 1, . . . , p n , = (p 1, . . . , p n-1, p n ) intuitively states that the value of p n is determined by those of p 1, . . . , p n-1. Sevenster (J. Logic and Computation, 2009) showed that satisfiability for modal dependence logic is complete for nondeterministic (...) exponential time.In this paper we consider fragments of modal dependence logic obtained by restricting the set of allowed propositional connectives. We show that satisfiability for poor man’s dependence logic, the language consisting of formulas built from literals and dependence atoms using ${\wedge, \square, \lozenge}$ (i. e., disallowing disjunction), remains NEXPTIME-complete. If we only allow monotone formulas (without negation, but with disjunction), the complexity drops to PSPACE-completeness.We also extend Väänänen’s language by allowing classical disjunction besides dependence disjunction and show that the satisfiability problem remains NEXPTIME-complete. If we then disallow both negation and dependence disjunction, satisfiability is complete for the second level of the polynomial hierarchy. Additionally we consider the restriction of modal dependence logic where the length of each single dependence atom is bounded by a number that is fixed for the whole logic. We show that the satisfiability problem for this bounded arity dependence logic is PSPACE-complete and that the complexity drops to the third level of the polynomial hierarchy if we then disallow disjunction.In this way we completely classify the computational complexity of the satisfiability problem for all restrictions of propositional and dependence operators considered by Väänänen and Sevenster. (shrink)

Inherent in the self–other dynamic structure are the mechanisms to reduce the other to the self, to surrender the self to the other, to place an insurmountable wedge between them, and to effect a harmonious, mutually beneficent relationship. In this paper, I explore the varied self–other relations between the self in hope, confronting the prospect of its death as other. I also endeavour to unravel a possible eclipse of the above self–other patterns, which can serve as an indication of (...) the uniqueness and perhaps the mystery that surround our attempts to come to terms with the reality of our own mortality. (shrink)

This reissue of his collection of early essays, Logico-Linguistic Papers, is published with a brand new introduction by Professor Strawson but, apart from minor ...

A historical investigation of the exclusion of Africa and Asia from modern histories of philosophy.

A complete system of classical Aristotelian logic intended for honors high school and college.

Ohne Rücksicht auf disziplinäre Schranken bringt dieses Buch verschiedene nicht-reduktionistische Lerntheorien miteinander ins Gespräch. In einem offenen Diskurs, der die Konzepte zueinander in Beziehung setzt, werden die unterschiedlichen Perspektiven kritisch abgewogen und hinsichtlich ihrer Stärken und Schwächen diskutiert.

Delo se loteva vprašanja aktualnosti pojma subjekta v filozofiji in politiki skozi analizo tistih avtorjev, ki so ga domnevno najbolj radikalno pokopali: pokaže, da vznik radikalno novega in problematika subjekta zavzema osrednje mesto v Deleuzovi filozofiji, kakor tudi v Lyotardovi pozni misli posvečeni praznini, v Foucaultovi obravnavi biopolitike in biooblasti, v delu Negrija in Hardta o Imperiju, ter nazadnje v Badioujevi predelavi temeljnih filozofskih kategorij biti, resnice in subjekta, na osnovi katerih je dandanes znova možna renesansa filozofije. Ta ima po (...) Badiouju štiri razsežnosti, ki se v delu Vznik subjekta nenehno prepletajo: »V osnovi želja filozofije implicira razsežnost upora: ni filozofije brez nezadovoljstva mišljenja v njegovem soočenju s svetom, kakršen je. Pa vendar želja filozofije vključuje tudi logiko: to je, prepričanje v moč argumenta in uma.«. (shrink)

The relationship of part to whole is one of the most fundamental there is; this is the first and only full-length study of this concept. This book shows that mereology, the formal theory of part and whole, is essential to ontology. Peter Simons surveys and criticizes previous theories, especially the standard extensional view, and proposes a more adequate account which encompasses both temporal and modal considerations in detail. 'Parts could easily be the standard book on mereology for the next (...) twenty or thirty years.' Timothy Williamson, Grazer Philosophische Studien. (shrink)

In 1972, the young philosopher Peter Singer published "Famine, Affluence and Morality," which rapidly became one of the most widely discussed essays in applied ethics. Through this article, Singer presents his view that we have the same moral obligations to those far away as we do to those close to us. He argued that choosing not to send life-saving money to starving people on the other side of the earth is the moral equivalent of neglecting to save drowning children (...) because we prefer not to muddy our shoes. If we can help, we must--and any excuse is hypocrisy. Singer's extreme stand on our moral obligations to others became a powerful call to arms and continues to challenge people's attitudes towards extreme poverty. Today, it remains a central touchstone for those who argue we should all help others more than we do. As Bill and Melinda Gates observe in their foreword, in the age of today's global philanthropy, Singer's essay is as relevant now as it ever was. This attractively packaged, concise edition collects the original article, two of Singer's more recent popular writings on our obligations to others around the world, and a new introduction by Singer that discusses his current thinking. (shrink)

Confirmation bias is one of the most widely discussed epistemically problematic cognitions, challenging reliable belief formation and the correction of inaccurate views. Given its problematic nature, it remains unclear why the bias evolved and is still with us today. To offer an explanation, several philosophers and scientists have argued that the bias is in fact adaptive. I critically discuss three recent proposals of this kind before developing a novel alternative, what I call the ‘reality-matching account’. According to the account, confirmation (...) bias evolved because it helps us influence people and social structures so that they come to match our beliefs about them. This can result in significant developmental and epistemic benefits for us and other people, ensuring that over time we don’t become epistemically disconnected from social reality but can navigate it more easily. While that might not be the only evolved function of confirmation bias, it is an important one that has so far been neglected in the theorizing on the bias. (shrink)

This chapter provides an introduction to higher-order metaphysics as well as to the contributions to this volume. We discuss five topics, corresponding to the five parts of this volume, and summarize the contributions to each part. First, we motivate the usefulness of higher-order quantification in metaphysics using a number of examples, and discuss the question of how such quantifiers should be interpreted. We provide a brief introduction to the most common forms of higher-order logics used in metaphysics, and indicate a (...) number of questions which can be raised in such systems using logical vocabulary alone. Using a further example, we return to applications of higher-order logics in metaphysics. We also mention key developments in the history of higher-order logic as it pertains to metaphysics. Finally, we mention certain arguments which have been raised against the use of higher-order logic, and some ways of responding to them. (shrink)

Acknowledgments 1. Culture Is Essential 2. Culture Exists 3. Culture Evolves 4. Culture Is an Adaptation 5. Culture Is Maladaptive 6. Culture and Genes Coevolve 7. Nothing about Culture Makes Sense except in the Light of Evolution.

The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

In this short but meaty book, Peter Unger questions the objective answers that have been given to central problems in philosophy. As Unger hypothesizes, many of these problems are unanswerable, including the problems of knowledge and scepticism, the problems of free will, and problems of causation and explanation. In each case, he argues, we arrive at one answer only relative to an assumption about the meaning of key terms, terms like "know" and like "cause," even while we arrive at (...) an opposite answer relative to quite different assumptions, but equally arbitrary assumptions, about what the key terms mean. (shrink)

Members of the field of philosophy have, just as other people, political convictions or, as psychologists call them, ideologies. How are different ideologies distributed and perceived in the field? Using the familiar distinction between the political left and right, we surveyed an international sample of 794 subjects in philosophy. We found that survey participants clearly leaned left (75%), while right-leaning individuals (14%) and moderates (11%) were underrepresented. Moreover, and strikingly, across the political spectrum, from very left-leaning individuals and moderates to (...) very right-leaning individuals, participants reported experiencing ideological hostility in the field, occasionally even from those from their own side of the political spectrum. Finally, while about half of the subjects believed that discrimination against left- or right-leaning individuals in the field is not justified, a significant minority displayed an explicit willingness to discriminate against colleagues with the opposite ideology. Our findings are both surprising and important, because a commitment to tolerance and equality is widespread in philosophy, and there is reason to think that ideological similarity, hostility, and discrimination undermine reliable belief formation in many areas of the discipline. (shrink)

Narrative thinking -- Narrative thinking about one's past -- Grief : a case study -- Narrative thinking about one's future -- Self-forgiveness : a case study -- The narrative sense of self -- Narrative, truth, life, and fiction.

While Hermann Levin Goldschmidt didn’t read Yiddish anarchists, there seems to have been a convergent evolution in their thinking. Goldschmidt’s looking up to Jewish lore as a source of liberating creativity is commonly encountered in Yiddish anarchist texts. His view of action as a constant response to internal and external challenges in the struggle for an open future is developed by Isaac Nachman Steinberg on the basis of nineteenth-century vitalism. Goldschmidt’s theory of anarchist individualism as willed self-limiting solidarity has a (...) compelling parallel in Hillel Solotaroff’s view of history. His use of impressionism and photography to eternalize the immediacy of human actuality is akin to Rudolf Rocker’s championing of decadent literature. In both cases, the goal of anarchism is not a dictatorship of the former downtrodden, but a continuous and contradictory evolution of freedom in ever-changing contexts. (shrink)

The norm of assertion, to be in force, is a social norm. What is the content of our social norm of assertion? Various linguistic arguments purport to show that to assert is to represent oneself as knowing. But to represent oneself as knowing does not entail that assertion is governed by a knowledge norm. At best these linguistic arguments provide indirect support for a knowledge norm. Furthermore, there are alternative, non-normative explanations for the linguistic data (as in recent work from (...) Van Elswyk). Direct arguments would rely on normative judgments about the permissibility or impermissibility of assertions with and without the speaker knowing the content asserted. John Turri's work experimental results purport to show that our norm of assertion is factive, and probably knowledge. But as a number of recent experimentalists (Kneer, Reuter and Broessel, Marsili and Wiegmann) have shown, Turri's results rely on the problemmatic use of 'should' as in 'Maria should assert that she owns a 1990 watch.' Correcting for this, these experimentalists provide strong evidence that our norm of assertion is not factive. The standard reply to evidence like this from the assertion of unlucky falsehoods is the excuse maneuver. But Marsili and Wiegmann, following Turri's protocol for testing for excuse validation, show that participants who judge that assertions unlucky falsehoods are permissible are not guilty of excuse validation. Given our current understanding of the experimental evidence, knowledge is not our norm of assertion. (shrink)

Metz holds that we can use African communal ethics to constitute global economic practices such as appropriation, production, distribution and consumption in such a way that promotes harmonious relations. In this article, I will show that Metz’s reformist approach to constituting the global economic practices is problematic as it fails to deal with the fundamental problem that pertains to a racialised world order that is structurally configured by coloniality of being. I will show that reformist approaches such as Metz’s use (...) of African communal ethics to constitute global economic practices in a way that promotes harmonious relations are undesirable attempts that are opposed and curtailed by a structural racialised logic/ontology of the world that governs and supervises the evolution of the world economic structures and practices in a way which undermines harmonious relations and in a way which causes economic marginalisation and impoverishment of historically disadvantaged indigenous Africans. (shrink)

All developed human beings possess a practical mastery of a vast range of concepts, including such basic structural notions as those of identity, truth, existence, material objects, mental states, space, and time; but a practical mastery does not entail theoretical understanding. It is that understanding which philosophy seeks to achieve. In this book, one of the most distinguished of living philosophers, assuming no previous knowledge of the subject on the part of the reader, sets out to explain and illustrate a (...) certain conception of the nature of analytical philosophy. Strawson draws on his many years of teaching at Oxford University, during which he refined and developed what he regards as the most productive route to understanding the fundamental structure of human thinking. Among the distinctive features of his exposition are the displacement of an older, reductive conception of philosophical method in favor of elucidating the interconnections between the complex but irreducible notions which form the basic structure of our thinking; and the demonstration that the three traditionally distinguished departments of metaphysics, epistemology, and logic are but three aspects of one unified enquiry. Strawson has produced an elegant work that will be invaluable to students and stimulating for professional philosophers and general readers alike. (shrink)

Why do we engage in folk psychology, that is, why do we think about and ascribe propositional attitudes such as beliefs, desires, intentions etc. to people? On the standard view, folk psychology is primarily for mindreading, for detecting mental states and explaining and/or predicting people’s behaviour in terms of them. In contrast, McGeer (1996, 2007, 2015), and Zawidzki (2008, 2013) maintain that folk psychology is not primarily for mindreading but for mindshaping, that is, for moulding people’s behavior and minds (e.g., (...) via the imposition of social norms) so that coordination becomes easier. Mindreading is derived from and only as effective as it is because of mindshaping, not vice versa. I critically assess McGeer’s, and Zawidzki’s proposal and contend that three common motivations for the mindshaping view do not provide sufficient support for their particular version of it. I argue furthermore that their proposal underestimates the role that epistemic processing plays for mindshaping. And I provide reasons for favouring an alternative according to which, in social cognition involving ascriptions of propositional attitudes, neither mindshaping nor mindreading is primary but both are complementary in that effective mindshaping depends as much on mindreading as effective mindreading depends on mindshaping. (shrink)

What is the biological function of perception? I hold perception, especially visual perception in humans, has the biological function of accurately representing the environment. Tyler Burge argues this cannot be so in Origins of Objectivity (Oxford, 2010), for accuracy is a semantical relationship and not, as such, a practical matter. Burge also provides a supporting example. I rebut the argument and the example. Accuracy is sometimes also a practical matter if accuracy partly explains how perception contributes to survival and reproduction.

Martine Nida-Rümelin (1996) argues that color science indicates behaviorally undetectable spectrum inversion is possible and raises this possibility as an objection to functionalist accounts of visual states of color. I show that her argument does not rest solely on color science, but also on a philosophically controversial assumption, namely, that visual states of color supervene on physiological states. However, this assumption, on the part of philosophers or vision scientists, has the effect of simply ruling out certain versions of functionalism. While (...) Nida-Rümelin is quite right to search for empirical tests for claims about the nature of visual states, philosophical issues remain pivotal in determining the correctness of these claims. (shrink)

"How do we go about weighing evidence, testing hypotheses and making inferences? According to the model of 'inference to the Best explanation', we work out what to inter from the evidence by thinking about what would actually explain that evidence, and we take the ability of a hypothesis to explain the evidence as a sign that the hypothesis is correct. In inference to the Best Explanation, Peter Lipton gives this important and influential idea the development and assessment it deserves." (...) "The second edition has been substantially enlarged and reworked, with a new chapter on the relationship between explanation and Bayesianism, and an extension and defence of the account of contractive explanation. It also includes an expanded defence of the claims that our inferences really are guided by diverse explanatory considerations, and that this pattern of inference can take us towards the truth. This edition of Inference to the Best Explanation has also been updated throughout and incudes a new bibliography."--BOOK JACKET. (shrink)

The longstanding philosophical orthodoxy on counterfactuals holds, in part, that counterfactuals with metaphysically impossible antecedents are indiscriminately vacuously true. Drawing on a number of examples from across scientific practice, I argue that science routinely treats counterpossibles as non-vacuously true and also routinely treats other counterpossibles as false. In fact, the success of many central scientific endeavors requires that counterpossibles can be non-vacuously true or false. So the philosophical orthodoxy that counterpossibles are indiscriminately vacuously true is inconsistent with scientific practice. I (...) argue that this provides a conclusive reason to reject the orthodoxy. (shrink)

Abstractabstract:Karl Marx’s acerbic observation in the opening lines of The Eighteenth Brumaire that “all facts and personages of great importance in world history occur the first time as tragedy, the second as farce” may be profitably applied to a reconsideration of literary farce sui generis, a genre represented in this article by a long-neglected work of utopian fiction, Archibald Marshall’s Upsidonia (1915). Although Upsidonia’s current disregard is arguably undeserved, the article’s chief interest is not to reclaim the novel on aesthetic (...) grounds but to illuminate the mechanics of what Marx would call its “serious buffoonery.” In its persistent reversal of capitalist principles and relations, Upsidonia naturally invites readers to revisit Marx, whose mordant gambit may serve as a key to Marshall’s own farcical plot and praxis, rooted in return and repetition, the essential maneuvers of farce itself. (shrink)

This introduction by leading scholar Peter Trawny is the first to tackle the Black Notebooks, whose recent publication revealed the extent of Heidegger's anti-Semitism. Trawny directly confronts the most problematic aspects of Heidegger's thought, also fully surveying his work, from early writings to his magnum opus, Being and Time.

This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs (...) of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification. (shrink)

The so-called "Theology of Aristotle" is a translation of the Enneads of Plotinus, the most important representative of late ancient Platonism. It was produced in the 9th century CE within the circle of al-Kindī, one of the most important groups for the early reception of Greek thought in Arabic. In part because the "Theology" was erroneously transmitted under Aristotle's authorship, it became the single most important conduit by which Neoplatonism reached the Islamic world. It is referred to by such thinkers (...) as al-Fārābī, in an attempt to demonstrate the agreement between Platonism and Aristotelianism, Avicenna, who wrote a set of comments on the text, and later on thinkers of Safavid Persia including Mullā Ṣadrā. Yet the "Theology" is not just a translation. It may in fact more accurately be described as a creative paraphrase, which takes frequent liberties with the source text and even includes whole paragraphs' worth of new material. Adamson's book offers a philosophical interpretation of the changes introduced in the Arabic version. It is argued that these changes were in part intended to show the relevance of Plotinus' thought for contemporary Islamic culture, for instance by connecting the Neoplatonist theory of the First Principle to theological disputes within Islam over the status of God's attributes. At the same time the paraphrase reflects a tendency to harmonize the various strands of Greek thought, so that a critique by Plotinus of Aristotle's theory of the soul is subtly changed into a defense of Aristotle's theory against a possible misinterpretation. The upshot, or so Adamson argues, is that the "Theology" needs to be read as an original philosophical work in its own right, and understood within the context of the ʿAbbāsid era. (shrink)

Morality and economic rationality: integrative economic ethics as the rational ethics of economic activity; Part II. Reflections on the Foundations of Economic ...

It has been argued that implicit biases are operative in philosophy and lead to significant epistemic costs in the field. Philosophers working on this issue have focussed mainly on implicit gender and race biases. They have overlooked ideological bias, which targets political orientations. Psychologists have found ideological bias in their field and have argued that it has negative epistemic effects on scientific research. I relate this debate to the field of philosophy and argue that if, as some studies suggest, the (...) same bias also exists in philosophy then it will lead to hitherto unrecognised epistemic hazards in the field. Furthermore, the bias is epistemically different from the more familiar biases in respects that are important for epistemology, ethics, and metaphilosophy. (shrink)

Peter Anstey presents a thorough and innovative study of John Locke's views on the method and content of natural philosophy. Focusing on Locke's Essay concerning Human Understanding, but also drawing extensively from his other writings and manuscript remains, Anstey argues that Locke was an advocate of the Experimental Philosophy: the new approach to natural philosophy championed by Robert Boyle and the early Royal Society who were opposed to speculative philosophy. On the question of method, Anstey shows how Locke's pessimism (...) about the prospects for a demonstrative science of nature led him, in the Essay, to promote Francis Bacon's method of natural history, and to downplay the value of hypotheses and analogical reasoning in science. But, according to Anstey, Locke never abandoned the ideal of a demonstrative natural philosophy, for he believed that if we could discover the primary qualities of the tiny corpuscles that constitute material bodies, we could then establish a kind of corpuscular metric that would allow us a genuine science of nature. It was only after the publication of the Essay, however, that Locke came to realize that Newton's Principia provided a model for the role of demonstrative reasoning in science based on principles established upon observation, and this led him to make significant revisions to his views in the 1690s. On the content of Locke's natural philosophy, it is argued that even though Locke adhered to the Experimental Philosophy, he was not averse to speculation about the corpuscular nature of matter. Anstey takes us into new terrain and new interpretations of Locke's thought in his explorations of his mercurialist transmutational chymistry, his theory of generation by seminal principles, and his conventionalism about species. (shrink)

During the past decade, the “script” concept, indicating how technologies prescribe human actions, has acquired a central place in STS. Until now, the concept has mainly functioned in descriptive settings. This article will deploy it in a normative setting. When technologies coshape human actions, they give material answers to the ethical question of how to act. This implies that engineers are doing “ethics by other means”: they materialize morality. The article will explore the implications of this insight for engineering ethics. (...) It first augments the script concept by developing the notion of technological mediation. After this, it investigates how the concept of mediation could be made fruitful for design ethics. It discusses how the ambition to design behaviorinfluencing technologies raises moral questions itself and elaborates two methods for anticipating technological mediation in the design process: performing mediation analyses and using an augmented version of constructive technology assessment. (shrink)

Philosophy of music has flourished in the last thirty years, with great advances made in the understanding of the nature of music and its aesthetics. Peter Kivy has been at the center of this flourishing, and now offers his personal introduction to philosophy of music, a clear and lively explanation of how he sees the most important and interesting philosophical issues relating to music. Anyone interested in music will find this a stimulating introduction to some fascinating questions and ideas.

Children from various countries have been acknowledged and studied for their ability to philosophize, while, unfortunately, Filipino children have not received similar recognition. In this paper, I make a rather unpopular claim that Filipino children can and already are doing philosophy in their efforts to make sense of their existential conditions. “Doing philosophy” here refers to the act of being perplexed by one's own or other people's experiences and making an effort to comprehend them. Filipino children, are a vast and (...) diverse group, coming from various backgrounds, speaking different or even multiple languages, and representing rich cultures and unique circumstances. This diversity adds richness to the wide array of experiences from which existential questions can emerge. However, to truly comprehend the philosophical thinking of Filipino children, they need opportunities and guidance to explore their existential questions and solutions, regardless of how tentative or rudimentary these may seem to adults. Without such opportunities, it remains unclear to what extent their thinking engages with philosophical themes and issues. This not only offers Filipino adults a view of children’s inner worlds but also brings fresh perspectives to commonly held assumptions. (shrink)

What is ethics? Where do moral standards come from? Are they based on emotions, reason, or some innate sense of right and wrong? For many scientists, the key lies entirely in biology---especially in Darwinian theories of evolution and self-preservation. But if evolution is a struggle for survival, why are we still capable of altruism? In his classic study The Expanding Circle, Peter Singer argues that altruism began as a genetically based drive to protect one's kin and community members but (...) has developed into a consciously chosen ethic with an expanding circle of moral concern. Drawing on philosophy and evolutionary psychology, he demonstrates that human ethics cannot be explained by biology alone. Rather, it is our capacity for reasoning that makes moral progress possible. In a new afterword, Singer takes stock of his argument in light or recent research on the evolution of morality.--Publisher's description. (shrink)

This paper argues for the general proper functionalist view that epistemic warrant consists in the normal functioning of the belief-forming process when the process has forming true beliefs reliably as an etiological function. Such a process is reliable in normal conditions when functioning normally. This paper applies this view to so-called testimony-based beliefs. It argues that when a hearer forms a comprehension-based belief that P (a belief based on taking another to have asserted that P) through the exercise of a (...) reliable competence to comprehend and filter assertive speech acts, then the hearer's belief is prima facie warranted. The paper discusses the psychology of comprehension, the function of assertion, and the evolution of filtering mechanisms, especially coherence checking. (shrink)