Strict/tolerant logic is a formally defined logic that has the same consequence relation as classical logic, though it differs from classical logic at the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been proposed for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves. We show that a wide range of (...) logics have strict/tolerant counterparts, with the same consequence relations but differing at the metaconsequence level. Among these logics are Kleene’s K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {K_3}$$\end{document}, Priest’s LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {LP}}$$\end{document}, and first-degree entailment, FDE. The primary tool we use is the bilattice. But it is more than a tool, it seems to be the natural home for this kind of investigation. (shrink)

von Fintel and Gillies : 329–360, 2007) have proposed a dynamic strict conditional account of counterfactuals as an alternative to the standard variably strict account due to Stalnaker and Lewis. Von Fintel’s view is motivated largely by so-called reverse Sobel sequences, about which the standard view seems to make the wrong predictions. More recently Moss :561–586, 2012) has offered a pragmatic/epistemic explanation that purports to explain the data without requiring abandonment of the standard view. So far the small (...) amount of subsequent literature has focused primarily on the original class of cases motivating the strict conditional view. What is needed in the debate is an examination of the predictions of the dynamic strict conditional account for a broader range of data. I undertake this task here, presenting a slew of cases that are problematic for the strict conditional view but not for Moss’s view, and considering some possible responses. Ultimately I take my contribution to constitute a significant blow to the dynamic strict conditional view, though not a decisive verdict against it. (shrink)

This book is a collection of original essays offering the first full-length consideration of the problem of strict liability in the criminal law: that is, the problem of criminal offences that allow a defendant to be convicted without proof of fault. Because of its potential to convict blameless persons, strict liability is a highly controversial phenomenon in the criminal law. Including Anglo-American and European perspectives, the contributions provide a sustained and wide-ranging examination of the fundamental issues. The breadth (...) and depth of the chapters combine to present readers with a sophisticated analysis of the place and legitimacy of strict liability in the criminal law. (shrink)

According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have argued that semantic antirealism must be committed to effective provability and that the commitment leads to a stronger kind of logical revisionism exemplified by substructural logics. I shall take into account two different kinds of reply. The first is concerned with meaning per se and grasp or fixing of meaning. It rests on the idea that if we have a (...) method which may be used over some surveyable range, we have determined a way of applying the method everywhere in principle, and that this is enough as far as fixing or grasping meaning is concerned. The second concerns two radical antirealist principles disqualifying structural rules: Token Preservation and Preservation of Local Feasibility. Against criticisms, I shall argue that conceptual support may be provided for both. The main point in this debate is that there is a decisive difference between the rejection of classical logic via the curbing of the epistemic idealizations embedded in structural rules and the rejection of classical logic via the intuitionistic criticism of invalid introduction and elimination rules. It will be explained why the second rejection is stronger than the former. (shrink)

Call a quantifier ‘unrestricted’ if it ranges over absolutely all objects. Arguably, unrestricted quantification is often presupposed in philosophical inquiry. However, developing a semantic theory that vindicates unrestricted quantification proves rather difficult, at least as long as we formulate our semantic theory within a classical first-order language. It has been argued that using a type theory as framework for our semantic theory provides a resolution of this problem, at least if a broadly Fregean interpretation of type theory is assumed. However, (...) the intelligibility of this interpretation has been questioned. In this paper I introduce a type-free theory of properties that can also be used to vindicate unrestricted quantification. This alternative emerges very naturally by reflecting on the features on which the type-theoretic solution of the problem of unrestricted quantification relies. Although this alternative theory is formulated in a non-classical logic, it preserves the deductive strength of classical strict type theory in a natural way. The ideas developed in this paper make crucial use of Russell’s notion of range of significance. (shrink)

Technology assessment is generally classified as problem-oriented and thus transdisciplinary research. This is due to the fact that the aim of TA is to work out solutions for problems outside science in order to offer advice to its addressees, namely those working in politics and science and members of society in general. In this paper, we propose that the problem-oriented approach also be used as the basis for the decision regarding when a TA should be conducted in a particular situation, (...) and which TA should be used. As a first step to this end, a broad range—almost like a kind of coarse radar—and large number of topics or problem sketches are created, which then serve as a basis for a discursive process of negotiation, during which topics are to be carried over into a detailed problem analysis. These detailed problem analyses, which are important for transdisciplinary research, represent in themselves small research projects. They provide, in addition, some initial indications for a methodologically promising project design. The methodological approach described here is currently being tested in a procedure in which TA topics are being monitored for the German Federal Ministry of Education and Research. (shrink)

We obtain a nonasymptotic lower time bound for deciding sentences of bounded second-order arithmetic with respect to a form of the random access machine with stored programs. More precisely, let P be an arbitrary program for the model under consideration which recognized true formulas with a given range of parameters. Let p be the length of P and let N be an arbitrary natural number. We show how to construct a formula G with one free variable with length not (...) more than 400 symbols and a value f of x such that the time required by P to decide the truth of G is at least N+1 steps. Furthermore, the G constructed does not depend on P and the length of f is less than p+400. (shrink)

Their nursing experience and/or training may lead students preparing for the nursing profession to have less moral distress and more favorable attitudes towards a hastened death compared with those preparing for other fields of study. To ascertain if this was true, 66 undergraduates (54 women, 9 men, 3 not stated) in southeastern USA completed measures of moral distress and attitudes towards hastening death. Unexpectedly, the results from nursing and non-nursing majors were not significantly different. All the present students reported moderate (...) moral distress and strong resistance to any efforts to hasten death but these factors were not significantly correlated. However, in the small sample of nurses in training, the results suggest that hastened death situations may not be a prime reason for moral distress. (shrink)

In recent years, inverse spectra were investigated with imaging optics and a quantitative description with radiometric units was suggested. It could be shown that inverse spectra complement each other additively to a constant intensity level. Since optical intensity in radiometric units is a power area density, it can be expected that energy densities of inverse spectra also fulfill an inversion equation and complement each other. In this contribution we report findings on a measurement of the power area density of inverse (...) spectra for the near ultraviolet, visible and the infrared spectral range. They show the existence of corresponding spectral regions ultra-yellow and infra-cyan in the inverted spectrum and thereby present additional experimental evidence for equivalence of inverse spectra beyond the visible range. (shrink)

Newtons experimentum crucis hat ein komplementares Gegenstück, d.h. ein Experiment, in dem die Rollen von Licht und Schatten genau ausgetauscht sind. Statt wie Newton in der Dunkelkammer zu experimentieren, müssen wir das Komplement des experimentum crucis in einer Streulichtkammer aufbauen (deren Wände sog. Lambertstrahler sind). Wenn es dieses umgestülpte Experiment wirklich gibt, dann liefert es für jeden newtonischen Beweis einen umgestülpten Gegenbeweis, dessen Konklusion die Heterogenitat der Schatten wäre (also die Behauptung, dass nicht weißes Licht, sondern schwarze Schatten eine heterogene (...) Mischung verschiedenfarbiger Strahlen mit unterschiedlichen Brechungseigenschaften seien). Dass Newtons experimentum crucis in diesem Sinne umgestülpt werden kann, wird von Newtons eigener Theorie impliziert. Mehr noch, inzwischen ist der empirische Nachweis der Umstülpung gelungen. (shrink)

This study ascertained reports of assent (affirmative agreement) and permission (agreement by an adult fully capable of being informed) in 114 children's research articles in 1990 in Child Development (CD), Journal of Consulting and Clinical Psychology (JCCP), Journal of Pediatric Psychology, and Journal of Clinical Child Psychology. Of the research projects, 43% failed to specify permission, and 68.5% failed to specify assent. JCCP reported assent significantly more than CD. Assent was reported significantly more in research with older children than with (...) younger children. This lack of sensitivity to assent and permission suggests that many authors, reviewers, and editors consider reporting assent and permission unessential. We recommend specifying assent and permission in all manuscripts, highlighting children's research issues in graduate training, and using specific safeguards when conducting research with children. (shrink)

We share Roberts and Buckloh's (this issue) concern about issues of assent and permission in research with children and agree that our research cannot conclude legitimately that (a) researchers failed to obtain permission/assent, (b) children were put at risk, or (c) failure to report permission/assent procedures was, in any way, unethical. We never made these conclusions. Rather, we argue that publishing assent and permission would enhance compliance with ethical standards, sensitize researchers and readers to its importance, and shift publishing priorities (...) in an appropriate direction. (shrink)

We examined the attitudes of 600 students in large introductory algebra and psychology classes toward an actual or hypothetical cheating incident and the subsequent retake procedure. Overall, 57% of students in one class and 49Y0 in the other reported that they either cheated or would have cheated if given the opportunity. More men (59%) than women (53%) reported cheating or potential cheating. Students who had actually experienced a retake procedure to handle cheating were more satisfied with such a procedure than (...) others were about a hypothetical situation. Despite having a retake, cheaters were significantly more likely than noncheaters to predict that they would cheat again. Results suggest that instructors who require a retake following extensive cheating should devote class time to a discussion of the issue and all possible alternatives. (shrink)

This article concerns the metatheory of a class of modal logics whose language includes propositional constants of various kinds. The main novelties are the use of general frames with specific restrictions and the definition of the strict range of a formula. Many examples from the literature are treated within the framework provided and some traditional model-theoretic issues such as preservation results concerning the validity of formulas and definability results concerning frame properties are addressed.

La communication sur le projet d'informatisation dans le secteur de l'éducation, le National Education Information System montre comment la société civile en Corée du Sud a réussi à faire valoir ses revendications, bien qu'elle soit souvent exclue du processus institutionnel de décision politique. Les trois principaux acteurs , à la recherche d'un compromis, ont débattu sur la protection des données personnelles et sur l'efficacité administrative en utilisant de multiples moyens de communication.Communication on the computerization project in the education sector, the (...) National Education Information System shows how civil society in South Korea was able to enforce its claims, although it is often excluded from the process institutional policymaking. The three main actors , the search for a compromise, discussed the protection of personal data and on administrative efficiency by using multiple means of communication. (shrink)

Reputation is a key component in social interactions of group-living animals and appears to play a role in the establishment of cooperation. Animals can form a reputation of an individual by directly interacting with them or by observing them interact with a third party, i.e., eavesdropping. Elephants are an interesting taxon in which to investigate eavesdropping as they are highly cooperative, large-brained, long-lived terrestrial mammals with a complex social organisation. The aim of this study was to investigate whether captive Asian (...) elephants could form reputations of humans through indirect and/or direct experience in two different paradigms: a cooperative string-pulling task and a scenario requiring begging. Fourteen captive Asian elephants in Thailand participated in an experimental procedure that consisted of three parts: baseline, observation, and testing. In the observation phase, the subject saw a conspecific interact with two people—one cooperative/generous and one non-cooperative/selfish. The observer could then choose which person to approach in the test phase. The elephants were tested in a second session 2–5 days later. We found no support for the hypothesis that elephants can form reputations of humans through indirect or direct experience, but these results may be due to challenges with experimental design rather than a lack of capacity. We discuss how the results may be due to a potential lack of ecological validity in this study and the difficulty of assessing motivation and attentiveness in elephants. Furthermore, we highlight the importance of designing future experiments that account for the elephants' use of multimodal sensory information in their decision-making. (shrink)

In this article we (a) interlink the philosophical ideas of Ernst Schumacher and Karl Popper within the framework of planning and management, (b) describe project management cases implemented using the principles of project cycle management (PCM) and (c) study whether the success or failure can be attributed to following these concepts. We consider two basic concepts for perceiving the world surrounding us: the concept of organisation and that of self-organisation. The former emphasises the predictability of the future, where the results (...) of each activity are predetermined and can always be achieved through thorough analytical planning. The latter sees the world as a generic whole where numerous interactions take place simultaneously, leaving the future unknown. As it has been shown, for example, by Schumacher, Hayek and Popper, the real world is uncertain and orders of great complexity appear spontaneously in a self-organised manner. Mankind has thus to cope with the self-organising world and to plan and manage therein. PCM is one of the most widespread contemporary management techniques used for that purpose in both the private and public sectors. However, PCM lacks a proper theoretical basis as well as philosophical framework. We have proposed elsewhere that the concept of piecemeal social engineering elaborated by Popper in his The Poverty of Historicism could serve as a theoretical basis, which can combine the organisational nature of planning and the self-organising and fuzzy world. Thus the task is mentally to split the planning and implementation issue: to take the whole into pieces and rearrange them in a desired manner in the planning phase (concept of organisation; convergent problem solving). The actual implementation of the plan ought to be conducted following a stepwise approach, re-planning all through the process (concept of self-organisation; divergent problem solving). “The future cannot be forecast, but it can be explored.” Not all human actions are unpredictable, but we cannot be sure what the results would be or judge the value of an action based on its inclusion in some plan. (shrink)

A wide array of species throughout the animal kingdom has shown the ability to distinguish between quantities. Aside from being important for optimal foraging decisions, this ability seems to also be of great relevance in group-living animals as it allows them to inform their decisions regarding engagement in between-group conflicts based on the size of competing groups. However, it is often unclear whether these animals rely on numerical information alone to make these decisions or whether they employ other cues that (...) may covary with the differences in quantity. In this study we used a touch screen paradigm to investigate the quantity discrimination abilities of two closely related group-living species, wolves and dogs, using a simultaneous visual presentation paradigm. Both species were able to successfully distinguish between stimuli of different quantities up to 32 items and ratios up to 0.80, and their results were in accordance with Weber's law (which predicts worse performances at higher ratios). However, our controls showed that both wolves and dogs may have used continuous, non-numerical cues, such as size and shape of the stimuli, in conjunction with the numerical information to solve this task. In line with this possibility, dogs' performance greatly exceeded that which they had shown in other numerical competence paradigms. We discuss the implications these results may have on these species' underlying biases and numerical capabilities, as well as how our paradigm may have affected the animals' ability to solve the task. (shrink)

Due to domestication, dogs differ from wolves in the way they respond to their environment, including to humans. Selection for tameness and the associated changes to the autonomic nervous system (ANS) regulation have been proposed as the primary mechanisms of domestication. To test this idea, we compared two low-arousal states in equally raised and kept wolves and dogs: resting, a state close to being asleep, and inactive wakefulness, which together take up an important part in the time budgets of wolves (...) and dogs. We measured arousal via cardiac output in three conditions: alone, with a familiar human partner, or with pack members (i.e., conspecifics). Specifically, we compared heart rate (HR) and heart rate variability (HRV) of six wolves and seven dogs. As patterns of resting can vary adaptively, even between closely related species, we predicted that dogs would be generally more aroused than wolves, because living with humans may come with less predictable contexts than living with conspecifics; hence, dogs would need to be responsive at all times. Furthermore, we predicted that due to the effects of domestication, emotional social support by familiar people would reduce arousal more in dogs than in equally human-socialized wolves, leading to more relaxed dogs than wolves when away from the pack. Overall, we found a clear effect of the interactions between species (i.e., wolf versus dog), arousal state (i.e., resting or awake inactive) and test conditions, on both HR and HRV. Wolves and dogs were more aroused when alone (i.e., higher HR and lower HRV) than when in the presence of conspecifics or a familiar human partner. Dogs were more relaxed than wolves when at rest and close to a familiar human but this difference disappeared when awake. In conclusion, instead of the expected distinct overall differences between wolves and dogs in ANS regulation, we rather found subtle context-specific responses, suggesting that such details are important in understanding the domestication process. (shrink)