ABSTRACT The apparent consistency of Sobel sequences famously motivated David Lewis to defend a variably strict conditional semantics for counterfactuals. If Sophie had gone to the parade, she would have seen Pedro. If Sophie had gone to the parade and had been stuck behind someone tall, she would not have seen Pedro. But if the order of the counterfactuals in a Sobel sequence is reversed—in the example, if is asserted prior to —the second counterfactual asserted no longer rings true. This (...) is the Heim sequence problem. That the order of assertion makes this difference is surprising on the variably strict account. Some argue that this is reason to reject the Lewis-Stalnaker semantics outright. Others argue that the problem motivates a contextualist rendering of counterfactuals. Still others maintain that the explanation for the phenomenon is merely pragmatic. I argue that none of these is right, and I defend a novel way to understand the phenomenon. My proposal avoids the problems faced by the alternative analyses and enjoys independent support. There is, however, a difficulty for my view: it entails that many ordinarily accepted counterfactuals are not true. I argue that this cost is acceptable. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

The model of self-referential truth presented in this paper, named Revision-theoretic supervaluation, aims to incorporate the philosophical insights of Gupta and Belnap’s Revision Theory of Truth into the formal framework of Kripkean fixed-point semantics. In Kripke-style theories the final set of grounded true sentences can be reached from below along a strictly increasing sequence of sets of grounded true sentences: in this sense, each stage of the construction can be viewed as an improvement on the previous ones. I want to (...) do something similar replacing the Kripkean sets of grounded true sentences with revision-theoretic sets of stable true sentences. This can be done by defining a monotone operator through a variant of van Fraassen’s supervaluation scheme which is simply based on ω-length iterations of the Tarskian operator. Clearly, all virtues of Kripke-style theories are preserved, and we can also prove that the resulting set of “grounded” true sentences shares some nice features with the sets of stable true sentences which are provided by the usual ways of formalising revision. What is expected is that a clearer philosophical content could be associated to this way of doing revision; hopefully, a content directly linked with the insights underlying finite revision processes. (shrink)

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

We investigate the properties of Yablo sentences and for- mulas in theories of truth. Questions concerning provability of Yablo sentences in various truth systems, their provable equivalence, and their equivalence to the statements of their own untruth are discussed and answered.

Starting with the results of Li et al. in 1992 there is valuable interest in finding long range correlations in DNA sequences since it raises questions about the role of introns and intron-containing genes. In the present paper we studied two sequences that are the human T-cell receptor alpha/delta locus, Gen-Bank name HUMTCRADCV, a noncoding chromosomal fragment of M = 97630 bases (composed of less than 10% of coding regions), and the Escherichia Coli K12, Gen-Bank name ECO110K, a genomic fragment (...) with M = 111401 bases consisting of mostly coding regions and containing more that 80% of coding regions. We attributed the value (+1) to the purines and the value (-1) to the pirimidines and to such reconstructed random walk we applied the method of the Recurrence Quantification Analysis(RQA) that was introduced by Zbilut and Webber in 1994. By using dimension D=1 and Embedded Dimensions D=3 and D=5, we obtain some indicative results. Also by a simple eye examination of the reconstructed maps, the differences between coding and non coding regions are evident and impressive and consist in the presence in noncoding regions of long patches of the same colour that are absent in the coding sequence. At first sight this suggests a simple explanation to the concept of „long-range‟ correlation. On the quantitative plane, we used the %Rec., the %Det., the Ratio, the Entropy, the %Lam., and the Lmax that, as explained in detail in the text, represent the basic variables of RQA. The significant result that we have here is that both Lmax and Laminarity exhibit very large values in HUMTCRADCV and actually different in values respect to ECO110K where such variables assume more modest values. Therefore we suggest that there is the observed difference between HUMTCRADCV and ECO110K. The claimed higher long-range correlations of introns respect to exons from many authors may be explained here in reasonof such found higher values of Lmax and of Laminarity in HUMTCRADCV respect to ECO110K. (shrink)

The distinction between doing and allowing appears to have moral significance, but the very nature of the distinction is as yet unclear. Philippa Foot's ‘pre-existing threats’ account of the doing/allowing distinction is highly influential. According to the best version of Foot's account an agent brings about an outcome if and only if his behaviour is part of the sequence leading to that outcome. When understood in this way, Foot's account escapes objections by Warren Quinn and Jonathan Bennett. However, more analysis (...) is required to show what makes a relevant condition part of a sequence. Foot's account is promising, but incomplete. (shrink)

This paper investigates and develops generalizations of two-dimensional modal logics to any finite dimension. These logics are natural extensions of multidimensional systems known from the literature on logics for a priori knowledge. We prove a completeness theorem for propositional n-dimensional modal logics and show them to be decidable by means of a systematic tableau construction.

The rationale of this study was to examine the interactive effect of gender, test anxiety, and test items sequencing on the academic performance in mathematics among SS3 students in Calabar Education Zone, Cross River State. Two formulated null hypotheses directed the study. The study adopted the quasi-experimental design. Simple random sampling technique was used in drawing a sample of 474 students from a population of 8,549 SS3 students. A Mathematics Achievement Test (MAT) and a Test Anxiety Scale (TAS) were (...) used primarily as the instruments for data collection. The reliability coefficient obtained for both instruments were .88 and .82 respectively. The data collected were analyzed using descriptive statistics such as mean and standard deviation, while the null hypotheses were tested respectively, using Pearson product-moment Correlation, and Analysis of Covariance where applicable. Findings indicated that test anxiety contributes negatively to academic performance in Mathematics; there is a significant interaction effect between item sequencing and gender on academic performance; between item sequencing and test anxiety on academic performance; and between gender and test anxiety on academic performance in Mathematics respectively; The findings also showed that Based on these findings conclusion and recommendations were made. (shrink)

A set D subset of V(G) is a dominating set of a graph G if for all x ϵ V(G)\D, for some y ϵ D such that xy ϵ E(G). A dominating set D subset of V(G) is called a connected dominating set of a graph G if the subgraph <D> induced by D is connected. A connected domination number of G, denoted by γ_c(G), is the minimum cardinality of a connected dominating set D. The triple repetition sequence denoted by (...) {S_n:n ϵ Z+} is a sequence of positive integers which is repeated thrice, i.e., {S_n}={1,1,1,2,2,2,3,3,3, ...}. In this paper, we construct a combinatorial explicit formula for the triple repetition sequence of connected domination numbers of a triangular grid graph. (shrink)

Horror film sequels have not received as much serious critical attention as they deserve – this is especially true of the Saw franchise, which has suffered a general dismissal under the derogatory banner ‘Torture Porn’. In this article I use detailed textual analysis of the Saw series to expound how film sequels employ and complicate expected temporal and spatial relations – in particular, I investigate how the Saw sequels tie space and time into their narrative, methodological and moral sensibilities. Far (...) from being a gimmick or a means of ensuring loyalty to the franchise (one has to be familiar with the events of previous episodes to ascertain what is happening), it is my contention that the Saw cycle directly requests that we examine the nature of space and time, in terms of both cinematic technique and our lived, off-screen temporal/spatial orientations. -/- . (shrink)

This is a brief report of the first conference organized in Fribourg by the Réseau Romand de Narratologie. The title of the conference was Redefinitons of the Sequence in Postclassical Narratology.

Our focus in the article is to introduce a simple methodology of generating teaching-learning sequences using the semantic network techinque, followed by the emergent properties of such a network and their implications for the teaching-learning process (didactics) with marginal notes on epistemological implications. A collaborative portal for teachers, which publishes a network of prerequisites for teaching/learning any concept or an activity is introduced. The article ends with an appeal to the global community to contribute prerequisites of any subject to complete (...) the global roadmap for an altas being built on similar lines as Wikipedia. The portal is launched and waiting for community participation at http://www.gnowledge.org. (shrink)

According to the attentional resources account, mind wandering (or “task-unrelated thought”) is thought to compete with a focal task for attentional resources. Here, we tested two key predictions of this account: First, that mind wandering should not interfere with performance on a task that does not require attentional resources; second, that as task requirements become automatized, performance should improve and depth of mind wandering should increase. Here, we used a serial reaction time task with implicit- and explicit-learning groups to test (...) these predictions. Providing novel evidence for the attentional resource account’s first prediction, results indicated that depth of mind wandering was negatively associated with learning in the explicit, but not the implicit, group, indicating that mind wandering is associated with impaired explicit, but not implicit, learning. Corroborating the attention resource account’s second prediction, we also found that, overall, performance improved while at the same time depth of mind wandering increased. From an implicit learning perspective, these results are consistent with the claim that explicit learning is impaired under attentional load, but implicit learning is not. (shrink)

This chapter presents a task-based lesson sequence based on Judith Butler's Gender Trouble. Gender Trouble is a great piece of philosophical literature. However, as philosophical literature is a genre rarely found in EFL teaching, this chapter first demonstrates in detail the merits of this genre for the teaching ofEnglish for Academic Purposes. After a brief analysis of the source text, which deconstructs the entire sex-gender link and presents both sex and gender as free-floating, this chapter presents task-based methodology and how (...) it is utilized in a lesson aimed at building gender awareness and acceptance. In the target task students are asked to take the role of an ethics teacher at an Irish high school, in which the discussion arose whether the school should introduce unisex toilets and changing rooms in order to not discriminate against transsexual students. Tue study of Butler's philosophy will provide students with both the knowledge and language to accomplish this task. Open follow-up discussions often lead to powerful ethical insights in the context of gender, homo- and transsexuality. (shrink)

Two main cognitive theories predict that people find refuting evidence that falsifies their theorising difficult, if not impossible to consider, even though such reasoning may be pivotal to grounding their everyday thoughts in reality (i.e., Poletiek, 1996; Klayman & Ha, 1987). In the classic 2-4-6 number sequence task devised by psychologists to test such reasoning skills in a simulated environment – people fail the test more often than not. In the 2-4-6 task participants try to discover what rule the number (...) triple 2-4-6 conforms to. The rule is ‘ascending numbers’, but it is tricky to discover this rule. Participants tend to generate hypotheses with the properties of the 2-4-6 triple, for example, ‘even numbers ascending in twos’. They must search for evidence to test whether their hypothesis is the rule. But experimental evidence has shown that they tend to generate confirming triples that they expect to be consistent with their hypothesis rather than inconsistent falsifying triples. Counter to the two main hypothesis testing theories this paper demonstrates that falsification is possible in five 2-4-6 task experiments when participants consider an Imaginary Participant’s hypothesis. Experiment 1 and 2 show that competition with an opponent hypothesis tester facilitates falsification. Experiments 3 to 5 show that the consideration of an alternative hypothesis helps this falsification of hypotheses lead to rule discovery. The implications of the results for theories of hypothesis testing and reasoning are discussed. (shrink)

This study explores the connections between time, travel, and creative acts such as painting and poetry, highlighting the similarities that unite these themes. It also focuses on the relationships between the East and the West in regards to these subjects, and posits that travel can be understood as an active form of meditation. The study argues that the meaning of wanderings can be found by learning to make them conscious, and that there has been a deep reflection on time, consciousness, (...) and mobility since ancient times. (shrink)

The article is about a new online resource, a collaborative portal for teachers, which publishes a network of prerequisites for teaching/learning any concept or an activity. A simple and effective method of collaboratively constructing teaching-learning sequences is presented. The special emergent properties of the dependency network and their didactic and epistemic implications are pointed. The article ends with an appeal to the global teaching community to contribute prerequisites of any subject to complete the global roadmap for an altas being built (...) on similar lines as Wikipedia. The portal is launched and waiting for community participation at http://www.gnowledge.org. (shrink)

In this paper we describe a few interrelated issues for validating theories that posit levels of consciousness. First, validating levels of consciousness requires consensus about the ordering of conscious states, which cannot be easily achieved. This problem is particularly severe if we believe conscious states can be irreducibly smeared over time. Second, the relationship between conscious states is probably sometimes intransitive, which means levels of consciousness will not be amenable to a single continuous measure. Finally, even if a multidimensional approach (...) to levels of consciousness is adopted, we argue that there are further problems for its validation. (shrink)

Sobel sequences have had a huge impact on the discussion of counterfactuals. They can be composed of conditionals and mere descriptions. What is especially puzzling about them is that they are often felicitously uttered when their reversal is not. Up to now, there is no unified explanation. I examine two strategies. We might begin with conditionals and proceed to descriptions. Or we might begin with descriptions and proceed to conditionals. I argue for the latter variant and outline a universal theory (...) of Sobel sequences in terms of presuppositional anaphora. One relevant result is that the phenomenon neither counts against nor in favour of the simplified standard account of counterfactuals à la Stalnaker-Lewis. (shrink)

The author has established a mathematical theory about the system of freedom in which components of freedom are ruled by the largest freedom principle, explaining how one invariant reality can be equated with the dynamical universe. Freedom as a whole is the reality, and components of freedom show variable phenomena and become a dynamic system. In freedom, component equality leads to sequence equality; therefore, various sequences coexist in the system. Because there are incompatible sequences for any sequence, the interior of (...) freedom cannot be a static sequence. In order for the system to be a whole, there must be some connecting sequences between any two sequences. Then, at every part of freedom, it is always possible to find a group of three independent sequences that, for most components, is located inside. For the sequence group, there is a sequence through which most components flow in and out. The most abundant three - sequence group and most abundant connecting sequence correspond to the space - time structure. Other incompatible sequences correspond to particles, and interactions between these sequences correspond to interactions between particles. The interactions have some symmetries similar to those in physics, such as SU (3) AND SU (2)×U (1), thus proving the feasibility of the hypothesis: the universe is equivalent with the system of freedom. (shrink)

Closure for justification is the claim that thinkers are justified in believing the logical consequences of their justified beliefs, at least when those consequences are competently deduced. Many have found this principle to be very plausible. Even more attractive is the special case of Closure known as Single-Premise Closure. In this paper, I present a challenge to Single-Premise Closure. The challenge is based on the phenomenon of rational self-doubt – it can be rational to be less than fully confident in (...) one's beliefs and patterns of reasoning. In rough outline, the argument is as follows: Consider a thinker who deduces a conclusion from a justified initial premise via an incredibly long sequence of small competent deductions. Surely, such a thinker should suspect that he has made a mistake somewhere. And surely, given this, he should not believe the conclusion of the deduction even though he has a justified belief in the initial premise. (shrink)

This monograph investigates the temporal interpretation of narrative discourse in two parts. The theme of the first part is narrative progression. It begins with a case study of the adverb ‘now’ and its interaction with the meaning of tense. The case study motivates an ontological distinction between events, states and times and proposes that ‘now’ seeks a prominent state that holds throughout the time described by the tense. Building on prior research, prominence is shown to be influenced by principles of (...) discourse coherence and two coherence principles, NARRATION and RESULT, are given a formally explicit characterization. The key innovation is a new method for testing the definitional adequacy of NARRATION and RESULT, namely by an abductive argument. This contribution opens a new way of thinking about how eventive and stative descriptions contribute to the perceived narrative progression in a discourse. -/- The theme of the second part of the monograph is the semantics and pragmatics of tense. A key innovation is that the present and past tenses are treated as scalar alternatives, a view that is motivated by adopting a particular hypothesis concerning stative predication. The proposed analysis accounts for tense in both matrix clauses and in complements of propositional attitudes, where the notorious double access reading arises. This reading is explored as part of a corpus study that provides a glimpse of how tense semantics interacts with Gricean principles and at-issueness. Several cross-linguistic predictions of the analysis are considered, including their consequences for the Sequence of Tense phenomenon and the Upper Limit Constraint. Finally, a hypothesis is provided about how tense meanings compose with temporal adverbs and verb phrases. Two influential analysis of viewpoint aspect are then compared in light of the hypothesis. (shrink)

In a recent paper, Cheng and Werning (2016) argue that the class of episodic memories constitutes a natural kind. Endorsing the homeostatic property cluster view of natural kinds, they suggest that episodic memories can be characterized by a cluster of properties unified by an underlying neural mechanism for coding sequences of events. Here, I argue that Cheng & Werning’s proposal faces some significant, and potentially insurmountable, difficulties. Two are described as most prominent. First, the proposal fails to satisfy an important (...) normative constraint on natural kind theorizing, not providing the requisite theoretical resources for arbitration between rival taxonomies of memory. Second, the proposal is in a direct tension with a foundational principle of the HPC view: the rejection of essentialism. This has far-reaching consequences, threatening to undermine the coherence of the proposal. (shrink)

In her recent book Causation and Free Will, Carolina Sartorio develops a distinctive version of an actual-sequence account of free will, according to which, when agents choose and act freely, their freedom is exclusively grounded in, and supervenes on, the actual causal history of such choices or actions. Against this proposal, I argue for an alternative- possibilities account, according to which agents’ freedom is partly grounded in their ability to choose or act otherwise. Actual-sequence accounts of freedom are motivated by (...) a reflection on so-called Frankfurt cases. Instead, other cases, such as two pairs of examples originally designed by van Inwagen, threaten actual-sequence accounts, including Sartorio’s. On the basis of her view of causation, Sartorio contends, however, that the two members of each pair have different causal histories, so that her view is not undermined by those cases after all. I discuss these test cases further and defend my alternative-possibilities account of freedom. (shrink)

DNA sequencers, Twitter, MRIs, Facebook, particle accelerators, Google Books, radio telescopes, Tumblr: what do these things have in common? According to the evangelists of “data science,” all of these are instruments for observing reality at unprecedentedly large scales and fine granularities. This perspective ignores the social reality of these very different technological systems, ignoring how they are made, how they work, and what they mean in favor of an exclusive focus on what they generate: Big Data. But no data, big (...) or small, can be interpreted without an understanding of the process that generated them. Statistical data science is applicable to systems that have been designed as scientific instruments, but is likely to lead to confusion when applied to systems that have not. In those cases, a historical inquiry is preferable. (shrink)

The presented study introduces a new theoretical model of collapse for social, cultural, or political systems. Based on the current form of quantum anthropology conceptualized by Heidi Ann Russell, further development of this field is provided. The new theoretical model is called the spiral model of collapses, and is suggested to provide an analytical framework for collapses in social, cultural, and political systems. The main conclusions of this study are: 1) The individual crises in the period before a collapse of (...) social, cultural, and political systems form the trajectory of a conical helix similar to a vortex. 2) The occurrences of crises in the period before a collapse have the shape of the trajectory on the surface of the circular cone with a convex wall narrowing up to its peak. The shape of this cone is based on the Fibonacci sequence coiled into the three-dimensional space. 3) The constant circular movement along the trajectory of crises can occur in exceptional situations in the development of social, cultural, and political systems; however, such a state is always temporary. In such cases, the trajectory of the crisis does not follow the Fibonacci sequence, but the shape of a regular helix. Remaining on the trajectory of a regular helix in the long-term is highly improbable for social, cultural, and political systems. 4) The creation of new potentialities after the final collapse of a system is explained by the conception of topological inversion, when the heretofore embodied part of the energy-information field returns to the global, wave-particle energy-information potential. 5) The global, wave-particle energy-information potential is a source of energy-information for future embodiments in the sense of the future collapses of wave functions. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality over (...) the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

Naive observers viewed a sequence of colored Mondrian patterns, simulated on a color monitor. Each pattern was presented twice in succession, first under one daylight illuminant with a correlated color temperature of either 16,000 or 4,000 K and then under the other, to test for color constancy. The observers compared the central square of the pattern across illuminants, either rating it for sameness of material appearance or sameness of hue and saturation or judging an objective property—that is, whether its change (...) of color originated from a change in material or only from a change in illumination. Average color constancy indices were high for material appearance ratings and binary judgments of origin and low for hue–saturation ratings. Individuals’ performance varied, but judgments of material and of hue and saturation remained demarcated. Observers seem able to separate phenomenal percepts from their ontological projections of mental appearance onto physical phenomena; thus, even when a chromatic change alters perceived hue and saturation, observers can reliably infer the cause, the constancy of the underlying surface spectral reflectance. (shrink)

The paper traces the sequence of events which brought Popperian philosophy (including Lakatos) to its position on the issues of excess content, novelty and scientific progress. The general approach is to analyze Popper's and Lakatos's positions on these issues as an appropriate response to a particular philosophical problem situation in which they found themselves. The paper closes with a discussion of how these issues relate to economics and economic methodology.

L’étude proposée ici se déroulera en trois moments. Il s’agit, dans un premier temps, de revenir sur la manière dont la question du rapport entre vérité et fiction est posée dans le Traité des sensations de Condillac. Il faut rappeler la justification du recours à la fiction d’une statue gagnant un sens à la fois dans le cadre d’une analyse portant sur l’origine des idées, c’est-à-dire du recours à l’imagination dans le contexte d’une enquête métaphysique ressortissant à la raison. Dans (...) un second temps, il faut se pencher sur ce qu’on peut appeler la fonction du romanesque dans le dispositif global de la fiction condillacienne, c’est-à-dire, non pas seulement ce qui revient au fictionnel, mais en propre à un art narratif visant des séquences événementielles singulières. Enfin, on terminera par quelques remarques sur ce qui est très souvent négligé dans les études portant sur ce texte – du moins en philosophie, et qui ne manque pourtant pas d’être curieux, à savoir, justement, son inscription dans le registre des Mémoires ou des pseudo-Mémoires. (shrink)

Lezama, and later Deleuze, discovered that the baroque does not refer to an essence, but to an operative function. That operative function is the fold, which "curls and multiplies", as Lezama writes, and proliferates to infinity. We all know the examples with which Lezama placed his concept of the American baroque: the poems of Domínguez Camargo, those of Sor Juana, the architectures of the Kondori Indian, the baptismal fonts of Aleijadinho, "ornamented like accordions, with spiraloid leaves that ascend"; the chapel (...) of the Rosary, in Puebla, omamentada "without truce or free spatial parenthesis". This is how the fold operates, it is like a leprosy or a lichen -in the past, certain lichens were called leprosy-: it infests by enveloping and developing, it proliferates by setting in motion the fold-unfold pair. Lezama does not seek to reconfigure the sequences of history, but to superimpose other cycles on them, create gaps and vanishing points in chronological and causal narratives, divert the emphasis placed on cultures and redirect it to imaginary eras, until the meaning comes from a series of scales established in the historical. The eras would be ordered according to their potentiality to create images; thus it would be possible to establish the points where the image was imposed as history. The Carolingian imaginary era, for example, forged a link between the prodigies, the marvelous islands, the battles against the Saracens and theocratic reason. How are these scales established and how do they operate? How do counterpoint, images and links work? (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for (...) the domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. The NCRO ontology is free and open to all users. (shrink)

(The Kindle book can be ordered for $3.21 from Amazon) -/- Thinking is a fundamental activity of our species – those that give names to other creatures and call themselves humans. Textbooks tell us that there is about 1.2 kg of matter called the brain inside the human body. It sounds small but actually is proportionally the biggest among all animals on Earth. -/- I became more aware of thinking at around 5th grade upon hearing about an ancient paradox. It (...) can be summarized as follows. -/- ¤ -/- Once upon a time, there was a stupid king. In his kingdom lived a sage who was highly respected for his intelligence. The King did not appreciate this fact. Maybe the Sage made fun of the King’s intellect, but I am not so sure. Anyway, one day, the King summoned the Sage, intending to kill him. -/- The King said, “Wise man, I heard you earn a living by thinking and arguing. Now I give you two options to die.” -/- The Sage said, “Please tell me the choices, Your Majesty.” -/- The King continued, “You live by your tongue, so I will let you say one sentence before you die. If what you say is true, you will die by hanging. If what you say is false, you will die by beheading.” -/- Little did the King know that this was a stupid order. After a short while, the Sage confidently spoke his “last words”, which actually were what saved his life: -/- “Your Majesty, I am about to be beheaded!” -/- ¤ -/- As a “wild animal” going out into life from a young age, my brain spent a lot of time and energy looking for food. Now that I have become older, my body no longer needs so much sustenance. However, my mind craves a different type of nourishment: food for thought. -/- Food for thought can directly lead to food (on the table). My main job as a scientist exemplifies what I have just stated. Maybe we were wrong. Maybe it has been “thought for food” all along, like in such a sequence as TFFTTTFTFFTTFFFT... -/- In the hyper-chaotic infosphere today, we are surrounded by the noises of information, not only as wavy shores or waterfalls but also mega-tsunamis, through Twitter, Facebook, Tiktok, Instagram, Youtube, etc. More than ever, tranquility and calmness are necessary. Like what you have seen in wilderness video clips, predators such as lions, bears, and alligators act lightning-fast when catching prey. But when food is served, the natural world returns to its peaceful, soothing silence. -/- This short book is in its own tidy infosphere, where each little story is also brief and self-contained. Despite this small appearance, I hope the content inside carries the value of tranquility and life observation. The book is petite, but pretty sure not malnourished. A not-too-small detail is that the way the content was shaped and distilled reflects some innovations of mine and my research team: the mindsponge theory, a new theory of serendipity, the bayesvl R package, the BMF analytics, as well as other experiences from working in the field of science. After all, scientific works were my main source of food (before this book sells well – if it does). -/- Welcome to the priceless sober moments – with a chicken-burger price tag! -/- I hope this book will bring readers some moments of calmness, peaceful smiles, and maybe a couple of good laughs too. -/- ~~~ -/- *This update: December 12, 2023 (Third edition, with additions). (shrink)

The aim in this chapter is to explore the similarities and differences between the city symphony film genre of the 1920s and 1930s and the contemporary virtual city walking tours that are popular on YouTube these days, eventually discussing the change in representation of the individual in daily life over a century. The city symphony was born with modernism in the early 20th century initially to present an interpretation of the city with daily activities, human beings, their interaction with industrial (...) technology and the urban environment. A significant and pioneering film of the genre is by Walter Ruttmann titled Berlin: Symphony of a Metropolis (1927) which I will try to analyze its filmic elements in order to draft a summary of the style and vision of the director and his contemporaries. On the other hand, the virtual city walking tours on YouTube represent a very different representation of urban exploration. These videos show various cities through the act of simple walking recorded in a long one-take POV shot with a gimbal-camera. Despite minor differences in terms of commentary and music use, these videos are quite similar to each other when compared to city symphony films in general. The methodological approach for analyzing and interpreting these films and videos is guided by the neoformalist approach proposed by Bordwell and Thompson in the 1980s, along with Noël Carroll’s view on critical evaluation. Since this post-theoretical approach is non-formulaic in terms of its methodology, it fits the two examples I will provide that are stylistically very distant. After establishing the form and style of the works, I will try to follow Carroll’s suggestions in order to critically interpret, analyze and evaluate the works. The comparison between the city symphony film and virtual city walking tour reveals a complex interplay between continuity and change in regards to the individual. While both share a rather common goal of capturing the essence of urban life their differences are to be found in their stylistic choices and their interpretations of the goal itself. The city films of the 1920s and 30s were avant-garde expressions that combined artistic innovation with socio-political commentary. They were often experimental, using montage sequences, juxtaposition and abstract imagery to convey the ever changing industrialized modern city life. Ruttmann’s Berlin is emblematic of this approach, offering a poetic and critical reflection on urban existence. In contrast, the virtual city walking tours on YouTube are more accessible and immediate. They provide a first-person perspective that allows viewers to virtually traverse different cities, experiencing sights and sounds without the mediation of artistic abstraction. The similarity in these videos suggests a standardized format that prioritizes immersion over critique. This article offers a valuable contribution to the understanding of urban representation of the individual in film and digital media. By comparing the city symphony film with virtual city walking tours, I try to illuminate the evolving relationship between art, technology and urban life. I argue that not only is there a completely different representation of the individual within the frame, but there is also ethical considerations to be put forth regarding the one that makes the frame, or the camera. In the end I argue that the human-ness of a work of art or any type of video is more important than immersiveness. (shrink)

Historical explanations in evolutionary biology are commonly characterized as narrative explanations. Examples include explanations of the evolution of particular traits and explanations of macroevolutionary transitions. In this paper I present two case studies of explanations in accounts of pathogen evolution and host-pathogen coevolution, respectively, and argue that one of them is captured well by established accounts of time-sequenced narrative explanation. The other one differs from narrative explanations in important respects, even though it shares some characteristics with them as it is (...) also a population-level historical explanation. I thus argue that the second case represents a different kind of explanation that I call historical explanation of type phenomena. The main difference between the two kinds of explanation is the conceptualization of the explanandum phenomena as particulars or type phenomena, respectively. Narrative explanations explain particulars but also deal with generalization, regularities and type phenomena. Historical explanations of type phenomena, on the other hand, explain multiply realizable phenomena but also deal with particulars. The two kinds of explanation complement each other because they explain different aspects of evolution. (shrink)

Investigation into the sequence structure of the genetic code by means of an informatic approach is a real success story. The features of human language are also the object of investigation within the realm of formal language theories. They focus on the common rules of a universal grammar that lies behind all languages and determine generation of syntactic structures. This universal grammar is a depiction of material reality, i.e., the hidden logical order of things and its relations determined by natural (...) laws. Therefore mathematics is viewed not only as an appropriate tool to investigate human language and genetic code structures through computer sciencebased formal language theory but is itself a depiction of material reality. This confusion between language as a scientific tool to describe observations/experiences within cognitive constructed models and formal language as a direct depiction of material reality occurs not only in current approaches but was the central focus of the philosophy of science debate in the twentieth century, with rather unexpected results. This article recalls these results and their implications for more recent mathematical approaches that also attempt to explain the evolution of human language. (shrink)

This work demonstrates the implementation and use of an encoder-decoder model to perform a many-to-many mapping of video data to text captions. The many-to-many mapping occurs via an input temporal sequence of video frames to an output sequence of words to form a caption sentence. Data preprocessing, model construction, and model training are discussed. Caption correctness is evaluated using 2-gram BLEU scores across the different splits of the dataset. Specific examples of output captions were shown to demonstrate model generality over (...) the video temporal dimension. Predicted captions were shown to generalize over video action, even in instances where the video scene changed dramatically. Model architecture changes are discussed to improve sentence grammar and correctness. (shrink)

In a famous passage from the Philosophical Investigations, Wittgenstein describes a pupil who has been learning to write out various sequences of numbers in response to orders such as “+1” and “+2”. He has shown himself competent for numbers up to 1000, but when we have him continue the “+2” sequence beyond 1000, he writes the numerals 1004, 1008, 1012. As Wittgenstein describes the case: We say to him, “Look what you’re doing!” — He doesn’t understand us. We say “You (...) should have added two; look how you began the series!” — He answers: “Yes! Isn’t it right? I thought that’s how I should [sollen] do it. — Or suppose he were to say, pointing to the series, “But I went on in the same way!”1The passage continues:— It would now be no use to us to say “But don’t you see…?” — and repeat for him the old explanations and examples. — In such a case, we might perhaps say: this person naturally understands our order, once given our explanations, as we would understand the order “Add 2 up to 1000, 4 up to 2000, 6 up to 3000, and so on.”. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for (...) the domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)

In temporal binding, the temporal interval between one event and another, occurring some time later, is subjectively compressed. We discuss two ways in which temporal binding has been conceptualized. In studies showing temporal binding between a voluntary action and its causal consequences, such binding is typically interpreted as providing a measure of an implicit or pre-reflective “sense of agency”. However, temporal binding has also been observed in contexts not involving voluntary action, but only the passive observation of a cause-effect sequence. (...) In those contexts, it has been interpreted as a top-down effect on perception reflecting a belief in causality. These two views need not be in conflict with one another, if one thinks of them as concerning two separate mechanisms through which temporal binding can occur. In this paper, we explore an alternative possibility: that there is a unitary way of explaining temporal binding both within and outside the context of voluntary action as a top-down effect on perception reflecting a belief in causality. Any such explanation needs to account for ways in which agency, and factors connected with agency, have been shown to affect the strength of temporal binding. We show that principles of causal inference and causal selection already familiar from the literature on causal learning have the potential to explain why the strength of people’s causal beliefs can be affected by the extent to which they are themselves actively involved in bringing about events, thus in turn affecting binding. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

We provide a new perspective on the relation between the space of description of an object and the appearance of novelties. One of the aims of this perspective is to facilitate the interaction between mathematics and historical sciences. The definition of novelties is paradoxical: if one can define in advance the possibles, then they are not genuinely new. By analyzing the situation in set theory, we show that defining generic (i.e., shared) and specific (i.e., individual) properties of elements of a (...) set are radically different notions. As a result, generic and specific definitions of possibilities cannot be conflated. We argue that genuinely stating possibilities requires that their meaning has to be made explicit. For example, in physics, properties playing theoretical roles are generic; then, generic reasoning is sufficient to define possibilities. By contrast, in music, we argue that specific properties matter, and generic definitions become insufficient. Then, the notion of new possibilities becomes relevant and irreducible. In biology, among other examples, the generic definition of the space of DNA sequences is insufficient to state phenotypic possibilities even if we assume complete genetic determinism. The generic properties of this space are relevant for sequencing or DNA duplication, but they are inadequate to understand phenotypes. We develop a strong concept of biological novelties which justifies the notion of new possibilities and is more robust than the notion of changing description spaces. These biological novelties are not generic outcomes from an initial situation. They are specific and this specificity is associated with biological functions, that is to say, with a specific causal structure. Thus, we think that in contrast with physics, the concept of new possibilities is necessary for biology. (shrink)

Is well-being the kind of thing that can be summed across individuals? This paper takes a measurement-theoretic approach to answering this question. To make sense of adding well-being, we would need to identify some natural "concatenation" operation on the bearers of well-being that satisfies the axioms of extensive measurement and can therefore be represented by the arithmetic operation of addition. I explore various proposals along these lines, involving the concatenation of segments within lives over time, of entire lives led alongside (...) one another or in sequence, and of evaluatively basic propositions via conjunction. All of these proposals turn out to carry highly controversial commitments about the good. I do not claim that these commitments are unacceptable. But they suggest that we cannot simply take for granted, as many philosophers do, that there is any such thing as the sum of well-being. (shrink)

In the sequence of articles [1],...,[14], we consider Fuzziness of Time. What about space? Should we consider Fuzzy Space? What would be the Structure of the Physical world? Here we try to shed a light on this subject.

The potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

A number of philosophers of science and statisticians have attempted to justify conclusions drawn from a finite sequence of evidence by appealing to results about what happens if the length of that sequence tends to infinity. If their justifications are to be successful, they need to rely on the finite sequence being either indefinitely increasing or of a large size. These assumptions are often not met in practice. This paper analyzes a simple model of collecting evidence and finds that the (...) practice of collecting only very small sets of evidence before taking a question to be settled is rationally justified. This shows that the appeal to long run results can be used neither to explain the success of actual scientific practice nor to give a rational reconstruction of that practice. (shrink)

In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will claim that a logic is to (...) be identified with an infinite sequence of consequence relations holding between increasingly complex relata: formulae, inferences, metainferences, and so on. As a result, the present proposal allows not only to differentiate Classical Logic from ST, but also from other systems sharing with it their valid metainferences. Finally, we show how these results have interesting consequences for some topics in the philosophical logic literature, among them for the debate around Logical Pluralism. The reason being that the discussion concerning this topic is usually carried out employing a rivalry criterion for logics that will need to be modified in light of the present investigation, according to which two logics can be non-identical even if they share the same valid inferences. (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)