This volume brings together scholars working across the humanities to offer a comprehensive analysis of the environmental catastrophe as the modern-day apocalypse. An invaluable resource for students and scholars interested in the contributions of both apocalypticism and the humanities to contemporary ecological debates.

The aim of this paper is to defend the thesis, found across the works of Edmund Husserl, that the most fundamental level of subjectivity – the so-called absolute consciousness – is given in time as an immediate unity. In order to do so, I first consider Martin Hägglund’s critique of the Husserlian absolute consciousness. My subsequent answer to Hägglund has two parts: firstly, I argue that Hägglund’s own account of subjectivity is contradictory; secondly, I offer a model of absolute consciousness (...) impervious to Hägglund’s critique. Drawing on Husserl’s “Bernau Manuscripts,” I demonstrate that time is, in fact, compatible with the notions of immediacy and unity, and that a correct account of the Husserlian absolute consciousness recognizes the latter to be given as a temporally differentiated immediate unity. (shrink)

In this paper I examine the epistemological and the ethical consequences of what I call the belief in the death of the author. Drawing on Emmanuel Levinas’s Totality and Infinity, I argue that when separated from the writer’s intention, the written text becomes epistemically and ethically deficient. I then examine two aporias which emerge when the Levinasian analysis of writing is applied to Totality and Infinity qua a written text: if written signs are epistemically deficient, why should we trust Levinas’s (...) written insights? Equally, if a written text is ethically flawed, how are we to understand the multiple accounts of Levinas’s commentators attesting to an ethical dimension of reading Totality and Infinity? I then suggest that the above aporias can offer a corrective to the epistemological and ethical consequences of the belief in the death of the author identified in the first part of the paper. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in polynomial time. (...) Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

Locke claims that a person’s identity over time consists in the unity of consciousness, not in the sameness of the body. Similarly, the phenomenological approach refuses to see the criteria of identity as residing in some externally observable bodily features. Nevertheless, it does not accept the idea that personal identity has to consist either in consciousness or in the body. We are self-aware as bodily beings. After providing a brief reassessment of Locke and the post-Lockean discussion, the article draws on (...) phenomenological arguments that show the body as lived, that is, lived as one’s own body, but also possibly as “other” or “strange.” Against what has been claimed in recent writing, especially in literature on Merleau-Ponty, the author argues that the “mineness” of the body and its “alterity” are not two mutually exclusive features. In the final part of the article, the author suggests that the becoming strange of one’s own body may legitimately be considered as a prominent experience of what it means to be a person. (shrink)

We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname {DCF}_p$ and that it eliminates quantifiers after adding the inverse of the Frobenius map to the language. This strengthens the results from [4]. As a by-product, we get a new geometric axiomatization of this model companion. Along the way we also prove (...) a quantifier elimination result, which holds in a much more general context and we suggest a way of giving “one-dimensional” axiomatizations for model companions of some theories of fields with operators. (shrink)

A key component of the susceptibility to cognitive biases is the ability to monitor for conflict between intuitively cued “heuristic” answers and logical principles. While there is evidence that pe...

This volume on the semantic complexity of natural language explores the question why some sentences are more difficult than others. While doing so, it lays the groundwork for extending semantic theory with computational and cognitive aspects by combining linguistics and logic with computations and cognition. -/- Quantifier expressions occur whenever we describe the world and communicate about it. Generalized quantifier theory is therefore one of the basic tools of linguistics today, studying the possible meanings and the inferential power of quantifier (...) expressions by logical means. The classic version was developed in the 1980s, at the interface of linguistics, mathematics and philosophy. Before this volume, advances in "classic" generalized quantifier theory mainly focused on logical questions and their applications to linguistics, this volume adds a computational component, the third pillar of language use and logical activity. This book is essential reading for researchers in linguistics, philosophy, cognitive science, logic, AI, and computer science. (shrink)

For G a group definable in some structure M, we define notions of “definable” compactification of G and “definable” action of G on a compact space X , where the latter is under a definability of types assumption on M. We describe the universal definable compactification of G as View the MathML source and the universal definable G-ambit as the type space SG. We also point out the existence and uniqueness of “universal minimal definable G-flows”, and discuss issues of amenability (...) and extreme amenability in this definable category, with a characterization of the latter. For the sake of completeness we also describe the universal compactification and universal G-ambit in model-theoretic terms, when G is a topological group. (shrink)

Studie se zaměřuje na motiv receptivity vnímání v Husserlově a Merleau-Pontyho fenomenologii. V první části rekonstruuje teorii počitkových dat, neboť kritika této teorie je pro oba autory důležitá. Ve druhé části představuje Husserlův návrh chápat receptivitu vnímání s pomocí modelu uchopovaná látka – uchopující forma. Třetí část stručně rekapituluje Merleau-Pontyho kritiku Husserlovy teorie smyslové látky a nastiňuje Merleau-Pontyho vlastní výklad receptivity, který se opírá o synestetický a motorický význam smysly vnímaných kvalit.

Artykuł ma na celu wstępne przedstawienie Jacques’a Derridy jako filozofa historii. Rozwijane przezeń pojęcia okazują się wiązać z konkretną wizją dziejów. Wizja ta ujawnia się już od pierwszych tekstów Derridy i stanowi nie tyle jeden z pomniejszych wątków, ile główny temat jego myśli. W artykule skupiono się na wybranym eseju Derridy, który doprowadził do jego sporu z Michelem Foucaultem. Zestawienie tych dwóch – skądinąd obu uznawanych za poststrukturalistów – filozofów służy uwydatnieniu kluczowej roli, jaką problem historyczności pełni w dziele Jacques’a (...) Derridy. Tekst stanowi tym samym zachętę do rewizji statusu Derridy w polskiej humanistyce. (shrink)

In this paper, we address reports of “selfless” experiences from the perspective of active inference and predictive processing. Our argument builds upon grounding self-modelling in active inference as action planning and precision control within deep generative models – thus establishing a link between computational mechanisms and phenomenal selfhood. We propose that “selfless” experiences can be interpreted as cases in which normally congruent processes of computational and phenomenal self-modelling diverge in an otherwise conscious system. We discuss two potential mechanisms – within (...) the Bayesian mechanics of active inference – that could lead to such a divergence by attenuating the experience of selfhood: “self-flattening” via reduction in the depth of active inference and “self-attenuation” via reduction of the expected precision of self-evidence. (shrink)

Quantifiers in phrasal and clausal comparatives often seem to take distributive scope in the matrix clause: for instance, the sentence John is taller than every girl is is true iff for every girl it holds that John is taller than that girl. Broadly speaking, two approaches exist that derive this reading without postulating the wide scope of the quantifier: the negation analysis and the interval analysis of than-clauses. We propose a modification of the interval analysis in which than-clauses are not (...) treated as degree intervals but as degree pluralities. This small change has significant consequences: it yields a straightforward account of differentials in comparatives and it correctly predicts the existence of hitherto unnoticed readings, viz. cumulative readings of clausal comparatives. Finally, this paper also makes the case that using degree pluralities is conceptually appealing: it allows us to restrict the analysis of comparatives by mechanisms that are postulated independently in the semantics of pluralities. (shrink)

This paper aims to develop the criteria for assessing semantic arguments. However, while this notion constituted the core of ancient dialectics and is addressed in several approaches to argument analysis, the criteria for evaluating such arguments are insufficient. This paper intends to address this problem by combining the insights of classical and contemporary logic and testing them against some controversies involving controversial definitions or classifications. Through detailed case studies of the argumentative uses involving the (re)definitions of racism, war, peace, and (...) feminism, we formulated and tested eight evaluation criteria that may be expressed as critical questions. Résumé: Cet article vise à développer les critères d’évaluation des arguments sémantiques. Cependant, bien que cette notion constitue le coeur de la dialectique ancienne et soit abordée dans plusieurs approches de l’analyse des arguments, les critères d’évaluation de ces arguments sont insuffisants. Cet article vise à résoudre ce problème en combinant les idées de la logique classique et contemporaine et en les testant par rapport à certaines controverses impliquant des définitions ou des classifications controversées. À travers des études de cas détaillées sur les usages argumentatifs impliquant les (re)définitions du racisme, de la guerre, de la paix et du féminisme, nous avons formulé et mis à l’épreuve huit critères d'évaluation qui peuvent être exprimés sous forme de questions critiques. (shrink)

In this essay, I examine the motive of inner truthfulness in the moral philosophy of Kant, which came to the fore in his work in the 1790s. Truthfulness and sincerity are interpreted as the roots of all morality. In the first chapter, I present two interpretations of inner honesty from two different perspectives: in relation to a duty to oneself and to the issue of conscience. The second chapter (the core of the essay) works out the main demand of truthfulness, (...) especially in the context of the theory of radical evil from Religion within the Boundaries of Mere Reason. As a last step, I show that with the motive of truthfulness, Kant’s philosophy meets the thinking of F. Nietzsche, with its emphasis on sincerity. (shrink)

Both the multidimensional phenomenon and the polysemous notion of consciousness continue to prove resistant to consistent measurement and unambiguous definition. This is hardly surprising, given that there is no agreement even as regards the most fundamental issues they involve. One of the basic disagreements present in the continuing debate about consciousness pertains to its gradational nature. The general aim of this article is to show how consciousness might be graded and multidimensional at the same time. We therefore focus on the (...) question of what it is, exactly, that is or could be graded in cases of consciousness, and how we can measure it. Ultimately, four different gradable aspects of consciousness will be described: quality, abstractness, complexity and usefulness, which belong to four different dimensions, these being understood, respectively, as phenomenal, semantic, physiological, and functional. Consequently, consciousness may be said to vary with respect to phenomenal quality, semantic abstraction, physiological complexity, and functional usefulness. It is hoped that such a four-dimensional approach will help to clarify and justify claims about the hierarchical nature of consciousness. The approach also proves explanatorily advantageous, as it enables us not only to draw attention to certain new and important differences in respect of subjective measures of awareness and to justify how a given creature may be ranked higher in one dimension of consciousness and lower in terms of another, but also allows for innovative explanations of a variety of well-known phenomena (amongst these, the interpretations of blindsight and locked-in syndrome will be briefly outlined here). Moreover, a 4D framework makes possible many predictions and hypotheses that may be experimentally tested (We point out a few such possibilities pertaining to interdimensional dependencies). (shrink)

Cognitive architectures have often been applied to data from individual experiments. In this paper, I develop an ACT-R reader that can model a much larger set of data, eye-tracking corpus data. It is shown that the resulting model has a good fit to the data for the considered low-level processes. Unlike previous related works, the model achieves the fit by estimating free parameters of ACT-R using Bayesian estimation and Markov-Chain Monte Carlo techniques, rather than by relying on the mix of (...) manual selection + default values. The method used in the paper is generalizable beyond this particular model and data set and could be used on other ACT-R models. (shrink)

We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide an insight into branching operation yielding intractable natural language multi-quantifier expressions. Next, we focus on a linguistic case study. We use computational complexity results to investigate semantic (...) distinctions between quantified reciprocal sentences. We show a computational dichotomy<br>between different readings of reciprocity. Finally, we go more into philosophical speculation on meaning, ambiguity and computational complexity. In particular, we investigate a possibility to<br>revise the Strong Meaning Hypothesis with complexity aspects to better account for meaning shifts in the domain of multi-quantifier sentences. The paper not only contributes to the field of the formal<br>semantics but also illustrates how the tools of computational complexity theory might be successfully used in linguistics and philosophy with an eye towards cognitive science. (shrink)

Should holiness be conceived as a predicate (an attribute), a state (a mode of being) or an event (a process)? It can certainly be understood as God‘s primary attribute. This is how much of classical Christian theology sees it. It can also be thought of as a particular modus of existence shared by God and the holy ones (the saints and the angels), as attested by much of Christian tradition and popular imagination. A more dynamic view of holiness can be (...) found in Scripture and throughout Christian theological tradition; and yet, in the modern era, it has been overshadowed by the first two tendencies. This article offers a tentative enquiry into an ‘evental’ account of holiness by drawing from (1) Niels Gregersen’s and Elizabeth Johnson’s reflection on ‘deep incarnation’ and ‘deep resurrection’ as well as (2) John B. Cobb’s and Marjorie Suchocki’s process theology of the Spirit. Firstly, the ‘from above’ approach to holiness, prevailing in modern Christian theology, is briefly discussed based on John Webster’s understanding of holiness as God’s personal moral relation to humanity. Secondly, I suggest an alternative ‘from below’ approach to holiness based on Gregersen’s and Johnson’s deep Christology. Thirdly, Cobb’s and Suchocki’s take on ‘creative transformation’ and Suchocki’s original appropriation of Cobb’s insights on process pneumatology are used as a hermeneutic key to reinterpret holiness as an ‘evental’ category. Finally, the notion of the holiness of life is reconsidered in light of my proposal. (shrink)

Interview of Jakub Sirovátka with Maximilian Forschner and Rudolf Langthaler.

We introduce and study the model-theoretic notions of absolute connectedness and type-absolute connectedness for groups. We prove that groups of rational points of split semisimple linear groups (that is, Chevalley groups) over arbitrary infinite fields are absolutely connected and characterize connected Lie groups which are type-absolutely connected. We prove that the class of type-absolutely connected group is exactly the class of discretely topologized groups with the trivial Bohr compactification, that is, the class of minimally almost periodic groups.

The main question of our article is: What is the logical form of statements containing expressions such as “… is true” and “it is true that …”? We claim that these expressions are generally not used in order to assign a certain property to sentences. We indicate that a predicative interpretation of these expressions was rejected by Frege and adherents to the prosentential conception of truth. We treat these expressions as operators. The main advantage of our operational reading is the (...) fact that it adequately represents how the words, “true” and “truth,” function in everyday speech. Our approach confirms the intuition that so-called T-equivalences are not contingent truths, and explains why they seem to be—in some sense—necessary sentences. Moreover, our operational readingof truth expressions dissolves problems arising from the belief that there is some specific property—truth. The fact that we reject that truth is a certain property does not mean that we deny that the concept of truth plays a very important role in our language, and hence in our life. We indicate that the concept of truth is inseparable from the concept of sentence and vice versa—it is impossible to explicate one of these concepts without appeal to the other. (shrink)

This paper investigates the issue whether metaphors have a metaphorical or secondary meaning and how this question is related to the borderline between philosophy and linguistics. On examples by V. Woolf and H. W. Auden, it will be shown that metaphor accomplishes something more than its literal meaning expresses and this “more” cannot be captured by any secondary meaning. What is essential in the metaphor is not a secondary meaning but an internal relation between a metaphorical proposition and a description (...) of its effects. In order to understand metaphors, we have to share an ability to construe metaphorical meanings at once. The aim of this ability is to uncover an internal relation, which lies behind a particular metaphor. (shrink)

The first part of this essay is basically historical. It introduces the explanation–understanding divide, focusing in particular on the general–unique distinction. The second part is more philosophical and it presents two different claims on action. In the first place, I will try to say what it means to understand an action. Secondly, we will focus on the explanation of action as it is seen in some explanatory sciences. I will try to argue that in some cases these sciences commit what (...) I call an “external contradiction”. (shrink)

Zawarta w niniejszym artykule dyskusja z tekstem Saula Smilansky’ego O wątpliwej moralności pewnych form modlitwy składa się z dwóch części. W pierwszej bronimy tezy, że fikcyjne przykłady prezentowane przez autora albo nie stanowią powszechnie akceptowalnych form modlitwy, albo dają się interpretować tak, że nie stanowią etycznego problemu. Życzenie komuś śmierci jest bowiem zawsze nieetyczne, ale w każdej wyobrażalnej sytuacji zagrożenia życia możliwa jest modlitwa o rozwiązanie, które nie pomnaża śmierci.W drugiej części bronimy tezy, że prezentowany w przykładach Smilansky’ego stosunek ludzi (...) do Boga w ogóle nie jest religijny, a w konsekwencji działania w nich opisane nie zasługują na miano „modlitwy”. Kiedy bowiem w naszym nastawieniu do Boga liczy się tylko to, że jest On zdolny zmienić bieg zdarzeń na naszą korzyść, a to, że jest On dobry umyka naszej uwadze, wówczas nie mamy na myśli Boga tradycji religijnej. W tym punkcie przywołujemy myślicieli należących do nurtu tzw. Wittgensteinowskiego fideizmu, których krytyka modlitwy błagalnej idzie być może zbyt daleko, skłania jednak do refleksji nad granicami właściwego stosunku do Boga. (shrink)

The paper presents some common motifs of two thinkers who, despite a historical gap of several hundred years, had common roots in the tradition of Judaism. The notion of the Encounter, as analysed by Emmanuel Levinas, and the cosmogonic process of Creation in Isaac Luria’s system of thought have a common motif in the phenomenon of the socalled “contraction” (Hebrew: tzimtzum). Despite the fact that for the first thinker it is the domain of ethics and for the second the domain (...) of ontology, the act of a certain “self-limitation” or “withdrawal” plays in both cases a foundational role. (shrink)