All the typical global quantum mechanical observables are complex relative phases obtained by interference phenomena. They are described by means of some global geometric phase factor, which is thought of as the “memory” of a quantum system undergoing a “cyclic evolution” after coming back to its original physical state. The origin of a geometric phase factor can be traced to the local phase invariance of the transition probability assignment in quantum mechanics. Beyond this invariance, transition probabilities also remain invariant under (...) the operation of complex conjugation. Most important, geometric phase factors distinguish between unitary and antiunitary transformations in terms of complex conjugation. These two types of invariance functions as an anchor point to investigate the role of loops and based loops in the state space of a quantum system as well as their links and interrelations. We show that arbitrary transition probabilities can be calculated using projective invariants of loops in the space of rays. The case of the double slit experiment serves as a model for this purpose. We also represent the action of one-parameter unitary groups in terms of oppositely oriented-based loops at a fixed ray. In this context, we explain the relation among observables, local Boolean frames of projectors, and one-parameter unitary groups. Next, we exploit the non-commutative group structure of oriented-based loops in 3-d space and demonstrate that it carries the topological semantics of a Borromean link. Finally, we prove that there exists a representation of this group structure in terms of one-parameter unitary groups that realizes the topological linking properties of the Borromean link. (shrink)

The existence of singularities alerts that one of the highest priorities of a centennial perspective on general relativity should be a careful re-thinking of the validity domain of Einstein’s field equations. We address the problem of constructing distinguishable extensions of the smooth spacetime manifold model, which can incorporate singularities, while retaining the form of the field equations. The sheaf-theoretic formulation of this problem is tantamount to extending the algebra sheaf of smooth functions to a distribution-like algebra sheaf in which the (...) former may be embedded, satisfying the pertinent cohomological conditions required for the coordinatization of all of the tensorial physical quantities, such that the form of the field equations is preserved. We present in detail the construction of these distribution-like algebra sheaves in terms of residue classes of sequences of smooth functions modulo the information of singular loci encoded in suitable ideals. Finally, we consider the application of these distribution-like solution sheaves in geometrodynamics by modeling topologically-circular boundaries of singular loci in three-dimensional space in terms of topological links. It turns out that the Borromean link represents higher order wormhole solutions. (shrink)

A topological inevitability of early developmental events through the use of classical topological concepts is discussed. Topological dynamics of forms and maps in embryo development are presented. Forms of a developing organism such as cell sets and closed surfaces are topological objects. Maps (or mathematical functions) are additional topological constructions in these objects and include polarization, singularities and curvature. Topological visualization allows us to analyze relationships that link local morphogenetic processes and integral developmental structures (...) and also to find stable spatio-temporal topological characteristics that are invariant for a taxonomic group. The application of topological principles reveals a topological imperative: certain topological rules define and direct embryogenesis. A topological stability of embryonic morphogenesis is proposed and a topological scenario of developmental and evolutionary transformations is presented. (shrink)

In this paper, an in-depth study of interactive visual communication of network topology through non-line-of-sight congestion control algorithms is conducted to address the real-time routing problem of adapting to dynamic topologies, and a delay-constrained stochastic routing algorithm is proposed to enable packets to reach GB within the delay threshold in the absence of end-to-end delay information while improving network throughput and reducing network resource consumption. The algorithm requires each sending node to select an available relay set based on the location (...) of its neighbor nodes and channel state and computes transfer probabilities for each node in the relay set combining the remaining delay of the packet with the distance from the relay node to GB. Based on the obtained transfer probability and local channel state, the sending node passes the packet to the relay node. The convergence of the algorithm is proved and its performance is verified by simulation. The first part of the algorithm is based on the greedy algorithm to deploy and locate the network flying platform nodes with the goal of efficient coverage of the network flying platform nodes, considering the ground base station services. As the delay on each link varies due to the change of channel state, the source and relay nodes asynchronously update the data generation rate and the pairwise parameters based on the received local information and use the obtained optimal values to pass the packets to GB. (shrink)

The spatial organization of the genome is intimately linked to its biological function, yet our understanding of higher order genomic structure is coarse, fragmented and incomplete. In the nucleus of eukaryotic cells, interphase chromosomes occupy distinct.

Topological indices are quantitative measurements that describe a molecule’s topology and are quantified from the molecule’s graphical representation. The significance of topological indices is linked to their use in QSPR/QSAR modelling as descriptors. Mathematical associations between a particular molecular or biological activity and one or several biochemical and/or molecular structural features are QSPRs and QSARs. In this paper, we give explicit expressions of two recently defined novel ev-degree- and ve-degree-based topological indices of two classes of benzenoid, namely, (...) linear hexagonal chain and hammer-like benzenoid. (shrink)

This review investigates the potential of non-orientable topology as a fundamental framework for understanding the Poincaré conjecture and its implications across various scientific disciplines. Integrating insights from Dokuchaev (2020), Rapoport, Christianto, Chandra, Smarandache (under review), and other pioneering works, this article explores the theoretical foundations linking non-orientable spaces to resolving the Poincaré conjecture and its broader implications in theoretical physics, geology, cosmology, and biology.

Link prediction, which aims to forecast potential or missing links in a complex network based on currently observed information, has drawn growing attention from researchers. To date, a host of similarity-based methods have been put forward. Usually, one method harbors the idea that one similarity measure is applicable to various networks, and thus has performance fluctuation on different networks. In this paper, we propose a novel method to solve this issue by regarding link prediction as a multiple-attribute decision-making problem. (...) In the proposed method, we consider RA, LP, and CAR indices as the multiattribute for node pairs. The technique for order performance by similarity to ideal solution is adopted to aggregate the multiattribute and rank node pairs. The proposed method is not limited to only one similarity measure, but takes separate measures into account, since different networks may have different topological structures. Experimental results on 10 real-world networks manifest that the proposed method is superior in comparison to state-of-the-art methods. (shrink)

The premise of this paper is that the goal of signifying Being central to ontological phenomenology has been tacitly subverted by the semiotic structure of conventional phenomenological writing. First it is demonstrated that the three components of the sign—sign-vehicle, object, and interpretant (C. S. Peirce)—bear an external relationship to each other when treated conventionally. This is linked to the abstractness of alphabetic language, which objectifies nature and splits subject and object. It is the subject-object divide that phenomenology must surmount if (...) it is to signify Being. To this end, we go beyond alphabetic convention and explore the use of iconic signs. Following the lead of Merleau-Ponty, the iconic expression of Being is seen as entailing paradox, and we are directed to the fields of visual geometry and topology, where we work with three paradoxical figures: the Necker cube, Moebius strip, and Klein bottle. While the Necker cube and Moebius prove to have their limitations in fully signifying Being, the Klein bottle, possessing an added dimension (made palpable via a stereogram), can embody Being more intimately, provided that it is approached in a radically non-classical way. The essay closes with the realization that the most concrete signification of Being must be a self-signification. Here the author removes his cloak of anonymity and makes his presence tangibly felt in the text. (shrink)

A link prediction model for weighted networks based on Dempster–Shafer evidence theory and the influence of common neighbours is proposed in this paper. First, three types of future common neighbours and their topological structures are proposed. Second, the concepts of endpoint weight influence, link weight influence, and high-strength node influence are introduced. Then, the similarity based on the impacts of current common neighbours and FCNs is defined, respectively. Finally, the two similarity indices are fused by the DS evidence theory. (...) This model effectively integrates multisource information and completely exploits the influence of all CCNs and FCNs on similarity. Experiments are performed on 9 real and 40 simulation-weighted datasets, and these findings are compared with several classic algorithms. Results show that the proposed method has higher precision than other methods, which can achieve good performance in link prediction in weighted networks. (shrink)

definitions and explanations frequently come together and permeate almost all fields of knowledge. This does not exclude mathematics, even when these definitions hold clear links and close connections with our physical world. Here we propose a rather different perspective. Making operational physical assumptions, we show how it is possible to rigorously reconstruct some features of both geometry and topology. Broadly speaking, assuming this operational and more concrete philosophy we not only are capable of defining primitive concepts like points, straight (...) lines, planes, angles and spaces, but we also go all the way up to more complex constructions. We show that within our method it is also possible to come up with what we call a compass-based topology as well as a normed and a metric space. We hope this operationalist point-of-view can assist other researchers and students to have a clearer understanding of these quite abstract concepts. (shrink)

I elucidate Heidegger’s understanding of the “place-being” of the “question of being.” My premises are: 1) Heidegger’s “question of being” can be appropriately made sense of as the “question of language.” 2) The “question of language” requires a topological approach that looks into the link between the place-nature of language and the open-bounded essence of human existence. First, I explain the topological underpinnings of Heidegger’s later thought of being as the clearing and language; second, I examine Sheehan’s phenomenological (...) reading of Heidegger by focusing on the relationship between alētheia and appropriation. In the first section, I explain the correlation between place and language within the context of the “question of being” and display how understanding the former is crucial in having a more complete perspective for the latter. In the second section, I examine Sheehan’s acknowledgment of Heidegger’s idea of place in his understanding of the nature of human existence in relation to Ereignis, while criticizing the “metaphorical” reading of the “placebeing” of the clearing. (shrink)

There are many network topology designs that have emerged to fulfill the growing need for networks to provide a robust platform for a wide range of applications like running businesses and managing emergencies. Amongst the most famous network topology designs are star network, mesh network, hexagonal network, honeycomb network, etc. In a star network, a central computer is linked with various terminals and other computers over point-to-point lines. The other computers and terminals are directly connected to the central computer but (...) not to one another. As such, any failure in the central computer will result in a failure of the entire network and computers in star network will not be able to communicate. The star topology design can be represented by a graph where vertices represent the computer nodes and edges represent the links between the computer nodes. In this paper, we study the vertex-edge-based topological descriptor for a newly designed hexagon star network. (shrink)

Possibility and reference have been central topics in metaphysics and the philosophy of language in the past decades. Wolfgang Freitag’s Form and Philosophy provides a novel approach to these notions and their interrelations, based on the concept of form as the key modal concept: form is the possibility space of objects. In its historic dimension, the book analyses the role of form in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and Immanuel Kant’s Critique of Pure Reason. In its systematic dimension, the book offers (...) an alternative ontological basis to David Armstrong’s combinatorial theory of possibility and rejects David Lewis’ analysis of possibility in terms of possible worlds. Representation is shown to rest on the idea of direct reference as proposed by David Kaplan and Saul Kripke. It is argued that the problem of reference links up with Wittgenstein’s rule-following problem, the nature of which is extensively discussed. It emerges that form and reference are complementary with respect to the notion of representation. Once their individual roles are seen, many metaphysical puzzles appear in a new light or disappear altogether. (shrink)

The research hypothesis that we call border as method offers a fertile ground upon which to test the potentiality and the limits of the topological approach. In this article we present our hypothesis and address three questions relevant for topology. First, we ask how the topological approach can be applied within the heterogeneous space of globalization, which we argue does not obey the dialectic of inclusion and exclusion. Second, we address the claim of neutrality that is often linked (...) to the topological approach. Our point is that in mapping a space of flows and porous borders, the topological approach must be grasped in its ambivalence; it can become a tool for control as well as a tool for the expansion of freedom and equality. Finally, we argue that it is useful, perhaps even necessary, to locate the topological approach on the border, investigating concrete practices of border crossing that challenge the very possibility of a neutral mapping. (shrink)

Sufficient conditions are given for the computation of an arc that accesses a point on the boundary of an open subset of the plane from a point within the set. The existence of a not-computably-accessible but computable point on a computably compact arc is also demonstrated.

This paper presents a comprehensive mathematical framework in which a unified treatment of additive and expected utility can be given. For achieving this, elaborate structural assumptions, characterizing a simply ordered, topological semigroup, have to be established in order to construct an isomorphism with the additive group of real numbers.This construction establishes a link between additive and expected utility theory to the extent that the same mathematical considerations leading to the derivation of an additive representation are also valid for proving (...) the expected utility theorem. (shrink)

The unified theory of dose and effect, as indicated by the median-effect equation for single and multiple entities and for the first and higher order kinetic/dynamic, has been established by T.C. Chou and it is based on the physical/chemical principle of the massaction law (J. Theor. Biol. 59: 253-276, 1976 (質量作用中效定理) and Pharmacological Rev. 58: 621-681, 2006) (普世中效指數定理). The theory was developed by the principle of mathematical induction and deduction (數學演繹歸納法). Rearrangements of the median-effect equation lead to Michaelis-Menten, Hill, Scatchard, (...) and Henderson-Hasselbalch equations. The “median” serves as the universal reference point and the “common link” for the relationship of all entities and is also the “harmonic mean” of kinetic dissociation constants. Over 300 mechanism-specific equations have been derived and published using the mathematical induction-deduction process. These equations can be deduced into several general equations, including the median-mediated whole/part equation, combination index theorem, isobologram equation, and polygonogram. It is proven that “dose” and “effect” are interchangeable, thus, “substance” and “function” are interchangeable, which leads to “the unity theory” (劑效、心物、知行一元論) in quantitative mathematical philosophy (數學的定量哲學) in functional context. Therefore, a general theory centered on the “median” and based on equilibrium dynamics has evolved. In other words: [「中」的宇宙觀： 以「中」爲基凖的動力學生態平衡]. Based on the median-effect equation of the mass-action law, the fundamental claim is that we can draw “a specific cure” for only two data points, if they are determined accurately. This claim has far reaching consequences since it defies the general held belief that two points can dray only a straight line. Remarkably, the unity theory (一元論) providesscientific/mathematical interpretation in equations and in graphics of Chinese ancient philosophy, including Fu-Si Ba Gua (伏羲八卦), Dao’s Harmony (和諧), the Confucian doctrine of the mean (儒家中庸之道), Chou Dun-Yi’s (周敦頤, 1017-1073) From Wu-ji to Tai-ji and Taiji Tu Sho (無極而太極及太極圖說). The moderntopological analysis for trinity yields an exact correspondence to the Ba-Gua, which was introduced over 4,000 years ago. Furthermore, the median-centered algorithm, promotes modern ecological content (生態學) in the equilibral dynamic state of harmony. It is concluded that Western science and Eastern philosophy are directly linked and complementary to each other. Since the truth in mathematical quantitative philosophy (數學的定量哲學) has no boundaries, East and West philosophies can flourish together for the common goal and ideal in science and in humanity (世界大同). (shrink)

This volume develops a fundamentally different categorical framework for conceptualizing time and reality. The actual taking place of reality is conceived as a “constellatory self-unfolding” characterized by strong self-referentiality and occurring in the primordial form of time, the not yet sequentially structured “time-space of the present.” Concomitantly, both the sequentially ordered aspect of time and the factual aspect of reality appear as emergent phenomena that come into being only after reality has actually taken place. In this new framework, time functions (...) as an ontophainetic [H1] platform, i.e., as the stage on which reality can first occur. Events are merely the “tracks” that the actual taking place of reality leaves behind on the co-emergent “canvas’’ of local spacetime. -/- The view of time proposed here is particularly relevant to the recent debate over the “ER=EPR” conjecture targeting the relation between quantum physics and general relativity theory. The novelty of this radically different framework is that it allows quantum reduction and singularities to be addressed as inverse transitions into and out of the factual layer of reality: In quantum physical state reduction, reality “gains” the chrono-ontological format of facticity, and the sequential aspect of time becomes applicable. In singularities, by contrast, the opposite happens: Reality loses its local spacetime formation and reverts back to its primordial, pre-local shape – making the use of causality relations, Boolean logic and the dichotomization of subject and object obsolete in the process. -/- For our understanding of the relation between quantum and relativistic physics, this new view opens up fundamentally new perspectives: Both are legitimate views of time and reality; they simply address very different chrono-ontological portraits, and thus should not lead us to erroneously prefer one view over the other. -/- The task of the book is to provide a formal framework in which this radically different view of time and reality can be suitably addressed. The mathematical approach is based on the logical and topological features of the Borromean Rings, and draws upon concepts and methods from algebraic and geometric topology – especially the theory of sheaves and links, group theory, logic and information theory in relation to the standard constructions employed in quantum mechanics and general relativity, shedding new light on the problems of their compatibility. The intended audience includes physicists, mathematicians and philosophers with an interest in the conceptual and mathematical foundations of modern physics. (shrink)

This article offers a topological account of Martin Heidegger’s 1942 lecture course on the German poet Friedrich Hölderlin’s hymn Der Ister. The main goal of the article is to explore the relationship between the poetic disclosure of place and the place of poetic disclosure in Heidegger’s thought in the 1940s. Firstly, the backward streaming of the river is identified as the central theme of the hymn, which leads to Heidegger’s idea of dwelling as poetic homecoming. Secondly, after elucidating the (...) link between the Danube river and Antigone, and assessing the philosophical underpinnings of Heidegger’s withdrawal from politics, Heidegger’s pre-political idea of the polis is examined as tied to his thinking of place-making. Finally, the interplay between journeying and remaining is issued to clarify Heidegger’s notion of dwelling, time, and place and his critique of the metaphysical conception of space and time. (shrink)

A topological duality is presented for a wide class of lattice-ordered structures including lattice-ordered groups. In this new approach, which simplifies considerably previous results of the author, the dual space is obtained by endowing the Priestley space of the underlying lattice with two binary functions, linked by set-theoretical complement and acting as symmetrical partners. In the particular case of l-groups, one of these functions is the usual product of sets and the axiomatization of the dual space is given by (...) very simple first-order sentences, saying essentially that both functions are associative and that the space is a residuated semigroup with respect to each of them. (shrink)

Through an exploration of theoretical physics, this paper suggests the need for regrounding natural science in phenomenological philosophy. To begin, the philosophical roots of the prevailing scientific paradigm are traced to the thinking of Plato, Descartes, and Newton. The crisis in modern science is then investigated, tracking developments in physics, science's premier discipline. Einsteinian special relativity is interpreted as a response to the threat of discontinuity implied by the Michelson-Morley experiment, a challenge to classical objectivism that Einstein sought to counteract. (...) We see that Einstein's efforts to banish discontinuity ultimately fall into the “black hole” predicted in his general theory of relativity. The unavoidable discontinuity that haunts Einstein's theory is also central to quantum mechanics. Here too the attempt has been made to manage discontinuity, only to have this strategy thwarted in the end by the intractable problem of quantum gravity. The irrepressible discontinuity manifested in the phenomena of modern physics proves to be linked to a merging of subject and object that flies in the face of Cartesian philosophy. To accommodate these radically non-classical phenomena, a new philosophical foundation is called for: phenomenology. Phenomenological philosophy is elaborated through Merleau-Ponty's concept of depth and is then brought into focus for use in theoretical physics via qualitative work with topology and hypercomplex numbers. In the final part of this paper, a detailed summary is offered of the specific application of topological phenomenology to quantum gravity that was systematically articulated in The Self-Evolving Cosmos (Rosen 2008a). (shrink)

We propose a constructionist approach to the polyfunctionality of the Italian focus particle magari (roughly corresponding to ‘maybe’, but also ‘I wish’). The sheer syntactic versatility of this word leads us to detect its formal regularities at the level of discourse configurations. This level of analysis, identified within the French linguistic tradition, is defined by the maintenance of a predicate-argument-adjunct structure in discourse. The salient feature of discourse configurations is their shape, which can be described by referring to a number (...) of topological patterns: lists of elements in the same syntactic position, repetition of syntactic structures, shifting of elements from a post-verbal to a pre-verbal position and so on. These topological patterns are meaningful to an extent and they are eligible to be regarded as constructions. Magari is shown to be regularly associated with a general topological pattern, namely a list of items that occupy the same syntactic position as the item focused by magari. Each semantic function of magari correlates with one particular kind of list. These associations of a form (the different types of lists) and a meaning (the functions of magari) are shown to be related to one another by means of inheritance links. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the first (...) two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)

This paper examines some of the methods animals and humans have of adapting their environment. Because there are limits on how many different tasks a creature can be designed to do well in, creatures with the capacity to redesign their environments have an adaptive advantage over those who can only passively adapt to existing environmental structures. To clarify environmental redesign I rely on the formal notion of a task environment as a directed graph where the nodes are states and the (...) links are actions. One natural form of redesign is to change the topology of this graph structure so as to increase the likelihood of task success or to reduce its expected cost, measured in physical terms. This may be done by eliminating initial states hence eliminating choice points; by changing the action repertoire; by changing the consequence function; and lastly, by adding choice points. Another major method for adapting the environment is to change its cognitive congeniality. Such changes leave the state space formally intact but reduce the number and cost of mental operations needed for task success; they reliably increase the speed, accuracy or robustness of performance. The last section of the paper describes several of these epistemic or complementary actions found in human performance. (shrink)

Though complex networks have been widely applied in the research of chemistry, there is hardly any introduction about the establishment of networks using chemical bonds. In this paper, we consider chemical elements as a system linked by chemical bonds and create the undirected chemical bond network by abstracting nodes from elements and undirected edges from bonds. Connectivity, heterogeneity, small world and disassortativity of this network show the macro structural rationality of this system. The degree and k-order neighbors of an element, (...) which represent the micro topology of this network, can be used to measure its chemical reactivity and detect how many kinds of compounds it can form. The similarity between two elements is measured by the Jaccard index and the VOS mapping technique, results of which are similar to well-known similarities between elements shown by the periodic table. The establishment and topological analysis of this network provide another way to understand and study elements and bonds, and more chemical properties of elements and bonds can be studied by complex networks. (shrink)

We propose in this paper to construct modal logics based on mathematical morphology. The contribution of this paper is twofold. First we show that mathematical morphology can be used to define modal operators in the context of normal modal logics. We propose definitions of modal operators as algebraic dilations and erosions, based on the notion of adjunction. We detail the particular case of morphological dilations and erosions, and of there compositions, as opening and closing. An extension to the fuzzy case (...) is also proposed. Then we show how this can be interpreted for spatial reasoning by using qualitative symbolic representations of spatial relationships (topological and metric ones) derived from mathematical morphology. This allows to establish some links between numerical and symbolic representations of spatial knowledge. (shrink)

Some thirty years ago, two proposals were made concerning criteria for identity of proofs. Prawitz proposed to analyze identity of proofs in terms of the equivalence relation based on reduction to normal form in natural deduction. Lambek worked on a normalization proposal analogous to Prawitz's, based on reduction to cut-free form in sequent systems, but he also suggested understanding identity of proofs in terms of an equivalence relation based on generality, two derivations having the same generality if after generalizing maximally (...) the rules involved in them they yield the same premises and conclusions up to a renaming of variables. These two proposals proved to be extensionally equivalent only for limited fragments of logic. The normalization proposal stands behind very successful applications of the typed lambda calculus and of category theory in the proof theory of intuitionistic logic. In classical logic, however, it did not fare well. The generality proposal was rather neglected in logic, though related matters were much studied in pure category theory in connection with coherence problems, and there are also links to low-dimensional topology and linear algebra. This proposal seems more promising than the other one for the general proof theory of classical logic. (shrink)

In humans over 15% of X‐linked genes have been shown to ‘escape’ from X‐chromosome inactivation (XCI): they continue to be expressed to some extent from the inactive X chromosome. Mono‐allelic expression is anticipated within a cell for genes subject to XCI, but random XCI usually results in expression of both alleles in a cell population. Using a study of allelic expression from cultured lymphoblasts and fibroblasts, many of which showed substantial skewing of XCI, we recently reported that the expression of (...) genes lies on a contiunuum between those that are subject to inactivation, and those that escape. We now review allelic expression studies from mouse, and discuss the variability in escape seen in both humans and mice in genic expression levels, between X chromosomes and between tissues. We also discuss current knowledge of the heterochromatic features, DNA elements and three‐dimensional topology of the inactive X that contribute to the balance of expression from the otherwise inactive X chromosome. (shrink)

There is a well-known variety of contact paradoxes which are significantly linked to topology. The aim of this paper is to present a new paradox concerning contact with bodies composed of a denumerable infinity of parts. This paradox establishes the logical necessity, in a Newtonian context, of contact forces that violate what is probably our most basic causal intuition, embodied in what I call the Principle of Influence: any force exerted on a body B induces change of movement of B (...) or the emergence of internal forces in B. However, the above paradox can be made strictly compatible with a Newtonian framework by introducing phantom forces as ideal elements in the Hilbert sense, though it will be seen that this does not solve all the problems. (shrink)

Situations serving as worlds as well as events in linguistic semantics are formulated as strings recording observations over discrete time. This formulation is applied to a linear temporal logic, in line with L. Schubert’s distinction between described and characterized situations. The distinction is developed topologically and computationally, and linked to the opposition between truth-conditional and proof-conditional semantics. For a finitary handle on quantification, strings are associated with situations not only on the basis of observation but also through derivation and constraint (...) satisfaction. The constraints specified lead to an implementation simpler than the derivations given. © 2009 Elsevier Inc. All rights reserved. (shrink)

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain (...) class='Hi'>topological spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. (shrink)

The eukaryotic genome is organized into different domains by cis‐acting elements, such as boundaries/insulators and matrix attachment regions, and is packaged with different degrees of condensation. In the M phase, the chromatin becomes further highly condensed into chromosomes. The first step for transcriptional activation of a given gene, at a particular time during development, in any locus, is the opening of its chromatin domain. This locus needs to be kept in this state in each early G1 phase during every cell (...) cycle. Certain distal enhance elements, including locus control regions (LCRs) and enhancers, are believed to perform this target chromatin domain opening process and several models have been proposed to explain distal enhance action. But they did not explain precisely how a given chromatin domain is opened. Based on various studies, we propose a hypothesis for the mechanism of opening chromatin on a large scale. One important mechanism may involved breaking one or two DNA strands and reducing the linking numbers within chromatin domain. The topological changes can overpass some complexes formed on DNA strands and can be transmitted from specific localized points over a broad region, until boundary elements or insulators are reached. These may initiate downstream events such as propagation of histone acetylation and the binding of transcription factors to proximal promoters and may further augment the action mediated by distal enhancer elements. BioEssays 25:507–514, 2003. © 2003 Wiley Periodicals, Inc. (shrink)

Ontologies of living things are increasingly grounded on the concepts and practices of current life science. Biological development is a process, undergone by living things, which begins with a single cell and (in an important class of cases) ends with formation of a multicellular organism. The process of development is thus prima facie central for ideas about biological individuality and organismality. However, recent accounts of these concepts do not engage developmental biology. This paper aims to fill the gap, proposing the (...) lineage view of stem cells as an ontological framework for conceptualizing organismal development. This account is grounded on experimental practices of stem cell research, with emphasis on new techniques for generating biological organization in vitro. On the lineage view, a stem cell is the starting point of a cell lineage with a specific organismal source, time-interval of existence, and ‘tree topology’ of branch-points linking the stem to developmental termini. The concept of ‘enkapsis’ accommodates the cell-organism relation within the lineage view; this hierarchical notion is further explicated by considering the methods and results of stem cell experiments. Results of this examination include a (partial) characterization of stem cells’ developmental versatility, and the context-dependence of developmental processes involving stem cells. (shrink)

By moving away from the traditional reductionist reading of the quantum theory of atoms in molecules, in this paper we analyze the role played by QTAIM in the relationship between molecular chemistry and quantum mechanics from an emergentist perspective. In particular, we show that such a relationship involves two steps: an intra-domain emergence and an inter-domain emergence. Intra-domain emergence, internal to quantum mechanics, results from the fact that the electron density, from which all the other QTAIM’s concepts are defined, arises (...) from the wavefunction as a coarse-grained magnitude. Inter-domain emergence involves an analogical link, a mapping, between QTAIM’s entities, such as topological atoms and bond paths, and the entities that populate the molecular-chemistry domain, such as chemical atoms and chemical bonds. (shrink)

The Contextuality-by-Default approach to determining and measuring the (non)contextuality of a system of random variables requires that every random variable in the system be represented by an equivalent set of dichotomous random variables. In this paper we present general principles that justify the use of dichotomizations and determine their choice. The main idea in choosing dichotomizations is that if the set of possible values of a random variable is endowed with a pre-topology (V-space), then the allowable dichotomizations split the space (...) of possible values into two linked subsets (“linkedness” being a weak form of pre-topological connectedness). We primarily focus on two types of random variables most often encountered in practice: categorical and real-valued ones (including continuous random variables, greatly underrepresented in the contextuality literature). A categorical variable (one with a finite number of unordered values) is represented by all of its possible dichotomizations. If the values of a random variable are real numbers, then they are dichotomized by intervals above and below a variable cut point. (shrink)

We have two main aims: to construct mathematical models for analysing determinism, causality and supervenience; and then to use these to demonstrate the possibility of constructing an ontic construal of the operation of free will - one requiring both the presentation of genuine alternatives to an agent and their selecting between them in a manner that permits the attribution of responsibility. Determinism is modelled using trans-temporal ontic links between discrete juxtaposed universe states and shown to be distinct from predictability. (...) Causality is defined on a temporal sequence of δ-algebras and quantified using a measure. The measure leads to definitions of causal overdetermination and epiphenomena. Proofs are constructed to demonstrate deterministic universes must carry their properties essentially but not necessarily locally. We argue determinism and causality are separate doctrines. These models and results are marshalled to put the case that a counterfactual construal of ontic choice cannot work. In response we propose ‘immanence’ - a modified form of indeterminism whereby a universe can present choices to its denizens. We prove that beings subsumed within a universe cannot pilot their own actions. We then argue these beings can exercise free will only when selecting between choices inhering within immanent relata. A being is responsible for its selections if and only if it is constituted of a temporally evolving deterministic substructure. Our proposal is novel: it avoids injecting indeterminism into the decision process. Topological models for property supervenience are developed and used to reconstruct standard definitions from the literature. These are then used to demonstrate considerations of supervenience do not affect our arguments. We have demonstrated that a model of the exercise of free will involving both genuine choices and responsibility is possible but can only operate within a non-deterministic universe possessing specific traits. (shrink)

This paper addresses Suárez’s understanding of imagination and phantasy, dealing with it in the general Aristotelian debate on the internal senses. Paragraph 1 sketches Aristotle’s, Avicenna’s and Aquinas’s accounts of imagination, examining especially the boundary between human and animal cognition. Paragraph 2 addresses especially the Jesuits’ understanding of the topology of the internal senses, linking it with the Jesuit strategy for the demonstration of the soul’s immateriality and immortality. Paragraphs 3 and 4 deal with Suárez’s simplification of the internal senses, (...) aimed at establishing a direct opposition between intellection (in men) and a general lower cognitive activity founded in the use of sensory representations (shared by men and animals). Paragraphs 5 and 6 focus on the role of phantasy in Suárez’s account of the illumination of phantasms, on Suárez’s use of Scotus’ concepts of ‘sympathy’, and ‘concomitance’ and the relevance of such a model in the demonstration of the soul’s immortality. (shrink)

The questions of what represents space-time in GR, the status of gravitational energy, the substantivalist-relationalist issue, and the exceptional status of gravity are interrelated. If space-time has energy-momentum, then space-time is substantival. Two extant ways to avoid the substantivalist conclusion deny that the energy-bearing metric is part of space-time or deny that gravitational energy exists. Feynman linked doubts about gravitational energy to GR-exceptionalism, as do Curiel and Duerr; particle physics egalitarianism encourages realism about gravitational energy. In that spirit, this essay (...) proposes a third possible view about space-time, one involving a particle physics-inspired non-perturbative split that characterizes space-time with a constant background _matrix_, a sort of vacuum value, thus avoiding the inference from gravitational _energy to substantivalism. On this proposal, space-time is, where eta=diag is a spatio-temporally constant numerical signature matrix, a matrix already used in GR with spinors. The gravitational potential, to which any gravitational energy can be ascribed, is g_{\mu\nu}- eta, an _affine_ geometric object with a tensorial Lie derivative and a vanishing covariant derivative. This non-perturbative split permits strong fields, arbitrary coordinates, and arbitrary topology, and hence is pure GR by almost any standard. This razor-thin background, unlike more familiar backgrounds, involves no extra gauge freedom and so lacks their obscurities and carpet lump-moving. After a discussion of Curiel's GR exceptionalist denial of the localizability of gravitational energy and his rejection of energy conservation, the two traditional objections to pseudotensors, coordinate dependence and nonuniqueness, are explored. Both objections are inconclusive and getting weaker. A literal interpretation involving infinitely many energies corresponding by Noether's first theorem to the infinite symmetries of the _action_ largely answers Schroedinger's false-negative coordinate dependence problem. Bauer's false-positive objection has multiple answers. Non-uniqueness might be handled by Nester et al.'s finding physical meaning in multiplicity in relation to boundary conditions, by an optimal candidate, or by Bergmann's identifying the non-uniqueness and coordinate dependence ambiguities as one. (shrink)

Chapter 1 First Person Access to Mental States. Mind Science and Subjective Qualities -/- Abstract. The philosophy of mind as we know it today starts with Ryle. What defines and at the same time differentiates it from the previous tradition of study on mind is the persuasion that any rigorous approach to mental phenomena must conform to the criteria of scientificity applied by the natural sciences, i.e. its investigations and results must be intersubjectively and publicly controllable. In Ryle’s view, philosophy (...) of mind needs to adopt an antimentalist stance to achieve this aim. Antimentalism not only definitively rejects the idea that mind is a substance separated from the body, it also denies that mental phenomena radically differ from physical phenomena by virtue of several unique features. Most problematically, mental phenomena have a conscious character (mental states are related to specific qualitative feelings) and are accessible only to the first-person (only the subject knows directly what s/he is experiencing inside his/her mind). Ryle takes a strong stance on antimentalism going so far as to maintain that an approach to mind which aims to meet the criteria of scientificity set by the natural sciences must avoid any reference to internal, unobservable mental states. In his view (which is considered a specifically philosophical version of psychological behaviorism and also addresses questions put forward in psychological research), mental states can be redescribed in terms of behavioral dispositions. In this chapter, we address the historical roots of the antimentalist view and analyze its relation to the later tradition of research on mind. We show that, compared to the antimentalist stance, functionalism and cognitivism take a step back when they maintain that direct reference to mental states is necessary since mental states cause and therefore explain human behavior. This step backwards is often interpreted as a return to mentalism. However, this is only partially true. Indeed, we suggest that these later traditions retain one important element of Ryle’s antimentalism, i.e. the idea that mental states must be uniquely identified using external and publicly observable criteria, while excluding any reference to introspection and those qualitative dimensions of a mental state, which are accessible only to the first-person. According to the perspective we put forward, this epistemological stance has continued to influence contemporary research on mind and current philosophical and psychological theories which both tend to exclude the subjective qualities of human experience from their accounts of how the mind works. The issue we raise here is whether this is legitimate or whether subjective qualities do play a role with respect to the way our mind works. The conclusion of this chapter anticipates the argument the book makes in in favor of this latter position, starting from a particular angle, i.e. the problem of how we categorize concepts related to our internal states. -/- Chapter 2 The Misleading Aspects of the Mind/Computer Analogy. The Grounding Problem and the Thorny Issue of Propriosensitive Information -/- Abstract. After the crisis of behaviorism, cognitivism and functionalism became the predominant models in the field of psychology and of philosophy, respectively. Their success is mainly due to the new key they use for interpreting mental processes: the mind/computer analogy. On the basis of this analogy, mental operations are seen as cognitive processes based on computations, i.e. on manipulations of abstract symbols which are in turn understood as informational unities (representations). This chapter identifies two main problems with this model. The first is how these symbols can relate to and communicate with perception and thus allow us to identify and classify what we perceive through the senses. Here we limit ourselves to presenting this issue in relation to the classical symbol grounding problem originally put forward by Harnad on the basis of Searle’s Chinese room argument. An attempt to address the problem raised here will be made in chap. 3. The second point we discuss in relation to the mind/computer analogy concerns the idea of information it fosters. Indeed, following this analogy, information is something available in the external world which can be captured by the senses and transmitted to the central system without being influenced or modified by the procedures of transmission. This perspective does not take into account that – unlike computers – in living beings information is acquired by means of the body. As Ulric Neisser has already pointed out, the body is itself an informational source that provides us with additional sensory experience that influences (modifies or complements) the information extracted from the external world by the senses. To develop this line of analysis and to determine exactly what information is provided by the body and how this might influence cognition, we examine Sherrington’s and Gibson’s positions. Moving on from their views, we qualify bodily information in terms of ‘proprioception’. We use ‘proprioception’ in a broad sense to describe any kind of experience we have of our internal states (including postural information as well as sensations related to the general state of the body and its parts). Following Damasio’s and Craig’s studies, we further elaborate this position, arguing that living beings are equipped with an internal propriosensitive monitoring system which maps all the changes that constantly occur in our body and that give us perceptual (‘proprioceptive’ or propriosensitive) information about what happens inside us. Moreover, relying on Goldie’s and Ratcliffe’s view, we show that emotional information can also be considered as a form of ‘proprioception’ which contributes to determining everything we perceive. This analysis leads us to the second main thesis of this book: ‘proprioception’ is a form of internal perception and it is an essential component of the sensory information we can access and use for all cognitive purposes. -/- Chapter 3 Semantic Competence from the Inside: Conceptual Architecture and Composition -/- Abstract. Concepts are essential constituents of thought: they are the instruments we use to categorize our experience, i.e. to classify things and group them together in homogeneous sets. Here we define concepts as the internal mental information (representations) that allows us, among other things, to master words in natural language. By analyzing the way in which individuals master word meanings we explore a number of hypotheses regarding the nature of concepts. Following Diego Marconi’s research, we differentiate between two kind of abilities that underpin lexical competence – so-called ‘referential’ and ‘inferential competence’ – and we suggest that, in order to support these abilities, concepts must also include two corresponding kinds of information, i.e. inferential and referential information. We point out that the most widely used and acknowledged theories of concepts do not make this distinction, instead broadly characterizing the information used for categorization in terms of propositionally described feature lists. However, we show that while feature lists can explain inferential competence, they do not account for referential competence. To address the issue of referential competence we examine Ray Jackendoff’s hypothesis that to account for the possibility of linking perceptual and conceptual information we need to assume the existence of a (visual) representation that encodes the geometric and topological properties of objects and bridges the gap between the percept and the concept. Furthermore, we analyze the extension of this work by Jesse Prinz who introduced the notion of a proxytype, a perceptual representation of a class of objects that incorporates structural and parametric information related to their appearance. However, as we point out, proxytypes can only explain the relationship between perception and concepts with respect to instances that can be perceived through the senses and that belong to the same class by virtue of their physical similarity. We suggest that this notion be extended to include larger conceptual classes. To accomplish this, we further develop Mark Johnson, George Lakoff and Jean Mandler’s idea of a schematic image and argue that conceptual representations include a perceptual schema. Perceptual schemata are non-linguistic, structured experiential gestalts (patterns or maps) that make use of information taken from all sensory modalities, including body perception. They accomplish a quasi-conceptual function: they allow us to recognize and to classify different instances. In this work, we hypothesize that perceptual schemata are an essential component of concepts, but not identical to them. Instead, we suggest that concepts include both perceptual and propositional information with perceptual schemata providing the ‘perceptual core concept’ that grounds related propositional information. -/- Chapter 4 In the Beginning There Were Categories. The Bodily Origin of Prelinguistic Categorical Organization: The Example of Folkbiological Taxonomies -/- Abstract. Studies of categorization in psychology and the cognitive sciences have made use of the notions of ‘category’ and ‘concept’ without precisely defining what is meant by either; in fact, often these terms have been used as synonyms, making it difficult to address specific issues related to conceptual development. This chapter begins by discussing the definitions of, as well as the distinctions between, ‘categories’ and ‘concepts’ in the classical philosophical tradition (Aristotle, Kant and Husserl). We introduce our view of categories with reference to Husserl. Categorization is defined as the way in which our experience is originally (pre-linguistically) organized in a passive and fully unconscious manner on the basis of universal structuring principles. Conceptualization is explained as a later process in which the earlier categorical macro-classes are further subdivided into more specific and detailed sets; this later process also relies on linguistic learning and exposure to culture. On the basis of Ray Jackendoff, Jean Mandler, George Lakoff and Mark Johnson’s work, we hypothesize that categorization is a two-step process that begins with the formation of homogeneous sets of entities partitioned into regions that describe the ontological boundaries of the objects that humans perceive (categories) and continues at a later stage with the development of more specific classifications (concepts). In this chapter, we mainly address three related issues: Why should we assume that there is categorical organization which precedes the development of a conceptual system? How do categories and concepts relate to each other? Shall we hypothesize that categories are innate or that they are formed before concepts on the basis of information and organizational structure available at a very early developmental stage? We show that categorical partitions are necessary for categorization and, following Mandler, that the general categories we form at an early age do not match our adult superordinate concepts. As for the third issue, we argue that there might be no need to assume that categories are innately present in the human mind, since their formation can be explained – at least in certain cases – by basic mechanisms that work on body (propriosensitive) information. This hypothesis will not be discussed in general, but in relation to a particularly relevant example of categorical partition, i.e. the folk-biological dichotomy between ANIMATE/INANIMATE. This is compared with other dichotomies that derive from it, but are not directly categorical such as LIVING/NON-LIVING and BIOLOGICAL/NON-BIOLOGICAL. -/- Chapter 5 Internal States: From Headache to Anger. Conceptualization and Semantic Mastery -/- Abstract. Here we ask if we can also apply the distinction between referential and inferential competence we introduced in Chapter 3 to words that do not refer to things that are perceived using the external senses, especially to words/concepts that denote bodily experiences (such as pain, thirst, hunger, etc.) or emotions. We introduce and discuss the hypothesis that – even though such words/concepts do not refer to intersubjectively identifiable entities in the external world – they do have a kind of referent that can be accessed via direct perception, more specifically ‘proprioception’, as we have defined it in terms of all propriosensitive information we can consciously access. In the first part of the chapter, we specifically consider terms denoting bodily experiences such as ‘pain’ or ‘hunger’ and argue that their referents are identified and classified from a first-personal point of view on the basis of four main characteristics: their specific intensity, their localization in the body, their co-occurrence with other signals and above all their specific qualitative sensations. Emotions are addressed in the second part of the chapter. We suggest that there is a continuity between bodily experiences and emotions. In particular, we argue for a perceptual theory of emotions in line with that proposed by James and Lange at the end of the 19th century and developed more recently by authors such as Damasio (see also chap. 2§5, §6). The hypothesis we put forward is that the referential information that supports the categorization of emotions and therefore also our mastery of terms referring to emotions consists in the perception (i.e. the ‘proprioception’) of those bodily states and changes in bodily states which constitute our emotional experience. In the context of this discussion we examine some objections to this line of reasoning that arise from a cognitivist perspective and following authors such as Oatley, Johnson-Laird and Frijda, we distinguish between basic emotions that can be identified and classified solely on the basis on how they feel and complex emotions whose identification and classification additionally depends on cognitive factors. To describe how emotions are identified and classified on the basis of how they feel, we rely on Marcel and Lambie’s distinction between an ‘emotion state’ and an ‘emotion experience’. Both notions indicate kinds of feelings that we consciously experience. However, they describe first-order and second order emotion awareness respectively. The emotion state is the feeling we have of the bodily states and changes that occur when we are experiencing an emotion, while the emotion experience is the fully developed and integrated emotion we both experience and are, with reflection, aware of experiencing. On the basis of this differentiation, we also show that the same characteristics that aid in the identification and classification of bodily experiences (specific qualitative sensations; somatic localization; specific intensity; presence/absence of specific concomitant sensations) can also be used for the identification and classification of emotions – at least basic emotions. In the last two sections of the chapter we present some clinical evidence on the semantic competence of people who suffer from Alexithymia and Autism Spectrum Disorder which supports the conclusions of our preceding analyses. -/- Chapter 6 The ‘Proprioceptive’ Component of Abstract Concepts -/- Abstract. In this chapter, we address the issue of whether the mastery of abstract words requires only inferential knowledge and thus, if the concepts that support the mastery of abstract words include only linguistic information. We start by differentiating the notions of ‘abstract’ and ‘general’ which are often erroneously confused. We then identify a strict definition of abstract, as contrasted with ‘concrete’, that applies to words or concepts whose referent cannot be experienced by the senses. We argue that abstract words/concepts would be better described as theoretical, because they are usually conceived as structured sets of inferential knowledge expressed linguistically; that is, as small theories. Pointing out parallels with Carnap’s analysis of this issue in philosophy of science, we hypothesize that words/concepts denoting non-observable entities are not all ‘equally theoretical’, because their link to sensory experience can be stronger or weaker. We revive the distinction, inspired by Quine, between theoretical and intertheoretical concepts/words. This distinction relies on the fact that the former – unlike the latter – retains a strong, although indirect, connection with perception. In Quine’s discussion, perception is understood uniquely in terms of observability, i.e. of external sensory experience. Here we argue, however, that bodily, ‘proprioceptive’ (i.e. propriosensitive) experience can also serve to referentially ground theoretical (i.e. abstract) concepts/words. We frame this issue using the example of the theoretical concept ‘freedom’ and Lakoff’s hypothesis that this concept is developed on the basis of bodily information. We contrast this with the example of ‘democracy’ which more closely resembles an intertheoretical concept/word. Furthermore, we show that one of the classical views put forward in psycholinguistic research to explain how abstract concepts are mentally represented – i.e. Paivio’s Dual Coding Theory – points in the same direction as our analysis. The same is true of Barsalou’s work suggesting that we use internal information to understand at least some abstract words. To sustain this position, we put forward two lines of evidence: the first comes from psycholinguistic studies while the second examines deficits of semantic competence exhibited by people with Autism Spectrum Disorder. On the basis of our analysis, we put forward a classification that distinguishes between different kinds of concreteness and different degrees of abstraction: concepts/words referring to body experiences and basic emotions are described as analogous to concrete concepts/words because they are grounded in perceptual (i.e. propriosensitive) experience, while abstract concepts/words are considered more or less abstract depending on whether they are intratheoretical (and rely entirely on inferential information) or theoretical (and are partially grounded in perceptual – or more often in propriosensitive perceptual – information). In the last section of the chapter we consider two scales that have been used in psycholinguistic research to measure the degree of concreteness vs. abstractness of words and we show that – used conjointly – they can provide a measure of the internal vs. external grounding of specific words. (shrink)

Recently, two apparently quite different duality-based approaches to automata minimisation have appeared. One is based on ideas that originated from the controllability-observability duality from systems theory, and the other is based on ideas derived from Stone-type dualities specifically linking coalgebras with algebraic structures derived from modal logics. In the present paper, we develop a more abstract view and unify the two approaches. We show that dualities, or more generally dual adjunctions, between categories can be lifted to dual adjunctions between categories (...) of coalgebras and algebras, and from there to automata with initial as well as final states. As in the Stone-duality approach, algebras are essentially logics for reasoning about the automata. By exploiting the ability to pass between these categories, we show that one can minimize the corresponding automata. We give an abstract minimisation algorithm that has several instances, including the celebrated Brzozowski minimisation algorithm. We further develop three examples that have been treated in previous works: deterministic Kripke frames based on a Stone-type duality, weighted automata based on the self-duality of semimodules, and topological automata based on Gelfand duality. As a new example, we develop alternating automata based on the discrete duality between sets and complete atomic Boolean algebras. (shrink)

We introduce the notion of infinitary preorder and use it to obtain a predicative presentation of sup-lattices by generators and relations. The method is uniform in that it extends in a modular way to obtain a presentation of quantales, as “sup-lattices on monoids”, by using the notion of pretopology.Our presentation is then applied to frames, the link with Johnstone’s presentation of frames is spelled out, and his theorem on freely generated frames becomes a special case of our results on quantales.The (...) main motivation of this paper is to contribute to the development of formal topology. That is why all our definitions and proofs can be expressed within an intuitionistic and predicative foundation, like constructive type theory. (shrink)

Another volume in the Bechers' lifelong project of documenting the architecture of industrial structures. Bernd and Hilla Becher's photography can be considered conceptual art, typological study, and topological documentation. Their work can be linked to the Neue Sachlichkeit movement of the 1920s and to such masters of German photography as Karl Blossfeldt, August Sander, and Albert Renger-Patzsch. Their photographs documenting the architecture of industrial structures, taken over the course of forty years, make up the most important body of work (...) to be found in independent objective photography. This volume adds cooling towers to a list of photographic projects that includes book-length studies of water towers, blast furnaces, gas tanks, mineheads, and frame houses.Since the end of the nineteenth century, cooling towers have formed a striking part of electricity and steel works. The first cooling towers were wood-clad structures at coal mines; more recent examples are the steel or concrete constructions seen at nuclear power stations. The simplicity of these forms and their hermetically sealed external skins create an impressive, monumental effect. The Bechers have been photographing cooling towers since the 1960s. This volume contains 236 photographs of cooling towers—in all their different shapes and structural forms—from Belgium, England, France, Germany, Holland, and the United States, and includes a short text by the Bechers. (shrink)

This paper is a continuation of investigations on Galois connections from [1], [3], [10]. It is a continuation of [2]. We have shown many results that link properties of a given closure space with that of the dual space. For example: for every -disjunctive closure space X the dual closure space is topological iff the base of X generated by this dual space consists of the -prime sets in X (Theorem 2). Moreover the characterizations of the satisfiability relation for (...) classical logic are shown. Roughly speaking our main result here is the following: a satisfiability relation in a logic L with, a countable language is a fragment of the classical one iff the compactness theorem for L holds (Theorems 3–8). (shrink)

Context: There is an ongoing debate about the possibility of identifying autopoietic systems in non-biological domains. In other words, whether autopoiesis can be conceived as a domain-free rather than domain-specific concept – regardless of Maturana’s and Varela’s opinions to the contrary. In previous parts my focus was, among other matters, on the rules defined by Varela, Maturana, and Uribe (“VM&U rules”). These rules were viewed as a validation test to assess if an observed system is autopoietic by referring to Maturana’s (...) ontological-epistemological frame. I concluded that identifying possible non-biological autopoietic systems is harder than merely identifying self-organized dynamic systems that are provided with boundaries and some observable autonomous behavioral capabilities in a given observational domain. This is because no assessment could be valid without examining such systems’ “intra-boundaries” phenomenology and proving actual compliance with the VM&U component production rules. Problem: Any rigorous approach to investigating possible self-production capabilities within a given dynamic system needs to drill down on the composition and physical conditions of the system’s core dynamics. My aim now is to discuss the problem of choosing the adequate spatial and temporal scales to be applied when observing and describing dynamic systems in general. When trying to detect an autopoietic system in a given observational domain, the observer needs conceptual tools to apply rigorously the VM&U rules and decide on the matter. This is particularly useful when dealing with systems with spatially distributed components interacting through cause-effect couplings that are independent of the distance between them, as is the case of social systems. Results: For observing dynamic systems, the choice of appropriate spatial and temporal scales of description is not a trivial operation. The observer needs to distinguish between “instantaneous” phenomena and phenomena possessing extended “durations.” I argue that the observer can easily extend the notions discussed by Maturana and Varela to observational domains where the system’s components do not constitute an entity showing a topological “form” in physical space. Furthermore, I show that a diachronic perspective must be applied by observers to explain component production/destruction mechanisms as the outcomes of processes involving structure-determined coordination over relatively long time intervals. Finally, these considerations lead to establishing a link with Varela’s fundamental concept of autonomy. Implications: The adequate choice of spatial and temporal scales of observation and description are essential (a) to discuss the problem of a possible identification of social autopoietic systems, and (b) to analyze the possibility of designing virtual simulated autopoietic systems in software domains (“computational autopoiesis”). (shrink)

"Can Freud be 'updated' in the twenty-first century, or is he a venerated but outmoded genius?" asks Jerry Aline Flieger. In Is Oedipus Online? Flieger stages an encounter between psychoanalysis and the new century, testing the viability of Freud's theories in light of the emergent realities of our time. Responding to prominent critics of psychoanalysis and approaching our current preoccupations from a Freudian angle, she presents a reading of Freudian theory that coincides with and even clarifies new concepts in science (...) and culture. Fractals, emergence, topological modeling, and other nonlinearities, for example, can be understood in light of both Freud's idea of the symptom as a nodal point and Lacan's concept of networks that link psychic realities. At the same time, Flieger suggests how emerging paradigms in science and culture may elucidate Freud's cultural theory.Like Slavoj Zizek, editor of the Short Circuits series, Flieger shifts effortlessly from field to field, discussing psychoanalysis, millennial culture, nonlinear science, and the landscape of cyberspace. In the first half of the book, "Re-siting Oedipus," she draws on the work of Lyotard, Zizek, Deleuze, Virilio, Baudrillard, Haraway and others, to refute the assumption of Freud's outdatedness in the new century. Then, in "Freud Sitings in Millennial Theory," she recasts oedipal theory, siting/sighting/citing Freud in a twenty-first-century context. Thinking of Oedipus -- decipherer of enigmas, wanderer -- as a navigator or search engine allows us to see psychoanalysis as a navigation device for the cultural maze of the "bimillennial" era, and Oedipus himself as a circuit of intersubjective processes by which we become human. For humanity -- still needed in the "posthuman" century -- is at the core of Freud's theory: "Reading Freud today," Flieger writes, "reminds us of the complications of the Sphinx's riddle, the enigma that Oedipus only thought he solved: the question of what it is to be human. Psychoanalysis continues to pose that question at the crossroads between instincts and their vicissitudes.". (shrink)

The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics (...) that are sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes. (shrink)

Autopoietic theory is increasingly seen as a candidate for a radical theory of law, both in relation to its theoretical credentials and its relevance in terms of new and emerging forms of law. An aspect of the theory that has remained less developed, however, is its material side, and more concretely the theory’s accommodation of bodies, space, objects and their claim to legal agency. The present article reads Luhmann’s theory of autopoietic systems in a radical and material manner, linking it (...) on the one hand to current post-structural theorisations of law and society, and on the other hand extending its ambit to accommodate the influx of material considerations that have been working their way through various other disciplines. The latter comprises both a materialisation of the theory itself and ways of conceptualising the legal system as material through and through. This I do by further developing what I have called Critical Autopoiesis, namely an acentric, topological, post-ecological and posthuman understanding of Luhmann’s theory, that draws on Deleuzian thought, feminist theory, geography, non-representational theory, and new material and object-oriented ontologies. These are combined with some well-rehearsed autopoietic concepts, such as distinction, environment and boundaries; Luhmann’s earlier work on materiality continuum; more recent work on bodies and space; as well as his work on form and medium in relation to art. The article concludes with five suggestions for an understanding of what critical autopoietic materiality might mean for law. (shrink)

The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the (...) variety of the algerabic models of the given logics, soundness and completeness with respect to these classes of Kripke-style models follows by using entirely algebraical arguments from the soundness and completeness of the logic with respect to its algebraic models. (shrink)

An overview of the following three related papers in this issue presents the Emergence of Highly Complex Systems such as living organisms, man, society and the human mind from the viewpoint of the current Ontological Theory of Levels. The ontology of spacetime structures in the Universe is discussed beginning with the quantum level; then, the striking emergence of the higher levels of reality is examined from a categorical—relational and logical viewpoint. The ontological problems and methodology aspects discussed in the first (...) two papers are followed by a rigorous paper based on Category Theory, Algebraic Topology and Logic that provides a conceptual and mathematical basis for a Categorical Ontology Theory of Levels. The essential links and relationships between the following three papers of this issue are pointed out, and further possible developments are being considered. (shrink)