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

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

We gather the following miscellaneous results in proof theory from the attic.1. 1. A provably well-founded elementary ordering admits an elementary order preserving map.2. 2. A simple proof of an elementary bound for cut elimination in propositional calculus and its applications to separation problem in relativized bounded arithmetic below S21.3. 3. Equivalents for Bar Induction, e.g., reflection schema for ω logic.4. 4. Direct computations in an equational calculus PRE and a decidability problem for provable inequations in PRE.5. 5. (...) Intuitionistic fixed point theories which are conservative extensions of HA.6. 6. Proof theoretic strengths of classical fixed points theories.7. 7. An equivalence between transfinite induction rule and iterated reflection schema over IΣn.8. 8. Derivation lengths of finite rewrite rules reducing under lexicographic path orders and multiply recursive functions.Each section can be read separately in principle. (shrink)

In this paper we prove that, in the Cohen extension of a model M of ZFC+CH containing a simplified -morass, η1-orderings without endpoints having cardinality of the continuum, and satisfying specified technical conditions, are order-isomorphic. Furthermore, any order-isomorphism in M between countable subsets of the η1-orderings can be extended to an order-isomorphism between the η1-orderings in the Cohen extension of M. We use the simplified -morass, and commutativity conditions with morass maps on terms in the forcing language, (...) to extend countable partial functions on terms in the forcing language that are forced in all generic extensions to be order-preserving injections. This technique provides for the construction of functions in Cohen extensions adding 2 generic reals for which the only known arguments require transfinite constructions of order type no greater than ω1 in models of ZFC+CH. The specific example presented in this paper is an extension of Tarski’s classic result that in models of ZFC+CH, η1-orderings are order-isomorphic. (shrink)

We prove that the category of Nachbin’s compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we observe that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to any (...) finitely accessible category, any first-order definable class of structures, and any class of finitary algebras closed under products and subalgebras. An explicit equational axiomatisation of the dual of the category of compact ordered spaces is obtained; in fact, we provide a finite one, meaning that our description uses only finitely many function symbols and finitely many equational axioms. In preparation for the latter result, we establish a generalisation of a celebrated theorem by Mundici: our result—whose proof is independent of Mundici’s theorem—asserts that the category of unital commutative distributive lattice-ordered monoids is equivalent to the category of what we call MV-monoidal algebras.Abstract taken directly from the thesis.E-mail: [email protected]: https://air.unimi.it/retrieve/handle/2434/812809/1698986/phd_unimi_R11882.pdf. (shrink)

We prove that in the Cohen extension adding ℵ3 generic reals to a model of containing a simplified (ω1, 2)‐morass, gap‐2 morass‐definable η1‐orderings with cardinality ℵ3 are order‐isomorphic. Hence it is consistent that and that morass‐definable η1‐orderings with cardinality of the continuum are order‐isomorphic. We prove that there are ultrapowers of over ω that are gap‐2 morass‐definable. The constructions use a simplified gap‐2 morass, and commutativity with morass‐maps and morass‐embeddings, to extend a transfinite back‐and‐forth construction of order‐type (...) ω1 to an order‐preserving bijection between objects of cardinality ℵ3. (shrink)

Let CH be the class of compacta (i.e., compact Hausdorff spaces), with BS the subclass of Boolean spaces. For each ordinal α and pair $\langle K,L\rangle$ of subclasses of CH, we define Lev ≥α K,L), the class of maps of level at least α from spaces in K to spaces in L, in such a way that, for finite α, Lev ≥α (BS,BS) consists of the Stone duals of Boolean lattice embeddings that preserve all prenex first-order formulas of quantifier (...) rank α. Maps of level ≥ 0 are just the continuous surjections, and the maps of level ≥ 1 are the co-existential maps introduced in [8]. Co-elementary maps are of level ≥α for all ordinals α; of course in the Boolean context, the co-elementary maps coincide with the maps of level ≥ω. The results of this paper include: (i) every map of level ≥ω is co-elementary; (ii) the limit maps of an ω-indexed inverse system of maps of level ≥α are also of level ≥α; and (iii) if K is a co-elementary class, k ≥ k (K,K) = Lev ≥ k+1 (K,K), then Lev ≥ k (K,K) = Lev ≥ω (K,K). A space X ∈ K is co-existentially closed in K if Lev ≥ 0 (K, X) = Lev ≥ 1 (K, X). Adapting the technique of "adding roots," by which one builds algebraically closed extensions of fields (and, more generally, existentially closed extensions of models of universal-existential theories), we showed in [8] that every infinite member of a co-inductive co-elementary class (such as CH itself, BS, or the class CON of continua) is a continuous image of a space of the same weight that is co-existentially closed in that class. We show here that every compactum that is co-existentially closed in CON (a co-existentially closed continuum) is both indecomposable and of covering dimension one. (shrink)

Subcreative sets, introduced by Blum, are known to coincide with the effectively speedable sets. Subcreative sets are shown to be the complete sets with respect to S-reducibility, a special case of Turing reducibility. Thus a set is effectively speedable exactly when it contains the solution to the halting problem in an easily decodable form. Several characterizations of subcreative sets are given, including the solution of an open problem of Blum, and are used to locate the subcreative sets with respect to (...) the complete sets of other reducibilities. It is shown that q-cylindrification is an order-preserving map from the r.e. T-degrees to the r.e. S-degrees. Consequently, T-complete sets are precisely the r.e. sets whose q-cylindrifications are S-complete. (shrink)

. What is a logic? Which properties are preserved by maps between logics? What is the right notion for equivalence of logics? In order to give satisfactory answers we generalize and further develop the topological approach of [4] and present the foundations of a general theory of abstract logics which is based on the abstract concept of a theory. Each abstract logic determines a topology on the set of theories. We develop a theory of logic maps and show in (...) what way they induce (continuous, open) functions on the corresponding topological spaces. We also establish connections to well-known notions such as translations of logics and the satisfaction axiom of institutions [5]. Logic homomorphisms are maps that behave in some sense like continuous functions and preserve more topological structure than logic maps in general. We introduce the notion of a logic isomorphism as a (not necessarily bijective) function on the sets of formulas that induces a homeomorphism between the respective topological spaces and gives rise to an equivalence relation on abstract logics. Therefore, we propose logic isomorphisms as an adequate and precise notion for equivalence of logics. Finally, we compare this concept with another recent proposal presented in [2]. (shrink)

Subcreative sets, introduced by Blum, are known to coincide with the effectively speedable sets. Subcreative sets are shown to be the complete sets with respect to S-reducibility, a special case of Turing reducibility. Thus a set is effectively speedable exactly when it contains the solution to the halting problem in an easily decodable form. Several characterizations of subcreative sets are given, including the solution of an open problem of Blum, and are used to locate the subcreative sets with respect to (...) the complete sets of other reducibilities. It is shown that q-cylindrification is an order-preserving map from the r.e. T-degrees to the r.e. S-degrees. Consequently, T-complete sets are precisely the r.e. sets whose q-cylindrifications are S-complete. (shrink)

We study descriptive set theory in the space ω1 ω 1 by letting trees with no uncountable branches play a similar role as countable ordinals in traditional descriptive set theory. By using such trees, we get, for example, a covering property for the class of Π 1 1 -sets of ω1 ω 1 . We call a family U of trees universal for a class V of trees if $\mathscr{U} \subseteq \mathscr{V}$ and every tree in V can be order-preservingly (...) mapped into a tree in U. It is well known that the class of countable trees with no infinite branches has a universal family of size ℵ 1 . We shall study the smallest cardinality of a universal family for the class of trees of cardinality ≤ℵ 1 with no uncountable branches. We prove that this cardinality can be 1 (under ¬CH) and any regular cardinal κ which satisfies ℵ 2 ≤ κ ≤ 2 ℵ 1 (under CH). This bears immediately on the covering property of the Π 1 1 -subsets of the space ω1 ω 1 . We also study the possible cardinalities of definable subsets of ω1 ω 1 . We show that the statement that every definable subset of ω1 ω 1 has cardinality $ or cardinality 2 ω1 is equiconsistent with ZFC (if n ≥ 3) and with ZFC plus an inaccessible (if n = 2). Finally, we define an analogue of the notion of a Borel set for the space ω1 ω 1 and prove a Souslin-Kleene type theorem for this notion. (shrink)

In this paper, we prove that a pseudo-exponential field has continuum many nonisomorphic countable real closed exponential subfields, each with an order-preserving exponential map which is surjective onto the nonnegative elements. Indeed, this is true of any algebraically closed exponential field satisfying Schanuel’s conjecture.

Let κ be a regular cardinal and P a partial ordering preserving the regularity of κ. If P is (κ-Baire and) of density κ, then there is a mad family on κ killed in all generic extensions (if and) only if below each p∈P there exists a κ-sized antichain. In this case a mad family on κ is killed (if and) only if there exists an injection from κ onto a dense subset of Ult(P) mapping the elements of onto (...) nowhere dense sets. If 2< κ =κ, then in each generic extension of V, in which κ is the minimal cardinal obtaining new subsets, some mad family on κ is killed or an independent subset of κ appears. Also, the κ-Suslin Hypothesis holds iff there exists a mad family on κ which is killed in each generic extension containing new subsets of κ and preserving P(λ) for λ<κ. (shrink)

This dissertation offers a phenomenology of that mode of self-interpretation in which it becomes possible for an interpreter to intentionally participate in the production of moral norms to which the interpreter himself or herself feels bound. Part One draws on Richard Rorty's notion of the "ironist" in order to thematize the phenomenon I call "moral friction"; a condition in which an interpreter becomes explicitly aware of the historical and cultural contingencies of their own moral vocabularies, practices, and concerns and (...) as a result find themselves incapable of feeling the normative weight implicit in these. Part Two draws on Heidegger's existential analytic of human being, Gadamer's development of Hermeneutic Phenomenology, and Hegel's notion of "sublation" in order to map how novel interpretations can irreversibly displace the coherence of older interpretations. I call this form of interpretation "moral phenomenology." Finally, in Part Three, I utilize a selective phenomenology of musical improvisation to plot the unique temporal orientation of self-interpretation that results from intentionally deploying this irreversible displacement of older interpretations that involve normative moral implications. I call the form of life that is marked by this hermeneutic mode the "improviser." The result is a description of a form of life in which it becomes possible to explicitly participate in the production of moral norms within a historical and culturally contingent context that nevertheless preserves standards of rational justification for normative moral judgment without the need for atemporal first principles. The availability of this mode of self-interpretation displaces the sharp distinction between non-normative descriptive phenomenology and normative moral reasoning by placing the latter within a non-teleological historical practice that engages in the production of interpretations which irreversibly displace older interpretations--a practice that is governed by the critical cultivation of contingent moral norms within the open investigation into the good life for human being. (shrink)

The aim of this paper is to characterize the various structuralist reduction concepts as structure-preserving maps in a succinct and unifying way. To begin with, some important intuitive adequacy conditions are discussed that a good (structuralist) reduction concept should satisfy. Having reconstructed these intuitive conditions in the structuralist framework, it turns out that they divide into two mutually incompatible sets of requirements. Accordingly there exist (at least) two essentially different types of structuralist reduction concepts: the first type stresses the (...) existence of a deductive or inferential link between the reducing and the reduced theory; the second type emphasizes the greater explanatory power the reducing theory should have in comparison with the reduced theory. The problem of the incompatibility of equally plausible reduction concepts is treated in the last section and a proposal is made for its solution consisting in the definition of a multiple synthetizing reduction relation. (shrink)

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to (...) this general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary first-order logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too. (shrink)

Grishin algebras are a generalisation of Boolean algebras that provide algebraic models for classical bilinear logic with two mutually cancelling negation connectives. We show how to build complete Grishin algebras as algebras of certain subsets (“propositions”) of cover systems that use an orthogonality relation to interpret the negations. The variety of Grishin algebras is shown to be closed under MacNeille completion, and this is applied to embed an arbitrary Grishin algebra into the algebra of all propositions of some cover system, (...) by a map that preserves all existing joins and meets. This representation is then used to give a cover system semantics for a version of classical bilinear logic that has first-order quantifiers and infinitary conjunctions and disjunctions. (shrink)

The system obtained by adding full propositional quantification to S5 is known to be decidable, while that obtained by doing so for T is known to be recursively intertranslatable with full second-order logic. Recently it was shown that the system with two S5 operators and full propositional quantification is also recursively intertranslatable with second-order logic. This note establishes that the map assigning [1][2]p to \squarep provides a validity and satisfaction preserving translation between the T system and the (...) double S5 system, thus providing an easier proof of the recent result. (shrink)

Labeled transition systems are key structures for modeling computation. In this paper, we show how they lend themselves to ordinary logical analysis (without any special new formalisms), by introducing their standard first-order theory. This perspective enables us to raise several basic model-theoretic questions of definability, axiomatization and preservation for various notions of process equivalence found in the computational literature, and answer them using well-known logical techniques (including the Compactness theorem, Saturation and Ehrenfeucht games). Moreover, we consider what happens to (...) this general theory when one restricts attention to special classes of transition systems (in particular, finite ones), as well as extended logical languages (in particular, infinitary first-order logic). We hope that this puts standard logical formalisms on the map as a serious option for a theory of computational processes. As a side benefit, our approach increases comparability with several other existing formalisms over labeled transition systems (such as Process Algebra or Modal Logic). We provide some pointers to this effect, too. (shrink)

For each continuous t-norm &, a class of fuzzy topological spaces, called &-topological spaces, is introduced. The motivation stems from the idea that to each many-valued logic there may correspond a theory of many-valued topology, in particular, each continuous t-norm may lead to a theory of fuzzy topology. It is shown that for each continuous t-norm &, the subcategory consisting of &-topological spaces is simultaneously reflective and coreflective in the category of fuzzy topological spaces, hence gives rise to an autonomous (...) theory of fuzzy topology. Topologizing a fuzzy pre-ordered set with the fuzzy Scott topology yields a functor from the category of fuzzy pre-ordered sets and maps that preserve suprema of flat ideals to the category of &-topological spaces. It is proved that this functor is a full one if and only if the t-norm & is Archimedean. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Art of Forgetting: Disgrace and Oblivion in Roman Political CultureCynthia DamonHarriet I. Flower. The Art of Forgetting: Disgrace and Oblivion in Roman Political Culture. Studies in the History of Greece and Rome. Chapel Hill: University of North Carolina Press, 2006. xxiv + 400 pp. 75 black-and-white ills. 1 map. Cloth. $59.95.Despite its title, this book is not really about forgetting. Forgetting, as Tacitus knew to his cost, (...) cannot be done to order, whether the order be one's own or another's. Erasure, rather. Indeed erasures of a wide variety, from official memory sanctions mandating the removal of names from inscriptions and imagines from funerals, to spontaneous erasures on or of monuments associated with the disgraced, to literary attacks targeting posthumous reputations. The emphasis is on the first category; the book is structured around a chronological survey of official memory sanctions and the physical traces thereof from the early Republic [End Page 599] up to the first year of the principate of Antoninus Pius, but the other types are well integrated into the discussion. The Art of Forgetting is a fascinating study of the battle between the living and the dead or disgraced for prime turf in the memory space of the Roman elite.As with so much of Roman history as we can know it, the "memory wars" and "memory games" treated in this book are an elite phenomenon. The erasures discussed (and, happily, often pictured) here are most accessible to us when they are accomplished in the same enduring media to which the Roman elite entrusted its public record and reputation. The title of Flower's first chapter, "Clementis' Hat," alluding to the chance survival of a photographic testimonial for Czech politician Vladimir Clementis, captures Flower's early assertion that we can only know the incompletely successful erasures (12), but this seems to me to collapse an essential distinction, preserved elsewhere in the book, including its subtitle, between memory and reputation. The senate-mandated erasure of the man accused of Germanicus' murder is accomplished both by chiseling his name out of the dedication of a statue of Germanicus and by chiseling it into the empire-wide inscriptions on which the senate's verdict in his trial was recorded. The former deprives him of prime memory space; the latter assigns him space on the wrong side of the tracks, so to speak. Both oblivion and disgrace are weapons in the memory wars, and their relative salience varies.The chronological survey of the Roman evidence is preceded by a contextualizing chapter on memory sanctions in the Greek world, particularly in the Hellenistic world, in which Rome's elite saw first hand the battles over what went into the monumental record that followed (or even preceded) battles for territory. Early-attested sanctions such as the razing of a disgraced person's house seem to combine practical and symbolic ends: displacement of the individual and his immediate family and erasure of an avatar. The record of sanctions in democratic Athens, which adds to house-razing the expulsion of remains and the erection of stelai publicizing the names and crimes of offenders against the demos, already shows the complementary effects of oblivion and disgrace later exploited at Rome. A helpful distinction is drawn between amnesties such as that of 403 B.C.E. Athens, in which "a new start was made by promising not to use the past as a political weapon" (23), and the kind of memory politics manifested in sanctions. The discussion of the Hellenistic world establishes the connection, later relevant to the treatment of Rome's imperial women, between extravagant honors and harsh penalties in the symbolic realm: in the rhetoric of relations between cities and kings, for example, a ruler in favor is honored as a god, while a ruler out of favor may find his cult appropriated, his record erased, and his memory cursed.Rome had its own long-standing traditions of memory sanctions. Or at least by the Augustan age it felt it had. Chapter 3 tries to get back beyond the triumviral phase of Roman memory sanctions, citing fifth- and fourth-century house-razings for "citizen traitors" (45... (shrink)

_The most complete picture to date of the moral worlds of the political left and right and how their different views relate to specific political issues_ The left and right will always have strong policy disagreements, but constructive debate and negotiation are not possible when each side demonizes the other. We need to move past our poisonous politics. In this book, social psychologist Ronnie Janoff-Bulman provides a new framework for understanding why and how we disagree. Janoff-Bulman asks readers to consider (...) the challenging possibility that both liberalism and conservatism are morally based and reflect genuine concern for the country. Moral psychology is an invaluable lens for understanding the roots of political differences. She presents a “Model of Moral Motives” that maps the most fundamental motivations recognized by psychology—approach and avoidance—onto these differences. Liberal morality focuses on providing for the group’s well-being and ensuring social justice. Conservative morality focuses on protecting the group from threats and preserving order. These moralities can account for the psychological differences between liberals and conservatives and for why certain positions resonate on each side of the political spectrum. Why, for example, do conservatives oppose abortion and favor unfettered free markets while liberals favor a woman’s right to choose and economic regulation? Understanding that our political differences are rooted in two natural forms of morality can help us begin to detoxify our politics. (shrink)

continent. 1.2 (2011): 70-75. cartography of ghosts . . . And as a way to talk . . . of temporality the topography of imagination, this body whose dirty entry into the articulation of history as rapturous becoming & unbecoming, greeted with violence, i take permission to extend this grace —Akilah Oliver from “An Arriving Guard of Angels Thusly Coming To Greet” Our disappearance is already here. —Jacques Derrida, 117 I wrestled with death as a threshold, an aporia, a bandit, (...) a part of life. —Akilah Oliver Moraine in geological lingo is that which is left behind. Moraine- a euphemism for the de-stabilizing referent of the writer-ly body as a “troubled and troubling landscape marked by cultural and historical signifiers, the body as flesh memory [...] the body as transitory” (Oliver, Author Statement). Moraine— a geological metaphor of the poet as a holder of memory, as an accumulation of rocks and debris carried along the edge, terminal, dropped at the foot of language (in language). “Flesh Memory” according to Akilah Oliver is "that which my body recalls [...] everything has to do with the task of remembrance and its narrative reinvention [...] I was always translating an idea of the world as it presented itself at any given time. To write was a choice about how to be seen, how to enter the world as translator, actor, participant, in the dialogues that apparently made the real 'real'" (Levitsky). Flesh. Memory. The stuff some poems are made from. The stuff that gets abandoned, gleaned, and picked up by more flesh and memory. "My body, my life has always felt like a kaleidoscopic rip in the dominant fabric [...] has always been a dialogue with the impossible and the apparent” (Levitsky). The impossible-body or poet's body anticipates and performs (through language) an irretrievable death. IN APORIA I realized everything I must have been doing must have been Death. It was Christmas or Labor Day—a holiday—and every time you turned on the radio they said something like ‘four million’ or ‘going to die’.” — Andy Warhol I’m trying on egos, [a justification for the planet’s continuance]. Oh hello transgressor, you’ve come to collect utilitarian debts, humbling narrative space. Give me condition and wheatgrass, I his body disintegrating. I his body is ossification. Death my habit radius, yeah yeah. I his body can’t refuse this summons. I can’t get out this fucking room. Tell me something different about torture dear Trickster. Tell me about the lightness my mother told me to pick the one i love the best how it signals everything I ever wish to believe true just holy on my ship. I jump all over this house. this is it [what I thought is thought only, nothing more deceptive than]: I his body keeps thinking someone will come along, touch me. As like human or lima bean. I’m cradling you to my breast, you are looking out. A little wooden lion you & Peter carve on Bluff Street is quieting across your cheekbone. Not at all like the kind of terror found in sleep, on trembling grounds. It is yesterday now. I have not had a chance to dance in this century. Tonight I shall kill someone, a condition to remember Sunday morning. To think of lives as repetitions [rather than singular serial incarnations]. To understand your death is as exacerbating as trying to figure out why as schoolchildren in mid-nineteen-sixties Southern California we performed reflexive motions: cutting out lace snowflakes, reading Dick and Jane search for their missing mittens, imagining snow. Disintegrat ing . The -ing gerund catapults from the non-finite verb into past, present, future. The -ing as a tail pinned to death, a dog spinning to bite and never fully reaching itself, always shy of the end, circumreferential; a double copulative: deathing. Possessively AO calls it “habit radius” (a virtual fetish attribute) or an inescapable death presence that “confronts us with the paradox of an unattainable object [...] through it’s being unattainable” (Agamben, 27). A flirtation or dialogue with an unknowable thing and aporia utilized as investigative instrument to engage (death) while (in Southern California) we “perform reflexive motions,” cut lace snowflakes, imagine snow, and pay rent like “yeah, yeah” what else is new. And this too, fiction. The book I wish to right. The restored fallen, heroic. Did you expect a different grace from the world? Or upon exit? I’m working on “tough.” They think I am already. All ready. Who is the dead person? Is "I'm sorry" real to a dead person? Browning grass. My hands on this table. A contentious century. A place to pay rent. Redemptive moments. Am I now the dead person? Dead person, dead person, will you partake in my persimmon feast? The body inside the body astounds, confesses sins of the funhouse. I too have admired the people of this planet. Their frilly, orderly intellects. The use they’ve made of cardamom, radiation as well. How they’ve pasteurized milk, loaned surnames to stars, captured tribes, diseases, streets, and ideas too. The living-body as archive: is it possible to experience the living-body as archive without a (kind of) death? Sifting the rubble, rummaging through hoarded debris, skin sheds, memory-napping, and re-awoken (in flesh and) on terrain. “An investigative poetics seeks to unravel staid communities of thought and grasp at what might always be just beyond reach; a poetics of inquiry that lies between language as meaning, and language as rapturous entry into the world of posited ideas and idealism”( Levitsky). Something snaps. Lights blow out prior to embarking upon an investigative poetics. It begins with a question (often a sexy aporia) that leads to openings. "Every politics of memory [...] implies an intervention of the state. It's a state that legislates and acts with regard to the nonfinite mass of materials to be stored, materials which must be collected, preserved” (Derrida & Stiegler, 62). It seems poetic investigation already contains the potentiality of an (invisible) archive if the writer is “always writing” especially when not. Here’s my stupid digital romantic inclination: the living-body (of a poet) is a self-sustaining archive of non-finite memories. But not even I really believe that. AO innovated and sculpted an investigative poetic praxis. In a conversation with poet Rachel Levitsky, poetic-voice is viewed not as a precious identifier, but as a means to think through/about form, concluding that form is linked to framing. While poetic-voice may have tendency to precede form, it also erupts as a result of framing techniques. “They are frames that hold the shape of thinking (which is also to say of imagining) [...].”7 This reminds me of my rabbit who symmetrically chewed the corners of his hutch, which makes me wonder if it’s an expression of the shape of some animal anxiety tick I won’t ever have access to. Beyond the form/frame, death is an unoriginal yet unique limit; death is a damn deathless thing. It functions as a source of poetic investigation; that thing always “just beyond reach.” And how is death not a fetish (in this case an obsessive reverence for something non-material)? “Insofar as it [death] is a presence, a fetish [...] it is in fact something concrete and tangible; but insofar as it is the presence of an absence, it is, at the same time, immaterial and intangible, because it alludes continuously beyond itself to something that can never really be possessed [...] The fetish is [...] a sign of an absence, it is not an unrepeatable unique object; on the contrary, it is something infinitely capable of substitution, without any successive incarnations ever succeeding in exhausting the nullity of which it is the symbol” (Agamben, 33). AO utilized absence (the absent body [catapulted by the death of a beloved]) as an apparatus to investigate. In the process of conversing with absence or that which is absent, the absent body is affectionately objectified, incessantly summonsed back to a place of recognition, of objects, a desire for the absent body to remain intact while exiting the structural limits of grammar and syntax by moving into chant forms “to say what cannot be said” (Levitsky). from AN ARRIVING GUARD OF ANGELS THUSLY COMING TO GREET dear oluchi- the light is blinking rapidly on the black boxy machine. your room seems bigger than before and i am still planning to read some of those robert jordan books of yours. yesterday at the used bookstore where i was browsing the mysteries to “stall reality” (they are really not mysteries at all, they just employ death as the plot mistress but are unable to grasp its mystery at all)—well the point is, things were calm down here for a while and the world was little. i want to be big like you. or i want you not vast, not dead, not gone, but human small and here. i am so selfish. that is what i really want. to see you again. to oil your scalp. to hear you walk in the door, say ma i’m home . give me a chance to say welcome home son. or when leaving, don’t forget your hat . what do you wear out there? i wish you could have taken your new shoes with you. i’m so proud of you. i’m sorry for the way you died. i miss you all the time. even before, i missed you. out there, one time, some different men said: “shake for me girl, i wanna be your backdoor man.” who dat you love. 5/18/03 A letter-poem in sixteen lines “dear oluchi-” is safe-housed in epistolary form. Poetic voice is rendered as internal thought meanderings, a not-so-much confession, private/(pillow?) talk in the desire to be heard/witnessed by the referent and reader with an intent to absolve. The diminutive “i” bears a relation to poet Fanny Howe’s “little g God” in that “One of the (many) things I like about little g God is that you can have a vodka tonic while you talk to little g God, sing along to Bowie’s “I’m Afraid Of Americans,” and hum Coltrane’s “A Love Supreme,” though maybe not all at the same time” (Oliver, 2009). Towards the middle of the poem AO is at a used bookstore and remarks on the funny employment of death as a ‘plot mistress’ that ‘they’ (the dubious employed mystery authors) are ‘unable to grasp’, thereby giving death a mouthpiece, a modeling job, something to do to pass the time. from THE VISIBLE UNSEEN When I first saw graffiti, I recognized in it an ugly aesthetic, a dialectics of violence, a distortion of limbs, a hieroglyph. It was only later when I read the names of the dead that I then saw the path of ghosts charted there; its narrative of loss for the visible unseen whose place in history has been fictionalized and rendered unseen under the totalizing glare of history. Inscriptions, traces, specters. Graffiti begs a public face just as ghosts require non-ghosts (humans) to sense them. The “visible unseen” is a game of hide-and-seek between public viewer and graffiti-inscriber, an ephemeral-violent aesthetic on an ephemeral-policed canvas. Graffiti-inscribers already submit to being forgotten, expect to be washed away; perhaps it’s a holy urban mandala created by gangster-type monks without Buddhism. [...] in its refusal to disappear it forces a discourse in the public imagination we are forced to see what we would rather not, to make sense of an encoded language that we cannot read on the level of meaning. it irritates, forces its agency on us, speaks outside and beyond semiotic reach. An epic font-size pervading the public’s imagination, illegible, I could just close my eyes, remain passive, drive past, abandon it beyond reach, push it further away beyond death walls. In Barcelona I watched a clean up crew wash walls with an awesome water hose but I was more intrigued by their bodies; not a distortion of limbs, not hieroglyph but also not entirely legible; the laboring body permanently erasing specters of the city, and of course they knew it was also an invitation for the ghosts to return. Graffiti is death’s little sister, is also an aporia. [...] Graffiti (fr GK -graph(os), something drawn or written, to diagram or chart) attempts to stage the impossible: to erase the essence of its own subjectivity. Graffiti is a cartography of ghosts, a mapping of elegiac rapture (the transporting of a person from one place to another, as in heaven) and rupture (the state of being broken open.) Dwelling is a fiction stasis. [...] The notion of the past as being something done with, a look-back event, inhibits the possibility of reading graffiti as rapture, as rupture. If graffiti posits history as always in the process of becoming undone. [...] Because what is the body, if not also a complex temple, an unstable site through which to negotiate subjects, materiality, economies, gods, and modes of representations? The site where we are all already belated. Graphein meaning “to write.” “Derrida says every archive makes a law, and the law of genre is its own rupture” (Bloch, 39). However, graffiti is an (non/anti)-archive of erasure due to (the politics of) washing out its subjectivity, which only adds onto (or is symptomatic of) its character. The inhibition of “reading graffiti as rapture, as rupture” is partly due to it being a “look-back” event in that it’s process involves scratching through layers to reveal previous specters underneath. Graffiti (as an ancient genre) has always been a thing of ‘becoming undone’, and therefore ‘belated and always in arrival’ (Levitsky). It’s a Dionysian activity done at night with it’s back turned toward us. "The specter [...] is of the visible, but of the invisible visible, it is the visibility of a body which is not present in flesh and blood [...] appearing for vision, to the brightness of day [...] something becomes almost visible which is visible only insofar as it is not visible in flesh and blood. It is a night visibility. As soon as there is a technology of the image, visibility brings night. It incarnates in a night body, it radiates in a night light" (Derrida & Stiegler, 115). (shrink)

1. Setting off: An introduction. 1.1. A measure of motivation. 1.2. Computable mathematics. 1.3. Reverse mathematics. 1.4. An overview. 1.5. Further reading -- 2. Gathering our tools: Basic concepts and notation. 2.1. Computability theory. 2.2. Computability theoretic reductions. 2.3. Forcing -- 3. Finding our path: Konig's lemma and computability. 3.1. II[symbol] classes, basis theorems, and PA degrees. 3.2. Versions of Konig's lemma -- 4. Gauging our strength: Reverse mathematics. 4.1. RCA[symbol]. 4.2. Working in RCA[symbol]. 4.3. ACA[symbol]. 4.4. WKL[symbol]. 4.5. [symbol]-models. (...) 4.6. First order axioms. 4.7. Further remarks -- 5. In defense of disarray -- 6. Achieving consensus: Ramsey's theorem. 6.1. Three proofs of Ramsey's theorem. 6.2. Ramsey's theorem and the arithmetic hierarchy. 6.3. RT, ACA[symbol], and the Paris-Harrington theorem. 6.4. Stability and cohesiveness. 6.5. Mathias forcing and cohesive sets. 6.6. Mathias forcing and stable colorings. 6.7. Seetapun's theorem and its extensions. 6.8. Ramsey's theorem and first order axioms. 6.9. Uniformity -- 7. Preserving our power: Conservativity. 7.1. Conservativity over first order systems. 7.2. WKL[symbol] and II[symbol]-conservativity. 7.3. COH and r-II[symbol]-conservativity -- 8. Drawing a map: Five diagrams -- 9. Exploring our surroundings: The world below RT[symbol]. 9.1. Ascending and descending sequences. 9.2. Other combinatorial principles provable from RT[symbol]. 9.3. Atomic models and omitting types -- 10. Charging ahead: Further topics. 10.1. The Dushnik-Miller theorem. 10.2. Linearizing well-founded partial orders. 10.3. The world above ACA[symbol]. 10.4. Still further topics, and a final exercise. (shrink)

This article addresses debates around the fate of antiquated symbols of colonial domination in postcolonial societies. The handling of apartheid material culture still generates controversy more than 15 years after the country’s first democratic elections. Built in 1949 to commemorate the Great Trek into the interior of the country, the Voortrekker Monument in Pretoria has stood as the embodiment of Afrikaner nationalism and mythology. A number of factors prevented the demolition of the site, including the spirit of national reconciliation. In (...) order to remain relevant and to secure state funding, staff members at the Voortrekker Monument have attempted to map onto the original exclusionary imagery a more inclusive narrative that hinges on the protection of ‘minority rights’ to cultural preservation. This case study sheds light on the way political transitions create openings for the interrogation of colonial monuments – whether they should be destroyed, revised or left untouched – and the development of a postcolonial memorial landscape. (shrink)

The aim of this paper is to shed light on our understanding of large scale properties of infinite strings. We say that one string $\alpha $ has weaker large scale geometry than that of $\beta $ if there is color preserving bi-Lipschitz map from $\alpha $ into $\beta $ with small distortion. This definition allows us to define a partially ordered set of large scale geometries on the classes of all infinite strings. This partial order compares large scale (...) geometries of infinite strings. As such, it presents an algebraic tool for classification of global patterns. We study properties of this partial order. We prove, for instance, that this partial order has a greatest element and also possess infinite chains and antichains. We also investigate the sets of large scale geometries of strings accepted by finite state machines such as Büchi automata. We provide an algorithm that describes large scale geometries of strings accepted by Büchi automata. This connects the work with the complexity theory. We also prove that the quasi-isometry problem is a $\Sigma _2^0$ -complete set, thus providing a bridge with computability theory. Finally, we build algebraic structures that are invariants of large scale geometries. We invoke asymptotic cones, a key concept in geometric group theory, defined via model-theoretic notion of ultra-product. Partly, we study asymptotic cones of algorithmically random strings, thus connecting the topic with algorithmic randomness. (shrink)

In this paper I wish to examine our imagination of the unity of the earth and the process of globalization by contrasting it with the early origins of mapping and measuring the globe. I will pay particular attention to the work of Abū Rayḥān Al-Bīrūnī. I will demonstrate that the assumptions which allowed for Al-Bīrūnī’s advances in the measurement of the globe were based upon a certain understanding of the relationship of place within the sacred order of the cosmos (...) and the role of reason in this connection. This carries over to his anthropological works which considers the history of other religions and cultures. It shows an approach where objectivity in scientific investigation can stand alongside a diversity of religious faiths or visions. I wish to use these insights to consider the positions of such Western writers on the philosophy of globe-formation, such as Carl Schmitt and especially Peter Sloterdijk. Sloterdijk understands the development of our imagination of the globe as a singular history which was achieved primarily through conquest. Comparing these thinkers is important because our understanding of geopolitics and globalization often involves imposing one definition of humanity, reality or the sacred, which marginalizes or vilifies those with differing views. I hope to demonstrate by these contrasts that a unified imagination of the earth through globalization poses extreme dangers, and that the fragmentation of the globe through many religious and secular and artistic projections is the only possibility for a future. That is: the possibility of a future is dependent upon many opposing images of a future. It is only by a return to the initial impulses which led such scientists as Al-Bīrūnī that a true relationship of the human to the earth can be preserved. (shrink)

This essay compares the poetic and political theories of contemporary philosopher Giorgio Agamben with the poetry of Wallace Stevens in order to outline a dynamic of ‘inoperativity’ that foregrounds the intimate relationship between language, form and an existential expression of possibility. Through a reading of Stevens’s prose essays and poetry, I demonstrate how Agamben’s reconceptualization of potentiality as a power kept in a non-relational relationship towards its formal realization can be mapped onto the self-conscious articulations of Stevens’s poetic speakers (...) who employ poetic tropes and forms only to question and expose their claims to truth and foundationality. Rather than follow a tradition of poststructuralist readings of Stevens’s destabilizations, I argue for a framework of ‘inoperativity’ that preserves Stevens’s poetic attitude towards life, while showing how his emphasis on potentiality delineates an imaginative vigour that brings the poetic self into renewed attunement with his or her environment. (shrink)

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Speaking With and Away:What the Aporia of Ineffability Has to Say for Buddhist-Christian DialogueJoseph ThometzYears ago, I entered my graduate studies with the intent of undertaking a comparative study of the Christian apophatic tradition and Indian Mahāyāna Buddhism. Shortly after enrolling in a course on Indian Buddhist philosophy, I recall a question that in spite of its apparent simplicity has since troubled me. Having been informed of my interests, (...) the instructor approached me at a coffee break and asked, "What's the point of comparing?" Feeling caught off guard by the absurdity of his question, I fumbled for a reply. Surely, it's obvious (I thought). "To understand?" I jousted with noticeable unease. He nodded, and I was left wanting. Indeed, what initially appeared as an awkward icebreaker became one of the more pressing theoretical questions that has plagued my thinking as a scholar in the Buddhist and Christian traditions as well as in the philosophy of religions: Do I compare with the hope of canonizing those very concepts and categories that I claim ostensibly to call into question? Do I seek to secure some place of conceptual stability for my home tradition amidst the sacred rhetoric of "the other"? Have I adequately assessed those implicit notions that inform my method of inquiry?1 And to what ends are texts to be drawn into conversation? Inevitably, this raises the question, is the term "compare" even appropriate?Comparative study of religious traditions must learn from the spectre of its missiological past.2 This means keeping at the forefront of scholarship questions about how "the other" is depicted, and made accessible. In an effort to gain its legitimacy in the academy, pioneers of comparative religions wrestled with reconciling the aims of this burgeoning academic field with the mission of entrenched, confessional theology.3 Among so-called liberal theologians of the nineteenth century, such as Ernst Troeltsch, Christianity represented the pinnacle of human culture amidst a backdrop of less-evolved cultures.4 (No doubt, much of German theology during that century was directly—or indirectly—influenced by Hegel's progressive view of history.)The so-called liberal shift toward inclusivism, beginning in the nineteenth century and continuing to the present, warrants critical redress whenever doctrines and [End Page 119] categories deemed sacrosanct by the speaker's tradition of identification are mapped (even inadvertently) onto "the other."5 Karl Rahner's concept of the Anonymous Christian might serve to illustrate this point.6 His extension of the Christian concept of grace for the purpose of extending salvation outside the Church, for example, says little or nothing about the beliefs of the recipients who may not have requested such "charitable" extension. A more productive line of inquiry might seek to dissemble and expose the mechanisms (epistemological, psychological, historical, theological, and so forth) that underpin inclusive approaches as well as ascertain some insight into how such conceptual extensions accommodate the grantors, rather than recipients. Put another way, is the goal of comparative study to reinterpret one's own tradition or to redefine "the other"?7 Recent "experiments" in comparative theology advocate the need to proceed in a self-conscious manner, questioning even the appropriateness of the term "comparative."8Again, does one extend or elaborate on concepts in order to secure a place of safety for one's own tradition amidst the sacred rhetoric of "the other"? Is the exchange simply an attempt at negotiating tolerance economically, politically, or legally? Viewed pragmatically, is the underpinning value one of cultural or religious self-preservation?Tolerance evokes a connotation of "putting up with," and does not necessarily imply any respect or commitment toward comprehending the religious convictions of "the other." Rather, tolerance more suitably concurs with Thomas Hobbes's redaction on the Golden Rule: "Do not that to another, which thou wouldest not have done to thy selfe."9 Embracing the value of tolerance does not necessitate the view that one must appreciate the beliefs and practices of another tradition, nor does it require an openness of being transformed by "the other."Frequently undertaken for reasons of tolerance, dialogue centers on securing ways of achieving, if not mutual respect, a right to... (shrink)

I argue that desires and emotions have a cognitive element that leaves them open to direct moral assessment. I maintain that a wide range of affects enter into moral reasoning as initial mappings of practical reasons onto the world. This suggests a way of characterizing conflicts between persistent desires and all-things-considered practical judgments. Such conflicts indicate that our considered judgments lack the status of wholehearted convictions. The dissertation culminates in a distinctive account of certain interpersonal obligations that builds upon (...) this idea of wholehearted conviction. ;In Chapter 1, I examine the conception of moral worth and the companion conception of virtue at work in Kant's seminal moral writings. I argue that these conceptions leave Kant without resources to explain the critical distinction between self-interested and malicious violations of duty. ;In Chapter 2, I ask how significant a revision must be made to Kantian moral theory in order to accommodate my criticisms. I argue that there are demanding affective preconditions for the full recognition of the equal moral standing of other humans, and that these provide the core of a more plausible conception of moral virtue than is usually associated with Kant. I maintain that the Kantian who accepts this picture of virtue must give up the attractive claim that we can always voluntarily will to do whatever morality requires. Such a Kantian might still preserve the essential Kantian equation of dutiful action and autonomy--here understood as self-governance in accordance with laws we wholeheartedly accept. ;In the course of Chapters 1 and 2, I argue that when there are conflicts between our desires and our all-things considered judgments of what we have reason to do, this shows that our considered beliefs are not wholehearted convictions. In Chapters 3 and 4, I attempt to show that the obligations which bind together intimates and fellow members of certain face-to-face communities are best analyzed in terms of wholehearted convictions. I argue that this approach is truer to the phenomenology of moral deliberation than rival analyses. (shrink)

I argue that procrastination with respect to environmental preservation is in the class of procrastination problems that are particularly difficult to overcome because of the presence of factors that support second-order procrastination. If my reasoning is correct, then second-order procrastination can help explain the distressing fact — assuming it is a fact — that, despite widespread professions of serious concern, the issue of environmental preservation is not getting as much of our attention as it deserves. My reasoning also (...) suggests that improving our situation may require that some of the efforts now focused on promoting concern for environmental preservation be rerouted into tracking procrastination and deploying insights on how to cope with it. (shrink)

The traditional model theory of first-order logic assumes that the interpretation of a formula can be given without reference to its deductive context. This paper investigates an interpretation which depends on a formula's location within a derivation. The key step is to drop the assumption that all quantified variables must have the same range and to require only that the ranges of variables in a derivation must be related in such way as to preserve the soundness of the inference (...) rules. With each (consistent) derivation there is associated a Buridan-Volpin (orBV) structure [M, {r(x)}] which is simply a Tarski structureM for the language and a map giving the ranger(x) of each variablex in the derivation. IfLK* is (approximately) the classical sequent calculusLK of Gentzen from which the structural contraction rules have been dropped, then our main result reads: If a set of first-ordered formulas has a Tarski modelM, then from any normal derivationD inLK* of can be constructed aBV modelM D=[M, {r(x)}] of where each ranger(x) is finite. (shrink)

1 Introduction1 In the 1980s, hermeneutics was often incorporated into deconstructionism and literary theory. Rather than focus on authorial intentions, the nature of writing itself including codes used to construct meaning, socio-economic contexts and inequalities of power,2 Gadamer introduced a different perspective; the interplay between effects of history on a reader’s understanding and the tradition(s) handed down in writing. This interplay in which a reader’s prejudices are called into question and modified by the text in a fusion of understanding and (...) topic revitalized the study of the printed word. Gadamer’s turn to language for understanding the meaning of Being also appealed to the post-modern antipathy toward modernity and metaphysics.3 If the truth and validity of interpretations are limited to communities of language, then our mode of being in history cannot but be historical. This point of view rendered Gadamer’s phenomenological hermeneutics vulnerable to the critique of moral and epistemological relativism. However, Gadamer’s theory of interpretation also stems from re-examination of the beginning of knowledge in the Pre-Socratics and Plato, and on this basis, is receptive to another dimension of inquiry than that which was trending in North America. -/- At the East-West Center, University of Hawai’i at Manoa in 1982, Chung-ying Cheng for the first time introduced onto-hermeneutics to an audience of esteemed philosophers including Li Zehou, Ren Jiyu, Feng Youlan, and Zhang Liwen.4 In contrast to schools of deconstruction and literary theory that had disengaged the interpreter from trans-historical sources of meaning and truth, Cheng explained that interpreters exist within a cosmological order inextricable from responsibility to harmonize Heaven and Earth in creative acts of interpretation. By integrating Chinese cosmology into hermeneutics through ontology, he tacitly challenged philosophers in the West to re-examine assumptions about humanity’s place in nature and by implication, Gadamer’s recovery of the beginnings of knowledge in Western philosophy. -/- Cheng’s Neo-Confucianism is inspired by the method and goals of Thomé H. Fang. The following words by Fang seem to prefigure, although in an indistinct and bundled way, aspects of Cheng’s philosophy including a Mencian theory of human nature, comprehensive observation, and creativity: “In the very process of living in concord with creative Nature, Man is charged with an ideal to be fully realized in the light of the principle of comprehensive harmony.”5 Like Fang, Cheng reinvigorates Chinese culture and language, but not solely in order to vindicate the insights of Neo-Confucianism. He has studied Western thought, from pragmatism and the analytic school to German idealism and phenomenology, to unlock and clarify philosophical concepts within the Yijing tradition and thereby render them intelligible to Anglophones. The result has been an awakening of Western scholars to the moral and cultural consequences of decoupling their thought from metaphysical foundations that are neither dogmatic nor doctrinal. -/- Not unlike the dialectic of Gadamer’s dialogue form, onto-generative hermeneutics integrates contrary positions on the same topic in order to blend both sides into a world philosophy, or as Cheng says, a “totalizing or integrative theory,”6 not to be confused with a theoretical rewording of a theory. On the contrary, the universal scope and relevance of hermeneutics stems from personal experience. Just as Gadamer, in response to faction and strife, immersed himself in Plato during the war years, and developed a method with which to harmonize opposites, so too, according to On-cho Ng, was Cheng moved by faction, strife and political persecution to develop a path toward unity.7 Gadamer taught at McMaster University in Hamilton, Ontario, and Cheng at the University of Hawai’i at Manoa among other institutions in North America. They facilitated trans-continental educational and cultural ties. Similar experiences yield similar insights irrespective of differences of time and place. Hence, authors in this issue who reside in Europe, China and North America, delineate the differences between Gadamer and Cheng, yet also, in light of Cheng’s onto-generative method and cosmology, develop integrative theories. Due to the page-budget restriction of the publisher, certain articles of this special theme will be subsequently published in the next issue. -/- 2 Integrative Theory This special issue of The Journal of Chinese Philosophy confirms a dimension of hermeneutics that Cheng has both motivated and inspired. The contributors do not abide by the conviction that since thought is mediated by language, interpretations cannot transcend culture. On the contrary, their research exemplifies the fruits of trans-historical onto-dialogical hermeneutics within limits defined by their field inquiry, organized into Parts I and II, around three themes: language, the philosophy of history and ethics. -/- Andrew Fuyarchuk introduces the theme of ontology in relation to Gadamer’s turn to language. Fuyarchuk argues that Chung-ying Cheng’s criticism of Gadamer’s hermeneutics is informed by Heidegger’s concept of Dasein and thereby overlooks how Gadamer’s Platonic-Pythagorean problem of the division between the One and Many is harmonized in the event of language, which in turn positions Gadamer in proximity to the presupposed grounds of receptivity in Cheng’s onto-generative hermeneutics. Lauren Pfister’s contributing article addresses the year 2000 meeting between Cheng and Gadamer in Heidelberg and expands the transhistorical grounds of meaning in Gadamer to matters of theology. Pfister’s summary of the written Chinese record of their conversation indicates that Cheng does not address the role of Christian philosophy and hence, the role of the inner word in Gadamer’s hermeneutics. This is important not only for detecting changes in Cheng’s philosophical development, but also for modifying his hermeneutics along the lines of a living conversation, possibilities explored by Pfister in a sequel to the article submitted to this issue. Nevertheless, by raising the issue of how Gadamer’s turn to language for understanding the meaning of Being extends possibilities in Cheng’s thought, Pfister anticipates the article by Katarina Gajdosova. She returns to the roots of Chinese thought during the Warring States period and broadens the meaning of names in recently excavated texts. Contrary to the conventions about how to understand terms, she appeals to both Heidegger’s ontology and Cheng’s notion of receptivity and creativity to reinterpret naming in relation to cosmology. Along the same lines, insofar as the event of Being is lingual, Jay Goulding captures its emergent structure in an evolving community of scholars and scholarship. He recalls his philosophical journey toward Cheng’s philosophy that begins in conversations with Gadamer at McMaster University in Hamilton, leads to Heidegger and Asian thought, expands into turning points with teachers and colleagues from various backgrounds that by increments contributed to Goulding’s formulation of “Daoist phenomenology.” -/- Although differing traditions guide their inquiries and research, Cheng and Gadamer recall the wisdom of the past to ameliorate the fragmentation in contemporary life. This leads them to re-examine the origins of philosophy; historical roots and thus sources of creative re-interpretations East and West whose affinities are developed in contributions by Hyun Höchsmann and Friederike Assandri. Höchsmann assesses convergences and divergences in the origins of Chinese and Western philosophy (Confucius and Socrates, the Yijing and Pre-Socratics) that culminates in pairing Gadamer’s understanding of paideia in the context of Plato’s political cosmology in the Timaeus with moral and social cultivation in The Western Inscription. She delineates the limits of this comparison which in turn justifies introducing Vattimo’s notion of locality. Assandri’s comparative analysis moves between India and China, Buddhism and Tang Daoism. Based on Gadamer’s argument that writing detaches concepts from their cultural moorings, she defines and applies three levels of understanding in onto-generative hermeneutics to Buddhist terms that were assimilated into the Benji Jing and in so doing clarifies essential dimensions of Daoism. -/- Contributions by Stephen Palmquist and Nicholas Brasovan position Cheng in relation to Kant and Gadamer by way of Aristotle’s ethics respectively. On the one hand, Palmquist plots Cheng’s evolving criticism of Kant’s moral philosophy and draws on crucial dimensions of Gadamer’s hermeneutics to reposition that criticism in a constructive relation to Kant’s emphasis on the philosophical conditions of morality while also indicating how religious dimensions of his thought answer Cheng’s concerns for lived moral action. For Palmquist, Gadamer enables a constructive criticism of Cheng. On the other hand, Brasovan compares Cheng’s Yijing-based account of moral deliberation with Gadamer’s Aristotelian-based ethics and reasons that in contrast to Cheng, Gadamer’s hermeneutical consciousness is disengaged from practical knowledge. For Brasovan, Cheng is a constructive critic of Gadamer. Palmquist and Brasovan’s divergent angles on Gadamer and Cheng map onto a dialectic of contrast and complementarity that constitutes the inner logic of Cheng’s philosophy. In other words, Gadamer and Cheng ought to be read alongside one another for the sake of removing discrepancies and contradictions, which constitutes the organic structure of their thinking. -/- 3 Our Mode of Being in History Is Not Historical The conversations between Cheng and Gadamer in this issue of The Journal of Chinese Philosophy pivot on language, philosophy of history and ethics within a comparative framework of analysis, but also explore the grounds that make the comparisons possible. Those grounds are informed by Chinese cosmology, and function to wrest Gadamer from the shadow of Heideggerian facticity and reposition him within the range of Cheng’s ideas about our place in nature that is embedded in his question about how mind emerges from inorganic matter.8 -/- For Gadamer scholars of Heidegger, human finitude, our ownmost individuating death ensures that hermeneutics is always open to the other as other, always on the way toward understanding the meaning of Being. To arrest the process in a concept of “the Absolute” cannot but represent someone’s point of view, and thereby render hermeneutics indistinguishable from ideology. However, insofar as finitude is defined by them in terms of an onto-theological concept of immorality, finitude is a metaphysical concept consistent with epistemologies and confuse beings with the meaning of Being. As a result, the celebrated political value of hermeneutics to always be on the way toward an understanding of the meaning of Being admits subtle variations on the same worldview that are insufficiently self-critical. -/- Gadamer scholars of Heidegger are right. A transformation in ethos and opening to the meaning of Being depends on awareness of finitude. Yet this awareness does not yield openness to more of the same, i.e., discourse structurally incapable of coming to unity but instead, for both Gadamer and Cheng, openness to a distinctly different ontological dimension of reality. As Sandra Wawrytko and So-Seong Park indicate,9 this ontological dimension is prefigured in the experience of being-as-a-whole or the totality of all possible relations in both Chinese totemic shamanistic rituals,10 and Greek Dionysian festivals.11 Through these religious experiences human ethos and therefore consciousness is expanded and elevated from being centered on one’s ownmost concerns toward an affinity with all sentient beings from insects and plants to animals. The channel for this affinity is an auditory disposition and hence, the emotions, compassion, and feeling response. -/- The capacity for an auditory disposition, or as Gadamer calls it, listening consciousness to respond to the inter-relationality and therefore inherent balance of nature is developed through music, song and dance of the religious rituals and festivals. They facilitate the unity of mind with nature. This use of music, that transforms ordinary consciousness, explains Cheng’s emphasis on the receptivity of feeling response in comprehensive observation, and Gadamer’s emphasis on openness to the other in attunement. However, an auditory disposition characteristic of pre-literate oral cultures that reveals the “All” need not rely on religion. As theorists about the evolution of language have explained,12 modern languages preserve their pre-historical past in music or prosody. That is to say, the song and dance that revealed the totality of inter-related beings to an ethos of comprehensive observation and attunement toward beings in classical civilizations is retained in the back-and-forth movement or rhythm of the dialogue form. Our mode of being in history is a mode of being in nature – through the music of language. -/- While alerting the reader to the limits of a nominalist interpretation, Gadamer expresses the inner law of the nature as follows: “in perishing there is always becoming, and in becoming there is always perishing.”13 Considered in process, opposites generate and blend into each other. This law of nature applies to everything.14 Hence, in a manner comparable to Pfister’s concluding insights, onto-dialogical hermeneutics is not only open to discrete events of otherness but moreover, to the moving structure of reality expressed, as Gajdosova suggests, in the existential moment of naming. Considered as interplay of tension and resolution with a life of its own, the dialectic of a dialogue is self-similar to the way in which an organism grows (by instinct). There is, therefore, a sense in which the art of interpretation extends the human mind into the eternal cycles of nature such that we participate in the articulation of the inner telos/homeostasis toward which all beings strive and importantly for Gadamer scholars of Heidegger, within the material limits of energy to which our embodied minds are self-evidently subject. In mortality there is always immortality. (shrink)

This paper establishes model-theoretic properties of \, a variation of monadic first-order logic that features the generalised quantifier \. We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality and \, respectively). For each logic \ we will show the following. We provide syntactically defined fragments of \ characterising four different semantic properties of \-sentences: being monotone and continuous in a given set of monadic predicates; having truth (...) preserved under taking submodels or being truth invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence \ to a sentence \ belonging to the corresponding syntactic fragment, with the property that \ is equivalent to \ precisely when it has the associated semantic property. As a corollary of our developments, we obtain that the four semantic properties above are decidable for \-sentences. (shrink)

Not an anthropologist by training, Tyler succeeds where the trained anthropologist has often failed: he manages to understand a style of life not his own. He relates and interprets the stories of the gods of the Zunis, Keres, and Hopi Indians, comparing them to some of the Greek myths. The Pueblos are "realists"; they believe in a world of rough harmony, of "normalcy," and their animistic religion is devoted to preserving the natural order of things. Their sophisticated outlook (...) cannot be explained by theories of primitive or infantile animism; in fact, Tyler uses Pueblo animism to debunk the Freudian and other theories of animism. A map, a geographical table, and an extensive bibliography help fill out the picture of the Pueblo.—A. B. D. (shrink)

Graham Priest has frequently employed a construction in which a classical first-order model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {A}$$\end{document} may be collapsed into a three-valued model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {A}^{\sim }$$\end{document} suitable for interpretations in Priest’s logic of paradox. The source of this construction’s utility is Priest’s Collapsing Lemma, which guarantees that a formula true in the model \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak (...) {A}$$\end{document} will continue to be true in \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathfrak {A}^{\sim }$$\end{document}. In light of the utility and elegance of the Collapsing Lemma, extending variations of the lemma to other deductive calculi becomes very attractive. The aim of this paper is to map out some of the frontiers of the Collapsing Lemma by describing the types of expansions or revisions to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {LP}$$\end{document} for which the Collapsing Lemma continues to hold and a number of cases in which the lemma cannot be salvaged. Among what is shown is that the lemma holds for a strictly more expressive form of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {LP}$$\end{document} including nullary truth and falsity constants, that any conditional connective that can be added to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {LP}$$\end{document} without inhibiting the lemma must be theoremhood-preserving, and that the Collapsing Lemma extends to the paraconsistent weak Kleene logic \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {PWK}$$\end{document} as well. (shrink)

Examining what the role of the state or political order should be and how the state should treat its citizens, this text builds its analysis around the reflections of great political thinkers, including papal thought, and the reasoning and conclusions of philosophers and contemporary commentators.

In a world of partially overlapping and partially conflicting interests there is good reason to doubt that self-seeking behaviour at the micro-level will spontaneously lead to desirable social outcomes at the macro-level. Nevertheless, some sophisticated economic writers advocating a laissez-faire policy prescription have proposed various 'invisible hand' mechanisms which can supposedly be relied upon to 'educe good from ill'. Smith defended the 'simple system of natural liberty' as giving the greatest scope to the unfolding of God's will and the working (...) out of 'natural' providential processes free of interference by 'artificial' state intervention - the expression not of divine order but of fallible human reason. Hayek, adopting a similar policy stance, based it in an evolutionary process in which those institutional forms best adapted to reconciling individual interests would, he believed, spontaneously be selected for in the inter-group struggle for survival. Keynes shares the holistic approach of Smith and Hayek, but without their reliance on invisible hand mechanisms. If spontaneous processes cannot be relied upon to generate desirable social outcomes then we have to take responsibility for achieving this ourselves by establishing the appropriate institutional framework. Keynes takes a historical view of the role of capitalism and analyses its pathology as rooted in what we would now refer to as a multi-player prisoners' dilemma. The paper draws out the significance of his methodological standpoint here. Keynes's policy standpoint assigns a critical role to his own class, the 'educated bourgeoisie' in the reform process he maps out. A distinction, but also an intimate connection, is highlighted between, on the one hand, micro-level individualism (the 'Manchester System, and, on the other, the macro-level collective action ('planning') required to preserve it. Finally Keynes is considered in relation to the themes of laissez-faire, holism, reductionism, providentialism and the invisible hand. (shrink)

The urgent need to address climate change poses a range of complex moral and practical concerns, not least because rising to the challenge will require cooperation among countries that differ greatly in their wealth, the extent of their contributions to the problem, and their vulnerability to environmental and economic shocks. This thesis by publication in the field of climate ethics aims to characterise a range of national responsibilities associated with acting on climate change (Part I), and to identify proposals for (...) fulfilling those responsibilities through fair and feasible institutional arrangements (Part II). I aim not only to address substantive gaps in scholarly understanding of those responsibilities, but also to strengthen the ability of climate ethics to engage meaningfully with climate policy. Chapter 2 addresses the question of whether wealthy countries owe a “climate debt” to poor countries. It finds that even if climate debt (suitably interpreted) may provide a coherent and morally plausible concept, its political value as a discursive frame that can provide a basis for cooperation is limited. Chapter 3 investigates the role that equity may play in negotiations on a long-term climate change agreement. It argues that developed and developing countries may reach a “principled bargain” if both converge on a way of differentiating their responsibilities that places less emphasis on a rigid dichotomy between the two groups and more emphasis on objective criteria relating to their contribution to the problem and capacity to address it. Chapter 4 explores a question largely overlooked in climate ethics, namely whether wealthy countries owe compensation to those who are adversely affected by the climate policies which they enact. I find that enacting countries have responsibilities to compensate both domestic and foreign citizens who would suffer disproportionate losses from the effects of policies. Chapter 5 assesses whether wealthy countries may legitimately adopt unilateral (or “fragmented”) rather than multilaterally coordinated approaches to raising climate finance for developing countries. It finds that coordinated target-setting, effort sharing and oversight arrangements are essential, but that a mix of unilateral and coordinated approaches to raising funds will be necessary for securing legitimacy. In Chapter 6, through addressing the broader question of what should count as official aid, I consider whether wealthy countries may draw on aid budgets to support developing countries’ efforts to address climate change. I find that the current definition of official aid should be retained but supplemented by specified exclusions from eligibility in order to preserve the aid regime’s integrity. Nevertheless, some climate finance may justifiably be counted as aid provided that concerns relating to the diversion of aid funding are addressed. In addressing these research questions, the thesis seeks not only to make original theoretical contributions to climate ethics but also to strengthen broader scholarly understanding of the ways in which ethics and international public policy may inform one another, particularly by highlighting the role of framing considerations (Chapter 2), feasibility considerations (Chapter 3), and the ways in which principles of fairness and legitimacy map onto institutional functions (Chapters 4, 5 and 6). (shrink)

How and to what extent can community be imaged as a spontaneous order? Is the spontaneous social order dichotomous or oppositional to state power? Despite vigorous scholarship and policy debate, the theorization of the community has not attended adequately to the ways in which interactional order emerges in various sociopolitical contexts. Reflecting the experience of community building in post-reform urban China, I present an organic statist vision of community, in which community is found to be the concomitant (...) outgrowth of both state intervention and the spontaneous process of place-based identity mobilization. An expanded conception of community as embedded spontaneous order as well as its implication is also discussed. (shrink)

Because learning is a biological process, pedagogical approaches should conform to the ways the brain learns. One of the findings of brain-based pedagogical research is that context matters to learning. More specifically, the order of learning must be preserved: content should be introduced in a concrete context, followed by attempts to isolate abstract elements found in the case. There are better and worse strategies to preserve this order. In this paper I discuss the research and provide what I (...) have found to be a very successful way to preserve the natural order of learning: online discussion board assignments. (shrink)

Context: Although second-order cybernetics was proposed as a new way of cybernetic investigations around 1970, its general status and its modus operandi are still far from obvious. Problem: We want to provide a new perspective on the scope and the currently available potential of second-order cybernetics within today’s science landscapes. Method: We invited a group of scholars who have produced foundational work on second-order cybernetics in recent years, and organized an open call for new approaches to second- (...) class='Hi'>order cybernetics. The accepted contributions are discussed and mapped. We also investigate the relations between second-order cybernetics and second-order science. Results: We present a coherent outlook on the scope of second-order cybernetics today, identify a general methodology of science and show that second-order cybernetics can be used in a large number of disciplines that go well beyond purely scientific domains. These results are based on a new epistemic mode “from within,” which can be traced back directly to von Foerster. We also arrived at the conclusion that from its early years onwards second-order cybernetics was developed in two different ways, so that second-order cybernetics and second-order science operate in different domains. Implications: Both the coherent perspective of the scope of second-order cybernetics with a new five-part agenda and the outline for a general methodology of science based on a new epistemic mode that was created within and for second-order cybernetics demonstrate the growing importance of reflexivity in science, which, so far, has not been widely recognized. (shrink)

In this paper, we introduce systems of nonstandard second-order arithmetic which are conservative extensions of systems of second-order arithmetic. Within these systems, we do reverse mathematics for nonstandard analysis, and we can import techniques of nonstandard analysis into analysis in weak systems of second-order arithmetic. Then, we apply nonstandard techniques to a version of Riemannʼs mapping theorem, and show several different versions of Riemannʼs mapping theorem.

The study of the chaotic dynamics in fractional-order discrete-time systems has received great attention over the last years. Some efforts have been also devoted to analyze fractional maps with special features. This paper makes a contribution to the topic by introducing a new fractional map that is characterized by both particular dynamic behaviors and specific properties related to the system equilibria. In particular, the conceived one dimensional map is algebraically simpler than all the proposed fractional maps in the literature. (...) Using numerical simulation, we investigate the dynamic and complexity of the fractional map. The results indicate that the new one-dimensional fractional map displays various types of coexisting attractors. The approximate entropy is used to observe the changes in the sequence sequence complexity when the fractional order and system parameter. Finally, the fractional map is applied to the problem of encrypting electrophysiological signals. For the encryption process, random numbers were generated using the values of the fractional map. Some statistical tests are given to show the performance of the encryption. (shrink)

ABSTRACT I begin by developing a challenge for the Higher-Order Thought variant of Higher-Order representational theories of consciousness. The challenge is to account for the distinctive phenomenal character of visual experience—its presentational character. After setting out the challenge, I articulate a novel form of Higher-Order theory that can account for presentational character—the Map Theory of consciousness. The theory’s distinctive claim is that the relevant higher-order representations have a cartographic format.

Fibring is defined as a mechanism for combining logics with a first-order base, at both the semantic and deductive levels. A completeness theorem is established for a wide class of such logics, using a variation of the Henkin method that takes advantage of the presence of equality and inequality in the logic. As a corollary, completeness is shown to be preserved when fibring logics in that class. A modal first-order logic is obtained as a fibring where neither the (...) Barcan formula nor its converse hold. (shrink)