This research critically analyses the Israeli housing block (‘shikun’) discourse, as presented in cultural representations during 1948–1961, and its contribution to the evolution of the Israeli-Palestinian conflict. The study argues that the discursive exclusion of the shikun from Israel's socio-political history of planning and development is a central part of Israel's ethnocracy and has an essential role in exacerbating the conflict. It maintains that the shikun's exclusion is a reduction of its consequences, namely the Mizrahi population's dispersion through the shikun, (...) which stands as one of the main foundations of the Israeli ethnocratic regime. Subsequently, I identify the shikun anew as the ‘ethnocratic shikun’, and suggest that it can be a better conceptualisation to reveal how ethnic oppression, by discursive and architectural means, affects national land regimes, and thereby exacerbating regional violent conflicts. This research has two main goals. First, achieving a better understanding of Israeli society and politics by delving into a crucial component of human existence – housing, and analysing its ‘disappearance’ from public debates regarding the Middle-Eastern geopolitics. Second, the research aspires to make a methodological contribution that goes beyond Israeli housing discourse, by adding another novel layer to the Cultural Approach to Critical Discourse Analysis. (shrink)

This book addresses Foucault’s characterizations of the Enlightenment, asking whether the developmental history of the modern conception of knowledge--from the Renaissance to the Enlightenment--warrants the conclusion he draws. From the perspective of a critical evaluation of Foucault's thesis on "the crisis of modernity," the book examines whether Foucault, the philosophical and social critic, truly belongs to those intellectual trends known as a "deconstruction" and "post-modernism" that advocate a wholesale rejection of the project of modernity, demonstrating how a classification of this (...) kind contributes to an impoverishment of our understanding of Foucault's thought. (shrink)

Contrasting brain states when subjects are aware compared to unaware of a presented stimulus has allowed researchers to isolate candidate neural correlates of consciousness. Here we propose that an important next step in this research program is to investigate, perhaps paradoxically, brain states that covary with reports of absences of awareness. Specifically, we propose that in order to distinguish content-specific and content-invariant neural correlates of consciousness, a distinction needs to be made between the neural correlates of awareness of stimulus absence, (...) and the neural correlates of absence of awareness. We ground this distinction in higher-order computational models of consciousness, where the state of higher-order nodes is invariant to the specific contents of awareness. To map the different levels of these models to neurophysiological correlates, we suggest two empirical approaches – inverted designs and two-dimensional awareness reports – in which reports about awareness and stimulus presence can be dissociated. (shrink)

A target question for the scientific study of consciousness is how dimensions of consciousness, such as the ability to feel pain and pleasure or reflect on one’s own experience, vary in different states and animal species. Considering the tight link between consciousness and moral status, answers to these questions have implications for law and ethics. Here we point out that given this link, the scientific community studying consciousness may face implicit pressure to carry out certain research programs or interpret results (...) in ways that justify current norms rather than challenge them. We show that because consciousness largely determines moral status, the use of nonhuman animals in the scientific study of consciousness introduces a direct conflict between scientific relevance and ethics—the more scientifically valuable an animal model is for studying consciousness, the more difficult it becomes to ethically justify compromises to its well-being for consciousness research. Finally, in light of these considerations, we call for a discussion of the immediate ethical corollaries of the body of knowledge that has accumulated and for a more explicit consideration of the role of ideology and ethics in the scientific study of consciousness. (shrink)

In this article we review some of the main results of descriptive complexity theory in order to make the reader familiar with the nature of the investigations in this area. We start by presenting the characterization of automata recognizable languages by monadic second-order logic. Afterwards we explain the characterization of various logics by fIxed-point logics. We assume familiarity with logic but try to keep knowledge of complexity theory to aminimum.

While unnecessarily killing or injuring an insect is arguably wrong, euthanasia of an accidentally injured insect raises anew issues of whether insects can experience pain. The question takes renewed significance due to increasing insect farming for food and feed and concerns over farmed insect welfare. For euthanasia of a damaged insect to be justifiable, the damage must be sensed as a noxious stimulus (nociception) that the insect consciously experiences as pain. This pain must then lead to suffering or frustrated desire, (...) with the possibility of the animal preferring death to continued existence. A failure at any of these points would deem euthanasia moot. The neurological, behavioral, and evolutionary evidence so far suggests the concept of euthanasia does not apply to insects. (shrink)

A novel social interaction is a dynamic process, in which participants adapt to, react to and engage with their social partners. To facilitate such interactions, people gather information relating to the social context and structure of the situation. The current study aimed to deepen the understanding of the psychological determinants of behavior in a novel social interaction. Three social robots and the participant interacted non-verbally according to a pre-programmed “relationship matrix” that dictated who favored whom. Participants' gaze was tracked during (...) the interaction and, using Bayesian inference models, resulted in a measure of participants' social information-gathering behaviors. Our results reveal the dynamics in a novel environment, wherein information-gathering behavior is initially predicted by psychological inflexibility and then, toward the end of the interaction, predicted by curiosity. These results highlight the utility of using social robots in behavioral experiments. (shrink)

When analyzing database query languages a roperty, of theories, the pseudo-finite homogeneity property, has been introduced and applied (cf. [3]). We show that a stable theory has the pseudo-finite homogeneity property just in case its expressive power for finite states is bounded. Moreover, we introduce the corresponding pseudo-finite saturation property and show that a theory fails to have the finite cover property if and only if it has the pseudo-finite saturation property.

Atran proposes that humans have a unique, innate, domain-specific tendency to create taxonomies of biological kinds. We show that: (1) in ontogenesis, children develop a notion Atran claims to be innate; (2) what Atran claims is unique to biological kinds may be found in artifact kinds; and (3) although Atran proposes a domain-specific mental construct for biological rank, it can be explained in domain- general terms.

In 1951, entomologist Jay Traver published in the Proceedings of the Entomological Society of Washington her personal experiences with a mite infestation of her scalp that resisted all treatment and was undetectable to anyone other than herself. Traver is recognized as having suffered from Delusory Parasitosis: her paper shows her to be a textbook case of the condition. The Traver paper is unique in the scientific literature in that its conclusions may be based on data that was unconsciously fabricated by (...) the author’s mind. The paper may merit retraction on the grounds of error or even scientific misconduct “by reason of insanity,” but such a retraction raises the issue of discrimination against the mentally ill. This article asks what responsibilities journals have when faced with delusions disguised as science, what right editors have to question the sanity of an author, and what should be done about the Traver paper itself. By placing higher emphasis on article content than author identity, scientific integrity is maintained and a balance is struck between avoiding discrimination against the mentally ill and not preventing patients from seeking needed treatment. (shrink)

This book probes the sources and nature of the 'discontents of modernity'. It proposes a new approach to the philosophic-critical discourse on modernity. The Enlightenment is widely understood to be the foundational moment of modernity. Yet despite its appeal to reason as the ultimate ground of its authority and legitimacy, the Enlightenment has had multiple historical manifestations and, therefore, can hardly be said to be a homogenous phenomenon. The present work seeks to identify a unitive element that allows us to (...) speak of the Enlightenment. To do so, it enjoins the concept of 'ethos' and its relation to the 'discontents of modernity'. This book proposes a new theoretical framework for the examination of the interrelationships between 'critical thought' and 'modernity', based on a fundamental distinction between criticism and negation. It will appeal to scholars and students of critical theory, the history of ideas, philosophy, the sociology of knowledge, and political science. (shrink)

I Philosophers and Prophets The tradition of the Falasifa tends to refute Plato's ideal of the “philosopher-king”, in which the philosopher is distinguished as the highest human type. In contrast to the philosopher, whose knowledge is incomplete and indirect, the prophet, through revelation, attains profound knowledge and truth. According to the Falasifa version of Platonic politics, the prophet, who represents the highest form of human wisdom conditioned by divine providence, is a founder of political community and a lawgiver.

We prove some results about the limitations of the expressive power of quantifiers on finite structures. We define the concept of a bounded quantifier and prove that every relativizing quantifier which is bounded is already first-order definable (Theorem 3.8). We weaken the concept of congruence closed (see [6]) to weakly congruence closed by restricting to congruence relations where all classes have the same size. Adapting the concept of a thin quantifier (Caicedo [1]) to the framework of finite structures, we define (...) the concept of a meager quantifier. We show that no proper extension of first-order logic by means of meager quantifiers is weakly congruence closed (Theorem 4.9). We prove the failure of the full congruence closure property for logics which extend first-order logic by means of meager quantifiers, arbitrary monadic quantifiers, and the Härtig quantifier (Theorem 6.1). (shrink)

Let L be one of the topological languages L t , (L ∞ω ) t and (L κω ) t . We characterize the topological spaces which are models of the L-theory of the class of ordinals equipped with the order topology. The results show that the role played in classical model theory by the property of being well-ordered is taken over in the topological context by the property of being locally compact and scattered.

We give the first systematic study of strong isomorphism reductions, a notion of reduction more appropriate than polynomial time reduction when, for example, comparing the computational complexity of the isomorphim problem for different classes of structures. We show that the partial ordering of its degrees is quite rich. We analyze its relationship to a further type of reduction between classes of structures based on purely comparing for every n the number of nonisomorphic structures of cardinality at most n in both (...) classes. Furthermore, in a more general setting we address the question of the existence of a maximal element in the partial ordering of the degrees. (shrink)

Purpose Children are becoming heavy users of communication and information technologies from an early age. These technologies carry risks to which children may be exposed. In collaboration with the Israel Ministry of Education, the authors launched a week-long safe online awareness program for school children in 257 elementary and middle schools in Israel. Each class independently composed a safe and ethical code of online behavior following two classroom debate sessions. The purpose of this study was to analyze these codes and (...) learn how school children perceive and understand the proper use of the network using thematic analysis. Design/methodology/approach A total of 8,181 students between the ages of 8 and 14 years in 303 classes from 257 schools participated in the program. These classes composed 303 ethical codes, which were decomposed into 2,201 elements. Using mixed-methods research combining quantitative and qualitative methodologies, the elements of the ethical codes were analyzed, interpreted, and classified to identify the dominant themes and discourses used by the students when addressing issues related to safe online use. Findings Findings indicate that Israeli students are aware of the dangers and risks of the internet, and these concerns are reflected in their own ethical codes. The students discouraged online self-exposure and encouraged precautions and wariness towards members of out-groups. The themes included sentences which asked for responsible, appropriate, and lawful use, expressed concern about privacy issues, and stated the need for adult involvement. Most of them reflected an “us against them ” perspective. Originality/value The current study presents an innovative “bottom-up” program based on wisdom of the crowd approach, that can be implemented in schools internationally in order to encourage reflexivity and teach children the necessary skills for safe online experiences. In addition, this study analyses the school children’s own views of the dangers of social media and learn about their perspective and understanding of internet use. (shrink)

We prove an extension of the Lemma of Rasiowa and Sikorski and give some applications. Moreover, we analyze the relationship to corresponding results on the omission of types.

In the last decade of the 13th century Guyart Desmoulins composed a French-language version of the Bible, the ‘Bible historiale’, based on the ‘Historia Scholastica’. In the course of the 14th century this was completed to become a full bible, and a pictorial repertoire emerged that corresponded to the work’s novel requirements. Soaring demand and the efficient production on the part of the Paris workshops resulted in a standardization of some of the pictorial elements in the times of John the (...) Good and Charles V; the usual choice of motif for the frontispiece, for example, came to be some variant of the Maiestas Domini. In complete contrast to this, miniatures were created around the year 1400 that stood out due to their iconographic originality, testifying to a more nuanced perception of the ‘Bible historiale’ and its tradition. Five examples will be presented in an examination of the interrelationship of text and image. (shrink)

The undecidability of first-order logic implies that there is no computable bound on the length of shortest proofs of valid sentences of first-order logic. Some valid sentences can only have quite long proofs. How hard is it to prove such "hard" valid sentences? The polynomial time tractability of this problem would imply the fixed-parameter tractability of the parameterized problem that, given a natural number n in unary as input and a first-order sentence φ as parameter, asks whether φ has a (...) proof of length ≤ n. As the underlying classical problem has been considered by Gödel we denote this problem by p-Gödel. We show that p-Gödel is not fixed-parameter tractable if DTIME(h O(1) ) ≠ NTIME(h O(1) ) for all time constructible and increasing functions h. Moreover we analyze the complexity of the construction problem associated with p-Gödel. (shrink)

Many parameterized problems ask, given an instance and a natural number k as parameter, whether there is a solution of size k. We analyze the relationship between the complexity of such a problem and the corresponding maximality problem asking for a solution of size k maximal with respect to set inclusion. As our results show, many maximality problems increase the parameterized complexity, while “in terms of the W-hierarchy” minimality problems do not increase the complexity. We also address the corresponding construction, (...) listing, and counting problems. (shrink)

We study a refined framework of parameterized complexity theory where the parameter dependence of fixed-parameter tractable algorithms is not arbitrary, but restricted by a function in some family . For every family of functions, this yields a notion of -fixed-parameter tractability. If is the class of all polynomially bounded functions, then -fixed-parameter tractability coincides with polynomial time decidability and if is the class of all computable functions, -fixed-parameter tractability coincides with the standard notion of fixed-parameter tractability. There are interesting choices (...) of between these two extremes, for example the class of all singly exponential functions. In this article, we study the general theory of -fixed-parameter tractability. We introduce a generic notion of reduction and two classes -W[P] and -XP, which may be viewed as analogues of NP and EXPTIME, respectively, in the world of -fixed-parameter tractability. (shrink)

We observe that the W*-hierarchy, a variant (introduced by Downey, Fellows, and Taylor [7]) of the better known W-hierarchy, coincides with the W-hierarchy, though not level wise, but just as a whole hierarchy. More precisely, we prove that W[t] ⊆ W*[t] ⊆ W[2t − 2] for each t ≥ 2. It was known before that W[1] = W*[1] and W[2] = W*[2]. Our second main result is a new logical characterization of the W*-hierarchy in terms of "Fagin-definable problems." As a (...) by-product, we also obtain an improvement of our earlier characterization of the hierarchy in terms of model-checking problems. Furthermore, we obtain new complete problems for the classes W[3] and W*[3]. (shrink)

Let $\mathscr {C}$ be a class of finite and infinite graphs that is closed under induced subgraphs. The well-known Łoś–Tarski Theorem from classical model theory implies that $\mathscr {C}$ is definable in first-order logic by a sentence $\varphi $ if and only if $\mathscr {C}$ has a finite set of forbidden induced finite subgraphs. This result provides a powerful tool to show nontrivial characterizations of graphs of small vertex cover, of bounded tree-depth, of bounded shrub-depth, etc. in terms of forbidden (...) induced finite subgraphs. Furthermore, by the Completeness Theorem, we can compute from $\varphi $ the corresponding forbidden induced subgraphs. This machinery fails on finite graphs as shown by our results: –There is a class $\mathscr {C}$ of finite graphs that is definable in first-order logic and closed under induced subgraphs but has no finite set of forbidden induced subgraphs.–Even if we only consider classes $\mathscr {C}$ of finite graphs that can be characterized by a finite set of forbidden induced subgraphs, such a characterization cannot be computed from a first-order sentence $\varphi $ that defines $\mathscr {C}$ and the size of the characterization cannot be bounded by $f(|\varphi |)$ for any computable function f.Besides their importance in graph theory, the above results also significantly strengthen similar known theorems for arbitrary structures. (shrink)

Leonid Levin showed that every algorithm computing a function has an optimal inverter. Recently, we applied his result in various contexts: existence of optimal acceptors, existence of hard sequences for algorithms and proof systems, proofs of Gödel’s incompleteness theorems, analysis of the complexity of the clique problem assuming the nonuniform Exponential Time Hypothesis. We present all these applications here. Even though a simple diagonalization yields Levin’s result, we believe that it is worthwhile to be aware of the explicit result. The (...) purpose of this survey is to convince the reader of our view. (shrink)

Assume that the problem P0 is not solvable in polynomial time. Let T be a first-order theory containing a sufficiently rich part of true arithmetic. We characterize T∪{ConT} as the minimal extension of T proving for some algorithm that it decides P0 as fast as any algorithm B with the property that T proves that B decides P0. Here, ConT claims the consistency of T. As a byproduct, we obtain a version of Gödelʼs Second Incompleteness Theorem. Moreover, we characterize problems (...) with an optimal algorithm in terms of arithmetical theories. (shrink)

Recognising and responding appropriately to emotions is critical to adaptive psychological functioning. Psychopathic traits (e.g. callous, manipulative, impulsive, antisocial) are related to differences in recognition and response when emotion is conveyed through facial expressions and language. Use of emotional music stimuli represents a promising approach to improve our understanding of the specific emotion processing difficulties underlying psychopathic traits because it decouples recognition of emotion from cues directly conveyed by other people (e.g. facial signals). In Experiment 1, participants listened to clips (...) of emotional music and identified the emotional content (Sample 1, N = 196) or reported on their feelings elicited by the music (Sample 2, N = 197). Participants accurately recognised (t(195) = 32.78, p <.001, d = 4.69) and reported feelings consistent with (t(196) = 7.84, p <.001, d = 1.12) the emotion conveyed in the music. However, psychopathic traits were associated with reduced emotion recognition accuracy (F(1, 191) = 19.39, p <.001) and reduced likelihood of feeling the emotion (F(1, 193) = 35.45, p <.001), particularly for fearful music. In Experiment 2, we replicated findings for broad difficulties with emotion recognition (Sample 3, N = 179) and emotional resonance (Sample 4, N = 199) associated with psychopathic traits. Results offer new insight into emotion recognition and response difficulties that are associated with psychopathic traits. (shrink)