The issue of proper functioning of operative computing and the utility of program verification, both in general and of specific methods, has been discussed a lot. In many of those discussions, attempts have been made to take mathematics as a model of knowledge and certitude achieving, and accordingly infer about the suitable ways to handle computing. I shortly review three approaches to the subject, and then take a stance by considering social factors which affect the epistemic status of both mathematics (...) and computing. I use the analogy between mathematics and computing in reverse—that is to say, I consider operative computing as a form of making mathematics, and so attempt to learn from computing to mathematics in general. I conclude that mathematics engineering is a field to be both developed for practical improvement of doing mathematics and taken into consideration while philosophizing about mathematics as well. (shrink)

We present two experiments that cast doubt on existing evidence suggesting that it is impossible to suspend belief in a comprehended proposition. In Experiment 1, we found that interrupting the encoding of a statement's veracity decreased memory for the statement's falsity when the false version of the statement was uninformative, but not when the false version was informative. This suggests that statements that are informative when false are not represented as if they were true. In Experiment 2, participants made faster (...) lexical decisions to words implied by preceding statements when they were told that the statements were true than when the veracity of the statements was unknown or when the statements were false. The findings suggest that comprehending a statement may not require believing it, and that it may be possible to suspend belief in comprehended propositions. (shrink)

Moral philosophers are, among other things, in the business of constructing moral theories. And moral theories are, among other things, supposed to explain moral phenomena. Consequently, one’s views about the nature of moral explanation will influence the kinds of moral theories one is willing to countenance. Many moral philosophers are (explicitly or implicitly) committed to a deductive model of explanation. As I see it, this commitment lies at the heart of the current debate between moral particularists and moral generalists. In (...) this paper I argue that we have good reasons to give up this commitment. In fact, I show that an examination of the literature on scientific explanation reveals that we are used to, and comfortable with, non-deductive explanations in almost all areas of inquiry. As a result, I argue that we have reason to believe that moral explanations need not be grounded in exceptionless moral principles. (shrink)

In this paper I assess the viability of a particularist explanation of moral knowledge. First, I consider two arguments by Sean McKeever and Michael Ridge that purport to show that a generalist, principle-based explanation of practical wisdom—understood as the ability to acquire moral knowledge in a wide range of situations—is superior to a particularist, non-principle-based account. I contend that both arguments are unsuccessful. Then, I propose a particularist-friendly explanation of knowledge of particular moral facts. I argue that when we are (...) careful to keep separate the various explanatory tasks at hand we can see that a particularist-friendly explanation of the fact that Jane knows that A is morally right might not be so difficult to come by. Moreover, I suggest that a particularist approach to explaining knowledge of particular moral facts may go some way towards discharging the challenge of moral scepticism. (shrink)

We investigate the form of mathematical structuralism that acknowledges the existence of structures and their distinctive structural elements. This form of structuralism has been subject to criticisms recently, and our view is that the problems raised are resolved by proper, mathematics-free theoretical foundations. Starting with an axiomatic theory of abstract objects, we identify a mathematical structure as an abstract object encoding the truths of a mathematical theory. From such foundations, we derive consequences that address the main questions and issues that (...) have arisen. Namely, elements of different structures are different. A structure and its elements ontologically depend on each other. There are no haecceities and each element of a structure must be discernible within the theory. These consequences are not developed piecemeal but rather follow from our definitions of basic structuralist concepts. (shrink)

Descartes claimed that the Cogito is ‘so firm and sure that all the most extravagant suppositions of the sceptics were incapable of shaking it’. This paper aims to demonstrate that this claim is false by presenting a sceptical scenario for the Cogito. It is argued that the story ‘The Circular Ruins’ by J. L. Borges illustrates that one can doubt one’s own existence and that pace Descartes (and many others) the claim ‘I am, I exist, is necessarily true whenever it (...) is put forward by me or conceived in my mind’ is false. (shrink)

The lambda model of Feldman & Levin for intentional hand movement is compared with a hemispheric motor model (IIMM). Both models imply similar conclusions independently. This increases the validity of both models.

Dans plusieurs passages, Épicure mentionne des durées infraperceptibles saisies par la raison, ce qui conduit à envisager un atomisme du temps, c’est-à-dire l’existence de durées indivisibles ou quanta de temps. Cette hypothèse, nulle part explicite chez Épicure et Lucrèce, a été évoquée par quelques doxographes. L’objet de cet article est de l’étayer et de la préciser, en lisant les textes épicuriens sur le temps à la lumière des trois grandes objections antiatomistes de la Physique. Notre analyse conclut que l’atomisme du (...) temps permet de répondre aux objections d’Aristote, mais doit être limité au seul niveau des atomes, par opposition à celui des agrégats. Il permet alors en effet de justifier l’isotachie des atomes, de rendre concevable la communauté de structure de la grandeur, du mouvement et du temps, et de garantir le caractère fini de la vitesse atomique. Deux lignes argumentatives se superposent : une conception proprement atomiste du mouvement et une reprise des termes de la physique aristotélicienne destinée à mieux en réfuter les objections. (shrink)

We address the following questions in this paper: (1) Which set or number existence axioms are needed to prove the theorems of ‘ordinary’ mathematics? (2) How should Frege’s theory of numbers be adapted so that it works in a modal setting, so that the fact that equivalence classes of equinumerous properties vary from world to world won’t give rise to different numbers at different worlds? (3) Can one reconstruct Frege’s theory of numbers in a non-modal setting without mathematical primitives such (...) as “the number of Fs” ( $$\#F$$ ) or mathematical axioms such as Hume’s Principle? Our answer to question (1) is ‘None’. Our answer to question (2) begins by defining ‘x numbers G’ as: x encodes all and only the properties F such that being-actually-F is equinumerous to G with respect to discernible objects. We answer (3) by showing that the mere existence of discernible objects allows one to reconstruct Frege’s derivation of the Dedekind-Peano axioms in a non-modal setting. (shrink)

Descartes claimed that the Cogito is ‘so firm and sure that all the most extravagant suppositions of the sceptics were incapable of shaking it’. This paper aims to demonstrate that this claim is false by presenting a sceptical scenario for the Cogito. It is argued that the story ‘The Circular Ruins’ by J. L. Borges illustrates that one can doubt one’s own existence and that pace Descartes (and many others) the claim ‘I am, I exist, is necessarily true whenever it (...) is put forward by me or conceived in my mind’ is false. (shrink)

Biological phenomena can be investigated at multiple levels, from the molecular to the cellular to the organismic to the ecological. In typical biology instruction, these levels have been segregated. Yet, it is by examining the connections between such levels that many phenomena in biology, and complex systems in general, are best explained. We describe a computation-based approach that enables students to investigate the connections between different biological levels. Using agent-based, embodied modeling tools, students model the microrules underlying a biological phenomenon (...) and observe the resultant aggregate dynamics. We describe 2 cases in which this approach was used. In both cases, students framed hypotheses, constructed multiagent models that incorporate these hypotheses, and tested these by running their models and observing the outcomes. Contrasting these cases against traditionally used, classical equation-based approaches, we argue that the embodied modeling approach connects more directly to students’ experience, enables extended investigations as well as deeper understanding, and enables “advanced” topics to be productively introduced into the high school curriculum. (shrink)

How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the similarities between their endeavours are not often emphasised. This book provides that emphasis. In particular, it focuses on two types of argumentative strategies that have been deployed in both areas. The first—debunking arguments—aims to put pressure on realism by emphasising the (...) seeming redundancy of mathematical or moral entities when it comes to explaining our judgements. In the moral realm this challenge has been made by Gilbert Harman and Sharon Street; in the mathematical realm it is known as the 'Benacerraf-Field' problem. The second strategy—indispensability arguments—aims to provide support for realism by emphasising the seeming intellectual indispensability of mathematical or moral entities, for example when constructing good explanatory theories. This strategy is associated with Quine and Putnam in mathematics and with Nicholas Sturgeon and David Enoch in ethics. Explanation in Ethics and Mathematics addresses these issues through an explicitly comparative methodology which we call the 'companions in illumination' approach. By considering how argumentative strategies in the philosophy of mathematics might apply to the philosophy of ethics, and vice versa, the papers collected here break new ground in both areas. For good measure, two further companions for illumination are also broached: the philosophy of chance and the philosophy of religion. Collectively, these comparisons light up new questions, arguments, and problems of interest to scholars interested in realism in any area. (shrink)

In this essay I offer a new particularist reading of Aristotle’s Nicomachean Ethics. I argue that the interpretation I present not only helps us to resolve some puzzles about Aristotle’s goals and methods, but it also gives rise to a novel account of morality—an account that is both interesting and plausible in its own right. The goal of this paper is, in part, exegetical—that is, to figure out how to best understand the text of the Nicomachean Ethics. But this paper (...) also aims to contribute to the current exciting and controversial debate over particularism. By taking the first steps towards a comprehensive particularist reading of Aristotle’s Ethics I hope to demonstrate that some of the mistrust of particularism is misplaces and that what is, perhaps, the most influential moral theory in the history of philosophy is, arguably, a particularist moral theory. (shrink)

The Cnidaria represent the most ancient eumetazoan phylum. Members of this group possess typical animal cells and tissues such as sensory cells, nerve cells, muscle cells and epithelia. Due to their unique phylogenetic position, cnidarians have traditionally been used as a reference group in various comparative studies. We propose the colonial marine hydroid, Hydractinia, as a convenient, versatile platform for basic and applied research in developmental biology, reproduction, immunology, environmental studies and more. In addition to being a typical cnidarian representative, (...) Hydractinia offers many practical and theoretical advantages: studies that are feasible in Hydra like regeneration, pattern regulation, and cell renewal from stem cells, can be supplemented by genetic analyses and classical embryology in Hydractinia. Metamorphosis of the planula larva of Hydractinia can be used as a model for cell activation and communication and the presence of a genetically controlled allorecognition system makes it a suitable model for comparative immunology. Most importantly, Hydractinia may be manipulated at most aspects of its (short) life cycle. It has already been the subject of many studies in various disciplines, some of which are discussed in this essay. BioEssays 23:963–971, 2001. © 2001 John Wiley & Sons, Inc. (shrink)

What is free will? Can it exist in a determined universe? How can we determine who, if anyone, possesses it? Philosophers have been debating these questions for millennia. In recent decades neuroscientists have joined the fray with questions of their own. Which neural mechanisms could enable conscious control of action? What are intentional actions? Do contemporary developments in neuroscience rule out free will or, instead, illuminate how it works? Over the past few years, neuroscientists and philosophers have increasingly come to (...) understand that both fields can make substantive contributions to the free-will debate, so working together is the best path forward to understanding whether, when, and how our choices might be free. We therefore asked leading philosophers and neuroscientists which questions related to free will they would most like the other field to answer. Those experts then voted on the 15 most important questions for each field to answer. This book is a collection of the answers to those questions along with follow-up questions from world experts in the neuroscience and philosophy of free will. These varied perspectives will fascinate, illuminate, and stimulate students from both fields along with anyone who wants to be brought up to date on these profound issues. (shrink)

It is known that every non-universal self-full degree in the structure of the degrees of computably enumerable equivalence relations (ceers) under computable reducibility has exactly one strong minimal cover. This leaves little room for embedding wide partial orders as initial segments using self-full degrees. We show that considerably more can be done by staying entirely inside the collection of non-self-full degrees. We show that the poset can be embedded as an initial segment of the degrees of ceers with infinitely many (...) classes. A further refinement of the proof shows that one can also embed the free distributive lattice generated by the lower semilattice as an initial segment of the degrees of ceers with infinitely many classes. (shrink)

The methodology of physics is discussed. The limitations of the empirical method are exposed, and it is argued that these limitations are related to our sensory input. The limitations of mathematics and of the representation of physical theories by mathematical models are also examined. An alternative methodology, the establishing of physical models on neuropsychology, is suggested and demonstrated. A cognitive psychological model of the genesis and the termination of time is explored.

A methodological problem may distort the implications derived from the metabolism scans of the brain, but Posner & Raichle may have found neural networks which underlie the analytical and synthetical hemispheric data processing mechanism. This methodological problem is that a large regional consumption of energy, detected by the PET technique, is not necessarily related to more data processing. It may be related to the inefficiency of the neural system at this region.

This study analyzes the triple relation between cognitive biological psychology, philosophy and quantum mechanics. It discusses the findings of Treisman according to which there exists a pre-conscious cerebral mechanism that manipulates the sensory input and transfers it to our consciousness only after correcting it to suit our logic and expectations. This experimental finding was predicted two centuries ago by Kant. It is observed that during the primary pre-conscious level of perception the macroscopic physical world is not perceived as behaving according (...) to the laws of classical physics but rather according to the laws of quantum mechanics, like the microscopic world. (shrink)

Name der Zeitschrift: Naharaim Jahrgang: 8 Heft: 2 Seiten: 210-226.

What makes some acts morally right and others morally wrong? Traditionally, philosophers have thought that in order to answer this question we must find and formulate exceptionless moral principles—principles that capture all and only morally right actions. Utilitarianism and Kantianism are paradigmatic examples of such attempts. In recent years, however, there has been a growing interest in a novel approach—Particularism—although its precise content is still a matter of controversy. In this paper I develop and motivate a new formulation of particularism (...) as a research program and I show that my formulation is not vulnerable to the most common objections to particularism. Moreover, I argue that the particularist research program shows enough promise to warrant further exploration. (shrink)

Evolutionary debunkers claim that evolutionary explanations of moral phenomena lead to sceptical conclusions. The aim of this paper is to show that even if we grant debunkers the speculative claims that evolution provides the best explanation of moral phenomena and that there are no other moral phenomena for which moral facts/properties are indispensable, the sceptical conclusions debunkers seek to establish still do not follow. The problem for debunkers is to link the empirical explanatory claim to the normative conclusion that moral (...) beliefs are unjustified. The paper argues that debunkers face a dilemma, and that neither of the two options available to them supports the sceptical conclusions for which they aim. Consequently, it is claimed, the dialectical force of evolutionary debunking arguments is, at best, exceedingly weak. (shrink)

If one answers the question ‘What is G-ness?’ with a biconditional of the form ‘x is G iff x is F,’ one can ask whether x is G because it is F, or whether x is F because it is G. This question, known as The Euthyphro Question, invites one to choose between one of two options which are presented as mutually exclusive and jointly exhaustive: either x is G because it is F, or x is F because it is (...) G but not both. Each answer has its attractions and difficulties. The _Euthyphro Problem_ is the problem of choosing one rather than the other. This paper argues that holism in the theory of reasons — a view developed by Jonathan Dancy in a different context and for a different purpose — provides a novel and elegant solution to this age-old problem. (shrink)

Monists, pluralists, and particularists disagree about the structure of the best explanation of the rightness (wrongness) of actions. In this paper I argue that the availability of good moral advice gives us reason to prefer particularist theories and pluralist theories to monist theories. First, I identify two distinct roles of moral theorizing—explaining the rightness (wrongness) of actions, and providing moral advice—and I explain how these two roles are related. Next, I explain what monists, pluralists, and particularists disagree about. Finally, I (...) argue that particularists and pluralists are better situated than monists to explain why it is a good idea to think before we act, and that this gives us reason to favor particularism and pluralism over monism. (shrink)

We present a theoretical model and corresponding research design (Bronfenbrenner & Ceci 1994) that could yield stronger evidence for (or perhaps against) Howe et al.'s conclusions. The model assesses levels of heritability (h²) under different amounts of training and practice, thus providing estimates of the independent contribution of “innate talent” to the quality of development outcomes. The design can also reveal the extent to which this independent contribution varies systematically as a function of other influential factors identified by Howe et (...) al. (shrink)

For a stationary set $S \subseteq \omega_{1}$ and a ladder system C over S, a new type of gaps called C-Hausdorff is introduced and investigated. We describe a forcing model of ZFC in which, for some stationary set S, for every ladder C over S, every gap contains a subgap that is C-Hausdorff. But for every ladder E over \omega_{1} \ S$ there exists a gap with no subgap that is E-Hausdorff. A new type of chain condition, called polarized chain (...) condition, is introduced. We prove that the iteration with finite support of polarized c.c.c. posets is again a polarized c.c.c poset. (shrink)