One of the earliest applications of transfinite numbers is in the construction of derived sequences by Cantor [2]. In [6], the existence of derived sequences for countable closed sets is proved in ATR0. This existence theorem is an intermediate step in a proof that a statement concerning topological comparability is equivalent to ATR0. In actuality, the full strength of ATR0 is used in proving the existence theorem. To show this, we will derive a statement known to be equivalent (...) to ATR0, using only RCA0 and the assertion that every countable closed set has a derived sequence. We will use three of the subsystems of second order arithmetic defined by H. Friedman , which can be roughly characterized by the strength of their set comprehension axioms. RCA0 includes comprehension for Δmath image definable sets, ACA0 includes comprehension for arithmetical sets, and ATR0 appends to ACA0 a comprehension scheme for sets defined by transfinite recursion on arithmetical formulas. MSC: 03F35, 54B99. (shrink)

A model of gestural sequencing in speech is proposed that aspires to producing biologically plausible fluent and efficient movement in generating an utterance. We have previously proposed a modification of the well-known task dynamic implementation of articulatory phonology such that any given articulatory movement can be associated with a quantification of effort (Simko & Cummins, 2010). To this we add a quantitative cost that decreases as speech gestures become more precise, and hence intelligible, and a third cost component that places (...) a premium on the duration of an utterance. Together, these three cost elements allow us to derive algorithmically optimal sequences of gestures and dynamical parameters for generating articulator movement. We show that the optimized movement displays many timing characteristics that are representative of real speech movement, capturing subtle details of relative timing between gestures. Optimal movement sequences also display invariances in timing that suggest syllable-level coordination for CV sequences. We explore the behavior of the model as prosodic context is manipulated in two dimensions: clarity of articulation and speech rate. Smooth, fluid, and efficient movements result. (shrink)

As is well known the derivative of a computable and C1 function may not be computable. For a computable and C∞ function f, the sequence {f} of its derivatives may fail to be computable as a sequence, even though its derivative of any order is computable. In this paper we present a necessary and sufficient condition for the sequence {f} of derivatives of a computable and C∞ function f to be computable. We also give a sharp regularity (...) condition on an initial computable function f which insures the computability of its derivative f′. (shrink)

We investigate what happens when ‘truth’ is replaced with ‘provability’ in Yablo’s paradox. By diagonalization, appropriate sequences of sentences can be constructed. Such sequences contain no sentence decided by the background consistent and sufficiently strong arithmetical theory. If the provability predicate satisfies the derivability conditions, each such sentence is provably equivalent to the consistency statement and to the Gödel sentence. Thus each two such sentences are provably equivalent to each other. The same holds for the arithmetization of the existential Yablo (...) paradox. We also look at a formulation which employs Rosser’s provability predicate. (shrink)

A theory of embedded tense that derives SOT effects from an SOT rule is compared with a theory that derives SOT effects without appealing to an SOT rule, and an argument is provided in favor of the former. The argument relies mostly on examples where a tense is embedded under future-in-the-past. Such an argument was originally presented in and later dismissed in Proceedings of Sinn und Bedeutung 17, ENS-Paris, 45–62, 2013a). An additional argument is provided in favor of supplementing the (...) SOT rule with a ‘de re’ mechanism. (shrink)

We introduce reflection properties of cardinals in which the attributes that reflect are expressible by infinitary formulas whose lengths can be strictly larger than the cardinal under consideration. This kind of generalized reflection principle leads to the definitions of [Formula: see text]-indescribability and [Formula: see text]-indescribability of a cardinal [Formula: see text] for all [Formula: see text]. In this context, universal [Formula: see text] formulas exist, there is a normal ideal associated to [Formula: see text]-indescribability and the notions of [Formula: (...) see text]-indescribability yield a strict hierarchy below a subtle cardinal. Additionally, given a regular cardinal [Formula: see text], we introduce a diagonal version of Cantor’s derivative operator and use it to extend Bagaria’s [Derived topologies on ordinals and stationary reflection, Trans. Amer. Math. Soc. 371(3) (2019) 1981–2002] sequence [Formula: see text] of derived topologies on [Formula: see text] to [Formula: see text]. Finally, we prove that for all [Formula: see text], if there is a stationary set of [Formula: see text] that have a high enough degree of indescribability, then there are stationarily many [Formula: see text] that are nonisolated points in the space [Formula: see text]. (shrink)

This thesis proposes and presents two new models for belief representation and belief revision. The first model is the B-structures model which relies on a notion of partial language splitting and tolerates some amount of inconsistency while retaining classical logic. The model preserves an agent's ability to answer queries in a coherent way using Belnap's four-valued logic. Axioms analogous to the AGM axioms hold for this new model. The distinction between implicit and explicit beliefs is represented and psychologically plausible, computationally (...) tractable procedures for query answering and belief base revision are obtained. ;The second model presents a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the conclusion and formulas in the sequence. The relevance relations are ternary as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely representable formalism and a plausible model of reasoning for automated agents. (shrink)

In the author's Relative lawlessness in intuitionistic analysis [this JOURNAL. vol. 52 (1987). pp. 68-88] and An intuitionistic theory of lawlike, choice and lawless sequences [Logic Colloquium '90. Springer-Verlag. Berlin. 1993. pp. 191-209] a notion of lawless ness relative to a countable information base was developed for classical and intuitionistic analysis. Here we simplify the predictability property characterizing relatively lawless sequences and derive it from the new axiom of closed data (classically equivalent to open data) together with a natural principle (...) of invariance under finite translation. We characterize relative lawlessness in terms of a notion of forcing. Finally, we study relative lawlessness on an arbitrary fan and show that the collection of lawless binary sequences (which is comeager in the sense of Baire) has probability measure zero. The reasoning is predominantly constructive. (shrink)

We introduce a natural two-cardinal version of Bagaria’s sequence of derived topologies on ordinals. We prove that for our sequence of two-cardinal derived topologies, limit points of sets can be characterized in terms of a new iterated form of pairwise simultaneous reflection of certain kinds of stationary sets, the first few instances of which are often equivalent to notions related to strong stationarity, which has been studied previously in the context of strongly normal ideals. The non-discreteness (...) of these two-cardinal derived topologies can be obtained from certain two-cardinal indescribability hypotheses, which follow from local instances of supercompactness. Additionally, we answer several questions posed by the first author, Holy and White on the relationship between Ramseyness and indescribability in both the cardinal context and in the two-cardinal context. (shrink)

Popper functions allow one to take conditional probabilities as primitive instead of deriving them from unconditional probabilities via the ratio formula P=P/P. A major advantage of this approach is it allows one to condition on events of zero probability. I will show that under plausible symmetry conditions, Popper functions often fail to do what they were supposed to do. For instance, suppose we want to define the Popper function for an isometrically invariant case in two dimensions and hence require the (...) Popper function to be rotationally invariant and defined on pairs of sets from some algebra that contains at least all countable subsets. Then it turns out that the Popper function trivializes for all finite sets: P=1 for all A ) if B is finite. Likewise, Popper functions invariant under all sequence reflections can’t be defined in a way that models a bidirectionally infinite sequence of independent coin tosses. (shrink)

Food turns out to be not only the nutrient supplier for our body but also a carrier of regulatory information. Interestingly, a recent study made the discovery that some plant/food‐derived microRNAs (miRNAs) accumulate in the serum of humans or plant‐feeding animals, and regulate mammalian gene expression in a sequence‐specific manner. The authors provided striking evidence that miRNAs could function as active signaling molecules to transport information across distinct species or even kingdoms. Although the mechanism of how miRNAs are (...) shuttled between different organisms is still not well characterized, initial results point to the involvement of microvesicles and specific RNA‐transporter‐like proteins. These findings raise both speculation about the potential impact that plants may have on animal physiology at the molecular level, and an appealing possibility that food‐derived miRNAs may offer us another means to deliver necessary nutrients or therapeutics to our bodies. (shrink)

It is generally accepted that H. Friedman’s gap condition is closely related to iterated collapsing functions from ordinal analysis. But what precisely is the connection? We offer the following answer: In a previous paper we have shown that the gap condition arises from an iterative construction on transformations of partial orders. Here we show that the parallel construction for linear orders yields familiar collapsing functions. The iteration step in the linear case is an instance of a general construction that we (...) call ‘Bachmann–Howard derivative’. In the present paper, we focus on the unary case, i.e., on the gap condition for sequences rather than trees and, correspondingly, on addition-free ordinal notation systems. This is partly for convenience, but it also allows us to clarify a phenomenon that is specific to the unary setting: As shown by van der Meeren, Rathjen and Weiermann, the gap condition on sequences admits two linearizations with rather different properties. We will see that these correspond to different recursive constructions of sequences. (shrink)

Emerging genomic technologies promise more efficient infectious disease control. Whole genome sequencing is increasingly being used in tuberculosis diagnosis, surveillance, and epidemiology. However, while the use of WGS by public health agencies may raise ethical, legal, and socio-political concerns, these challenges are poorly understood. Between November 2017 and April 2018, we conducted semi-structured interviews with 22 key stakeholders across the fields of governance and policy, public health, and laboratory sciences representing the major jurisdictions currently using WGS in national TB programs. (...) Thematic analysis of the interviews was conducted using NVivo 11. Respondents identified several ethical and practical challenges associated with WGS in TB care and surveillance, all related to issues of trust, including: 1) the power of public health; 2) data sharing and profits derived from surveillance efforts; and 3) concerns regarding who has access to, and can benefit from, the technology. Additional challenges included: the potential utility that WGS adds to a public health program, the risks associated with linking necessary epidemiological metadata to the genomic data, and challenges associated with jurisdictional capacity to implement the technology. Successful implementation of WGS is dependent on fostering relationships of trust between those working with genomics technology and those directly impacted by it, including clinicians. Building trust between the public and the public health agencies and within public health agencies themselves is critical due to the inherent complexity of WGS and its implementation for communicable disease control purposes. (shrink)

We present a method for relevance sensitive non-monotonic inference from belief sequences which incorporates insights pertaining to prioritized inference and relevance sensitive, inconsistency tolerant belief revision. Our model uses a finite, logically open sequence of propositional formulas as a representation for beliefs and defines a notion of inference from maxiconsistent subsets of formulas guided by two orderings: a temporal sequencing and an ordering based on relevance relations between the putative conclusion and formulas in the sequence. The relevance relations (...) are ternary (using context as a parameter) as opposed to standard binary axiomatizations. The inference operation thus defined easily handles iterated revision by maintaining a revision history, blocks the derivation of inconsistent answers from a possibly inconsistent sequence and maintains the distinction between explicit and implicit beliefs. In doing so, it provides a finitely presented formalism and a plausible model of reasoning for automated agents. (shrink)

We have refined entropy theory to explore the meaning of the increasing sequence data on nucleic acids and proteins more conveniently. The concept of selection constraint was not introduced, only the analyzed sequences themselves were considered. The refined theory serves as a basis for deriving a method to analyze non-coding regions (NCRs) as well as coding regions. Positions with maximal entropy might play the most important role in genome functions as opposed to positions with minimal entropy. This method was (...) tested in the well-characterized coding regions of 12 strains of Classical Swine Fever Virus (CSFV) and non-coding regions of 20 strains of CSFV. It is suitable to analyze nucleic acid sequences of a complete genome and to detect sensitive positions for mutagenesis. As such, the method serves to formulate the basis for elucidating the functional mechanism. (shrink)

Suppose that 〈xk〉k∈ℕ is a countable sequence of real numbers. Working in the usual subsystems for reverse mathematics, RCA0 suffices to prove the existence of a sequence of reals 〈uk〉k∈ℕ such that for each k, uk is the minimum of {x0, x1, …, xk}. However, if we wish to prove the existence of a sequence of integer indices of minima of initial segments of 〈xk〉k∈ℕ, the stronger subsystem WKL0 is required. Following the presentation of these reverse mathematics (...) results, we will derive computability theoretic corollaries and use them to illustrate a distinction between computable analysis and constructive analysis. (shrink)

The accurate annotation of an unknown protein sequence depends on extant data of template sequences. This could be empirical or sets of reference sequences, and provides an exhaustive pool of probable functions. Individual methods of predicting dominant function possess shortcomings such as varying degrees of inter-sequence redundancy, arbitrary domain inclusion thresholds, heterogeneous parameterization protocols, and ill-conditioned input channels. Here, I present a rigorous theoretical derivation of various steps of a generic algorithm that integrates and utilizes several statistical methods (...) to predict the dominant function in unknown protein sequences. The accompanying mathematical proofs, interval definitions, analysis, and numerical computations presented are meant to offer insights not only into the specificity and accuracy of predictions, but also provide details of the operatic mechanisms involved in the integration and its ensuing rigor. The algorithm uses numerically modified raw hidden markov model scores of well defined sets of training sequences and clusters them on the basis of known function. The results are then fed into an artificial neural network, the predictions of which can be refined using the available data. This pipeline is trained recursively and can be used to discern the dominant principal function, and thereby, annotate an unknown protein sequence. Whilst, the approach is complex, the specificity of the final predictions can benefit laboratory workers design their experiments with greater confidence. -/- . (shrink)

In recent years, the distributed architecture has been widely adopted by security companies with the rapid expansion of their business. A distributed system is comprised of many computing nodes of different components which are connected by high-speed communication networks. With the increasing functionality and complexity of the systems, failures of nodes are inevitable which may result in considerable loss. In order to identify anomalies of the possible failures and enable DevOps engineers to operate in advance, this paper proposes a two-layer (...) prediction architecture based on the monitoring sequences of nodes status. Generally speaking, in the first layer, we make use of EXPoSE anomaly detection technique to derive anomaly scores in constant time which are then used as input data for ensemble learning in the second layer. Experiments are conducted on the data provided by one of the largest security companies, and the results demonstrate the predictability of the proposed approach. (shrink)

In [6] Messmer and Wood proved quantifier elimination for separably closed fields of finite Ershov invariant e equipped with a (certain) Hasse derivation. We propose a variant of their theory, using a sequence of e commuting Hasse derivations. In contrast to [6] our Hasse derivations are iterative.

We argue that the pictorial nature of certain constructions in signs and in gestures explains surprising properties of their syntax. In several sign languages, the standard word order (e.g. SVO) gets turned into SOV (with preverbal arguments) when the predicate is a classifier, a distinguished construction with highly iconic properties (e.g. Pavlič, 2016). In silent gestures, participants also prefer an SOV order in extensional constructions, irrespective of the word order of the language they speak (Goldin-Meadow et al., 2008). But in (...) silent gestures and in Brazilian Sign Language (Libras), intensional constructions can override these SOV preferences, yielding SVO instead (Schouwstra & de Swart, 2014; Napoli et al., 2017). This distinction was argued to be due to iconicity: arguments are expressed before the verb if they correspond to entities that are present before the action, otherwise they follow the verb. While agreeing with this intuition, we propose that the extensional/intensional distinction is neither empirically nor theoretically appropriate. In new data from American Sign Language, we replicate the distinction among extensional classifier predicates: for _x ate up the ball_, the ball is typically seen before the eating and a preposed object is preferred; but for _x spit out the ball_, the ball is typically seen after the spitting and a postposed object is preferred, although both _eat up_ and _spit out_ are used extensionally. We extend this finding to data involving pro-speech (= speech-replacing) gestures embedded in French sentences. We argue for a Visibility Generalization according to which arguments appear before the verb if their denotations are typically visible before the action, and we develop a new formal account within a pictorial semantics for visual animations (inspired by Greenberg and Abusch). It derives the observed word order preferences, it explains how the semantics of classifier predicates combines iconic and conventional properties, and it makes a more general point: sign language semantics combines logical semantics with pictorial semantics. (shrink)

.A term rewrite system is called simply terminating if its termination can be shown by means of a simplification ordering. According to a result of Weiermann, the derivation length function of any simply terminating finite rewrite system is eventually dominated by a Hardy function of ordinal less than the small Veblen ordinal. This bound had appeared to be of rather theoretical nature, because all known examples had had multiple recursive complexities, until recently Touzet constructed simply terminating examples with complexities beyond (...) multiple recursion. This was established by simulating the Hydra battle for all ordinal segments below the proof-theoretic ordinal of Peano arithmetic. By extending this result to the small Veblen ordinal we prove the huge bound of Weiermann to be sharp. As a spin-off we can show that total termination allows for complexities as high as those of simple termination. (shrink)

American Academy of Pediatrics (AAP) and American College of Medical Genetics (ACMG) recently provided two recommendations about predictive genetic testing of children. The Clinical Sequencing Exploratory Research Consortium's Pediatrics Working Group compared these recommendations, focusing on operational and ethical issues specific to decision making for children. Content analysis of the statements addresses two issues: (1) how these recommendations characterize and analyze locus of decision making, as well as the risks and benefits of testing, and (2) whether the guidelines conflict or (...) come to different but compatible conclusions because they consider different testing scenarios. These statements differ in ethically significant ways. AAP/ACMG analyzes risks and benefits using best interests of the child and recommends that, absent ameliorative interventions available during childhood, clinicians should generally decline to order testing. Parents authorize focused tests. ACMG analyzes risks and benefits using the interests of the child and other family members and recommends that sequencing results be examined for additional variants that can lead to ameliorative interventions, regardless of age, which laboratories should report to clinicians who should contextualize the results. Parents must accept additional analysis. The ethical arguments in these statements appear to be in tension with each other. (shrink)

Mental disorders in university students are very frequent, therefore higher education institutions have established in-campus mental healthcare centres. These clinics have particular characteristics that differ from other mental health centres, as they report to and represent an educational institution, while at the same time looking after the interests and well-being of patients requesting assistance, thus generating unique bioethical conflicts. Ethics Committees are useful tools to offer support to mental health professionals in making ethical decisions. In order to respond to these (...) issues, it was decided that an Ethics Committee would be created in the mental health clinic of a private university in Mexico City. This article describes the implementation process for this Committee, its duties and scope, as well as the case work and review methodology. A list of the most frequent ethical conflicts is attached, jointly with the ethical analysis of the cases treated throughout the year and a half or work by the Committee. (shrink)

A review of U. Mäki (ed.). Fact and Fiction in Economics, Cambridge: Cambridge University Press, 2003. pp. xvi 384. ISBN 0521 00957. As people interested mainly in theory, methodologists and philos...

Retroviruses are unusual amongst animal viruses in their capacity to integrate into host genomes and be transmitted vertically to host progeny. Vertebrate genomes contain numerous and diverse retrovirus‐derived sequences reflecting a long co‐evolutionary history during which genome invasion has occurred repeatedly, with wide‐ranging evolutionary consequences. Over the past 10 years, a detailed picture of retroviral diversity throughout vertebrate genomes has emerged, revealing striking and informative patterns that differ markedly across species. The power of these data to deliver far‐reaching insights (...) into the biology and evolution of retroviruses has been significantly advanced by recent studies identifying ongoing genome invasion in wild populations,(1) and by the characterisation of conserved mechanisms of innate antiretroviral defence.(2,3) BioEssays 28: 1153–1156, 2006. © 2006 Wiley Periodicals, Inc. (shrink)

Perhaps I should define what I mean by "ontological status" here, since much of the ensuing argument is concerned with it. I do not mean verifiability or confirmability in any reductive sense, physicalistically or phenomenologically, although it is perfectly clear that the description of how things exist requires such criteria. But to translate such criteria into ontological proofs, of the sort "what has effects, is real" is to fall prey to circularity. The alternative to such an apparently "inferred" ontology is (...) not necessarily pure, non-ontological descriptionism. Hume's suggestion was that "whatever we conceive, we conceive to be existent." In the context of Hume's conditional view of conception, such an attribution of existence to what we conceive is always probative, hypothetical. In this sense, the criteria for verifiability or confirmability also presuppose existence, even if only as the matrix in which hypothetical objects or events either do or do not have a place. If Hume's formulation is understood reflexively, then not only is what we conceive conceived to be existent, but the conception itself is conceived to be existent, since we can conceive of the fact of conceiving. This involves, of course, a distinction of levels, and the whole range of problems of metalanguages and types. For my purposes here, I shall only point out that, over the range of levels, what we conceive is neither more nor less existent than the conception itself; the empirical concept is neither more nor less existent than its extension. Existence is not a matter of degree, whatever the distinction of levels or types. Yet, there is a certain sense to the common sense appreciation that some things seem to be "more real" than others. What does break the circle of a uniform, non-modal existentiality, and makes sense out of the vaguely intuited "more real," is the hypothesis of derivative relationships between existences, i.e., the hypothesis of genetic sequence and the emergence of qualities in this sequence. In this sense, to establish the ontological status of judgment is to establish the derivative sequence of which judgment is the final term. Yet, to establish ontological status in this way, to say things are the way they have become, is to assume that genetic sequence ends, or is abolished in some instantaneous now, outside of which it is meaningless to speak of ontological status. To press this further, every genetic sequence can be differentiated into a series of "nows" each one of which paradoxically constitutes a final term in the series. As derivation has to do with coming-to-be, and apparently ends with being, in the partial sense of being constituted, so ontological status requires the additional parameter of function, as well as derivation; it requires us to speak of effects, which lie beyond the end term in any genetic sequence; to define what is also in terms of what "it" does, or what "it" becomes, or what "it" causes, or with operationism, in terms of "goings-on," without the antecedent subject-term. (shrink)

In this paper we provide a proof theoretical investigation of logical argumentation, where arguments are represented by sequents, conflicts between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems extending standard sequent calculi. The idea is to imitate argumentative movements in which certain claims are introduced or withdrawn in the presence of counter-claims. This is done by a dynamic evaluation of sequences of sequents, in which the latter are considered ‘derived’ or ‘not (...) class='Hi'>derived’ according to the content of the sequence. We show that decisive conclusions of such a process correspond to well-accepted consequences of the underlying argumentation framework. The outcome is therefore a general and modular proof-theoretical approach for paraconsistent and non-monotonic reasoning with argumentation systems. (shrink)

The advent of omic technologies and, more specifically, the progress made with specific second- and third-generation sequencing technologies, gives us the possibility of knowing the particular sequence of individual genomes at a relatively affordable cost. In the not too distant future, these sequencing technologies combined with specific functional analysis will be used, at a genomic level and with a much finer degree of detail than the old molecular diagnostic tests, to identify the diseases associated with each person’s genetic map. (...) New dilemmas in different contexts have emerged with the advent of these technologies. From a bioethical perspective, the problem is not rooted in detailed research on the human genome per se, but in the purpose that can be given to information derived from this type of scientific research, which could become a useful tool for selecting, rejecting and discriminating against persons, because they have a hereditary disease or the potential to develop specific diseases in the future. This article analyzes the relationship between the eugenic mentality, the concept of quality of life, and genomic molecular diagnosis, when applied to human embryos for the purpose of preventing their implantation. Such action threatens the very life and dignity of a human being in its early stages of development. (shrink)

Recent breakthroughs in stem cell differentiation and reprogramming suggest that functional human gametes could soon be created in vitro. While the ethical debate on the uses of in vitro generated gametes (IVG) was originally constrained by the fact that they could be derived only from embryonic stem cell lines, the advent of somatic cell reprogramming, with the possibility to easily derive human induced pluripotent stem cells from any individual, affords now a major leap in the feasibility of IVG derivation (...) and in the scope of their potential applications. In this paper we develop an ethical framework, rooted in recent scientific evidence, to support a robust experimental pipeline that could enable the first-in-human use of IVG. We then apply this framework to the following objectives: (1) a clarification of the genetic parenting options afforded by IVG, along with their ethical underpinnings; (2) a defence of the use of IVG to remedy infertility, broadening their scope to same-sex couples; (3) an assessment of the most far-reaching implications of IVG for multiplex parenting. These include, first, the liberation of parenting roles from the constraints of biological generations in vivo, allowing multiple individuals to engage in genetic parenting together, thus blurring the distinction between biological and social generations. Second, we discuss the conflation of IVG with sequencing technology and its implications for the possibility that prospective parents may choose among a hitherto unprecedented number of potential children. In view of these perspectives, we argue that, contrary to the exhausted paradigm according to which society lags behind science, IVG may represent instead a salient and most visible instance where biotechnological ingenuity could be used in pursuit of social experimentation. (shrink)

According to behavioural theories deriving from pragmatism, gestalt psychology, existentialism, and ecopsychology, knowledge about the world is gained by intentional action followed by learning. In terms of the neurodynamics described here, if the intending of an act comes to awareness through reafference, it is perceived as a cause. If the consequences of an act come to awareness through proprioception and exteroception, they are perceived as an effect. A sequence of such states of awareness comprises consciousness, which can grow in (...) complexity to include self-awareness. Intentional acts do not require awareness, whereas voluntary acts require self-awareness. Awareness of the action/perception cycle provides the cognitive metaphor of linear causality as an agency. Humans apply this metaphor to objects and events in the world to predict and control them, and to assign social responsibility. Thus, linear causality is the bedrock of technology and social contracts. Complex material systems with distributed non-linear feedback, such as brains and their neural and behavioural activities, cannot be explained by linear causality. They can be said to operate by circular causality without agency. The nature of self-control is described by breaking the circle into a forward limb, the intentional self, and a feedback limb, awareness of the self and its actions. The two limbs are realized through hierarchically stratified kinds of neural activity. Intentional acts are produced by the self-organized microscopic neural activity of cortical and subcortical components in the brain. Awareness supervenes as a macroscopic ordering state, that defers action until the self-organizing microscopic process has reached closure in reflective prediction. Agency, which is removed from the causal hierarchy by the appeal to circularity, re-appears as a metaphor by which events in the world are anthropomorphized, making them appear subject to human control. (shrink)

I explain in what sense the structure of space and time is probably vague or indefinite, a notion I define. This leads to the mathematical representation of location in space and time by a vague interval. From this, a principle of complementary inaccuracy between spatial location and velocity is derived, and its relation to the Uncertainty Principle discussed. In addition, even if the laws of nature are deterministic, the behaviour of systems will be random to some degree. These and (...) other considerations draw classical physics closer to Quantum Mechanics. An arrow of entropy is also derived, given an arrow of time. Lastly, chaos is given an additional, objective meaning. (shrink)

In the probability literature, a martingale is often referred to as a “fair game.” A martingale investment is a stochastic sequence of wealth levels, whose expected value at any future stage is equal to the investor’s current wealth. In decision theory, a risk neutral investor would therefore be indifferent between holding on to a martingale investment, and receiving its payoff at any future stage, or giving it up and maintaining his current wealth. But a risk-averse decision maker would not (...) be indifferent between a martingale investment and his current wealth level, since he values uncertain deals less than their mean. A risk seeking decision maker, on the other hand, would readily accept a martingale investment in exchange for his current wealth, and would repeat this investment any number of times. These ideas lead us to introduce the notion of a “risk-adjusted martingale”; a stochastic sequence of wealth levels that a rational decision maker with any attitude toward risk would value constantly with time, and would be indifferent between receiving its pay-off at any future stage, or giving it up and maintaining his current wealth level. We show how to construct such risk-adjusted investments for any decision maker with a continuous monotonic utility function. The fundamental result we derive is that a pay-off structure of an investment (i) is a risk-adjusted martingale and (ii) can be represented by a lattice if and only if the pay-off functions are invariant transformations of the given utility function. (shrink)

Progress in sequencing the genome of the model plant Arabidopsis is reviewed. The resulting analysis of the sequence indicates an information-rich genome that is being tackled by a variety of high-throughput approaches aimed at understanding the functions of plant genes. The information derived from these systematic studies is providing important new knowledge of biological processes found uniquely in plants for comparison with that obtained in other multicellular organisms. BioEssays 1999;21:110–120. © 1999 John Wiley & Sons, Inc.

Consider a sequence of outcomes of descending value, A > B > C >... > Z. According to Larry Temkin, there are reasons to deny the continuity axiom in certain ‘extreme’ cases, i.e. cases of triplets of outcomes A, B and Z, where A and B differ little in value, but B and Z differ greatly. But, Temkin argues, if we assume continuity for ‘easy’ cases, i.e. cases where the loss is small, we can derive continuity for the ‘extreme’ (...) case by applying the axiom of substitution and the axiom of transitivity. The rejection of continuity for ‘extreme’ cases therefore renders the triad of continuity in ‘easy’ cases, the axiom of substitution and the axiom of transitivity inconsistent.As shown by Arrhenius and Rabinowitz, Temkin's argument is flawed. I present a result which is stronger than their alternative proof of an inconsistency. However, this result is not quite what Temkin intends, because it only refers to an ordinal ranking of the outcomes in the sequence, whereas Temkin appeals to intuitions about the size of gains and losses. Against this background, it is argued that Temkin's trilemma never gets off the ground. This is because Temkin appeals to two mutually inconsistent conceptions of aggregation of value. Once these are clearly separated, it will transpire, in connection with each of them, that one of the principles to be rejected does not appear plausible. Hence, there is nothing surprising or challenging about the result; it is merely a corollary to Expected Utility Theory. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.UNACCEPTABLE RISKS AND THE CONTINUITY AXIOMVolume 28, Issue 1Karsten Klint Jensen DOI: https://doi.org/10.1017/S0266267112000107Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. UNACCEPTABLE RISKS AND THE CONTINUITY AXIOMVolume 28, Issue 1Karsten Klint Jensen DOI: https://doi.org/10.1017/S0266267112000107Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. UNACCEPTABLE RISKS AND THE CONTINUITY AXIOMVolume 28, Issue 1Karsten Klint Jensen DOI: https://doi.org/10.1017/S0266267112000107Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

Most molecular biological concepts derive from physical chemical assumptions about the genetic code that are basically more than 40 years old. Additionally, systems biology, another quantitative approach, investigates the sum of interrelations to obtain a more holistic picture of nucleotide sequence order. Recent empirical data on genetic code compositions and rearrangements by mobile genetic elements and non-coding RNAs, together with results of virus research and their role in evolution, does not really fit into these concepts and compel a re-examination. (...) In this review we try to find an alternate hypothesis. It seems plausible now that if we look at the abundance of regulatory RNAs and persistent viruses in host genomes, we will find more and more evidence that the key players that edit the genetic codes of host genomes are consortia of RNA agents and viruses that drive evolutionary novelty and regulation of cellular processes in all steps of development. This agent-based approach may lead to a qualitative RNA sociology that investigates and identifies relevant behavioural motifs of cooperative RNA consortia. In addition to molecular biological perspectives this may lead to a better understanding of genetic code evolution and dynamics. (shrink)

In plants, virus‐derived double‐stranded RNA is processed into small interfering (si)RNAs by RNAse III‐type enzymes. siRNAs are believed to guide an RNA‐induced silencing complex (RISC) to promote sequence‐specific degradation (or ‘slicing’) of homologous viral transcripts. This process, called RNA silencing, likely involves Argonaute (AGO) proteins that are known components of plant and animal RISCs. Plant viruses commonly counteract the silencing immune response by producing suppressor proteins, but the molecular basis of their action has remained largely unclear. A recent (...) study by Zhang and colleagues1 now shows that the 2b suppressor of Cucumber mosaic virus directly interacts with Arabidopsis AGO1 and inhibits its slicing activity, suggesting that AGO1 might be a component of the elusive plant antiviral RISC. BioEssays 29:319–323, 2007. © 2007 Wiley Periodicals, Inc. (shrink)

The complete sequencing of the genome of the fruit fly Drosophila melanogaster offers the prospect of detailed functional analysis of the extensive gene families in this genetic model organism. Comprehensive functional analysis of family members is facilitated by access to a robust, stable and inducible expression system in a fly cell line. Here we show how the Schneider S2 cell line, derived from the Drosophila embryo, provides such an expression system, with the bonus that radioligand binding studies, second messenger (...) assays, ion imaging, patch‐clamp electrophysiology and gene silencing can readily be applied. Drosophila is also ideal for the study of new control strategies for insect pests since the receptors and ion channels that many new animal health drugs and crop protection chemicals target can be expressed in this cell line. In addition, many useful orthologues of human disease genes are emerging from the Drosophila genome and the study of their functions and interactions is another area for postgenome applications of S2 cell lines. BioEssays 24:1066–1073, 2002. © 2002 Wiley‐Periodicals, Inc. (shrink)

The rapid sequencing of entire genomes based in large measure on a DNA cloning procedure, the polymerase chain reaction (PCR), has opened new frontiers in the discovery process for novel therapeutic agents. DNA cloning is a basic tool in genomics and it has been used for over a decade. Drug discovery is currently focused on the identification of gene databases, gene arrays and protein arrays aimed at therapeutic modulation of disease-related genes—which require procedures that may involve cloning techniques. Currently, cloning (...) for pharmacologic products is most applicable in the preclinical area of drug discovery. For example, the identification of specific receptor subtypes occurred via cloning whereas traditional pharmacologic approaches that use agonists and antagonists may have failed to separate binding affinities. Successful therapeutic agents where cloning played vital role resulted in the development of synthetic insulin, growth hormone, erythropoiten and other tissue factors in blood products, Vaccines may be another successful application derived from cloning. Another area where cloning can make a significant impact upon human therapeutics is that this technique may provide a new source of cells for tissue engineering and transplantation. Stem cells, and in particular, embryonic stem cells can differentiate into other cell types such as hepatocytes and neurons to provide normal products for hepatic and neurological diseases. However, the use of cloning embryonic stem cells introduces important ethical, medical and legal issues which require that leaders in government, academic, and religious groups be fully educated in these applications. A close working relationship among these diverse groups is needed to respond wisely to the introduction of new therapeutic opportunities while at the same time providing protection for the individual and the public at large from unethical practises. (shrink)

This paper traces the application of information theory to philosophical problems of mind and meaning from the earliest days of the creation of the mathematical theory of communication. The use of information theory to understand purposive behavior, learning, pattern recognition, and more marked the beginning of the naturalization of mind and meaning. From the inception of information theory, Wiener, Turing, and others began trying to show how to make a mind from informational and computational materials. Over the last 50 years, (...) many philosophers saw different aspects of the naturalization of the mind, though few saw at once all of the pieces of the puzzle that we now know. Starting with Norbert Wiener himself, philosophers and information theorists used concepts from information theory to understand cognition. This paper provides a window on the historical sequence of contributions made to the overall project of naturalizing the mind by philosophers from Shannon, Wiener, and MacKay, to Dennett, Sayre, Dretske, Fodor, and Perry, among others. At some time between 1928 and 1948, American engineers and mathematicians began to talk about `Theory of Information' and `Information Theory,' understanding by these terms approximately and vaguely a theory for which Hartley's `amount of information' is a basic concept. I have been unable to find out when and by whom these names were first used. Hartley himself does not use them nor does he employ the term `Theory of Transmission of Information,' from which the two other shorter terms presumably were derived. It seems that Norbert Wiener and Claude Shannon were using them in the Mid-Forties. (shrink)

A common framing has it that any adequate treatment of quotation has to abandon one of the following three principles: (i) The quoted expression is a syntactic constituent of the quote phrase; (ii) If two expressions are derived by applying the same syntactic rule to a sequence of synonymous expressions, then they are synonymous; (iii) The language contains synonymous but distinct expressions. In the following, a formal syntax and semantics will be provided for a quotational language which adheres (...) to all three principles. The point here is not merely to provide a “possibility proof”, but to reveal the hard constraints on the theory of quotation, and to highlight certain assumptions at the syntax/semantics/post-semantics interfaces. (shrink)

Philosophers routinely invoke self‐control in their theorizing, but major questions remain about what exactly self‐control is. I propose a componential account in which an exercise of self‐control is built out of something more fundamental: basic intrapsychic actions called cognitive control actions. Cognitive control regulates simple, brief states called response pulses that operate across diverse psychological systems (think of one's attention being grabbed by a salient object or one's mind being pulled to think about a certain topic). Self‐control ostensibly seems quite (...) different because it regulates complex, temporally extended states such as emotions and cravings. But critically, these complex states also exhibit important componential structure: They rely on response pulses as a key means by which they bring about action. The overall picture is that self‐control consists of skilled sequences of cognitive control directed against extended streams of response pulses that arise from states such as emotions and cravings, thus preventing these states from being effective in action. The account clarifies the “atoms” of self‐control—the elemental units that get combined in complex ways to produce different kinds of self‐control actions. Surprisingly, the account, which is derived from research in cognitive science, aligns nicely with the commonsense conception of self‐control. (shrink)

A number of ways of taxonomizing human learning have been proposed. We examine the evidence for one such proposal, namely, that there exist independent explicit and implicit learning systems. This combines two further distinctions, (1) between learning that takes place with versus without concurrent awareness, and (2) between learning that involves the encoding of instances (or fragments) versus the induction of abstract rules or hypotheses. Implicit learning is assumed to involve unconscious rule learning. We examine the evidence for implicit learning (...) derived from subliminal learning, conditioning, artificial grammar learning, instrumental learning, and reaction times in sequence learning. We conclude that unconscious learning has not been satisfactorily established in any of these areas. The assumption that learning in some of these tasks (e.g., artificial grammar learning) is predominantly based on rule abstraction is questionable. When subjects cannot report the rules that govern stimulus selection, this is often because their knowledge consists of instances or fragments of the training stimuli rather than rules. In contrast to the distinction between conscious and unconscious learning, the distinction between instance and rule learning is a sound and meaningful way of taxonomizing human learning. We discuss various computational models of these two forms of learning. (shrink)

When people are engaged in social interaction, they can repeat aspects of each other’s communicative behavior, such as words or gestures. This kind of behavioral alignment has been studied across a wide range of disciplines and has been accounted for by diverging theories. In this paper, we review various operationalizations of lexical and gestural alignment. We reveal that scholars have fundamentally different takes on when and how behavior is considered to be aligned, which makes it difficult to compare findings and (...) draw uniform conclusions. Furthermore, we show that scholars tend to focus on one particular dimension of alignment (traditionally, whether two instances of behavior overlap in form), while other dimensions remain understudied. This hampers theory testing and building, which requires a well‐defined account of the factors that are central to or might enhance alignment. To capture the complex nature of alignment, we identify five key dimensions to formalize the relationship between any pair of behavior: time, sequence, meaning, form, and modality. We show how assumptions regarding the underlying mechanism of alignment (placed along the continuum of priming vs. grounding) pattern together with operationalizations in terms of the five dimensions. This integrative framework can help researchers in the field of alignment and related phenomena (including behavior matching, mimicry, entrainment, and accommodation) to formulate their hypotheses and operationalizations in a more transparent and systematic manner. The framework also enables us to discover unexplored research avenues and derive new hypotheses regarding alignment. (shrink)

A number of ways of taxonomizing human learning have been proposed. We examine the evidence for one such proposal, namely, that there exist independent explicit and implicit learning systems. This combines two further distinctions, between learning that takes place with versus without concurrent awareness, and between learning that involves the encoding of instances versus the induction of abstract rules or hypotheses. Implicit learning is assumed to involve unconscious rule learning. We examine the evidence for implicit learning derived from subliminal (...) learning, conditioning, artificial grammar learning, instrumental learning, and reaction times in sequence learning. We conclude that unconscious learning has not been satisfactorily established in any of these areas. The assumption that learning in some of these tasks is predominantly based on rule abstraction is questionable. When subjects cannot report the “implicitly learned” rules that govern stimulus selection, this is often because their knowledge consists of instances or fragments of the training stimuli rather than rules. In contrast to the distinction between conscious and unconscious learning, the distinction between instance and rule learning is a sound and meaningful way of taxonomizing human learning. We discuss various computational models of these two forms of learning. (shrink)

Large scale experiments at CERN’s Large Hadron Collider rely heavily on computer simulations, a fact that has recently caught philosophers’ attention. CSs obviously require appropriate modeling, and it is a common assumption among philosophers that the relevant models can be ordered into hierarchical structures. Focusing on LHC’s ATLAS experiment, we will establish three central results here: with some distinct modifications, individual components of ATLAS’ overall simulation infrastructure can be ordered into hierarchical structures. Hence, to a good degree of approximation, hierarchical (...) accounts remain valid at least as descriptive accounts of initial modeling steps. In order to perform the epistemic function Winsberg Model-based reasoning in scientific discovery. Kluwer Academic/plenum Publishers, New York, pp 255–269, 1999) assigns to models in simulation—generate knowledge through a sequence of skillful but non-deductive transformations—ATLAS’ simulation models have to be considered part of a network rather than a hierarchy, in turn making the associated simulation modeling messy rather than motley. Deriving knowledge-claims from this ‘mess’ requires two sources of justification: holistic validation :253–262, 2010; in Carrier M, Nordmann A Science in the context of application. Springer, Berlin, pp 115–130, 2011), and model coherence. As it turns out, the degree of model coherence sets HEP apart from other messy, simulation-intensive disciplines such as climate science, and the reasons for this are to be sought in the historical, empirical and theoretical foundations of the respective discipline. (shrink)

This book is the first to put forward a general theory of the manner in which different media--music, words, moving picture, and dance--work together to create multimedia. Beginning with a study of the way in which meaning is mediated in television commercials, the book concludes with in-depth readings of Disney's Fantasia, Madonna's video Material Girl, and Armide (Godard's sequence from the collaborative film Aria). Analysing Musical Multimedia not only shows how approaches deriving from music theory can contribute to the (...) understanding of multimedia, but also seeks to draw conclusions from the practice and further development of musical analysis. (shrink)

Context: The integration of data measured in first- and third-person frameworks is a challenge that becomes more prominent as we attempt to refine the ties between the dimensions we assume to be objective and our experience itself. As a result, cognitive science has been a target for criticism from the epistemological and methodological point of view, which has resulted in the emergence of new approaches. Neurophenomenology has been proposed as a means to address these limitations. The methodological application of this (...) discipline, even in its mildest form, enriches the methodology typically used in cognitive sciences. Problem: Nowadays psychological studies are difficult to replicate. As a way to achieve replication of results published in a previous study in order to develop a methodological adaptation suitable for electroencephalographic measurements in a subsequent experiment, first-person accounts from the participants in our pilot study were included in the experiment construction. This study’s objective is to show the benefit of including a mild-neurophenomenology-inspired approach in the adaptation from an original paradigm, which requires, foremost, the ability to replicate the original results. Method: Interviews with open and semi-structured questions were carried out at the end of an Approach-Avoidance Task (AAT. The first-person reports, together with the behavioral outcomes of each pilot, were taken into account for the development of the next piloting phase until replication of the original results was achieved, and the final experimental design was elaborated. Results: A sequence of four pilots, where the integration of third- and first-person information derived from subjects’ behavior and reported experiences while carrying them out rendered the behavioral replication we sought to achieve, providing support for a first-person enriched cognitive science paradigm. Implications: Including first-person accounts systematically during the development and performance of classic cognitive paradigms ensures that those paradigms are measuring what they claim to measure. This is the next logical step to improve replication rates, to refine the explanation of the results and avoid confounding third-person data interpretation. Constructivist content: Including first-person experiences and acknowledging the active role that participants’ experiences regarding the paradigm had in the modeling of its final version is in concordance with a constructivist standing. (shrink)