Several recent findings support the notion that changes in the environment can be implicitly represented by the visual system. S. R. Mitroff, D. J. Simons, and S. L. Franconeri (2002) challenged this view and proposed alternative interpretations based on explicit strategies. Across 4 experiments, the current study finds no empirical support for such alternative proposals. Experiment 1 shows that subjects do not rely on unchanged items when locating an unaware change. Experiments 2 and 3 show that unaware changes affect performance (...) even when they occur at an unpredictable location. Experiment 4 shows that the unaware congruency effect does not depend simply on the pattern of the final display. The authors point to converging evidence from other methodologies and highlight several weaknesses in Mitroff et al.’s theoretical arguments. It is concluded here that implicit representation of change provides the most parsimonious explanation for both past and present findings. (shrink)

I propose to begin with some fairly unexciting and uncontroversial remarks about possibility-statements, and then in their light to examine two problems philosophers have raised about certain statements of this kind which might be made in Christian theology where it touches on the doctrine of the Incarnation.

Mr D. H. Mellor, in his article of this title in Religious Studies , Vol. 5 , distinguishes three senses of words such as ‘probable’ which might be used in a religious context, especially in that of attempted theistic proofs: statistical, subjective, and inductive probability. In each case he concludes that it is misleading to use these words in such contexts at all. With his discussion of the second I do not wish to quarrel; but there seem to me to (...) be serious defects in his discussions of the first and third. (shrink)

When philosophers approach philosophy of religion, they typically ask two questions: are there any sound arguments to prove the existence of God; and is talk about God even rationally intelligible? Theologians, for their part, primarily expound the meaning and relevance of Christianity. I am by profession a philosopher, but apart from Secs. VI and VII I am here writing as a puzzled twentieth-century man. My prime worry is whether we philosophers and theologians are beginning with the right questions.

The ‘traditional’ view among philosophical theologians, that God is eternal not merely in the sense of being everlasting but in the sense of being outside time altogether, has come under sharp criticism in recent years, both from biblical theologians and from philosophers. It is against the latter form of attack, particularly as represented by the detailed criticisms of Professor Nelson Pike, that I wish to try and defend the notion of a divine timelessness.

The literature on public perceptions of, and attitudes towards, nanotechnology used in the agrifood sector is reviewed. Research into consumer perceptions and attitudes has focused on general applications of nanotechnology, rather than within the agrifood sector. Perceptions of risk and benefit associated with different applications of nanotechnology, including agrifood applications, shape consumer attitudes, and acceptance, together with ethical concerns related to environmental impact or animal welfare. Attitudes are currently moderately positive across all areas of application. The occurrence of a negative (...) or positive incident in the agri-food sector may crystallise consumer views regarding acceptance or rejection of nanotechnology products. •Acceptance of agrifood nanotechnology based on perceptions of risk, benefit and ethics.•Attitudes towards nanotechnology in general are currently moderately positive.•Occurrence of a major nanotechnology-related "event" may crystallise consumer attitude. (shrink)

I have come to believe that the whole framework of our current thought is about to begin a long and radical transformation, based on what I shall call a new science of pure consciousness. The content of most of the matters to be considered by this science have hitherto been the concern of some areas of religion, particularly what in our culture we call ‘mysticism’; but the treatment of it would legitimately be called scientific. Thus one aspect of the transformation (...) would be to overcome that apparent conflict between ‘science’ and ‘religion’, which has been so characteristic of our culture over the last few centuries. (shrink)

After discussing the interests that ground the right to democratic political participation, arguments for the disenfranchisement of those who commit serious criminal offenses are examined. The arguments are divided into two groups. The first group consists of arguments that are relatively independent of the justifying aims of punishment. It is conceded that two of these arguments establish that some, though by no means all, serious offenders should lose the vote for a period of time that does not necessarily overlap with (...) the duration of the other sanctions visited upon them. These arguments also imply that the state is justified in attempting to exclude the offenders in question from all forms of political participation, a position that arguably runs afoul of moral limits on punishment. The second group of arguments makes explicit reference to the justifying aims of punishment. None supports the blanket disenfranchisement of felons, though some may justify it in relation to some serious offenders for certain periods of time. All of the arguments supporting the disenfranchisement of serious offenders are most persuasive on the assumption that they live in reasonably just societies that are genuinely democratic. If that assumption is false or questionable, then it is argued that the force of such arguments may be weakened considerably. (shrink)

Thomas Hill Green was one of the most influential English thinkers of his time, and he made significant contributions to the development of political liberalism. Much of his career was spent at Balliol College, Oxford: having begun as a student of Jowett, he later acted effectively as his second-in-command at the college. Interested for his whole career in social questions, Green supported the temperance movement, the extension of the franchise, and the admission of women to university education. He became Whyte's (...) professor of moral philosophy at Oxford in 1878, and his lectures had a lasting influence on a generation of students. Much of Volume 1, edited by Green's pupil R. L. Nettleship and published in 1885, consists of Green's work on David Hume. In his essay, 'Introductions to Hume's Treatise of Human Nature', Green gives a detailed critique of Hume's metaphysical thought. (shrink)

The proposition that a decreasing sequence of ordinals necessarily terminates has been given a new, and perhaps unexpected, importance by the rôle which it plays in Gentzen's proof of the freedom from contradiction of the “reine Zahlentheorie.” Gödel's construction of non-demonstrable propositions and the establishment of the impossibility of a proof of freedom from contradiction, within the framework of a certain type of formal system, showed that a proof of freedom from contradiction could be found only by transcending the axioms (...) and proof processes of that formal system. Gentzen's proof succeeds by utilisingtransfinite inductionto prove that certain sequences of reduction processes, enumerated by ordinals less than ε (the first ordinal to satisfy ε = ὡ) are finite. Were it possible to provethe restricted ordinal theorem, that a descending sequence of ordinals, less thanε, is finite, in Gentzen's “reine Zahlentheorie,” then it would be possible to determine a contradiction in that number system. In his paper, Gentzen proves the theorem of transfinite induction, which he requires, by an intuitive argument. There is also a method of reducing transfinite induction, for ordinals less than ε, to a number-theoretic principle given by Hilbert and Bernays, and a similar method by Ackermann. None of these proofs of transfinite induction isfinitist. (shrink)

In computer science, an algorithm is an unambiguous specification of how to solve a class of problems. Algorithms can perform calculation, data processing and automated reasoning tasks. As an effective method, an algorithm can be expressed within a finite amount of space and time and in a well-defined formal language for calculating a function. Starting from an initial state and initial input (perhaps empty), the instructions describe a computation that, when executed, proceeds through a finite number of well-defined successive states, (...) eventually producing "output" and terminating at a final ending state. The transition from one state to the next is not necessarily deterministic; some algorithms, known as randomized algorithms, incorporate random input. This book introduces a set of concepts in solving problems computationally such as Growth of Functions; Backtracking; Divide and Conquer; Greedy Algorithms; Dynamic Programming; Elementary Graph Algorithms; Minimal Spanning Tree; Single-Source Shortest Paths; All Pairs Shortest Paths; Flow Networks; Polynomial Multiplication, to ways of solving NP-Complete Problems, supported with comprehensive, and detailed problems and solutions, making it an ideal resource to those studying computer science, computer engineering and information technology. (shrink)