Let A be a subset of the constructive real line. What are the necessary and sufficient conditions for the set A such that A is continuously separated from other reals, i.e., there exists a continuous function f with f−1(0) = A? In this paper, we study the notions of closed sets and closure maps in constructive reverse mathematics.

It is possible to define a combinatorial closure on alternating bilinear maps with few relations similar to that in [2]. For the ℵ 0 - categorical case we show that this closure is part of the algebraic closure.

In "Supervenience, Necessary Coextension, and Reducibility" (Philosophical Studies 49, 1986, 163-176), among other results, I showed that weak or ordinary supervenience is equivalent to Jaegwon Kim's strong supervenience, given certain assumptions: S4 modality, the usual modal conception of properties as class-concepts, and diagonal closure or resplicing of the set of base properties. This last means that any mapping of possible worlds into extensions of base properties counts itself as a base property. James Van Cleve attacks the modal conception of (...) property and diagonal closure. To me it seems desperate to reject diagonal closure merely in order to save supervenience-materialism. But I concede that it may be unacceptable in the context of a sparser theory of properties. (shrink)

Closure space has been proven to be a useful tool to restructure lattices and various order structures. This paper aims to provide an approach to characterizing domains by means of closure spaces. The notion of an interpolative generalized closure space is presented and shown to generate exactly domains, and the notion of an approximable mapping between interpolative generalized closure spaces is identified to represent Scott continuous functions between domains. These produce a category equivalent to that of (...) domains with Scott continuous functions. Meanwhile, some important subclasses of domains are discussed, such as algebraic domains, _L_-domains, bounded-complete domains, and continuous lattices. Conditions are presented which, when fulfilled by an interpolative generalized closure space, make the generated domain fulfill some restrictive conditions. (shrink)

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are interconvertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete “operational” approach, in which the states and (...) measurement outcomes associated with a physical system are represented in terms of what we here call a convex operational model: a certain dual pair of ordered linear spaces–generally, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term weakly self-dual, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol—hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a symmetric bipartite state, the associated conditioning map of which is an isomorphism. (shrink)

The sociotechnical concept of closure requires researchers to identify the relevant social groups and technological frames associated with a technology, and also to map the social, political, economic, and other forces which, over time, reduce an artifacts's interpretative flexibility to a more singular and homogeneous sociotechnical formation. The closure concept has proven very useful, but I argue that its success has led it to acquire a quasi-objective status that can unnecessarily restrict the power of sociotechnical analyses. Rather than (...) being used as a meta-theoretical key that can unlock the genealogy of an artifact, closure can become a theoretical thing whose history has to be explained. Rather than using closure to explain the artifact, therefore, we wind up looking for closure itself. I argue instead for a sociotechnical theory in which artifacts, relevant social groups, and technological frames are never closed but are always open to new interpretations. (shrink)

This paper investigates structural properties of monotone function classes within the framework of three-valued logic (3VL), aiming to characterize dependencies and constraints that ensure structural finiteness and order-preserving properties. This research delves into characteristics of structurally finite classes of order-preserving 3VL map. Monotonicity plays a critical role in understanding functional behaviour, which is essential for structuring closed logical operations within $ P_{k} $. We define $ F $ as a closed class in $ P_{k} $, consisting only of mappings that (...) comply with specified operations and are strictly confined to $ P_{k} $. The notation $ F(n) $ represents the subset of mappings in $ F $ dependent on $ n $ variables, highlighting the limited scope of inputs and their respective outputs. Further analysis through $ CR(F) $ facilitates the identification of precursor subclasses within $ F $, which have not yet achieved closure under all necessary operations—a pivotal step in constructing intermediate mapping classes. Within the framework of 3VL, the study examines order-preserving maps $ f_{D}, f_{K}, f_{M^{(2)}}, f_{DM^{(2)}}, f_{KM^{(2)}} $, deliberately excluding the sets $ D, K, M^{(2)} $, where $ DM^{(2)} $ is defined as $ D \cap M^{(2)} $ and $ KM^{(2)} $ as $ K \cap M^{(2)} $. The lattice framework in $ P_{k}(1) $ for $ k = 3 $ systematically organizes these mapping classes based on their completeness properties, with particular emphasis on classes such as $ M $, which is characterized as a comprehensive set governed by the operations of maximum and minimum. Our theorems establish structural finiteness for classes of unary order-preserving maps, emphasizing their two-variable dependency in class construction. This study extends existing findings on single-variable monotonic functions within 3VL by integrating criteria of linear order. Key results include the classification of mapping classes $ F \subseteq M $ containing $ M^{(1)}_{3} $, categorized into distinct groups: $ M^{(1)}_{3}, KM^{(2)}, DM^{(2)}, M^{(2)}, K, D, M $. Inclusion relations are visualized diagrammatically, showing the hierarchical structure of these monotone classes, ultimately validating the structural finiteness of classes incorporating all unary order-preserving maps within the broader context of 3VL. (shrink)

In his logical papers, Leo Esakia studied corresponding ordered topological spaces and order-preserving mappings. Similar spaces and mappings appear in many other application areas such the analysis of causality in space-time. It is known that under reasonable conditions, both the topology and the original order relation $${\preccurlyeq}$$ can be uniquely reconstructed if we know the “interior” $${\prec}$$ of the order relation. It is also known that in some cases, we can uniquely reconstruct $${\prec}$$ (and hence, topology) from $${\preccurlyeq}$$. In this (...) paper, we show that, in general, under reasonable conditions, the open order $${\prec}$$ (and hence, the corresponding topology) can be uniquely determined from its closure $${\preccurlyeq}$$. (shrink)

We address the problems of localization, mapping, and guidance for robots with limited computational resources by combining vision with the metrical information given by the robot odometry. We propose in this article a novel light and robust topometric simultaneous localization and mapping framework using appearance-based visual loop-closure detection enhanced with the odometry. The main advantage of this combination is that the odometry makes the loop-closure detection more accurate and reactive, while the loop-closure detection enables the long-term use (...) of odometry for guidance by correcting the drift. The guidance approach is based on qualitative localization using vision and odometry, and is robust to visual sensor occlusions or changes in the scene. The resulting framework is incremental, real-time, and based on cheap sensors provided on many robots. This approach is, moreover, particularly well suited for low-power robots as it is not dependent on the image processing frequency and latency, and thus it can be applied using remote processing. The algorithm has been validated on a Pioneer P3DX mobile robot in indoor environments, and its robustness is demonstrated experimentally for a large range of odometry noise levels. (shrink)

The relation between noise and disturbance is investigated within the general framework of Galois connections. Within this framework, we introduce the notion of leak of information, mathematically defined as one of the two closure maps arising from the observable-channel compatibility relation. We provide a physical interpretation for it, and we give a comparison with the analogous closure maps associated with joint measurability and simulability for quantum observables.

All existing impossibility theorems on judgment aggregation require individ- ual and collective judgment sets to be consistent and complete (in some recent results with completeness relaxed to deductive closure), arguably a demand- ing rationality requirement. They do not carry over to aggregation functions mapping pro…les of (merely) consistent individual judgment sets to (merely) consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation func- tion that is "neutral" between the acceptance (...) and rejection of each proposition is dictatorial. We relate this theorem to the literature. (shrink)

We describe a class of semantic extensive entailment game with algorithmic players, related to game-theoretic semantics, and generalized to classical first-order semantic entailment. Players have preferences for parsimonious spending of computational resources, and compute partial strategies, under qualitative uncertainty about future histories. We prove the existence of local preferences for moves, and strategic fixpoints, that allow to map eeg game-tree to the building rules and closure rules of Smullyan's semantic tableaux. We also exhibit a strategy profile that solves the (...) fixpoint selection problem, and can be mapped to systematic constructions of semantic trees, yielding a completeness result by translation. We conclude on possible generalizations of our games. (shrink)

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via (...) spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category \({\mathcal {S}}\), provided that \({\mathcal {S}}\) has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication. (shrink)

We present some results related to Zilber’s Exponential-Algebraic Closedness Conjecture, showing that various systems of equations involving algebraic operations and certain analytic functions admit solutions in the complex numbers. These results are inspired by Zilber’s theorems on raising to powers.We show that algebraic varieties which split as a product of a linear subspace of an additive group and an algebraic subvariety of a multiplicative group intersect the graph of the exponential function, provided that they satisfy Zilber’s freeness and rotundity conditions, (...) using techniques from tropical geometry.We then move on to prove a similar theorem, establishing that varieties which split as a product of a linear subspace and a subvariety of an abelian variety A intersect the graph of the exponential map of A (again under the analogues of the freeness and rotundity conditions). The proof uses homology and cohomology of manifolds.Finally, we show that the graph of the modular j-function intersects varieties which satisfy freeness and broadness and split as a product of a Möbius subvariety of a power of the upper-half plane and a complex algebraic variety, using Ratner’s orbit closure theorem to study the images under j of Möbius varieties.Abstract prepared by Francesco Paolo GallinaroE-mail: [email protected]: https://etheses.whiterose.ac.uk/31077/. (shrink)

Ecological psychology (EP) and the enactive approach (EA) may benefit from a more focused view of lived temporality and the underlying temporal multiscalar nature of human living. We propose multiscalar temporality (MT) as a framework that complements EP and EA, and moves beyond their current conceptualisation of timescales and inter-scale relationships in organism-environment dynamical systems. MT brings into focus the wide ranging and meshwork-like interdependencies at play in human living and the questions concerning how agents are intimately entangled in such (...) meshworks, utilising them as resources for skilful living. We develop a conceptual toolkit that highlights temporality: Firstly, we address lived temporality. We use a case study from psychotherapy to show how a person’s skilful engagement with the world is best described as adaptive harnessing of interdependencies of constraints residing across a wide range of timescales. We call this skill time-ranging. Secondly, the case study provides a proof of concept of the integration of an idiographic approach to human conversing and a more general theory of emergent organisation rooted in theoretical biology. We introduce the existing concept of constraint closure from theoretical biology and scale it up to human interactivity. The detailed conceptualisation of constraint interdependencies constitutes the backbone of the proposal. Thirdly, we present a heuristic mapping of what we call organising frames. The mapping guides the conceptualisation of the emergence of inter-scale relationships and serves as an epistemic tool that brings together nomothetic and idiographic approaches. Finally, we combine new ideas with re-interpretations of existing EP and EA concepts and elaborate on the need of a fresh new look at the implicit and sometimes missing conceptualisations of temporality in the EP and EA literature. (shrink)

In this paper, I critically explore Ann Sharp’s conception of personhood as it figures in the theory and practice of the community of philosophical inquiry (CPI). Through surveying Sharp’s rich and varied philosophical output, it will be shown how Sharp’s conception of personhood as a trilateral relationship (between self, other(s), and community) maps onto “the Three C’s” of critical, creative, and caring thinking that make up the practice of Philosophy for Children. After thus presenting Sharp’s conception of personhood, the (...) paper brings into view an aspect of said conception which could benefit from further development. This potential shortfall in Sharp’s thought is identified as “the problem of closure”. In highlighting the problem of closure, I will indicate how Sharp marshals the concept of faith in her conception of CPI as a spiritual community, a relationship that is coincident with personhood itself, as it stands for the bond that ties together the individual (self and other(s)) and the collective (community) dimensions of CPI. I argue that faith serves, among other things, as an agent of closure between the individual and the collective in Sharp’s thought. In considering the function of faith in CPI, I will suggest an avenue of possible resolution to the problem of closure in Leonard Nelson’s conception of “the Socratic spirit” as the embodiment of “reason’s self-confidence”. Finally, the paper looks ahead to David Kennedy’s writings on the intentionality structure that governs the relationship between the individual and the collective in CPI as a resource that promises to offer a more rigorous and systematic treatment of the problem of closure. (shrink)

The question of what constitutes a finished work is thrown open, reminding us that in certain of his completed autographs Beethoven continued the process that he normally reserved for the earlier stages of composition, setting out further choices, possibilities, and interchangeabilities, including radical alterations in goal as well as detail. In particular, the revision of movement endings was one of his long-standing preoccupations. In works of his middle period, Emil Platen observed, Beethoven continued to make essential alterations in the closing (...) sections of movements after the works had already taken concrete notational form; for example, in the scores of the String Quartets, op. 59, “out of a total of seven movement endings, six were altered after the fact, four in essential ways.”6 Indeed the relationship between sketches and compositional goals was always more problematical than traditional scholars were willing to allow. As Lewish Lockwood has shown, the closer one looks at the sketches the less one can continue to accept as an article of faith that “as a work progresses from first inklings to final realization it should pass through successive phases of growth and clarification of structure, and of complication of detail in relation to that structure, becoming progressively more definite en route to its goal.”7 To further thicken the issue, Janet Levy has pointed out that one “cannot assume that the goals of a completed work are necessarily the same as the goals of the sketches for it,” inasmuch as the composer’s intentions may well have changed during the course of composition and we may be left with sketches made in connection with goals no longer reflected in the final work.8 Composition is only partly a teleological process whereby the composer eventually finds a lapidary form for a predetermined idea. With Beethoven, not only is there no prospective inevitability, there may even be no inevitability after the fact. His sketches and autographs may well be series of rough maps to the multiplicity of universes he glimpsed, to a plurality of possibilities, a jammed crossroads of paths taken and not taken. 6. Emil Platen, “Beethovens Autographen als Ausgangspunkt morphologischer Untersuchungen,” in Bericht über den internationalen musikwissenschaftlichen Kongress: Bonn 1970, ed. Carl Dahlhaus et al. , p. 535. See also Lewis Lockwood, “Beethoven and the Problem of Closure: Some Examples from the Middle-Period Chamber Music,” in Beiträge zu Beethovens Kammermusik, p. 270.7. Lockwood, “On Beethoven’s Sketches and Autographs: Some Problems of Definition and Interpretation,” Acta Musicologica 42 : 34.8. Levy, Beethoven’s Compositional Choices, p. 3. Maynard Solomon’s books include Beethoven , Beethoven Essays , and, most recently, Beethoven’s Tagebuch . He has also written on Schubert, Ives, and Freud, and has edited a standard work on Marxist aesthetics. He is currently writing a life of Mozart and a study of the origins of music. In 1990 he was visiting professor of music at Columbia University. (shrink)

Nearly two decades of debate have not settled the definition of research misconduct. The literature provides four explanatory frameworks for misconduct. The paper examines these frameworks and maps them onto efforts by the U.S. Public Health Service to define research misconduct and subsequent responses to these efforts by the scientific community. The changing frameworks suggest that closure will not be achieved without an authoritative effort, which may occur through the Research Integrity Panel’s recent attempt to create a government-wide (...) definition. (shrink)

Defining a composition operation on sets of formulas one obtains a many-sorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of the given type. The interpretations of formulas on an algebraic system of the same type form a many-sorted algebra with similar properties. The satisfaction of a formula by an algebraic system defines a Galois connection between classes of algebraic systems of the same type and collections of formulas. Hypersubstitutions are (...) mappings sending pairs of operation symbols to pairs of terms of the corresponding arities and relation symbols to formulas of the same arities. Using hypersubstitutions we define hyperformulas. Satisfaction of a hyperformula by an algebraic system defines a second Galois connection between classes of algebraic systems of the same type and collections of formulas. A class of algebraic systems is said to be solid if every formula which is satisfied is also satisfied as a hyperformula. On the basis of these two Galois connections we construct a conjugate pair of additive closure operators and are able to characterize solid classes of algebraic systems. (shrink)

I introduce a mathematical account of expectation based on a qualitative criterion of coherence for qualitative comparisons between gambles (or random quantities). The qualitative comparisons may be interpreted as an agent’s comparative preference judgments over options or more directly as an agent’s comparative expectation judgments over random quantities. The criterion of coherence is reminiscent of de Finetti’s quantitative criterion of coherence for betting, yet it does not impose an Archimedean condition on an agent’s comparative judgments, it does not require the (...) binary relation reflecting an agent’s comparative judgments to be reflexive, complete or even transitive, and it applies to an absolutely arbitrary collection of gambles, free of structural conditions (e.g., closure, measurability, etc.). Moreover, unlike de Finetti’s criterion of coherence, the qualitative criterion respects the principle of weak dominance, a standard of rational decision making that obliges an agent to reject a gamble that is possibly worse and certainly no better than another gamble available for choice. Despite these weak assumptions, I establish a qualitative analogue of de Finetti’s Fundamental Theorem of Prevision, from which it follows that any coherent system of comparative expectations can be extended to a weakly ordered coherent system of comparative expectations over any collection of gambles containing the initial set of gambles of interest. The extended weakly ordered coherent system of comparative expectations satisfies familiar additivity and scale invariance postulates (i.e., independence) when the extended collection forms a linear space. In the course of these developments, I recast de Finetti’s quantitative account of coherent prevision in the qualitative framework adopted in this article. I show that comparative previsions satisfy qualitative analogues of de Finetti’s famous bookmaking theorem and his Fundamental Theorem of Prevision.The results of this article complement those of another article (Pedersen, Strictly coherent preferences, no holds barred, Manuscript, 2013). I explain how those results entail that any coherent weakly ordered system of comparative expectations over a unital linear space can be represented by an expectation function taking values in a (possibly non-Archimedean) totally ordered field extension of the system of real numbers. The ordered field extension consists of formal power series in a single infinitesimal, a natural and economical representation that provides a relief map tracing numerical non-Archimedean features to qualitative non-Archimedean features. (shrink)

The relationship between brain and mind has been extensively explored through the developments within neuroscience over the last decade. However, the ontological status of mind has remained fairly problematic due to the inability to explain all features of the mind through the brain. This inability has been considered largely due to partial knowledge of the brain. It is claimed that once we gain complete knowledge of the brain, all features of the mind would be explained adequately. However, a challenge to (...) such a position is downward causation: How do we explain the causal power that mental states exert over brain activities? If we agree that downward causation occurs, then to what extent could a sole explanation of brain activities account for our behaviour? (For they would in themselves be conditioned by the mental states which are left unexplained). This dissertation is an attempt to understand relation between brain and mind through the concept of emergence, placed in the context of complex systems approach. This will create a space to account for the causal power of mental states. The complex systems approach says that as the complexity of a system increases, we witness the emergence of novel qualities and after a certain threshold (of complexity), the emergence of a novel structure. When the body (and correspondingly, brain) reaches a certain level of complexity, the mind emerges. The brain is a complex system from which the mind emerges. The brain, consisting of billions of neurons interacting with each other, regulates the body placed in the environment. The interaction of neurons (local interactions involving self-organization) result in dynamical brain signatures (global synergy). Such signatures are correlative to mental states. Mind is the process of a living organism embodying an intentional stance. This object could be the subject itself or another distinct from the subject. With the emergence of mind, the causal powers of brain are conditioned by the mind. Such a conditioning is evident through the causal efficacy of mental states. While the brain is minimal condition for the mind to emerge, the mind in itself is embedded (showcased/explicated/manifested) throughout the body. The mind is a process that belongs to body-as-a-whole with the novel quality of intentionality. A preliminary to understanding this relation is its metaphysical inclination. A large portion of the history of philosophy of mind has advocated a metaphysics of entities where the mind and body have been seen as two entities with distinct essences. However, such attribution of entity-ship does not take into account the processual nature of these existents (that they are essentially dependent on their environment for their existence and sustenance). Thus, the category of processual unity has been introduced which sought to account for existent as emergent wholes that move towards a stable equilibrium through self-organization. By considering existents to be processual unities, we can account for their identity as a whole-in-itself (what has been called organizational closure) and also for their processual nature. The brain is a component of the body which is a complex system and is representative of the body’s stance in the world. The brain, consisting of billions of neurons interacting with each other, regulates the body placed in the environment. The interaction of neurons (local interactions involving self-organization) result in dynamical brain signatures (global synergy). Such signatures are correlative to mental states. These mental states in turn condition the brain patterns, that allows the embodying of mental states. Thus, the three-way process of the representation of body in the world by the brain, the emergence of mental state through dynamic brain patterns and the reciprocal causal power on the brain patterns by the mental states marks embodiment. The relation between brain, body and mind can be outlined as follows: A. There are complex interactions in the brain. These interactions are representative of the body’s stance in the world and are present in form of dynamical brain signatures. B. The dynamical brain signatures lead to emergence of mind as a process. The mental state has causal power which conditions the brain. C. The brain conditioned by causal power of the mind carries out embodiment of the mind throughout the body. In the dissertation, an exposition on relation between brain and mind through complex system approach is followed by a brief on relation between body and mind. The radical embodiment approach adopts the nonlinear dynamic systems theory to understand relation of brain, body and mind. It states a shift from mapping of cognitive states onto Neural Correlates of Consciousness to their mapping through dynamic brain signatures. Every mental state is embedded throughout the body. The dissertation explores the three features of consciousness, intentionality and qualia. These have previously formed a challenge within a dualistic framework and the dissertation intends to show a direction in which they can be accounted for, within the complex systems approach and radical embodiment viewpoint. After a certain threshold of the rate of production of cell assemblies is bypassed, we become conscious of the representation itself. This leads to emergence of phenomenal states. Qualia is the qualitative character of such states, which belong to the body-as-a-whole and for this reason, cannot be reduced to properties of any of the components from which it emerges (the dynamic brain signatures) or in which it is embodied (the body and its individual parts) alone. Intentionality is the novel property of mind of moving towards a certain set of attractors where attractors refer to the states that the system prefers (which would positively contribute to its fitness). The scope of this dissertation is to delineate the relation of brain to the mind and unravel some persistent troubles of philosophy of mind within such delineation. The types of components and their relation within the mind preceded by a thorough study of how the mind is embodied is an area yet to be extensively explored in the coming works. (shrink)

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via (...) spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category $${\mathcal {S}}$$ S, provided that $${\mathcal {S}}$$ S has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication. (shrink)

Define a second order tree to be a map between trees. We show that many properties of ordinary trees have analogs for second order trees. In particular, we show that there is a notion of “definition by recursion on a well-founded second order tree” which generalizes “definition by transfinite recursion”. We then use this new notion of definition by recursion to prove an analog of Lusin’s Separation theorem for closure spaces of global sections of a second order tree.

This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category with small (...) maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main technical contribution of this paper is that it shows in detail that such categories can always be conservatively embedded in categories that are exact. These exactness properties play a crucial rôle in showing that predicative categories with small maps contain models of set theory and that they are closed under sheaves and realizability. We will prove the former statement in this paper as well, leaving a proof of the closure properties to the papers on realizability and sheaves as mentioned above. (shrink)

This article demonstrates that typical restrictions which are imposed in dialogical logic in order to recover first-order logical consequence from a fragment of natural language argumentation are also forthcoming from preference profiles of boundedly rational players, provided that these players instantiate a specific player type and compute partial strategies. We present two structural rules, which are formulated similarly to closure rules for tableaux proofs that restrict players' strategies to a mapping between games in extensive forms and proof trees. Both (...) rules are motivated from players' preferences and limitations; they can therefore be viewed as being player-self-imposable. First-order logical consequence is thus shown to result from playing a specific type of argumentation game. The alignment of such games with the normative model of the Pragma-dialectical theory of argumentation is positively evaluated. But explicit rules to guarantee that the argumentation game instantiates first-order logical consequence have now become gratuitous, since their normative content arises directly from players' preferences and limitations. A similar naturalization for non-classical logics is discussed. (shrink)

Some of the most interesting recent work in philosophy of language and metaphysics is focused on questions about propositions, the abstract, truth-bearing contents of sentences and beliefs. The aim of this guide is to give instructors and students a road map for some significant work on propositions since the mid-1990s. This work falls roughly into two areas: challenges to the existence of propositions and theories about the nature and structure of propositions. The former includes both a widely discussed puzzle about (...) propositional designators as well as direct and indirect arguments against the existence of propositions. The latter is dominated by what is currently the central debate about the metaphysics of propositions, i.e. whether they are structured, composite entities or unstructured ontological simples. This issue has eclipsed older debates about whether propositions can be identified with sets of possible worlds or other kinds of sentence intensions. Author Recommends 1. Soames, Scott. 'Direct Reference, Propositional Attitudes, and Semantic Content.' Philosophical Topics 15 (1987): 47–87. Reprinted in Propositions and Attitudes . Eds. N. Salmon and S. Soames. Oxford: Oxford University Press, 1988. 197–239. Essential groundwork for more recent work on propositions. Soames gives a careful and exacting presentation of the case against identifying propositions with sets of possible worlds or other truth-supporting circumstances. Also contains a detailed statement of the Russellian conception of propositions on which propositions are ordered sets of objects, properties and relations. 2. King, Jeffrey. 'Designating Propositions.' The Philosophical Review 111 (2002): 341–71. Sometimes substituting a definite description for a corresponding 'that'-clause can lead to bizarre changes in truth-conditions: compare 'Bill fears that Hillary will be president' with 'Bill fears the proposition that Hillary will be president'. This puzzle about propositional designators threatens the relational analysis of propositional attitude reports, the view that 'believes' expresses a relation to the proposition designated by its 'that'-clause, and thereby poses an indirect threat to the existence of propositions. King's solution posits an ambiguity in verbs like 'fear' that embed both 'that'-clauses and definite descriptions. 3. Jubien, Michael. 'Propositions and the Objects of Thought.' Philosophical Studies 104 (2001): 47–62. A direct attack on the existence of propositions. Jubien deploys an analogue of the problem that Paul Benacerraf raised for set-theoretical reductions of numbers against metaphysical reductions of propositions. Just as numbers can be reduced to sets in many different ways, any reduction of propositions brings with it equally good variants, thus making any such reduction arbitrary and unmotivated. The only alternative is to treat propositions as abstract metaphysical primitives. As Jubien argues, however, abstract primitive entities are incapable of doing what propositions must do, i.e. represent objects and states of affairs on their own, without the input of thinking subjects. The upshot is the propositions cannot be reduced and they cannot be primitive, and so they must not exist. 4. Hanks, Peter. 'How Wittgenstein Defeated Russell's Multiple Relation Theory of Judgment.' Synthese 154 (2007): 121–46. Scepticism about propositions has recently led some philosophers, Jubien included, to resuscitate Russell's multiple relation theory of judgment, the idea that judgment is a many-place relation to objects, properties and relations. This paper explains why Russell himself abandoned that theory, and why the theory is still refuted by an objection due to Wittgenstein. 5. Hofweber, Thomas. 'Inexpressible Properties and Propositions.' Oxford Studies in Metaphysics . 2 vols. Ed. D. Zimmerman. Oxford: Oxford University Press, 2006. 155–206. An indirect attack on the existence of propositions. Hofweber argues that sentences like 'Bill believes something that Hillary asserted' do not commit us to the existence of propositions. His view is that propositional quantification is an instance of what he calls 'internal' or 'inferential role' quantification, a kind of quantification that carries no ontological implications. 6. Schiffer, Stephen. The Things We Mean . Oxford: Oxford University Press, 2003. esp. chs 1–2. Schiffer defends his theory of pleonastic propositions, on which propositions are unstructured, have no parts, and are very finely grained. 7. Bealer, George. 'Propositions.' Mind 107 (1998): 1–32. Bealer defends his algebraic theory of propositions, which, like Schiffer's pleonastic account, treats propositions as unstructured metaphysical simples. 8. King, Jeffrey. The Nature of and Structure of Content . Oxford: Oxford University Press, 2007. The best developed current theory of the structure in structured propositions. King identifies propositions with certain kinds of facts in which objects, properties and relations are bound together by amalgams of syntactic and semantic relations. 9. Hanks, Peter. 'Recent Work on Propositions.' Philosophy Compass 4 (2009): 1–18. A survey of work on propositions since the mid-1990s that complements this teaching and learning guide. Contains responses to Jubien's and Hofweber's arguments against propositions and critical discussions of Schiffer's pleonastic propositions and King's theory of propositional structure. Online Resources 1. http://plato.stanford.edu/entries/propositions/ Propositions (Matthew McGrath) 2. http://plato.stanford.edu/entries/propositions-structured/ Structured Propositions (Jeffrey King) 3. http://plato.stanford.edu/entries/propositions-singular/ Singular Propositions (Greg Fitch) Sample Partial Syllabus The following partial syllabus can be used as a unit on recent work on propositions in graduate level courses in philosophy of language or metaphysics. Week 1: A Substitution Puzzle About Propositional Designators King, Jeffrey. 'Designating Propositions'. Moltmann, Friederike. 'Propositional Attitudes Without Propositions.' Synthese 135 (2003): 77–118. Week 2: The Benacerraf Problem and Propositional Representation Benacerraf, Paul. 'What Numbers Could Not Be.' Philosophical Review 74 (1965): 47–73. Jubien, Michael. 'Propositions and the Objects of Thought.' Week 3: Propositional Quantification Hofweber, Thomas. 'Inexpressible Properties and Propositions'. Hofweber, Thomas. 'A Puzzle about Ontology.' Noûs 39 (2005): 256–83. Week 4: Schiffer on Pleonastic Propositions Schiffer, Stephen. 'Language-Created Language-Independent Entities.' Philosophical Topics 24 (1996): 149–67. Schiffer, Stephen. The Things We Mean , chs 1–2. Week 5: King on Structured Propositions King, Jeffrey. 'Structured Propositions and Complex Predicates.' Noûs , 29 (1995): 516–35. King, Jeffrey. The Nature and Structure of Content , chs 1–3. Focus Questions 1. Why does identifying propositions with sentence intensions, e.g. sets of possible worlds, 'require the attitudes to have a particular sort of closure under logical consequence, which they clearly don't have' (Mark Richard)? 2. How does the difference between (a) and (b) pose a threat to the existence of propositions? (a) Bill fears that Hillary will be president. (b) Bill fears the proposition that Hillary will be president. 3. What is the Benacerraf problem for metaphysical reductions of propositions? 4. Why must a proposition represent 'on its own cuff' (Michael Jubien)? Why is this a problem for the view that propositions are primitive abstract entities? 5. What does it mean to say that propositions are structured ? Give two different accounts of what propositional structure might be. (shrink)

A systematic approach to the algebraic and Kripke semantics for logics with restricted structural rules, notably for logics on an underlying non-distributive lattice, is developed. We provide a new topological representation theorem for general lattices, using the filter space X. Our representation involves a galois connection on subsets of X, hence a closure operator $\Gamma$, and the image of the representation map is characterized as the collection of $\Gamma$-stable, compact-open subsets of the filter space . The original lattice ${\cal (...) L}$ is thus imbedded in the complete lattice of stable sets. The representation is shown to be functorial and is extended to a Stone-type duality. ;In the presence of additional operators, the extension problem is addressed in terms of what we call adjoint completions of normal operators. An operator f on a lattice L is normal if f: $L\sp{} \times \cdots \times L\sp{} \to L\sp{}$ is a monotone map, where each $L\sp{}$, $i \in n$ + 1, is either L or $L\sp{op}$ and f sends finite joins of $L\sp{}$ to joins in $L\sp{}$. Every familiar operator, such as $\circ$ , + , $\gets, \to, \neg, \square$ O is normal. By a uniform argument we show that normal operators $f\sb{i}$ on L extend to operators $F\sb{i}$ on $\Gamma X$ that distribute over arbitrary joins or meets and that \sb{i\in I})$ is a universal such extension. ;We also raise and resolve the question of representability of operators on stable sets by relations. We give an extensive number of examples of representation of specific operators and provide explicit constructions of canonical Kripke frames, based on our extension arguments, for a number of logical systems, notably for Intuitionistic and Classical Linear Logics, or Non-commutative Linear Logic and of fragments thereof. (shrink)

continent. 2.1 (2012): 29–35. Translated by Vincent W.J. van Gerven Oei from Jeroen Mettes. "Politieke Poëzie: Enige aantekeningen, Poëtica bij N30 (versie 2006)." In Weerstandbeleid: Nieuwe kritiek . Amsterdam: De wereldbibliotheek, 2011. Published with permission of Uitgeverij Wereldbibliotheek, Amsterdam. L’égalité veut d’autres lois . —Eugène Pottier The modern poem does not have form but consistency (that is sensed), no content but a problem (that is developed). Consistency + problem = composition. The problem of modern poetry is capitalism. Capitalism—which has no (...) image: the unrepresentable Idea of “everything.” The problem is that a poem cannot be justified. There is no excuse for it. Political poetry— pure poetry—has to be problematic, though not in a mannerist way. Yes, its problem is first its own problem—poetry’s existence in the same world as the newspaper—but therefore also always everybody’s problem (the problem of any world at all). The cult of the sublime points at a suspect desire for transcendence, nostalgia for paradise lost (the womb?). Melancholia of the post-. But a problem neither sorrows nor mourns, it is alive, and the fact that it is alive is the problem—the problem for death (rigidity, the status quo). Our symbols and ideologies do not hide any god: symbolic = state; imaginary = human; real = money. Problem: the possibility of communal speech (poetry) in the absence of a “we.” Or: what is a “we” that is not a collective subject (or in any case is not a volonté générale )? What is a universal history that is not a History? This work was started in the shade of the anti-globalization protests at the end of November 1999. I considered N30 to be the closure of the nineties, of my adolescence, and of the a seemingly total extinction of social desire. From the beginning I was skeptical about the alterglobalization movement as the avant-garde of a new politics, but something was happening . Maybe this event did not show that, as the slogan would have it, “another world” is possible, but for me it indicated that such possibility was at least still possible. That naked possibility is carrying forward. And if the fundamental tone of this work sounds more desperate than utopian, this is not caused by the catastrophic sequence that since 1999 has plunged us ever deeper into the right-wing nightmare—a nightmare that this work also gives an account for—but because my hope as yet remains empty. Composition . Composition is no design, but the production of an autonomous block of affects (i.e. a POEM), rhythmically subtracted from the language of a community. A poem does something. Is something. New Sentence . Choosing the non sequitur as compositional unit has the advantage that an abstract composition is subjected to the stress of concrete, social references. Where there is a sentence, there is always a world. (This does not hold necessarily for words on their own.) And where sentences collide, something akin to a textual civil war takes place. It is not about “undermining” whatever, or de-scribing the raging global civil war, but about writing social (or even: ontological) antagonism -- including all its catastrophic and utopian possibilities. Minor resistance. Why would poetry be the no protest zone par excellence? It is nothing but protest, not simply qua “content,” but in its most fundamental essence: rhythm. Rhythm is resistance against language, time, and space, and the basis of (what we will continue to call) autonomy. Rhythm starts with the anti-rhythmic caesura as Hölderlin remarked about Sophocles, a disruption of the quotidian drone. The destruction of everything that is dead inside of us. The noise of the avant-garde has never been the representation of the noise of (post)modernity (from the television or shopping mall), but the sober noise of the systematic exchange of an unbearable worldview. The poet does not describe, but looks for a way out: There is a Grain of Sand in Lambeth that Satan cannot find Nor can his Watch Fiends find it, tis translucent & has many Angles But he who finds it will find Oothoons palace, for within Opening into Beulah every angle is a lovely heaven William Blake was not mad. And there has always been only one poetry: the poetry of paradise. The principle is that there is something in art (the essentially creative element) that is disgusted by that which, unlike art, does not aim for the supreme. Wonder is not supreme, tranquility is not supreme, beauty is not supreme. Even amusement is not supreme! The supreme is supremely open, “das Einfache,/ Das Schwer zu machen ist” 1 : paradise. That is abstract. Literally. For me it is not about a concrete imagination, an idyll or utopia. There is no doubt a need for that, but it is not so much the supposed lack of imagination or ideals (human rights are ideals), but a fundamental lack of desire (human rights are no desires) that we suffer from, and from which we do not need to remove Nietzsche’s label of “nihilism.” “We.” George Oppen: “ Of Being Numerous asks the question whether or not we can deal with humanity as something which actually exists.” What is less actual than humanity? Nowadays it appears as a lifeless ideology of cynical power politics. Or as what makes one think. It is a shame to be human. The event is the caesura that defines rhythm. Writing toward the event is not the description of the event, but marking an abstract and intense space in which the event may unfold and keep itself. It is a task. “Remember that thou blesseth the day on which I seized thee, because such is thy obligation.” The event is a contraction (or a series of contractions) with its own rhythm and unique qualities. It is more than an explosion or demonstration. But at the same time less. The endless repetition of images and stories in the media points to a fear for the indeterminate and indeterminable void of the event. In the end there is nothing to see. We do not live in disaster’s shade or miracle’s light, but rather in the rhythm, which is contracted time, having little to do with omnipresent representations. For this book I did not intend a rhythm of evental representations (a narrative rhythm), but a rhythm which would be an event itself , because it draws the border between artwork and history. My desire for a direct engagement with the “extra-textual reality” has nothing to do with the representation of “rumor in the streets.” (What has less street cred than representation?) Naturally, a poem is no historical event and does not change anything. But a poem is a part of history that wants to be repeated forever, constructed in such a way that it is worthy of repetition. It is a part of desire (composition) made consistent (durable). The “historical event” flares up and burns down, and has to burn down to be effective. The leftovers are images and stories (representations), History—no event. The artwork—that is the ambition— remains event (though monumental and inefficient/inoperable). (No wonder that a historical singularity, a revolution, reminds us of a work of art; the resurrection yearns for a judgment, an affirmation; everything depends on it.) Hence the title does not summarize the book, let alone contract its “content” into a quasi-transcendental signifier. The title is juxtaposed to the book, like everything else inside the book, and in that relation it precisely forms a part of it. The ideal work is an open whole, lacking nothing but to which everything may be added. I have been interested in this “everything,” the world, or as I said above: capitalism. “Everything” is not the space for “wonder”—a code word, a shibboleth for petty bourgeois imagination (I recognize myself in the strangest things, a speaking dog, a canal, a pond standing straight—oh my god). No. The world is a social world, not YOUR world, poet. Power is number one. I will call “Dutch,” or “shitty,” whatever denies this power. That hurts, but this pain is an expression of the desire in the world to write another world, or as Blanchot says, “the other of all worlds” 2 : the world. Not as what “is there,” but rather as that which urges for an escape from what “is.” This is a testament of how radical reality has become, for me—or rather, a writing body—in a having-been-written. I am not interested in the problem of “meaning” as misunderstood by literary scholarsi: “order” in “chaos,” “symbolization.” Bullshit. What is there, hop, hope, now: the meaning of the taste in my mouth. Bullshit. I am not interested in the frustration of interpretation; I am writing for readers who do not want to interpret. I do not know how many “professional readers” will hear the music of a paragraph like: Sun. Sushi. Volvo. I hope more than I would think. There is a suggestion (or rather, an actual production) of speed and infinitive owing to the absence of plosives, i.e. articulations such as /k/, /t/, or /p/. Can you hear the slick suaveness? Driving car dark, vocal chiaroscuro of the word “sushi.” The unstressed /i/ stands in the middle of dark vowels and thus acquires its own special out of focus , like a momentary flash or brilliance—an obscure light. It is not about recognizing a story, but about avoiding any story whatsoever: the car disappears in the glow, cars and raw fish have nothing in common except their articulation in a language that brings them together, blurring them. A world appears in its disappearance. For a moment, light is a metaphor for language, though it cannot be reduced to tenor. It is not necessary to be a linguist or philosopher to hear this—a “difficult” poem all too often becomes an allegory of its own impenetrable being-language. The only demand: leave your hermeneutical fetish at home. This was no interpretation. Most shit has been stolen etcetera. That is no longer interesting. You cannot shoot the body with information and let your lawyers reclaim the bullets. So every sentence has been stolen. Also the ones “out” “of” “my” “head.” Why would I be allowed to steal from myself and not from others? Man takes what he needs to move forward. Whatever he encounters, finds in front of him, “occurs” to him. The writer as text editor, or singing pirate. Nothing new here. Important difference with for example Sybren Polet’s 4 montage technique: anti-thematicism. Most of the time ferocious citation from whatever I was reading, listening to, ended up in, and so on. I wrote chapter 12 on my laptop while watching CNN. On the air instead of en plein air . I often employed search engines to generate material. Chapter 20 offers the purest example of this. Often I stop recognizing a particular citation after some time. It is not uncommon for a stolen sentence to conform itself to the paragraph in which it finds itself. Sometimes I nearly arbitrarily replace words. Arbitrariness as a guarantee for absolute democracy. It is a poetics of the non sequitur : a conclusion that does not follow from the premises, the strange element in the discourse. A discourse of strangers. No logical, narrative, thematic unity. There is unity in speed/flight. It has to be read linearly, but not necessarily (not preferably) from beginning to end. The shortest distance between two points is a straight line, but this line precedes every point. The middle, the acceleration, comes first. A point occurs where two lines cross. It has been written from up close, at the level of the tension between sentences. Nothing to be seen from a distance: no form except the exchange of form, no geometrical or mythical meaning. You have to get in, “groping toward a continuous present, a using everything a beginning again and again” (Stein). 5 In Dutch, experimental poetry has been mainly dense: a small rectangular form filled with a maximum amount of poetic possibility. But at the moment the poem starts to relax, the anecdotical content seems to increase. This is what is called “epic”: long, narrative. I believe that an epic is more than that, in fact something completely different. An epic is “a poem including history,” 6 a long poem tied up with the life of community, that as a whole does not need to be narrative. The American poets of the twentieth century (Pound, Williams, Zukofsky, Oppen, Olson, Silliman) have put the epic back on the map by interpreting the poem itself as a map, and writing it as navigation. They have invented the experimental epic, a genre that has generated little original following in “our” poetry. N30 is the middle part—“always start in the middle”—of a trilogy, the contours of which remain as of yet unclear, although each episode investigates one of the three “ecstasies of time”—past, present, future—concerning society X. N30 concerns itself with the PRESENT: not with the description of actual facts but of the rhythm and the intense depth in which facts appear to us. Where are we? We are camping in the desert. Sometimes we are looking at the stars. As opposed to maximum density and minimal tension (a characteristic of most (post-)experimental lyricism), I have sought a minimal density and maximum tension in this book, considered as a long non-narrative prose poem. On the one hand, the minimal density is obtained by the inherent formlessness of prose, on the other hand by the conscious refusal of any active (formal, non-rhythmic) synthesis: the poem tells nothing, shows nothing, has no theme. I did not seek maximum tension either by loading the quotidian with epiphanic radioactivity (“wonder,” confirmation from above), or by means of the intensity of the linguistic structure. I want an abstract tension, but social in its abstraction, in other words, not neutralized by and subjected to Form. Instead of form (transcendent): composition (immanent). The concept is series. Ideal: every unit is necessary for the efficacy of the others and the whole, their relation is purely linear, i.e. non-hierarchic, non-syllogistic, non-discursive, non-narrative. Sentence related to sentence like paragraph to paragraph and chapter to chapter; the whole means nothing and represents nothing. Inside the sentence: syntax (Chomsky’s tree, a type of parallel circuit), outside: parataxis (coordination, an asyntactic line through language and world). I consider duration—the energy of duration (rhythm)—to be the fundament of a poem, the temporal inclination to delimit a “space.” Being as consistency, its consistency. A spatial part of time is not merely a metaphor for an inevitable trajectory, an inescapable time, something like “our time.” Not merely—because rhythm comes from language and is not projected onto it; the poem derives from the world like a scent and a color and a life from a flower. A series, a sequence: nothing potential, but truly infinite—the movement of an infinitude. The infinite series = everything minus totality. That means that there is no container—no Form, no Self, no Image, no Structure, not even a Fragment—just “the prose of the world.” No representation, but also no staging of the impossibility of representation (the postmodern sublime). These are no fragments, no image of a fragmented world or personality, no cautious incantations around the Void. It does not exist. It is a movement. Buying bread, a flock of birds, a bomb falling—they do not depict or represent anything, not literally, not metaphorically. There is an Idea, which is however nothing more than a rhythm, in the same way that capitalism is nothing more than a pure function. Parataxis: the white space between two sentences stresses, which is nevertheless always there, also between words, even between letters: the out of focus of idle talk, the gutter, the irreducible Mallarméan mist which renders even the seemingly most transparent text legible. The white space suggests a neutral medium for free signification, a substance of language. A non sequitur is an element from a foreign discourse, which stresses the white space as space, and problematizes freedom for supra-sentential signification. I start by withdrawing material, leaving the initiative to the sentences. In general a word presupposes less often a discourse than a sentence. What discourse is presupposed by “dog”? We could think of several, but why would we? It is more probable that, when faced with the naked word, we think of its naked (dictionary) meaning, of its denotative signified. By means of two simple interventions we may also write the word as sentence: Dog. In no way this suggests the discourse from which this sentence originates, but in any case we’re presupposing one. This is shown by questions like: “Whose dog? Who’s a dog? What kind of dog?” Etc. (Sentences are question marks.) A sentence implies/is a microcosm—a subject, a verb, an object, and so on. Even an incomplete or ungrammatical sentence does so. My main fascination while writing this book is the worldly and social aspect of language, an aspect that often becomes invisible, or rather, transparent in narrativity—the stretching of sentences into stories. Narrativity organizes a new discourse and a new world, and places a sometimes all too dispersing relation of transparence in between. The conventional novel is the brothel of being. I do not intend to prohibit brothels, and I have certainly not intended to write an anti-novel (THIS IS A POEM), but I do consider narrativity (in general, in poetry, in the news, in daily life) to be ontologically secondary with regard to an immediate being in the world through sentences, also if the latter have been withdrawn from a narrative or otherwise externally structured discourse (which in that case would therefore be chronologically primary ). Naturally, two or more sentences are always in danger of telling stories or arguing, just like the world is always in danger of becoming an objective representation, facing us, strangers. That is why need to wage war—against representation and against the interface, against interaction. AGAINST THE “READER.” To the extent that a sentence is worldly, writing is a condensed global war, and in so far as there is ultimately only one world and one open continuum of languages, it is a global civil war. Nice subject for an epic. The elaboration of a singular problem—prose as the outside of poetry, the form of the novel as purely prosodic composition scheme—“expresses” the universal problem: capitalism as Idea of the world vs. poetry as language of an (im)possible community. The paragraphs are blocks of rhythmically contracted social material. By choosing the sentence as the basic compositional component, an abstract whole may contain social sounds, without telling a story or showing an image. Composition is subrepresentative —a rhythmic, passive synthesis, or rather: a synthesis of syntheses. I never write large blocks of prose in one sitting, because there is no obvious organizational vector —plot, theme, conscience—outside the inherent qualities of the material itself. Usually I write down one sentence, sometimes two, but rarely more than three. Those sentences are usually placed in the text which I am editing at the time. In fact, there is no original composition, new chapters split off from chapters which became too long during the editing process. (Revision mainly consists of adding and inserting, displacing and dividing; only during the last phase, when the text has gained enough consistency, there may be subtraction to tighten the composition; each chapter requires a season of daily revision). This constant revision, accompanied by a continuous influx of collective background noise (to speak with Van Bastelaere), 7 makes every chapter a block condensed (“historical” and “personal”) time. The block itself is a-personal and a-historic; it is ontologically autonomous. If there is such a thing as a spirit of the times, I do not try to offer an image of it, but rather to cancel something of it by erecting a monument of its own excrement within its own boundaries. Tuning and dis-tuning , “in de taal der neerslachtigen een eigen geluid doen klinken,” 8 in other words, desiring in an Elysian way. In this sense I have intended to be able to write a political poetry. The ultimate political poem is the epic, “the tale of the tribe.” I consider N30 to be a prolegomenon to a future epic (of which it in the end will form a part a structural moment, as introduction-in-the-middle), an extended pile on top of an epic as narrative, a question of the tribe and question of its history. I was burdened by too much satire, too much bullshit. But: satire willy-nilly = the only justifiable satire. Against the abstract universalism of the market (“globalism”): concrete disgust, a positive way of saying “No.” Moreover, disgust is a specifically total attitude, which ultimately concerns the world as a whole. I hate this or that, but I am disgusted by EVERYTHING (when I am disgusted), and so it appears that satire is in fact related to the epic, in so far as it concerns society, the cosmos, history. Maybe it is no coincidence that the Dutch literary canon knows no great poet of disgust; what could be more fearful to us than society, the cosmos, and history? The T-tendency (T from Tollens 9 ) clearly points into the direction of the small, friendly, ironic, melancholic, acquiescent, wondrous, and so on. The anti-political, anti-cosmic, anti-historical. (Why am I so philosophical? To scare away the Dutchies.) And most of all: the “poetical” (the pseudo-mysticism from the backyard). Yes, the N in N30 also stands for the Netherlands (just like 30 indicates the number of chapters). I was not in Seattle, I do not live in Iraq. But is not the whole world bleeding to death on Dutch paving stones? Let’s hope that we mowed away something with this total satire, also “in myself.” The arrogant stupidity that definitely thinks to know the essence of freedom (the free development of esthetic needs inside the void), that cannot take anything serious, only believes in the disciplined bestiality of the individual (“norms and values”) and the mere functioning of a social factory which finds no justification whatsoever outside its functioning (“get to work”)… Who knows. A certain aimed destruction leaves grooves and craters, mapping out a next adventure. Pound’s periplum : sailing while mapping the coasts. Immanent orientation. The terrain changes with the map, history changes with the poem. Maps never merely organize the chaos, transcendent schemes imposed on a formless Ding-an-sich . They organize from within, surfing. But they are most of all routes back into the chaos or forward to paradise (final identity of chaos and paradise; Schlegel: “ Nur diejenige Verworrenheit ist ein Chaos aus der eine Welt entspringen kann ”10). A poem is not only a piece of history, it is also a flight from history. Maps give chaos to the form of reality , open escape routes, break through representations, make us shivery and dazed. Paradise is immanent to a fleeting desire. History is the history of labor—this is Adam’s curse—and the poet works too: For to articulate sweet sounds together Is to work harder than all these, and yet Be thought an idler by the noisy set Of bankers, school masters, and clergymen The martyrs call the world 11 But: the poet works in paradise. The paradox of the artwork, the work that is no work, the piece of history that cannot be reduced to History—this is explained by The Space of Literature , a virtual space, an autonomous rhythm, not outside, but in the midst of the noise, a piece of paradise in hell, a postcard from the vale of tears addressed to paradise, to X. Political poetry means: a poetry that dares to think about itself, about its language and about its world and about the problematic relation between both, which is this relation as problem. A poetry that thinks at all, articulates its problem. It has nothing to do with journalism or morality or debate, let alone the law or the state. It has nothing to do with “criticism” if this means the replacement of incorrect representations by other, more correct representations. It has something to do with ethics in the sense of learning to live. It has something to do with the community and the language of the community (whichever that may be) and the role of the poet regarding the community. It concerns justice without judgement or measure. In the end the just word is just a word , to paraphrase Godard: it is from a future that is unimaginable. It Is no rational engagement, but an aversion against everything that obstructs life, and love for everything what is worthy of having been loved. The world is engaged with me, not the other way round. First Exodus, then Sinai. A desire does not start with an agenda. To answer the question whether I am really so naive as to want to change the world: “We only want the world.” Justice is the world appealing to us to liberate it from all possible chains, from each organization and inequality, to be it, smooth, equal, under a clear sky—a desert and a people in a desert. That moment between Egypt and the Law. It is not a revolution, but the sky above the revolution. Poetry = the science of escape. There is no art that we already know. The weakness of modernistic epic poetry seems to me to be the unwillingness to completely abandon narrative as a structural principle, in favor of a composition “around” or from an event. The China Cantos and Adams Cantos are the low point, and the Pisan Cantos the high point of Pound’s poetry. Two types of research: archival representation of the past vs. ontology of the present (which virtually presupposes the entire history). Presupposing an event means that it is impossible for the poet to stage his own absence, but in no way makes the work personal. An event is the unknown, the new invading into the business as usual, so also the personal. The question heading this research is not: “Who am I?” but “What is happening?” The book is as little illegible as Mondrian’s work is invisible. Form is of interest only to the extent that it empowers liberation. Ron Silliman So no formalism, but what it means to live in this world and to have a future in it. I want something that holds together that’s not smooth. Bruce Andrews The past above, the future below and the present pouring down: the roar, the roar of the present, a speech— William Carlos Williams If my confreres wanted to write a work with all history in its maw, I wished, from the beginning to start all over again, attempting to know nothing but a will to create, and matter at hand. Ronald Johnson NOTES 1) “The easy thing/ that is difficult to make.” Bertold Brecht, Lob des Kommunismus . (All footnotes are the translator’s) 2) Maurice Blanchot, The Space of Literature , trans. Ann Smock. Lincoln/London: University of Nebraska Press (1989), 75. 3) Mettes uses the word “Neerlandicus,” which refers to scholars of Dutch language and literature. 4) Dutch poet. 5) Gertrude Stein. “Composition as Explanation.” A Stein Reader . Ed. Ulla E. Dydo. Evanston, IL: Northwestern University Press (1993), 495-503. 6) Ezra Pound. 7) Flemish poet. 8) “Resounding an original sound in the language of the despondent.” A. Roland Holst, De afspraak . 9) Dutch poet. 10) “Only such a confusion is a chaos which can give rise to a world.” 11) W.B. Yeats, “Adam’s Curse.&rdquo. (shrink)

The scientific study of consciousness, also referred to as consciousness science, is a young scientific field devoted to understanding how conscious experiences and the brain relate. It comprises a host of theories, experiments, and analyses that aim to investigate the problem of consciousness empirically, theoretically, and conceptually. This thesis addresses some of the questions that arise in these investigations from a formal and mathematical perspective. These questions concern theories of consciousness, experimental paradigms, methodology, and artificial consciousness. -/- Regarding theories of (...) consciousness, the thesis contributes to the understanding of the mathematical structure that some of the formal theories in the field propose. The work presented here targets the theory of consciousness known as Integrated Information Theory (IIT) and the neuroscientific theory known as Predictive Processing Theory or Free Energy Principle in its Active Inference form (AI-PP). The thesis provides axiomatic definitions of the mathematical structures that constitute these theories, and uses these definitions to address some of the open questions surrounding the theories. For AI-PP, this includes a rigorous derivation of the formula for Active Inference via Free Energy minimisation and a proof of compositionality of Free Energy. For IIT, this includes resolutions of some of the criticisms of IIT's formal scope and applications, but also the identification of new issues that concern the formalism and its derivation. When possible, the definitions are provided in the mathematical framework of category theory. -/- Regarding experiments, the thesis addresses the main paradigm for testing and falsifying theories of consciousness currently applied in the field. This paradigm consists of comparing the conscious experience that a theory predicts with the conscious experience that is inferred from behavioural data or report by use of measures of consciousness. The thesis provides a formal model of this paradigm and shows that under a certain condition—if inference and prediction are independent—, any minimally informative theory of consciousness can always be falsified. This is deeply problematic since the field’s reliance on report or behaviour to infer conscious experiences, in conjunction with the general structure of most contemporary theories of consciousness, implies such independence. This observation provides the exact formal underpinning of the well-known unfolding argument. The thesis analyses the origin of the problem and identifies precisely which changes are required to avoid this problem in future research. The thesis furthermore shows that the problem of falsifying theories of consciousness, and of empirical comparisons of theories of consciousness more generally, follows from a pervasive closure paradigm in consciousness science, that consists of taking a neuroscientific account of the brain as input to a theory of consciousness, so as to explain what consciousness is, without allowing for modifications or adaptations of the neuroscientific account that would accommodate consciousness as part of the brain's functioning. As is shown in the thesis, this paradigm has implications that point to a fundamental need of revision. -/- Regarding methodological and conceptual questions, the thesis contributes to the foundations of structural research in consciousness science. Structural research aims to use mathematical structures or mathematical spaces, instead of verbal descriptions or simple categorisations, to represent conscious experiences scientifically, for example when building theories of consciousness, or when exploring new empirical avenues to measure consciousness. Despite considerable advances in this realm, there was, prior to this thesis, no explicit definition of what a mathematical structure of conscious experience should be; that is, how the attribution of mathematical structure to conscious experiences should be systematically understood. Perhaps the most important contribution of this thesis to the field is to propose such a definition. The definition, a structural concept, extends existing approaches wherever available, and provides a basis for developing a common formal language to study consciousness, bridging developments as far apart as psychophysics and phenomenology. In addition, and independently of this proposal, the thesis offers a critical analysis of which metaphysical premises need to be presumed in structural research, whether the use of particular formal tools (such as structure-preserving mappings or homomorphisms) is justified, and how structural theories of consciousness could otherwise be built in the first place. An attempt to expand the results from consciousness to more general problems in philosophy of science is made in the context of the well-known Newman problem. -/- Regarding the question of artificial consciousness—can AI feel?—, the thesis contributes two results that take the form of no-go theorems, as known from physics. The first no-go theorem shows that if consciousness is relevant for the temporal evolution of a system's states—if it is dynamically relevant—, then contemporary AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The second no-go theorem is situated in the context of computational functionalism, a view which posits that consciousness is a computation. The theorem shows that if computational functionalism holds true, consciousness cannot be a Turing computation. Rather, it must be a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation. -/- This thesis is part of a global effort to pioneer a mathematical perspective in consciousness science, now called Mathematical Consciousness Science. The hope behind the research carried out in this PhD is to illustrate the power and usefulness of mathematical approaches in different areas of consciousness science, and in doing so, to lay the foundations for future mathematical work that complements and supports empirical and theoretical work in the further development of this exciting field. (shrink)

In this chapter I look at some questions around the notion of experimentation in philosophy, science, and the arts, through the thought of Gaston Bachelard and Gilles Deleuze. My argument is articulated around three areas of enquiry – Bachelard’s work on the experimental sciences, Deleuze’s notion of philosophy as an experimental practice, and recent musicological debate around the practical and political stakes of the term ‘experimental music’. By drawing together these three senses of experimentation, I test the possibilities of understanding (...) experimentation as a transdisciplinary concept and/or method. I develop a notion of experimentation as open, fluid, and non-hierarchical, but also consider points where such an idea is short-circuited by the reassertion of disciplinary closure and more top-down forms of method. My frame for discussing this question is a commonly posited distinction between the experiment and the experimental. Here the experiment is something like a controlled and closed environment in which a privileged observer tests predefined hypotheses, while the experimental concerns attempts to relinquish such control and to produce contexts in which the unknown and the unexpected can arise. By turning to Bachelard’s studies of the practice of science, I will question the common conception of a disciplinary split between the experiments of science and experimental art, showing both how such a distinction cannot be so neat and how these terms are often not easily separable. Putting this notion into conjunction with recent critical discourse on experimentation in music, namely regarding the kinds of exclusions and closures that the term ‘experimental music’ has produced, and with Deleuze’s criticisms of scientific method as well as the apparent disciplinary closure of his transdisciplinary project that is present and his and Félix Guattari’s final work, What is Philosophy?, I argue that refining our understanding of experimentation as a pluralistic and fragile concept will help us engage with the difficulties raised in these fields. More generally I point towards a project of mapping out the diverse and divergent relations that a transdisciplinary understanding of experimentation may draw between philosophy, science, and art. (shrink)

By using the general investigation framework offered by the cognitive science of religion (CSR), I analyse religion as a necessary condition for the evolutionary path of knowledge. The main argument is the "paradox of the birth of knowledge": in order to get to the meaning of the part, a sense context is needed; but a sense of the whole presupposes the sense (meaning) of the parts. Religion proposes solutions to escape this paradox, based on the imagination of sense (meaning) contexts, (...) respectively closures of these contexts through meta-senses. What is important is the practical effectiveness of solutions proposed by religion, taking into account the costs of faith and the costs of the absence of religious belief. The hypothesis has the following consequences: religion is a necessary condition for the initial evolution of knowledge and the emergence of religion is determined by the evolution of knowledge. The continuation of the solving of paradox is a Bayesian one, using explorations: a sense of the whole allows cognitive arrangements of the parties, which in turn open the possibility of a rearrangement of the whole. The contribution of religion to the emergence of sense (meaning) could be governed by the rule: any map of the world is more useful than no map; any meaning (of life) is better than no meaning. The human mind fills the perceptual and cognitive gaps, some (religious) filling solutions being true vault keys of the entire cognitive construction called the world. Knowledge is conditioned by the existence of an organized context, as the cosmos created by religion by means of explanatory meta-theories supports knowledge by closing the cognitive context and using meaning networks. The proposed analysis is consistent with a redefinition of rationality from the perspective of evolution: the importance and relevance of knowledge is determined by its practical outcome - survival. In the context of useful fictions, it does not matter what God actually does, but what we have done by believing in God. Existence has provided a pragmatic verification of the cognitive solutions that underlie the survival strategies promoted by religions. (shrink)

We examine several cases of object movement from various languages, and demonstrate that the syntactic behavior of objects can be derived from certain conditions on LF representations. Conditions on LF relevant to the distribution of arguments are identified as relative scope fixing and type mismatch repair. These two conditions interact with the multiple semantic types that may be assigned to NPs (cf. Partee 1987) to induce movement of certain objects out of the VP, universally by LF and parametrically in the (...) overt syntax. Diesing's (1992b) Mapping Hypothesis combined with the multiple NP types predicts that quantificational NPs in object position will have to undergo movement by LF. This movement is forced by the principles of semantic composition as a mechanism of type mismatch resolution. The existential closure operation over VP is claimed to be genuinely unselective: any NP that introduces a free variable and does not receive an existential interpretation must move out of the scope of existential closure (and thus out of the VP) by LF. Pronouns are variables, limited in semantic type assignment, that by virtue of their definiteness cannot be bound by existential closure and must move out of its scope. In Egyptian Arabic, object pronouns escape from the VP via attachment to a verb that raises to adjoin to an Aspect inflectional head above the VP. The movement of object pronouns and definite/specific NPs in Scandinavian is also associated with verb movement. (shrink)

This paper continues our study of computable point-free topological spaces and the metamathematical points in them. For us, a point is the intersection of a sequence of basic open sets with compact and nested closures. We call such a sequence a sharp filter. A function fF from points to points is generated by a function F from basic open sets to basic open sets such that sharp filters map to sharp filters. We restrict our study to functions that have at (...) least all computable points in their domains.We follow Turing's approach in stating that a point is computable if it is the limit of a computable sharp filter; we then define the Turing degree Deg of a general point x in an analogous way. Because of the vagaries of the definition, a result of J. Miller applies and we note that not all points in all our spaces have Turing degrees; but we also show a certain class of points do. We further show that in ℝn all points have Turing degrees and that these degrees are the same as the classical Turing degrees of points defined by other researchers.We also prove the following: For a point x that has a Turing degree and lies either on a computable tree T or in the domain of a computable function fF, there is a sharp filter on T or in dom converging to x and with the same Turing degree as x. Furthermore, all possible Turing degrees occur among the degrees of such points for a given computable function fF or a complete, computable, binary tree T. For each x ∈ dom for which x and fF have Turing degrees, Deg) ≤ Deg. Finally, the Turing degrees of the sharp filters convergent to a given x are closed upward in the partial order of all Turing degrees. (shrink)

For f: On → On let supp: = ξ: 0, and let S := {f : On → On : supp finite}. For f,g ϵ S definef ≤ g : ↔ [h one-to-one ⁁ f ≤ g)].A function ψ : S → On is called monotonic increasing, if f≤ψ and if f ≤ g implies ψ ≤ ψ. For a mapping ψ : S → On let Clψ be the least set T of ordinals which contains 0 as an element (...) and which is closed under the following rule: If f ϵ S, range ⊆ T and supp ⊆ T, then ψ ϵ T. Let φ be the enumeration function of the class {ξ: [ξ = ωn]}. Let φ be the induced Schütte-Klammerterm-function which generates the Schütte-Veblen-hierarchy of ordinals. Then φ is monotonic increasing. We show: If ψ: S → On is monotonic increasing, then otyp) ≤ min {ξ : ξ = Φ, where 1ξ = 1 if α = ξ and 1ξ = 0 if α ↔ = 0 if α ≠ ξ. For τ an ordinal let Sτ := {f ϵ S : supp ⊆ τ}. A function ψ : Sτ → On is called τ-monotonic increasing if fξ and if f ≤ g implies ψ ≤ . For a function ψ Sτ → On let Clψ ↔ τ be the least set T of ordinals, which contains 0 as an element, such that if f ϵ Sτ and range ϵ T, then ψ ϵ T. We show: if ≥2 and if ψ Sτ → On is τ-monotonic increasing, then otyp ↔ τ) ≤. We also prove a generalization of this theorem in terms of well-partial orderings. MSC: 03F15, 03E10, 06A06. (shrink)

The Chang-Łoś-Suszko theorem of first-order model theory characterizes universal-existential classes of models as just those elementary classes that are closed under unions of chains. This theorem can then be used to equate two model-theoretic closure conditions for elementary classes; namely unions of chains and existential substructures. In the present paper we prove a topological analogue and indicate some applications.

Walter Map was a twelfth-century courtier and royal servant. He was a prolific writer, but De Nugis Curialium is the only surviving work confidently attributed to him. The book is a collection of short stories and anecdotes about the court, religion and history. Map's references demonstrate that he read widely, not only biblical and theological works, but also classical authors such as Horace, Virgil, Ovid and Juvenal. The only surviving manuscript of the work is a fourteenth-century copy once belonging to (...) the monk John Wells of Ramsey Abbey. The Cambridge bibliographer M. R. James would have been attracted to the breadth of Map's referencing, and the author's light-hearted writing style which was intended to entertain. James' 1914 Oxford publication corrected the earlier work of Thomas Wright who published an edition for the Camden Society in 1850. (shrink)

Since Tolman’s paper in 1948, psychologists and neuroscientists have argued that cartographic representations play an important role in cognition. These empirical findings align with some theoretical works developed by philosophers who promote a pluralist view of representational vehicles, stating that cognitive processes involve representations with different formats. However, the inferential relations between maps and representations with different formats have not been sufficiently explored. Thus, this paper is focused on the inferential relations between cartographic and linguistic representations. To that effect, (...) we appeal to heterogeneous inference with ordinary maps and sentences. In doing so, we aim to build a model to bridge the gap between cartographic and linguistic thought. (shrink)

There has been considerable debate among scholars as to whether maps can play an inferential role. The debate has focused on whether maps possess the representational format required for logical transitions. This paper addresses a distinct challenge, namely whether maps can satisfy the taking condition, which has been proposed as a necessary condition for inference. In doing so, the focus of the discussion is slightly shifted by analyzing not only the representational structure of maps but also (...) the rational transitions within them. Given that one of the main reasons for the use of maps is navigation, a dynamic notion of inference is proposed which takes into account practical reasoning. According to this view, logical theoretical inferences are just one type of many different kinds of inferential processes. (shrink)

Maps and realist pictures comprise prominent sub-classes of iconic representations. The most basic, most important sub-class is perception. Other types are drawings, photographs, musical notations, diagrams, bar graphs, abacuses, hieroglyphs, and color chits.

Most of us create and use a panoply of non-sentential representations throughout our ordinary lives: we regularly use maps to navigate, charts to keep track of complex patterns of data, and diagrams to visualize logical and causal relations among states of affairs. But philosophers typically pay little attention to such representations, focusing almost exclusively on language instead. In particular, when theorizing about the mind, many philosophers assume that there is a very tight mapping between language and thought. Some analyze (...) utterances as the outer vocalizations of inner thoughts (e.g. Grice 1957, Devitt 2005), while others treat thought as a form of inner speech (e.g. Sellars 1956/1997, Carruthers 2002). But even philosophers who take no stand on the relative priority of language and thought still tend to individuate mental states in terms of the sentences we use to ascribe them. Indeed, Dummett (1993) claims that it is constitutive of analytic philosophy that it approaches the mind by way of language. In many ways, this linguistic model is salutary. Our thoughts are often intimately intertwined with their linguistic expression, and public language does provide a comparatively tractable proxy for, and a window into, the messier realm of thought. However, an exclusive focus on thought as it is expressed in language threatens to leave other sorts of thought unexplained, or even to blind us to their possibility. In particular, many cognitive ethologists and psychologists find it useful to talk about humans, chimpanzees, birds, rats, and even bees as employing cognitive maps. We need to make sense of this way of talking about minds as well as more familiar sentential descriptions. In what follows, I investigate the theoretical and practical possibility of non-sentential thought. Ultimately, I am most interested in the contours of distinctively human thought: what forms does human thought take, and how do those different forms interact? How does human thought compare with that of other animals? In this essay, however, I focus on a narrower and more basic theoretical question: could thought occur in maps? Many philosophers are convinced that in some important sense, thought per se must be language-like.. (shrink)

Structural representations are likely the most talked about representational posits in the contemporary debate over cognitive representations. Indeed, the debate surrounding them is so vast virtually every claim about them has been made. Some, for instance, claimed structural representations are different from indicators. Others argued they are the same. Some claimed structural representations mesh perfectly with mechanistic explanations, others argued they can’t in principle mash. Some claimed structural representations are central to predictive processing accounts of cognition, others rebuked predictive processing (...) networks are blissfully structural representation free. And so forth. Here, I suggest this confusing state of affairs is due to the fact that the term “structural representations” is applied to a number of distinct conceptions of representations. In this paper, I distinguish four such conceptions, argue that these four conceptions are actually distinct, and then show that such a fourfold distinction can be used to clarify some of the most pressing questions concerning structural representations and their role in cognitive theorizing, making these questions more easily answerable. (shrink)

Different researchers from psychology and neuroscience state that navigation involves the manipulation of cognitive maps and graphs. In this paper, I will argue that navigating – specifically, journey planning – can be conceived as a process of practical reasoning. First, I will argue that journey planning constitutes a case of means-end reasoning involving inferences with cartographic representations. Then, I will argue that the output of journey planning functions as an instrumental belief in means-end reasoning. More specifically, journey planning can (...) deliver an instrumental rule that plays a normative role in spatial cognition. This approach motivates a pluralist conception of practical reasoning, stating that inferences might run through different representational formats and processes. (shrink)