These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD (...) 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

Researchers have identified how in some rapidly developing countries, road and aviation transportation CO2 emissions are rising faster (over time) when compared to the experiences of the USA at similar levels of economic development. While suggestive of how experiences of the rapidly developing Asia are different from those of the developed world these studies have used only one developed country for comparison, the USA, arguably a special case when it comes to transportation. To address this point this research compares the (...) road transportation CO2 experiences of rapidly developing Asian economies (Hong Kong, Japan, Malaysia, Singapore, South Korea, Taiwan and Thailand) with the USA and six other developed economies (Australia, France, the Netherlands, Italy, Sweden and the United Kingdom). The findings confirm previous results, to wit, Asian economies demonstrate faster annual growth of CO2 emissions in comparison to the experiences of the developed world. (shrink)

The view advanced by Madole & Harden falls back on the dogma of a gene as a DNA sequence that codes for a fixed product with an invariant function regardless of temporal and spatial contexts. This outdated perspective entrenches the metaphor of genes as static units of information and glosses over developmental complexities.

Attentional bias has been suggested to contribute to the persistence of substance use behavior. However, the empirical evidence for its proposed role in addiction is inconsistent. This might be due to the inability of commonly used measures to differentiate between attentional engagement and attentional disengagement. Attesting to the importance of differentiating between both components of AB, a recent study using the odd-one-out task showed that substance use was differentially related to engagement and disengagement bias. However, the AB measures derived from (...) the OOOT showed insufficient reliability to be used as a solid measure of individual differences. Therefore, the current study aimed to improve the reliability of the AB measures derived from the OOOT by using more distinct contrast stimuli, adding practice trials, increasing the number of trials, and by having participants perform the task in an alcohol-relevant context. We contrasted the original OOOT with the adapted OOOT and assessed AB in low- and high-drinking individuals. Participants were 245 undergraduate students who typically tend to drink either low or high amounts of alcohol. In one condition, AB was measured with the original OOOT in a typical laboratory context, whereas in the other condition, AB was measured with the OOOT-adapt in a bar context. The OOOT-adapt showed superior internal consistency, especially for the high-drinking group. Further, specifically the OOOT-adapt differentiated between low- and high-drinking participants showing that high drinkers engaged faster with alcohol cues than did low drinkers. Thus, the OOOT-adapt was found to be a promising candidate to reliably index AB in the context of alcohol use. The OOOT-adapt further showed superior criterion validity as it could differentiate between low- and high-drinking individuals, thereby adding to the evidence that AB might be involved in substance use behavior. (shrink)

Alan C. LoveDarwinian calisthenicsAn athlete engages in calisthenics as part of basic training and as a preliminary to more advanced or intense activity. Whether it is stretching, lunges, crunches, or push-ups, routine calisthenics provide a baseline of strength and flexibility that prevent a variety of injuries that might otherwise be incurred. Peter Bowler has spent 40 years doing Darwinian calisthenics, researching and writing on the development of evolutionary ideas with special attention to Darwin and subsequent filiations among scientists exploring (...) evolution . Therefore, we would expect that when Bowler engages in a counterfactual history—imagining a world without Darwin—he is able to avoid historical injury and generate novel insights. My assessment is that the results are mixed. Before we can see why, it is necessary to walk briskly through the main contours of his argument.Bowler begins with an apologia for a counterfactual appr .. (shrink)

Impairments in cognitive coordination in schizophrenia are supported by phenomenological data that suggest deficits in the processing of visual context. Although the target article is sympathetic to such a phenomenological perspective, we argue that the relevance of phenomenological data for a wider understanding of consciousness in schizophrenia is not sufficiently addressed by the authors.

Higher education is starting to embrace its role in promoting student wellbeing and life skills, especially given the concerning levels of poor mental health and uncertainties in the future job market. Yet, many of the published studies evaluating positive educational teaching methods thus far are limited to interventions delivered to small student cohorts and/or imbedded within elective wellbeing courses, and are focussed on developed Western countries. This study addressed this gap by investigating the effectiveness of an institution-wide compulsory course informed (...) by the principles of Seligman’s Wellbeing Theory. The course was delivered at a British university in a developing country in Southeast Asia. It purposefully sought to nurture growth-oriented outcomes and was taken by an entire cohort of year one undergraduate students. We tested the effectiveness of the curriculum content and staff coaching style in achieving life skills, and evaluated how these perceptions influenced students’ subjective wellbeing. A convergent mixed-methods design was used with 350 survey respondents and 11 interviewees. Perceived life skills scores showed a 2.5% improvement at the end of the course. Partial Least Squares Structural Equation Modelling tested the predicted relationships between variables. All relationships were statistically significant, but the influence of course design and educators’ style on life skills acquisition was moderate, while the effect on subjective happiness and life satisfaction was very weak. Qualitative data indicated that while quantifiable benefits to wellbeing might not be immediate, students did anticipate longer-term benefits for happiness and life satisfaction. This finding suggests that such a novel educational approach is well-received by Asian students and may sow the seeds for future benefit by positively impacting on their skills, behaviours, attitudes, and values. To achieve optimal flourishing at university, we recommend exploring teaching practises that combine positive education with coaching psychology practises. (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.

Uchiyama et al. present a dual inheritance framework for conceptualizing how behavioural genetics and cultural evolution interact and affect heritability. We posit that to achieve a holistic and nuanced representation of the cultural environment and evolution against which genetic effects should be evaluated, it is imperative to consider the multiple geographic cultural layers impacting individuals and genetic heritability.

While researchers are currently studying various forms of social network interaction among teachers for their impact on educational policy implementation and practice, knowledge on how various types of networks are interrelated is limited. The goal of this study is to understand the dimensionality that may underlie various types of social networks in schools. We assessed seven types of social interaction using social network data of 775 educators from 53 Dutch elementary schools. The quadratic assignment procedure, multidimensional scaling and network visualisations (...) were used to discern underlying dimensions that may explain the interrelatedness of these seven types of social networks. Findings suggest small to moderate similarity between the seven forms of social interaction. Results support a distinction between instrumental and expressive networks and suggest a second dimension of mutual in(ter)dependence to explain differences in social interaction among teachers. Implications for practice and research on teacher collaboration are discussed. (shrink)

From the start, John Dewey's ideas about education have been prone to misunderstanding. One of the greatest casualties has been "experience," a term so routinely misappropriated that Dewey ultimately decided to abandon it. He wrote, "I would abandon the term 'experience' because of my growing realization that the historical obstacles which prevented understanding of my use of 'experience' are, for all practical purposes, insurmountable. I would substitute the term 'culture' because with its meanings as now firmly established it can fully (...) and freely carry my philosophy of experience" (1981, p. 361). Dewey evidently recognized that a main challenge to understanding experience was the conceptual weight the term had .. (shrink)

The epistemological premises and scientific viability of Stoffregen & Bardy's ecological perspective are evaluated by analyzing the concept of direct perception of global invariants vis-à-vis (1) behavioral evidence that perception is based on the integration of modal sources of information and (2) neurophysiological aspects of the integration of sensory signals.

Philosophy and Phenomenological Research, EarlyView.

Progress Unchained reinterprets the history of the idea of progress using parallels between evolutionary biology and changing views of human history. Early concepts of progress in both areas saw it as the ascent of a linear scale of development toward a final goal. The 'chain of being' defined a hierarchy of living things with humans at the head, while social thinkers interpreted history as a development toward a final paradise or utopia. Darwinism reconfigured biological progress as a 'tree of life' (...) with multiple lines of advance not necessarily leading to humans, each driven by the rare innovations that generate entirely new functions. Popular writers such as H. G. Wells used a similar model to depict human progress, with competing technological innovations producing ever-more rapid changes in society. Bowler shows that as the idea of progress has become open-ended and unpredictable, a variety of alternative futures have been imagined. (shrink)

Robert Audi’s Seeing, Knowing, and Doing argues that knowledge does not entail justification, given a broadly externalist conception of knowledge and an access internalist conception of justification, where justification requires the ability to cite one’s grounds or reasons. On this view, animals and small children can have knowledge while lacking justification. About cases like these and others, Audi concludes that knowledge does not entail justification. But the access internalist sense of “justification” is but one of at least two ordinary senses (...) of the term. On a broader or looser sense, “justification” means “being in the right” where that involves meeting a standard or norm. I argue that the beliefs of animals and small children can then meet standards or norms associated with truth and knowledge such that their beliefs may count as justified in this broader or looser sense. I then question whether knowledge fails to entail justification on this broader sense. (shrink)

The accuracy-first program attempts to ground epistemology in the norm that one’s beliefs should be as accurate as possible, where accuracy is measured using a scoring rule. We argue that considerations of scientific progress suggest that such a monism about epistemic value is untenable. In particular, we argue that counterexamples to the standard scoring rules are ubiquitous in the history of science, and hence that these scoring rules cannot be regarded as a precisification of our intuitive concept of epistemic value.

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

This comprehensive and important volume includes contributions by activists, journalists, lawyers and scholars from twenty-one countries. The essays map the directions the movement for women's rights is taking--and will take in the coming decades--and the concomittant transformation of prevailing notions of rights and issues. They address topics such as the rapes in former Yugoslavia and efforts to see that a War Crimes Tribunal responds; domestic violence; trafficking of women into the sex trade; the persecution of lesbians; female genital mutilation; and (...) reproductive rights. (shrink)

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)

If you want to understand McDowell's spatial metaphors when he talks about perceptual knowledge, place him side-by-side with Dretske on perceptual knowledge. Though McDowell shows no evidence of reading Dretske's writings on knowledge from the late 1960s onwards (McDowell mentions "Epistemic Operators" once in passing), McDowell gives the same four arguments as Dretske for the conclusion that knowledge requires "conclusive" reasons that rule of the possibility of mistake. Despite various differences, we think it is best to read McDowell as re-discovering (...) Dretske on perceptual knowledge. Since Dretske is easy to understand, all of McDowell's metaphors become easy to understand. But what about McDowell's disjunctivism? Turns out McDowell is not an ontological disjunctivist, and his epistemological disjunctivism is really just the banal point that some perceptual experiences provide conclusive reasons for perceptual belief and some do not. Perceptual experiences are either conclusive or inconclusive. Dretske would agree. (shrink)

Know-how has a distinctive, non-instrumental value that a mere reliable ability lacks. Some, including Bengson and Moffett Knowing how, Oxford University Press, Oxford, pp 161–195, 2011) and Carter and Pritchard :799–816, 2015b) have cited a close relation between knowhow and cognitive achievement, and it is tempting to think that the value of know-how rests in that relation. That’s not so, however. The value of know-how lies in its relation to the fundamental value of autonomy.

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)

Jennifer Lackey argues that “testimony” in philosophy has one sense, but that sense—the concept expressed—is disjunctive. One disjunct she calls speaker-testimony and the other disjunct she calls hearer-testimony. A speaker then testifies simpliciter iff the speaker either speaker-testifies or hearer-testifies. Inadequate views of testimony, she argues, fail to recognize, distinguish and then disjoin these two “aspects” of testimony. I argue that her view about the semantics of “testimony” is mistaken and that her criticisms of two other views—mine included —are ineffective. (...) I argue that instead of one disjunctive concept, the word “testimony” expresses more than one concept; “testimony” means many things. In ordinary English, it names two distinct kinds of constative speech acts. In epistemology, it gets used a synonym for “assertion”. In epistemology, it also refers to the process whereby we form beliefs on the basis of comprehending assertions—to communication or interlocution. (shrink)

The case of very young children is a test case for the plausibility of reductionism about testimonial warrant. Reductionism requires reductive reasons, reductively justified and actively deployed for testimonial justification. Though nascent language-users enjoy warranted testimony based beliefs, they do not meet these three reductionist demands. This paper clearly formulates reductionism and the infant/child objection. Two rejoinders are discussed: an influential conceptual argument from Jennifer Lackey’s paper “Testimony and the Infant/Child Objection” and the growing empirical evidence from developmental psychology on (...) selective trust in children. Neither Lackey’s argument nor the empirical evidence vindicate reductionism. (shrink)

A history of science text imagining how evolutionary theory and biology would have been understood if Darwin had never published his "Origin of Species" and other works.--publisher summary.

Peter J. King; Lycan on Lewis and Meinong1, Proceedings of the Aristotelian Society, Volume 93, Issue 1, 1 June 1993, Pages 193–202, https://doi.org/10.1093/ari.

Starmaking brings together a cluster of work published over the past 35 years by Nelson Goodman and two Harvard colleagues, Hilary Putnam and Israel Scheffler, on the conceptual connections between monism and pluralism, absolutism and relativism, and idealism and different notions of realism -- issues that are central to metaphysics and epistemology. The title alludes to Goodman's famous defense of the claim that because all true representations of stars and other objects are human creations, it follows that in an important (...) sense the stars themselves are made by us. More generally, the argument moves from the fact that our right representations are constructed by us to the claim that the world itself is similarly constructed. Starmaking addresses the question of whether this seeming paradox can be turned into a serious philosophical view. Goodman and Putnam are sympathetic; Scheffler is the critic. Although many others continue to write about pluralism, relativism, and constructionalism, Starmaking brings together the protagonists in the debate since its beginnings and follows closely its still developing form and substance, focusing sharply on Goodman's claim that "we make versions, and right versions make worlds.". (shrink)

Realists and supporters of ‘democratic underlabouring’ have recently challenged the traditional separation between political theory and practice. Although both attack Jürgen Habermas for being an idealist whose philosophy is too removed from politics, I argue that this interpretation is inaccurate. While Habermas’s social and political theory is indeed oriented to truth and understanding, he has sought realize his communicative conception of democracy by increasing the quality of political debate as a public intellectual. Building on his approach, I argue that giving (...) the theorist a direct role in public policy undermines theory as an enterprise oriented towards truth while overlooking the contingency, participatory nature and complicated internal logics of social and political practice. My basic thesis is that Habermas’s understanding of the relationship between theory and practice overcomes these difficulties by providing an account of theory that is independent but simultaneously also allows philosophers to participate in politics as public intellectuals. (shrink)

The article shows that Habermas’s modernism and Lyotard’s postmodernism are not as antithetical as they are often taken to be. First, we argue that Habermas is not a strong foundationalist concerned with identifying universal rules for language, as postmodern critiques have often interpreted him. Instead, he develops a social pragmatics in which the communicative use of language is the fundamental presupposition of any meaningful interaction. Second, we argue that Lyotard is not a relativist who denies any universal linguistic structure. Instead, (...) he claims that language involves a universal element of dissensus that cannot be subordinated to consensus. Third, we show that neither does Habermas defend a new version of the kind of philosophy of history characteristic of the Enlightenment, nor is Lyotard a historical relativist, but instead they both seek alternatives to these positions. The conclusion calls for more nuance in the interpretation of both perspectives. (shrink)

Alvin Plantinga argues by counterexample that no naturalistic account of functions is possible--God is then the only source for natural functions. This paper replies to Plantinga's examples and arguments. Plantinga misunderstands naturalistic accounts. Plantinga's mistakes flow from his assimilation of functional notions in general to functions from intentional design in particular.

What is good political judgment? Is it a science subject to strict standards of logic and inference, or is it more like an art, the product of intuition, feeling, or even chance? Peter J. Steinberger shows how the seemingly contradictory claims of inference and intuition are reconciled in the concept of political judgment. Resting his argument on the larger notion of judgment itself, Steinberger develops an original model of how political judgments are made and how we justify calling some (...) of them "good." His systematic analysis of such thinkers as Machiavelli, Kant, Gadamer, Wittgenstein, and Oakeshott introduces an original notion of judgment as "intelligent performance," incorporating both intuition and rational reconstruction. Steinberger's conclusion—that a coherent political society must also be a judgmental one—flies in the face of much contemporary thinking. (shrink)

This article presents texts recovered by post-processing of multispectral images from the fifth- or sixth-century underwriting of the palimpsest Codex Climaci Rescriptus. Texts identified include the Anonymous II Proemium to Aratus’ Phaenomena, parts of Eratosthenes’ Catasterisms, Aratus’ Phaenomena lines 71–4 and 282–99 and previously unknown text, including some of the earliest astronomical measurements to survive in any Greek manuscript. Codex Climaci Rescriptus also contains at least three astronomical drawings. These appear to form part of an illustrated manuscript, with considerable textual (...) value not merely on the basis of its age but also of its readings. The manuscript undertexts show significant overlap with the Φ Edition, postulated as ancestor of the various Latin Aratea. (shrink)