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)

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.

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.

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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

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)

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)

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)

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)

This paper begins by applying a version of Timothy Williamson’s anti-luminosity argument to normative properties. This argument suggests that there must be at least some unknowable normative facts in normative Sorites sequences, or otherwise we get a contradiction given certain plausible assumptions concerning safety requirements on knowledge and our doxastic dispositions. This paper then focuses on the question of how the defenders of different forms of metaethical anti-realism (namely, error theorists, subjectivists, relativists, contextualists, expressivists, response dependence theorists, and constructivists) could (...) respond to the explanatory challenge created by the previous argument. It argues that, with two exceptions, the metaethical anti-realists need not challenge the argument itself, but rather they can find ways to explain how the unknowable normative facts can obtain. These explanations are based on the idea that our own attitudes on which the normative facts are grounded need not be transparent to us either. Reaching this conclusion also illuminates how metaethical anti-realists can make sense of instances of normative vagueness more generally. (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)

In der neueren Sprachphilosophie ist wiederholt der soziale Charakter des Redens betont worden. Das Buch versucht, diese These auf der Grundlage einer genauen Untersuchung der Abfolge einzelner sprachlicher Handlungen zu verteidigen. Die orthodoxe Sprechakttheorie hat sich bislang weitgehend auf die Gelingensbedingungen einzelner sprachlicher Vollzüge konzentriert. Isolierte Redehandlungen stellen allerdings in der kommunikativen Praxis einen Ausnahmefall dar: Ein kompetenter Sprecher muss nicht nur die vom sprachlichen Kontext unabhängigen Korrektheitsstandards kennen; vielmehr muss er auch in der Lage sein, die eigenen Sprechakte im (...) Rahmen eines Textes kohärent miteinander zu verknüpfen und auf Redehandlungen anderer so zu reagieren, dass ein genuiner Diskurs zwischen den Parteien entsteht – im Gegensatz zu einer bloßen Aneinanderreihung “für sich” korrekter Äußerungen. Das Buch verfolgt das Ziel, das für die Struktur derartiger Rede(handlungs)sequenzen einschlägige Reglement in seinen wesentlichen Aspekten zu rekonstruieren und insbesondere die für ein solches Projekt relevanten sprachphilosophischen Grundfragen zu klären. (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)

This paper examines the interplay of semantics and pragmatics within the domain of film. Films are made up of individual shots strung together in sequences over time. Though each shot is disconnected from the next, combinations of shots still convey coherent stories that take place in continuous space and time. How is this possible? The semantic view of film holds that film coherence is achieved in part through a kind of film language, a set of conventions which govern the relationships (...) between shots. In this paper, we develop and defend a new version of the semantic view. We articulate it for a pair of conventions that govern spatial relations between viewpoints. One such rule is already well-known; sometimes called the "180° Rule," we term it the X-Constraint; to this we add a previously unrecorded rule, the T-Constraint. As we show, both have the effect, in different ways, of limiting the way that viewpoint can shift through space from shot to shot over the course of a film sequence. Such constraints, we contend, are analogous to relations of discourse coherence that are widely recognized in the linguistic domain. If film is to have a language, it is a language made up of rules like these. (shrink)

Semantics traditionally focuses on linguistic meaning. In recent years, the Super Linguistics movement has tried to broaden the scope of inquiry in various directions, including an extension of semantics to talk about the meaning of pictures. There are close similarities between the interpretation of language and of pictures. Most fundamentally, pictures, like utterances, can be either true or false of a given state of affairs, and hence both express propositions (Zimmermann, 2016; Greenberg, 2013; Abusch, 2015). Moreover, sequences of pictures, like (...) sequences of utterances, can be used to tell stories. Wordless picture books, comics, and film are cases in point. In this paper I pick up the project of providing a dynamic semantic account of pictorial story-telling, started by Abusch (2012) and continued by Abusch & Rooth (2017); Maier & Bimpikou (2019); Fernando (2020). More specifically, I propose here a semantics of speech and thought bubbles by adding event reference to PicDRT. To get there I first review the projection-based semantics for pictures (section 1), noting the fundamental distinction between symbolic and iconic meaning that makes speech bubbles especially interesting (section 2). I then review the dynamic PicDRT framework for pictorial narratives (section 3), add events (section 4), and propose an account of speech bubbles as quotational event modification (section 5). I end with a brief look at other conventional, symbolic enrichments in comics (section 6). (shrink)

Darwinian evolutionary theory has two key terms, variations and biological selection, which finally lead to survival of the fittest variant. With the rise of molecular genetics, variations were explained as results of error replications out of the genetic master templates. For more than half a century, it has been accepted that new genetic information is mostly derived from random error-based events. But the error replication narrative has problems explaining the sudden emergence of new species, new phenotypic traits, and genome innovations (...) as a sudden single event. Meanwhile, it is recognized that errors cannot explain the evolution of genetic information, genetic novelty, and complexity. Now, empirical evidence establishes the crucial role of non-random genetic content editors, such as viruses, diversity generating retroelements, and other RNA networks, to produce new genetic information, complex regulatory control, inheritance vectors, genetic identity, immunity, new sequence space, evolution of complex organisms, and evolutionary transitions. (shrink)

Few of Kant’s distinctions have generated as much puzzlement and criticism as the one he draws in the Prolegomena between judgments of experience, which he describes as objectively and universally valid, and judgments of perception, which he says are merely subjectively valid. Yet the distinction between objective and subjective validity is central to Kant’s account of experience and plays a key role in his Transcendental Deduction of the categories. In this paper, I reject a standard interpretation of the distinction, according (...) to which judgments of perception are merely subjectively valid because they are made without sufficient investigation. In its place, I argue that for Kant, judgments of perception are merely subjectively valid because they merely report sequences of perceptions had by a subject without claiming that what is represented by the perceptions is connected in the objects the perceptions are of. Whereas the interpretation I criticize undercuts Kant’s strategy in the Deduction, I argue, my interpretation illuminates it. (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)

While there is a steadily growing literature on epistemic injustice in healthcare, there are few discussions of the role that biomedical technologies play in harming patients in their capacity as knowers. Through an analysis of newborn and pediatric genetic and genomic sequencing technologies (GSTs), I argue that biomedical technologies can lead to epistemic injustice through two primary pathways: epistemic capture and value partitioning. I close by discussing the larger ethical and political context of critical analyses of GSTs and their (...) broader implications for just and equitable healthcare delivery. (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)

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.

The paper discusses the sense in which the changes undergone by normative economics in the twentieth century can be said to be progressive. A simple criterion is proposed to decide whether a sequence of normative theories is progressive. This criterion is put to use on the historical transition from the new welfare economics to social choice theory. The paper reconstructs this classic case, and eventually concludes that the latter theory was progressive compared with the former. It also briefly comments on (...) the recent developments in normative economics and their connection with the previous two stages. (Published Online April 18 2006) Footnotes1 This paper suspersedes an earlier one entitled “Is There Progress in Normative Economics?” (Mongin 2002). I thank the organizers of the Fourth ESHET Conference (Graz 2000) for the opportunity they gave me to lecture on this topic. Thanks are also due to J. Alexander, K. Arrow, A. Bird, R. Bradley, M. Dascal, W. Gaertner, N. Gravel, D. Hausman, B. Hill, C. Howson, N. McClennen, A. Trannoy, J. Weymark, J. Worrall, two annonymous referees of this journal, and especially the editor M. Fleurbaey, for helpful comments. The editor's suggestions contributed to determine the final orientation of the paper. The author is grateful to the LSE and the Lachmann Foundation for their support at the time when he was writing the initial version. (shrink)

The neutrosophic automorphisms of a neutrosophic groups G (I) , denoted by Aut(G (I)) is a neu-trosophic group under the usual mapping composition. It is a permutation of G (I) which is also a neutrosophic homomorphism. Moreover, suppose that X1 = X(G (I)) is the neutrosophic group of inner neutrosophic auto-morphisms of a neutrosophic group G (I) and Xn the neutrosophic group of inner neutrosophic automorphisms of Xn-1. In this paper, we show that if any neutrosophic group of the sequence (...) G (I), X1, X2, … is the identity, then G (I) is nilpotent. (shrink)

Heidegger’s oeuvre (> 100 volumes) contains a plethora of comments on contemporary science, or rathertechnosciencebecause, according to Heidegger, science is inherently technical. What insights can be derived from such comments for philosophers questioning technoscience as it is practiced today? Can Heidegger’s thoughts become a source of inspiration for contemporary scholars who are confronted with automated sequencing machines, magnetic resonance imaging machines and other technoscientific contrivances? This is closely related to the question of method, I will argue. Although Heidegger himself (...) was notoriously ambivalent when it came to method, especially in his later writings, his oeuvre nonetheless contains important hints for how a philosophical questioning of technoscience could be practiced, such as: paying attention to language (to the words that we use) or taking a step backwards (towards the moment of commencement of the type of rationality at work). For Heidegger, method means: being underway, and a philosophical method must be developed along the way. After discussing Heidegger’s views on method, both in his earlier and in his later writings, three dimensions of contemporary technoscience will be addressed, namely: technoscientific objects (research artefacts), technoscientific sites (laboratories as unworldly environments) and technoscience as a global enterprise. In the final section, the question will be addressed whether and how a critical encounter between philosophy and technoscience is possible. (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 rise of molecular epigenetics over the last few years promises to bring the discourse about the sociality and susceptibility to environmental influences of the brain to an entirely new level. Epigenetics deals with molecular mechanisms such as gene expression, which may embed in the organism “memories” of social experiences and environmental exposures. These changes in gene expression may be transmitted across generations without changes in the DNA sequence. Epigenetics is the most advanced example of the new postgenomic and context-dependent (...) view of the gene that is making its way into contemporary biology. In my article I will use the current emergence of epigenetics and its link with neuroscience research as an example of the new, and in a way unprecedented sociality of contemporary biology. After a review of the most important developments of epigenetic research, and some of its links with neuroscience, in the second part I reflect on the novel challenges that epigenetics presents for the social sciences for a re-conceptualization of the link between the biological and the social in a postgenomic age. Although epigenetics remains a contested, hyped, and often uncritical terrain, I claim that especially when conceptualized in broader non-genecentric frameworks,. (shrink)

This paper is concerned with learners who aim to learn patterns in infinite binary sequences: shown longer and longer initial segments of a binary sequence, they either attempt to predict whether the next bit will be a 0 or will be a 1 or they issue forecast probabilities for these events. Several variants of this problem are considered. In each case, a no-free-lunch result of the following form is established: the problem of learning is a formidably difficult one, in that (...) no matter what method is pursued, failure is incomparably more common that success; and difficult choices must be faced in choosing a method of learning, since no approach dominates all others in its range of success. In the simplest case, the comparison of the set of situations in which a method fails and the set of situations in which it succeeds is a matter of cardinality (countable vs. uncountable); in other cases, it is a topological matter (meagre vs. co-meagre) or a hybrid computational-topological matter (effectively meagre vs. effectively co-meagre). (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)

What methodological approaches do research programs use to investigate the world? Elisabeth Lloyd’s Logic of Research Questions (LRQ) characterizes such approaches in terms of the questions that the researchers ask and causal factors they consider. She uses the Logic of Research Questions Framework to criticize adaptationist programs in evolutionary biology for dogmatically assuming selection explanations of the traits of organisms. I argue that Lloyd’s general criticism of methodological adaptationism is an artefact of the impoverished LRQ. My Ordered Factors Proposal extends (...) the LRQ to characterize approaches with sequences of questions and factors. I highlight the importance that ordering one’s investigation plays in approaches at the level of adaptationism by analyzing two research programs in community ecology: competitionists and neutralists. Competitionists and neutralists take opposed starting points and use explanatory and developmental heuristics to consider more factors in due time. On the Ordered Factors Proposal, these approaches are not only the ecological factors they are open to considering but also the order in which they will consider them. My disagreement with Lloyd’s over how to characterize methodological approaches reflects different views about methodological monism and pluralism. (shrink)