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)

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)

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

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)

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)

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.

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)

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)

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)

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)

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)

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)

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.

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)

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)

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)

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.

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)

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)

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)

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)

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)

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)

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)

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)

In this article, “Narrative Closure,” a theory of the nature of narrative closure is developed. Narrative closure is identified as the phenomenological feeling of finality that is generated when all the questions saliently posed by the narrative are answered. The article also includes a discussion of the intelligibility of attributing questions to narratives as well as a discussion of the mechanisms that achieve this. The article concludes by addressing certain recent criticisms of the view of narrative expounded (...) by this article. (shrink)

Certain puzzling cases have been discussed in the literature recently which appear to support the thought that knowledge can be obtained by way of deduction from a falsehood; moreover, these cases put pressure, prima facie, on the thesis of counter closure for knowledge. We argue that the cases do not involve knowledge from falsehood; despite appearances, the false beliefs in the cases in question are causally, and therefore epistemologically, incidental, and knowledge is achieved despite falsehood. We also show that (...) the principle of counter closure, and the concomitant denial of knowledge from falsehood, is well motivated by considerations in epistemological theory--in particular, by the view that knowledge is first in the epistemological order of things. (shrink)

This article gives an overview over different principles of epistemic closure, their attractions and their problems.

Epistemologists understand radical skepticism as arising from two principles: Closure and Underdetermination. Both possess intuitive prima facie support for their endorsement. Understanding how they engender skepticism is crucial for any reasonable anti-skeptical attempt. The contemporary discussion has focused on elucidating the relationship between them to ascertain whether they establish distinct skeptical questions and which of the two constitutes the ultimately fundamental threat. Major contributions to this debate are due to Brueckner, Cohen, and Pritchard. This contribution aims at defending Brueckner’s (...) contention that underdetermination expresses the fundamental skeptical threat and that the closure-based argument can ultimately be reduced to it, at least concerning skeptical contexts. This will be achieved by undermining Cohen’s objections to Brueckner on both counts. Cohen’s argument endorses a picture of evidential underdetermination, which, while apt for non-skeptical contexts, cannot be applied to radical skepticism. A comparison with a case of scientific underdetermination is developed to argue for this idea. Our argument is then applied to the principle equivalence issue and to objections against it. It is then shown how this analysis possesses a distinctive effect on our understanding of the skeptical threat and the assessment of successful anti-skeptical strategies. (shrink)

We report the results of four empirical studies designed to investigate the extent to which an epistemic closure principle for knowledge is reflected in folk epistemology. Previous work by Turri (2015a) suggested that our shared epistemic practices may only include a source-relative closure principle—one that applies to perceptual beliefs but not to inferential beliefs. We argue that the results of our studies provide reason for thinking that individuals are making a performance error when their knowledge attributions and denials (...) conflict with the closure principle. When we used research materials that overcome what we think are difficulties with Turri’s original materials, we found that participants did not reject closure. Furthermore, when we presented Turri’s original materials to non-philosophers with expertise in deductive reasoning (viz., professional mathematicians), they endorsed closure for both perceptual and inferential beliefs. Our results suggest that an unrestricted closure principle—one that applies to all beliefs, regardless of their source—provides a better model of folk patterns of knowledge attribution than a source-relative closure principle. (shrink)

The principle of epistemic closure is the claim that what is known to follow from knowledge is known to be true. This intuitively plausible idea is endorsed by a vast majority of knowledge theorists. There are significant problems, however, that have to be addressed if epistemic closure – closed knowledge – is endorsed. The present essay locates the problem for closed knowledge in the separation it imposes between knowledge and evidence. Although it might appear that all that stands (...) between knowing the truth of the premises of a valid inference and knowledge of its conclusion is inferring it from the premises, the evidence for each of the premises may jointly count against the conclusion. The intuitive view regarding inferred knowledge says one thing, the evidence says another. One epistemological framework that seems to have the resources to resolve this tension endorses the view that knowledge always requires conclusive evidence. A second framework resolves the tension by limiting the scope of the closure principle. Only inferences drawn directly from propositions contained in the scope of a single knowledge operator are considered closed. The aim of the present essay is to revive the unpopular third option, the idea that knowledge is open. The essay proceeds by arguing that in different ways the two former frameworks only succeed in relocating the problem, not in resolving it. The first framework, the infallibilist view, relocates the problem to a sharp separation between knowledge of the occurrences of events from knowledge of their chance of occurring, a separation leading to several significant additional problems. The fallibilist view, the second framework, in endorsing closure neglects to take into full account the ways in which evidence fails to be transitive. For instance, evidence can count in favor of a conjunction while counting against each of its conjuncts. This fact, which is argued for in the essay on probabilistic as well as non-probabilistic grounds, is used as the foundation of an argument against closed knowledge that can be used as a way to understand several of the most fundamental challenges of epistemology. Not only can an open knowledge view that is based on open evidence resolve all these problems in a simple and natural way, it can also respond to formidable challenges that significantly hinder other open knowledge views. There are good reasons, then, to view both knowledge and evidence as open. (shrink)

Most solutions to the skeptical paradox about justified belief assume closure for justification, since the rejection of closure is widely regarded as a non-starter. I argue that the rejection of closure is not a non-starter, and that its problems are no greater than the problems associated with the more standard anti-skeptical strategies. I do this by sketching a simple version of the unpopular strategy and rebutting the three best objections to it. The general upshot for theories of (...) justification is that it is not a constraint on such theories that we must somehow have justification to believe that we are not massively deceived. (shrink)

Tracking theories of knowledge are widely known to have the consequence that knowledge is not closed. Recent arguments by Vogel and Hawthorne claim both that there are no legitimate examples of knowledge without closure and that the costs of theories that deny closure are too great. This paper considers the tracking theories of Dretske and Nozick and the arguments by Vogel and Hawthorne. We reject the arguments of Vogel and Hawthorne and evaluate the costs of closure denial (...) for tracking theories of knowledge. (shrink)

Classical neo-Darwinian explanations do not fully account for changes in biological forms, and new theories have emerged, primarily in maths and physics, that offer new approaches to the problem of the origin of life and phenomena of order in evolution. This volume focuses on the role of closure at various hierarchical levels as the catalyst between self-organization and selection. Participants addressed special areas of the closure problem such as autopoiesis and autocatalysis and function and selection, and semiosis. Presentations (...) on physical and mathematical modelling are included. The book seeks to clarify the role closure plays in explaining the emergence, development and evolution of structurally stable systems at the thermodynamic, chemical and biochemical, biological, psychological and cultural levels. (shrink)

Those of us who have followed Fred Dretske's lead with regard to epistemic closure and its impact on skepticism have been half-wrong for the last four decades. But those who have opposed our Dretskean stance, contextualists in particular, have been just wrong. We have been half-right. Dretske rightly claimed that epistemic status is not closed under logical implication. Unlike the Dretskean cases, the new counterexamples to closure offered here render every form of contextualist pro-closure maneuvering useless. But (...) there is a way of going wrong under Dretske's lead. As the paper argues, Cartesian skepticism thrives on closure failure in a way that is yet to be acknowledged in the literature. The skeptic can make do with principles which are weaker than the familiar closure principles. But I will further claim that this is only a momentary reprieve for the skeptic. As it turns out, one of the weaker principles on which a skeptical modus tollens must rest can be shown false. (shrink)

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact (...) that agents do not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

Recent research has identified a tension between the Safety principle that knowledge is belief without risk of error, and the Closure principle that knowledge is preserved by competent deduction. Timothy Williamson reconciles Safety and Closure by proposing that when an agent deduces a conclusion from some premises, the agent’s method for believing the conclusion includes their method for believing each premise. We argue that this theory is untenable because it implies problematically easy epistemic access to one’s methods. Several (...) possible solutions are explored and rejected. (shrink)

Causal closure arguments against interactionist dualism are currently popular amongst physicalists. Such an argument appeals to some principles of the causal closure of the physical, together with certain other premises, to conclude that at least some mental events are identical with physical events. However, it is crucial to the success of any such argument that the physical causal closure principle to which it appeals is neither too strong nor too weak by certain standards. In this paper, it (...) is argued that various forms of naturalistic dualism, of an emergentist character, are consistent with the strongest physical causal closure principles that can plausibly be advocated. (shrink)

It is received wisdom that the skeptic has a devastating line of argument in the following. You probably think, he says, that you know that you have hands. But if you knew that you had hands, then you would also know that you were not a brain in a vat, a brain suspended in fluid with electrodes feeding you perfectly coordinated impressions that are generated by a supercomputer, of a world that looks and moves just like this one. You would (...) know you weren’t in this state if you knew you had hands, since having hands implies you are no brain in a vat. You obviously don’t know you’re not a brain in a vat, though—you have no evidence that would distinguish that state from the normal one you think you’re in. Therefore, by modus tollens, you don’t know you have hands. At least, the skeptic has a devastating argument, it is thought, if we grant him closure of knowledge under known implication, which many of us are inclined to do: roughly, if you know p, and you know that p implies q, then you know q. (shrink)

Value Sensitive Design (VSD) is an established method for integrating values into technical design. It has been applied to different technologies and, more recently, to artificial intelligence (AI). We argue that AI poses a number of challenges specific to VSD that require a somewhat modified VSD approach. Machine learning (ML), in particular, poses two challenges. First, humans may not understand how an AI system learns certain things. This requires paying attention to values such as transparency, explicability, and accountability. Second, ML (...) may lead to AI systems adapting in ways that ‘disembody’ the values embedded in them. To address this, we propose a threefold modified VSD approach: 1) integrating a known set of VSD principles (AI4SG) as design norms from which more specific design requirements can be derived; 2) distinguishing between values that are promoted and respected by the design to ensure outcomes that not only do no harm but also contribute to good; and 3) extending the VSD process to encompass the whole life cycle of an AI technology in order to monitor unintended value consequences and redesign as needed. We illustrate our VSD for AI approach with an example use case of a SARS-CoV-2 contact tracing app. (shrink)

Christoph Jäger (2004) argues that Dretske's information theory of knowledge raises a serious problem for his denial of closure of knowledge under known entailment: Information is closed under known entailment (even under entailment simpliciter); given that Dretske explains the concept of knowledge in terms of "information", it is hard to stick with his denial of closure for knowledge. Thus, one of the two basic claims of Dretske would have to go. Since giving up the denial of closure (...) would commit Dretske to skepticism, it would most probably be better to rather give up the information-theoretic account of knowledge. But that means that one of the best externalist views of knowledge has to be given up. I argue here that Jäger is mistaken and that there is no problem for Dretske. There is a rather easy way out of Jäger’s problem. (shrink)

Deduction is important to scientific inquiry because it can extend knowledge efficiently, bypassing the need to investigate everything directly. The existence of closure failure—where one knows the premises and that the premises imply the conclusion but nevertheless does not know the conclusion—is a problem because it threatens this usage. It means that we cannot trust deduction for gaining new knowledge unless we can identify such cases ahead of time so as to avoid them. For philosophically engineered examples we have (...) “inner alarm bells” to detect closure failure, but in scientific investigation we would want to use deduction for extension of our knowledge to matters we don’t already know that we couldn’t know. Through a quantitative treatment of how fast probabilistic sensitivity is lost over steps of deduction, I identify a condition that guarantees that the growth of potential error will be gradual; thus, dramatic closure failure is avoided. Whether the condition is fulfilled is often obvious, but sometimes it requires substantive investigation. I illustrate that not only safe deduction but the discovery of dramatic closure failures can lead to scientific advances. (shrink)

Half a century later, a Dretskean stance on epistemic closure remains a minority view. Why? Mainly because critics have successfully poked holes in the epistemologies on which closure fails. However, none of the familiar pro-closure moves works against the counterexamples on display here. It is argued that these counterexamples pose the following dilemma: either accept that epistemic closure principles are false, and steal the thunder from those who attack classical logic on the basis of similarly problematic (...) cases—specifically, relevance logicians and like-minded philosophers—or stick with closure and surrender to relevantist claims of failure in truth-preservation aimed at classical rules of inference. Classicist closure advocates find the promise of a way out of the dilemma in the works of Roy Sorensen and John Hawthorne. The paper argues against their pro-closure move and renews Robert Audi’s call for a theory of closure-failure. (shrink)