This paper considers the problem of how to evaluate an offender’s criminal record. This evaluation is part of the sentencing process carried out by a judge, and may be complicated in the case of offenders with a heavy record. We give a comprehensive overview of the approach to an offender’s past record in various (Western) countries, considering the two major approaches: desert-based and utilitarian. The paper describes the determination of the parameters involved in the evaluation, and the construction of a (...) decision support system to be used by a judge about to pass sentence in a criminal case. The system may be used as a stand-alone system, but can also be integrated as a component of a general sentencing support system, e.g. a statistical sentencing information system. The system is a knowledge-based system. The knowledge base (in rule-form) was created primarily by eliciting knowledge from experts (judges, lawyers, academics and probation officers), but also by applying statutory law, case law and legal authoritative texts. It is flexible in the sense, that a user can introduce his1 own preferences (expressed as numerical coefficients) and thereby apply different sentencing principles. The prototype is at present undergoing testing by some of the participating judges. (shrink)

In the paper Randomizations of Scattered Sentences, Keisler showed that if Martin’s axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is “yes”. It follows that the absolute Vaught conjecture holds if and only if every \-sentence with few separable randomizations has countably many countable models.

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)

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)

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)

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)

Zionist national identity in Israel is today challenged by two mutuallyantagonistic alternatives: a liberal, secular, Post-Zionist civic identity, on the one hand, and ethnic, religious, Neo-Zionist nationalistic identity, on the other. The other, Zionist, hegemony contains an unsolvable tension between the national and the democratic facets of the state. The Post-Zionist trend seeks a relief of this tension by bracketing the nationalcharacter of the state, i.e., by separation of state and cultural community/ies; the Neo-Zionist trend seeks a relief of the (...) same tension by bracketing the democratic nature of the state, i.e., by consolidating the Jewish ethno-national character of the state. The focus of the study is upon two dimensions of this unfolding cultural-political strife: the conflicting perceptions of time and space, and the ways they affect the perceptions of the boundaries of the collectivity, either in an inclusionary manner (the ``post'') or in an exclusionary manner (the ``neo''). (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)

Commentators disagree about Kant’s view on the proper treatment of emotions. In contrast to a tendency in this literature to treat them uniformly, I argue that, according to Kant, feelings (but not affects) require cultivation, and inclinations – although they can and perhaps may be cultivated – generally require discipline. The appropriate treatment for emotions depends on their susceptibility to rational constraint and on the threat they pose to rational deliberation. Although I read Kant as recommending that we cultivate certain (...) emotions, I argue that my reading is not vulnerable to Thomason’s recent pertinent objections to such readings. (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)

Traditionally, pleasure has been understood in three different ways: as a simple feeling or phenomenological quality, as a behavioral disposition, and as an evaluation. While versions of these accounts – and combinations of two of them – have been attributed to Kant, I argue that Kant successfully combines all three. Pleasure, on this view, is an evaluation of an object’s agreement with a particular subject’s ability or intention to act. Because it refers to a particular subject, it has a subjective (...) felt character, and because it is about agreement with an ability or intention to act, it disposes one to action. In addition to being philosophically compelling, this reading incorporates Kant’s disparate characterizations of pleasure. (shrink)

According to Alix Cohen, Kant defines emotions as ‘feelings’. Although I find her account of Kantian feelings compelling, I provide three reasons to doubt that it is an account of emotions: (1) it is unclear why Cohen identifies emotions with Kantian feelings; (2) some Kantian feelings are not emotions; (3) some Kantian desires may be emotions. I propose, however, that with some qualifications Cohen’s account may be upheld, provided its extra-textual assumptions about emotions are explicated. Against her claim that Kantian (...) feelings have a derived intentionality, I argue that the text is compatible with their being intrinsically intentional. (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)

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.

This study investigates the ontological status of some physical and cosmological theories that are not based on empirical observation and probably cannot be tested empirically. It is suggested that these theories exist only in our consciousness and are no more than Kantian ideas. Indeed, these theories imply paradoxes as was predicted by Kant regarding ideas of pure reason.

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.

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)

Criminal sanctions are typically inflicted by the state. The central role of the state in determining the severity of these sanctions and inflicting them requires justification. One justification for state-inflicted sanctions is simply that the state is more likely than other agents to determine accurately what a wrongdoer justly deserves and to inflict a just sanction on those who deserve it. Hence, in principle, the state could be replaced by other agents, for example, private individuals. This hypothesis has given rise (...) to recent calls to reform the state's criminal justice system by introducing privately inflicted sanctions, for example, shaming penalties, private prisons, or private probationary services. This paper challenges this view and argues that the agency of the state is indispensable to criminal sanctions. Privately inflicted sanctions sever the link between the state's judgments concerning the wrongfulness of the action and the appropriateness of the sanction and the infliction of sufferings on the criminal. When a private individual inflicts punishment, she acts on what she and not the state judges to be a justified response to a criminal act. Privately inflicted sanctions for violations of criminal laws are not grounded in the judgments of the appropriate agent, namely the state. It is impermissible on the part of the state to approve, encourage, or initiate the infliction of a sanction on an alleged wrongdoer on the basis of a private judgment. Such an approval grants undue weight to the private judgment of the individual who inflicts the sanction. (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)

Commentators provide two different accounts of desires in Kant: “feeling-based” accounts stress their connection with feelings, while “action-based” accounts view them as causes of action. I argue that “feeling-based” accounts blur the feeling-desire distinction, while the “action-based” accounts conflict with Kantian desires that do not cause action. On my alternative, Kantian desires are dispositions to action normally directed at producing future objects, and so they differ from the feelings they are connected to, which refer to the way we are affected (...) by objects. This account preserves the feeling-desire distinction, is compatible with desires that do not cause action, and anticipates holistic theories of desire that combine dispositional, hedonic, and evaluative components. (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)

In the following pages we propose a theory on cognitive systems and the common strategies of perception, which are at the basis of their function. We demonstrate that these strategies are easily seen to be in place in known cognitive systems such as vision and language. Furthermore we show that taking these strategies into consideration implies a new outlook on immune function calling for a new appraisal of the immune system as a cognitive system.

We examine how degrees of computably enumerable equivalence relations under computable reduction break down into isomorphism classes. Two ceers are isomorphic if there is a computable permutation of ω which reduces one to the other. As a method of focusing on nontrivial differences in isomorphism classes, we give special attention to weakly precomplete ceers. For any degree, we consider the number of isomorphism types contained in the degree and the number of isomorphism types of weakly precomplete ceers contained in the (...) degree. We show that the number of isomorphism types must be 1 or ω, and it is 1 if and only if the ceer is self-full and has no computable classes. On the other hand, we show that the number of isomorphism types of weakly precomplete ceers contained in the degree can be any member of $[0,\omega ]$. In fact, for any $n \in [0,\omega ]$, there is a degree d and weakly precomplete ceers ${E_1}, \ldots,{E_n}$ in d so that any ceer R in d is isomorphic to ${E_i} \oplus D$ for some $i \le n$ and D a ceer with domain either finite or ω comprised of finitely many computable classes. Thus, up to a trivial equivalence, the degree d splits into exactly n classes.We conclude by answering some lingering open questions from the literature: Gao and Gerdes [11] define the collection of essentially FC ceers to be those which are reducible to a ceer all of whose classes are finite. They show that the index set of essentially FC ceers is ${\rm{\Pi }}_3^0$-hard, though the definition is ${\rm{\Sigma }}_4^0$. We close the gap by showing that the index set is ${\rm{\Sigma }}_4^0$-complete. They also use index sets to show that there is a ceer all of whose classes are computable, but which is not essentially FC, and they ask for an explicit construction, which we provide.Andrews and Sorbi [4] examined strong minimal covers of downwards-closed sets of degrees of ceers. We show that if $\left$ is a uniform c.e. sequence of non universal ceers, then $\left\{ {{ \oplus _{i \le j}}{E_i}|j \in \omega } \right\}$ has infinitely many incomparable strong minimal covers, which we use to answer some open questions from [4].Lastly, we show that there exists an infinite antichain of weakly precomplete ceers. (shrink)

This article deals with a tripartite structure applied to a Tannaitic source. This structure is designed in the form of a difficulty and a short resolution, bringing one example for each of the three parts of the Tannaitic source. The uniform formative-stylistic phrasing gives the discussion of the Tannaitic source's three parts a tripartite form. The Tannaitic source utilises a chaining of examples from the first to the second part and from the second to the third part.

The Friedman–Stanley jump, extensively studied by descriptive set theorists, is a fundamental tool for gauging the complexity of Borel isomorphism relations. This paper focuses on a natural computable analog of this jump operator for equivalence relations on $\omega $, written ${\dotplus }$, recently introduced by Clemens, Coskey, and Krakoff. We offer a thorough analysis of the computable Friedman–Stanley jump and its connections with the hierarchy of countable equivalence relations under the computable reducibility $\leq _c$. In particular, we show that this (...) jump gives benchmark equivalence relations going up the hyperarithmetic hierarchy and we unveil the complicated highness hierarchy that arises from ${\dotplus }$. (shrink)

A recent paper suggested that if Galilean covariance was extended to signals and interactions, the resulting theory would contain such anomalies as would have impelled physicists towards special relativity even without empirical prompts. I analyze this claim. Some so-called anomalies turn out to be errors. Others have classical analogs, which suggests that classical physicists would not have viewed them as anomalous. Still others, finally, remain intact in special relativity, so that they serve as no impetus towards this theory. I conclude (...) that Galilean covariance is insufficient to derive special relativity. (shrink)

The class of stable posets is defined and investigated. We give a forcing construction of a universe of set theory which satisfies a weak form of Martin's Axiom and $2^{\aleph_0} > \aleph_1$ and yet some propositions which follow from CH hold in this universe.

The current study aims to examine how the intense emotions experienced by different Israeli groups during the 2006 Second Lebanon War affected their perceptions of risk. Two weeks after the end of the war, a questionnaire was distributed among 205 people. Some were from the north and had been directly affected by the rocket attacks; others were from the center of Israel. The questionnaires, based on Lerner et al., measured emotions and perceived risk. The results show significant differences between those (...) living in the north and those in the center of Israel. As expected, people living in the north reported more emotional difficulties during the war, greater perceived risk, and more pessimism in comparison to the center group. Moreover, the results point to significant differences between Israeli Jews and Israeli Arabs regarding emotions and perceived risk. In addition, the study results show a positive relation between anger and perceived risk. (shrink)

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

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)

This article deals with different versions of a story in Tractate Eruvin of the Babylonian Talmud. This story has different versions in various sources, including in one page from the Genizah fragment Cambridge U-L T-S F2 23, numbered C98948 in the Friedberg Jewish Manuscript Society. Each version changes our understanding of the story’s content, and in this article we will display these variations and examine the feasibility that they reflect about the original version. The story ends with the phrase Lo (...) shamiʿa li, for which we shall offer a new alternative meaning.Contribution: The main contribution of this article is in revealing the importance of comparing the different versions to the same story which implies a change in the content of the story. This has future implications when considering a story that has different versions. In addition, exploring and examining a particular phrase can offer a different interpretation or meaning than it was commonly thought. These insights are based on story and phrase found in the theological text, so that the article fits to the focus and scope of this journal. (shrink)

We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of L-degrees in the dark, light, or complete structure. In each case, we show that there is an interpretable copy of (N, +, \times) .