In this paper I shall examine creation and annihilation in time rather than solipsism of the moment. The argument will focus upon a difficulty raised by the creationist's qualification of the solipsist's denial of past and future. The solipsist maintains that the words "past" and "future" have no object of reference; hence, statements denying their existence, like such statements as "Fairies do not exist" and "Santa Claus does not exist," convey the idea that there simply are no existents to which (...) the subject terms refer. At no point can we accuse the solipsist of making the absurd claim that some existents do not exist, and yet that is precisely the claim which the creationist makes; for his subject term refers to some existent—something which does exist or did exist—and then he denies the existence of that existent. Indeed, he cannot express himself without granting existence, on the one hand, and denying it, on the other, so that he appears at the very outset to be involved in a contradiction. If the following argument is correct, it will prove that the contradiction is not merely apparent but real, and that the creationist is confronted by it as soon as he says what he wants to say in whatever idiom he chooses to say it. (shrink)

The long-standing conflict between the two theories centers about the question whether time can exist independently of that which is in it. Those who advocate absolute time answer in the affirmative while the relationists take the opposite position claiming that temporal relations, and thus time, have no reality apart from the things and events which they order. In the terminology of Paul Weiss, relational time is "concrete." The considerable emphasis placed upon this issue of the concreteness of time has adversely (...) affected the absolute theory, leading to presentations of the absolutist position that are confusing, if not erroneous. Absolute time, as interpreted by philosophers such as Broad, Gunn, and Whitehead, posits the existence of abstract moments which are arranged in serial order one before the other by virtue of relations of precedence between them. Things and events participate in time only vicariously, so to speak, being joined to their respective moments by another kind of relation which Whitehead calls "occupation." The overall structure presented by the absolute theory is therefore thought to be as follows: one event is before another if both are respectively bound by relations of occupation to moments which are in turn so related as to be one before the other. Relational time mercifully simplifies this picture by a neat bit of surgery, cutting away the abstract moments and tying the relations of precedence directly to things and events themselves. As a consequence, the parasitic relations of occupation wither away. (shrink)

First it will be necessary to examine the argument, and the meaning of the argument, by which Mr. Ingram-Pearson is led to uphold such an unusual position. Using the statement, "fairies do not exist," as his example, he observes: "In order to achieve its obvious status as a denial this statement must have some object of reference for its subject term; for denials which are denials of nothing are not denials in any sense at all." What, then, is the designate (...) of the term "fairies"? It is, we are told, "an existent [italics mine] which at least one person believes to be present in the world and which another person at the same time and in the same context believes is not there." To say that "fairies do not exist" is therefore to say that "certain entities, designated by the term 'fairies,' are not present in the world," or "specific entities, designated by the term 'fairies,' are really absent from the world." The latter statement is positive, and Mr. Ingram-Pearson tells us explicitly that positive statements cannot "succeed in making intelligible" something made intelligible by negative statements about non-existents; but he has in mind such "ordinary" positive statements as "fairies are imagined beings." In other words, it is not that negative statements about. (shrink)

Happy people often fail to elaborate on persuasive arguments, while people in sad moods tend to scrutinise messages in greater detail. According to some motivational accounts, however, happy people will elaborate a message if they believe it might maintain their positive mood. The present research extends this reasoning by demonstrating that happy people will elaborate arguments from message presenters that convey positive hedonic attributes (i.e., source likeability). In a pilot study, we show that happy people believe persuasive messages from a (...) likeable source will be mood maintaining. The results of Study 1 demonstrate that these expectancies have important message-processing implications. In Study 1, sad participants elaborated arguments from both likeable and dislikeable sources, while happy participants only elaborated arguments from a likeable source. Consistent with motivational explanation of these effects, in Study 2, happy participants elaborated arguments from a likeable source when not distracted, but used likeability as a heuristic when distracted with a cognitive-load manipulation. Implications of these results for understanding the effects of mood on processing strategy, limitations, and directions for future research are discussed. (shrink)

Many principles of eukaryotic DNA replication and its relationship to transcription have been revealed by studying the replication of animal virus chromosomes. Now microinjection of viral DNA into eggs and embryos is providing clues about regulation of chromosomal replication and transcription during early mammalian development.

LET ME BEGIN this inquiry with the simple but fundamental fact that the flow of time, or passage, as it is also known, is given in experience, that it is as indubitable an aspect of our perception of the world as the sights and sounds that come in upon us, even though it is not the peculiar property of a special sense. Consider, by way of illustration, that I am now sitting at the desk in my study. This particular event (...) was not present at any earlier time, nor will it be present shortly as I become involved in other activities. The present, as I experience it, is regularly associated with later and later events. It does not hop about capriciously from here to a later time, to a previous time, and then to a much later time, or trace out some other such indiscriminate pattern; instead I find it always in association with the next moment, and as I look backward and inward, so to speak, I find that the prior moment was present and that this next-later moment is present. Quite often this condition is expressed by means of imagery. We are asked to envision either a moving present racing along a fixed track of moments or events from earlier to later, or alternatively a fixed present through which stream a series of moments or events, first the earlier and then the later ones. One is in truth hard-pressed to find references to passage which do not employ quasi-poetical tropes and metaphors, and while these do help in some sense to say what we mean, great caution is required when handling them because of their ready tendency to draw us away from the actual phenomenon requiring explanation. (shrink)

We investigate how nonstandard reals can be established constructively as arbitrary infinite sequences of rationals, following the classical approach due to Schmieden and Laugwitz. In particular, a total standard part map into Richman's generalised Dedekind reals is constructed without countable choice.

Even after yet another grand conjecture has been proved or refuted, any omniscience principle that had trivially settled this question is just as little acceptable as before. The significance of the constructive enterprise is therefore not affected by any gain of knowledge. In particular, there is no need to adapt weak counterexamples to mathematical progress.

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply rooted in and between many fields of mathematics and logic, including proof theory, commutative algebra, braid groups, graph theory, analytic combinatorics, theory of relations, reverse mathematics and subrecursive hierarchies. As a unifying concept for slick finiteness or termination proofs, wqos have been rediscovered in diverse contexts, and proven to be (...) extremely useful in computer science. The book introduces readers to the many facets of, and recent developments in, wqos through chapters contributed by scholars from various fields. As such, it offers a valuable asset for logicians, mathematicians and computer scientists, as well as scholars and students. (shrink)

Should weak forms of the axiom of choice really be accepted within constructive mathematics? A critical view of the Brouwer-Heyting-Kolmogorov interpretation, accompanied by the intention to include nondeterministic algorithms, leads us to subscribe to Richman's appeal for dropping countable choice. As an alternative interpretation of intuitionistic logic, we propose to renew dialogue semantics.

Objective: Even when critically ill patients are almost certain to die from their illnesses, there is generally an element of prognostic uncertainty. Little is known about how physicians handle this uncertainty in conversations with surrogate decision makers. We sought to evaluate whether and how physicians discuss prognostic uncertainty with surrogate decision makers of patients who are highly likely, but not certain, to die. Design: We audiotaped and transcribed discussions between clinicians and surrogate decision makers at two major California teaching hospitals (...) from 2006 through 2008. Physicians completed a questionnaire addressing their prognostic estimates for patients' survival to hospital discharge. Participants: We included physicians and surrogates of 12 incapacitated, critically ill patients. Measurements: We analyzed transcripts of discussions in which physicians' estimates of patients' chances of hospital survival were 1% to 5%; we coded whether physicians disclosed the prognostic uncertainty and, if so, how they conveyed that death was highly likely but not certain. Results: Physicians' estimates of short-term survival were 1% to 5% for 12 of the 70 patients enrolled in the original study. In 8 of 12 cases, physicians conveyed prognostic uncertainty by using probabilistic language or by an explicit mention of uncertainty. In four cases, physicians made at least one statement that either implied or was ambiguous about whether death was certain. Conclusion: We observed variability in how physicians handle prognostic uncertainty in their discussions with surrogates of patients who are highly likely, but not certain, to die, including some circumstances in which physicians stated or implied that death was certain. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

Given its non-invasive nature, there is increasing interest in the use of transcutaneous vagus nerve stimulation across basic, translational and clinical research. Contemporaneously, tVNS can be achieved by stimulating either the auricular branch or the cervical bundle of the vagus nerve, referred to as transcutaneous auricular vagus nerve stimulation and transcutaneous cervical VNS, respectively. In order to advance the field in a systematic manner, studies using these technologies need to adequately report sufficient methodological detail to enable comparison of results between (...) studies, replication of studies, as well as enhancing study participant safety. We systematically reviewed the existing tVNS literature to evaluate current reporting practices. Based on this review, and consensus among participating authors, we propose a set of minimal reporting items to guide future tVNS studies. The suggested items address specific technical aspects of the device and stimulation parameters. We also cover general recommendations including inclusion and exclusion criteria for participants, outcome parameters and the detailed reporting of side effects. Furthermore, we review strategies used to identify the optimal stimulation parameters for a given research setting and summarize ongoing developments in animal research with potential implications for the application of tVNS in humans. Finally, we discuss the potential of tVNS in future research as well as the associated challenges across several disciplines in research and clinical practice. (shrink)

Music can reduce stress and anxiety, enhance positive mood, and facilitate social bonding. However, little is known about the role of music and related personal or cultural variables in maintaining wellbeing during times of stress and social isolation as imposed by the COVID-19 crisis. In an online questionnaire, administered in 11 countries, participants rated the relevance of wellbeing goals during the pandemic, and the effectiveness of different activities in obtaining these goals. Music was found to be the most effective activity (...) for three out of five wellbeing goals: enjoyment, venting negative emotions, and self-connection. For diversion, music was equally good as entertainment, while it was second best to create a sense of togetherness, after socialization. This result was evident across different countries and gender, with minor effects of age on specific goals, and a clear effect of the importance of music in people's lives. Cultural effects were generally small and surfaced mainly in the use of music to obtain a sense of togetherness. Interestingly, culture moderated the use of negatively valenced and nostalgic music for those higher in distress. (shrink)

Objective: The establishment of patient-centered measures capable of empirically determining meaningful cognitive change after surgery can significantly improve the medical care of epilepsy patients. Thus, this study aimed to develop reliable change indices (RCIs) and standardized regression-based (SRB) change norms for a comprehensive neuropsychological test battery in the German language. Methods: Forty-seven consecutive patients with temporal lobe epilepsy underwent neuropsychological assessments, both before and 12 months after surgery. Practice-effect-adjusted RCIs and SRB change norms for each test score were computed. To (...) assess their usefulness, the presented methods were applied to a clinical sample, and binary logistic regression analyses were conducted to model the odds of achieving improvement in quality of life (QOL) after surgery. Results: The determined RCIs at 90% confidence intervals, and the SRB equations for each test score included in the test battery are provided. Cohen’s kappa analyses revealed a moderate mean agreement between the two measures, varying from slight to almost perfect agreement across test scores. Using these measures, a negative association between improvement in QOL and decline in verbal memory functions after surgery was detected. Significance: To the best of our knowledge, this study is the first to provide RCIs and SRB change norms necessary for the objective determination of neuropsychological change in a comprehensive test battery in the German language, facilitating the individual monitoring of improvement and decline in each patients’ cognitive functioning and psychosocial situations after epilepsy surgery. The application of the described measures revealed a strong negative association between improvement in QOL and decline in verbal memory functions after surgery. (shrink)

The roots of religious faith–and the provenance of ethical thought–may be sought in the human sciences, the physical sciences, literature, religious traditions, and deep human intuitions. Gustafson's religious stance and the author's, while different on their face, in common reflect a mingling–and tangling–of skepticism, understanding, and transcendence. Let all of us hope and believe what we can.

Bilattices, due to M. Ginsberg, are a family of truth value spaces that allow elegantly for missing or conflicting information. The simplest example is Belnap’s four-valued logic, based on classical two-valued logic. Among other examples are those based on finite many-valued logics, and on probabilistic valued logic. A fixed point semantics is developed for logic programming, allowing any bilattice as the space of truth values. The mathematics is little more complex than in the classical two-valued setting, but the result provides (...) a natural semantics for distributed logic programs, including those involving confidence factors. The classical two-valued and the Kripke/Kleene three-valued semantics become special cases, since the logics involved are natural sublogics of Belnap’s logic, the logic given by the simplest bilattice. (shrink)

Bilattices, introduced by M. Ginsberg, constitute an elegant family of multiple-valued logics. Those meeting certain natural conditions have provided the basis for the semantics of a family of logic programming languages. Now we consider further restrictions on bilattices, to narrow things down to logic programming languages that can, at least in principle, be implemented. Appropriate bilattice background information is presented, so the paper is relatively self-contained.

In a fragment entitled Elementa Nova Matheseos Universalis Leibniz writes “the mathesis [...] shall deliver the method through which things that are conceivable can be exactly determined”; in another fragment he takes the mathesis to be “the science of all things that are conceivable.” Leibniz considers all mathematical disciplines as branches of the mathesis and conceives the mathesis as a general science of forms applicable not only to magnitudes but to every object that exists in our imagination, i.e. that is (...) possible at least in principle. As a general science of forms the mathesis investigates possible relations between “arbitrary objects”. It is an abstract theory of combinations and relations among objects whatsoever. In 1810 the mathematician and philosopher Bernard Bolzano published a booklet entitled Contributions to a Better-Grounded Presentation of Mathematics. There is, according to him, a certain objective connection among the truths that are germane to a certain homogeneous field of objects: some truths are the “reasons” of others, and the latter are “consequences” of the former. The reason-consequence relation seems to be the counterpart of causality at the level of a relation between true propositions. Arigorous proof is characterized in this context as a proof that shows the reason of the proposition that is to be proven. Requirements imposed on rigorous proofs seem to anticipate normalization results in current proof theory. The contributors of Mathesis Universalis, Computability and Proof, leading experts in the fields of computer science, mathematics, logic and philosophy, show the evolution of these and related ideas exploring topics in proof theory, computability theory, intuitionistic logic, constructivism and reverse mathematics, delving deeply into a contextual examination of the relationship between mathematical rigor and demands for simplification. (shrink)

LP can be seen as a logic of knowledge with justifications. See [S. Artemov, The logic of justification, The Review of Symbolic Logic 1 477–513] for a recent comprehensive survey of justification logics generally. Artemov’s Realization Theorem says justifications can be extracted from validities in the more conventional Hintikka-style logic of knowledge S4, in which they are not explicitly present. Justifications, however, are far from unique. There are many ways of realizing each theorem of S4 in the logic LP. If (...) the machinery of justifications is to be applied to artificial intelligence, or better yet, to everyday reasoning, we will need to work with whatever justifications we may have at hand—one version may not be interchangeable with another, even though they realize the same S4 formula. In this paper we begin the process of providing tools for reasoning about justifications directly. The tools are somewhat complex, but in retrospect this should not be surprising. Among other things, we provide machinery for combining two realizations of the same formula, and for replacing subformulas by equivalent subformulas. The results are algorithmic in nature—semantics for LP plays no role. We apply our results to provide a new algorithmic proof of Artemov’s Realization Theorem itself. This paper is a much extended version of [M.C. Fitting, Realizations and LP, in: S. Artemov, A. Nerode , Logical Foundations of Computer Science—New York ’07, in: Lecture Notes in Computer Science, vol. 4514, Springer-Verlag, 2007, pp. 212–223]. (shrink)