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)

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.

In the course of proving a tenability result about the probabilities of conditionals, van Fraassen (1976) introduced a semantics for conditionals based on ω-sequences of worlds, which amounts to a particularly simple special case of ordering semantics for conditionals. On that semantics, ‘If p, then q’ is true at an ω-sequence just in case q is true at the first tail of the sequence where p is true (if such a tail exists). This approach has become increasingly popular (...) in recent years. However, its logic has never been explored. We axiomatize the logic of ω-sequence semantics, showing that it is the result of adding two new axioms to Stalnaker’s logic C2: one, Flattening, which is prima facie attractive, and, and a second, Sequentiality, which is complex and difficult to assess, but, we argue, likely invalid. But we also show that when sequence semantics is generalized from ω-sequences to arbitrary (transfinite) ordinal sequences, the result is a more attractive logic that adds only Flattening to C2. We also explore the logics of a few other interesting restrictions of ordinal sequence semantics. Finally, we address the question of whether sequence semantics is motivated by probabilistic considerations, answering, pace van Fraassen, in the negative. (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.

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 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.

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)

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)

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 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)

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)

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)

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)

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)

This essay explores the concept of emergence within the framework of noncommutative systems, challenging traditional views that tie emergent behaviour to commutative rule sets. Emergence typically refers to the phenomena where higher-level complexity arises from the interactions of simpler components, often under deterministic and commutative systems. However, noncommutative systems, where the order of operations affects the outcome, introduce a unique layer of complexity that complicates this understanding. By examining the properties of noncommutative systems through formal mathematical analysis and exploring case (...) studies from quantum mechanics, this essay investigates whether emergence can genuinely arise under noncommutative conditions. The findings suggest that noncommutative rule sets lead to a richer and more intricate form of emergent behaviour, characterised by path dependence and sequence sensitivity. This challenges our existing models of complexity and opens up new pathways for understanding emergent phenomena in both physical and cognitive systems. The implications of this analysis extend beyond theoretical curiosity, suggesting that emergent properties may exist in unexpected and non-linear domains, reshaping our perception of order, chaos, and complexity. (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)

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)

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)

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)

I argue that free will and determinism are compatible, even when we take free will to require the ability to do otherwise and even when we interpret that ability modally, as the possibility of doing otherwise, and not just conditionally or dispositionally. My argument draws on a distinction between physical and agential possibility. Although in a deterministic world only one future sequence of events is physically possible for each state of the world, the more coarsely defined state of an (...) agent and his or her environment can be consistent with more than one such sequence, and thus different actions can be “agentially possible”. The agential perspective is supported by our best theories of human behaviour, and so we should take it at face value when we refer to what an agent can and cannot do. On the picture I defend, free will is not a physical phenomenon, but a higher-level one on a par with other higher-level phenomena such as agency and intentionality. (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.

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)

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)

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)

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 “Bayesianism, Infinite Decisions, and Binding”, Arntzenius et al. (Mind 113:251–283, 2004 ) present cases in which agents who cannot bind themselves are driven by standard decision theory to choose sequences of actions with disastrous consequences. They defend standard decision theory by arguing that if a decision rule leads agents to disaster only when they cannot bind themselves, this should not be taken to be a mark against the decision rule. I show that this claim has surprising implications for a (...) number of other debates in decision theory. I then assess the plausibility of this claim, and suggest that it should be rejected. (shrink)

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)

John Locke’s account of personal identity is usually thought to have been proved false by Thomas Reid’s simple ‘Gallant Officer’ argument. Locke is traditionally interpreted as holding that your having memories of a past person’s thoughts or actions is necessary and sufficient for your being identical to that person. This paper argues that the traditional memory interpretation of Locke’s account is mistaken and defends a memory continuity view according to which a sequence of overlapping memories is necessary and sufficient (...) for personal identity. On this view Locke is not vulnerable to the Gallant Officer argument. (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)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). Rather (...) it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (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)

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)

Throughout this research, imposing the training of an Artificial Neural Network (ANN) to play tic-tac-toe bored game, by training the ANN to play the tic-tac-toe logic using the set of mathematical combination of the sequences that could be played by the system and using both the Gradient Descent Algorithm explicitly and the Elimination theory rules implicitly. And so on the system should be able to produce imunate amalgamations to solve every state within the game course to make better of results (...) of winnings or getting draw. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

Recent advances in the Super Linguistics of pictures have laid the Super Semantic foundation for modelling the phenomena of narrative sequencing and co-reference in pictorial and mixed linguistic-pictorial discourses. We take up the question of how one arrives at the pragmatic interpretations of such discourses. In particular, we offer an analysis of: (i) the discourse composition problem: how to represent the joint meaning of a multi-picture discourse, (ii) observed differences in narrative sequencing in prima facie equivalent linguistic vs pictorial discourses, (...) and (iii) the phenomenon of co-referencing across pictures. We extend Segmented Discourse Representation Theory to spell out a formal Super Pragmatics that applies to linguistic, pictorial and mixed discourses, while respecting the particular ‘genius’ of either medium and computing their distinctive pragmatic interpretations. (shrink)

In dance, there is a practice called ‘marking’. When dancers mark, they execute a dance phrase in a simplified, schematic or abstracted form. Based on our interviews with professional dancers in the classical, modern, and contemporary traditions, it is fair to assume that most dancers mark in the normal course of rehearsal and practice. When marking, dancers use their body-in-motion to represent some aspect of the full-out phrase they are thinking about. Their stated reason for marking is that it saves (...) energy, avoids strenuous movement such as jumps, and sometimes it facilitates review of specific aspects of a phrase, such as tempo, movement sequence, or intention, all without the mental and physical complexity involved in creating a phrase full-out. It facilitates real-time reflection. (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)

Two options are incommensurate in value if neither is better than the other, and if a small improvement or worsening of one does not necessarily make it determinately better or worse than the other. If a person faces a sequence of choices between incommensurate options, she may end up with a worse options than she could have had, even though none of her choices are irrational. Yet it seems that rationality should save her from this bad outcome. This is (...) the practical problem posed by incommensurability of values, and it may be solved by a new account of practical reasoning. (shrink)