This work deals with the expressive power of logics on finite graphs with access to an additional "arbitrary" linear order. The queries that can be expressed this way are the order-invariant queries for the logic. For the standard logics used in computer science, such as first-order logic, it is known that access to an arbitrary linear order increases the expressiveness of the logic. However, when we look at the separating examples, we find that they have satisfying models whose Gaifman Graph (...) is complex -unbounded in valence and in treewidth. We thus explore the expressiveness of order-invariant queries over well-behaved graphs. We prove that first-order order-invariant queries over strings and trees have no additional expressiveness over first-order logic in the original signature. We also prove new upper bounds on order-invariant queries over bounded treewidth and bounded valence graphs. Our results make use of a new technique of independent interest: the application of algebraic characterizations of definability to show collapse results. (shrink)

We study classes of ultrafilters on ω defined by a natural property of the Loeb measure in the Nonstandard Universe corresponding to the ultrafilter. This class, the Property M ultrafilters, is shown to contain all ultrafilters built up by taking iterated products over collections of pairwise nonisomorphic selective ultrafilters. Results on Property M ultrafilters are applied to the construction of extensions of probability measures, and to the study of measurable reductions between ultrafilters.

We settle a number of questions concerning definability in first order logic with an extra predicate symbol ranging over semi-linear sets. We give new results both on the positive and negative side: we show that in first-order logic one cannot query a semi-linear set as to whether or not it contains a line, or whether or not it contains the line segment between two given points. However, we show that some of these queries become definable if one makes small restrictions (...) on the semi-linear sets considered. (shrink)

Does the contemporary built environment—the ensemble of our humanly created surroundings—make us happy? This question prompts a consideration of the psychological dimensions of economic value, and of Tibor Scitovsky's revisions of standard economic theory. With Scitovsky as a starting point, a model of value based on modern complexity theory and a Maslow‐like rendition of human needs can account for some of the more important exceptions to the law of diminished marginal utility, including those that may undermine the built environment in (...) a market economy. (shrink)

Buildings are meaningful parts of the environment; and when they are architecture, they aspire to greater meaning. Several accounts of architectural semiosis have been offered based on analogies to biology and language. These are critiqued. Critiqued, too, are accounts of semiosis generally that use systems-theoretical concepts and language. The essay goes on to outline what could be a contribution to biosemiotics from the work of perception psychologist, J. J. Gibson, as brought through architecture in the form of isovist field theory. (...) This theory is not treated as an example of systems thinking as it usually is, but, with the help of philosopher Martin Buber as well as Jesper Hoffmeyer, as a way out of it—able to describe the meaning of objects and space phenomenologically and ecologically at once. (shrink)

The Guarded Negation Fragment (GNFO) is a fragment of first-order logic that contains all positive existential formulas, can express the first-order translations of basic modal logic and of many description logics, along with many sentences that arise in databases. It has been shown that the syntax of GNFO is restrictive enough so that computational problems such as validity and satisfiability are still decidable. This suggests that, in spite of its expressive power, GNFO formulas are amenable to novel optimizations. In this (...) article we study the model theory of GNFO formulas. Our results include effective preservation theorems for GNFO, effective Craig Interpolation and Beth Definability results, and the ability to express the certain answers of queries with respect to a large class of GNFO sentences within very restricted logics. (shrink)

In Belegradek et al. 85) the collapse result theorem was proved for locally generic queries over ordered domain with pseudo-finite homogeneity property. In a very interesting paper of Baldwin and Benedikt the collapse result theorem was proved for locally generic queries over ordered domains without the independence property. It means that over such a domain, order-generic extended queries fail to express more than restricted queries. It was observed by Baldwin and Benedikt that any theory without the independence property is P-reducible. (...) I prove that, for the P-reducible theories, a version of pseudo-finite homogeneity property holds. (shrink)

One Seit Platon (mit dem Spott von Diogenes) über Kant ist die Fundamentalfrage "Was ist der Mensch?" bis heute nicht nur von der Philosophie (als regina scientiarum), sondern von der Wissenschaft überhaupt nicht beantwortet. Phänomenologisch hat der Mensch a posteriori physische (somatische), psychische(perceptio, emotio, cognitio), mentale (logische), spirituelle (conscientia, volitio, actio) "Sphären". Ontologisch in Kontext von to ti en einai (Aristoteles) sollte der Mensch a priori ein "Programm" (Information) vor der Kosmogonie haben. Der (Neo‐) Positivismus (z.B. Hume bis Carnap, Russel*; (...) * Nobel Laureate) verwirft Fragen der Metaphysik als Scheinprobleme. Damit bleibt das Menschen‐Wesen in Kontext von Postulaten, wie res cogitans (Descartes), Monaden(Leibniz), "Gott, Freiheit, Unsterblichkeit", Seligkeit und (moralischer) Vollkommenheit (Kant), absoluter Geist (Hegel) in der theologischen Dimension. Antwort könnte eine zukünftige (holistisch‐multidimensionale) philosophische theoretische und Experimentaltheologie (kontrollierbare Beobachtung) durch weitere Forschung geben, in Kontext (bzw. Existenz) von A. Physikotheologie bzw. (a) höhere (als drei) geometrische/physikalische Dimensionen (Hilbert, Riemann /Friedmann, Minkowski, Schmutzer), (b) Paralleluniversen (z.B. L. Randall), (c) Quantentheorie/‐philosophie (Planck*, u.a.), (d) Gravitations‐/Relativitätstheorie (Newton/Einstein*), (e) Vakuumenergie (Sato), etc. B. ChemoBiotheologie bzw. "psychischen" (Fechner) und "spezifischen" (Joh. Müller) Energien,"biologischem Feld" (Gurwitsch), künstlicher Biogenese (Oparin, Fox, Urey*, u.a.; 32 Fragen von John Bernal). C. Psychotheologie bzw. parapsychische Phänomene (Carrel*, Richet*/France, Rhinne/USA, Vassilev, Bechterew/Russia, etc.). D. Religionstheologie: (über‐) Bewußtsein, übersinnliche, immaterielle, supraphysikalische Phänomene (Sri Aurobindo, Dalai Lama*, Konfuzius/Laotse, Gopi Krishna, Papst Benedikt, Paramahansa Yogananda, Sri Yogendra, etc.)und ihre physiologische Begründung (Anand/Chinna, Kasamatsu/Hirai, Ornstein, Pauli*, von Weizsäcker, etc.). Damit hängt die ontologische Frage nach dem MenschenWesen mit der Lösung des Problemkomplexes "Gott Geist/Seele Mensch Natur" zusammen. (shrink)

https://www.history.com/topics/ancient-middle-east/silk-roadThe ancient Silk Road is an image and metaphor that has been revived as the basis for what President Xi has called ‘the project of the ce...

Volume 51, Issue 14, December 2019, Page 1399-1407.

Volume 53, Issue 2, February 2021, Page 105-111.

The Continuous Parameter Estimation Model is applied to develop individual genomic-level heritabilities for the latent hierarchical structure and developmental dynamics of Life History (LH) strategy LH strategies relate to the allocations of bioenergetic resources into different domains of fitness. LH has moderate to high population-level heritability in humans, both at the level of the high-order Super-K Factor and the lower-order factors, the K-Factor, Covitality Factor, and General Factor of Personality (GFP). Several important questions remain unexplored. We developed measures of genome-level (...) heritabilities employing an American sample of 316 monozygotic (MZ) and 274 dizygotic (DZ) twin dyads and a Swedish sample of 863 MZ and 475 DZ twin dyads. This novel heritability index measures individual genetic transmissibility, therefore opening new avenues for analyzing complex interactions among heritable traits inaccessible to standard structural equations methods. For these samples: (1) moderate to high heritability of factor loadings of Super-K on its lower-order factors is demonstrated, evidencing biological preparedness, genetic accommodation, and the gene-culture coevolution of biased epigenetic rules of development; (2) moderate to high heritability of the magnitudes of the effect of the higher-order factors upon their loadings on their constituent factors, evidencing genetic constraints upon phenotypic plasticity; and (3) that heritability of the LH factors, of factor loadings, and of the magnitudes of the correlations among factors are weaker among those with slower LH speeds, demonstrating that inter-individual variation in transmissibility is a function of individual socioecological selection pressures. (shrink)

In the first phase, information technology revolutionizes biology. In the next phase, biology will revolutionize information technology. And that will totally, once again, revolutionize economies....

Volume 52, Issue 1, January 2020, Page 11-16.

The problem with authenticity—the idea of being “true to one’s self”—is that its somewhat checkered reputation garners a complete range of favorable and unfavorable reactions. In educational settings, authenticity is lauded as one of the top two traits students desire in their teachers. Yet, authenticity is criticized for its tendency towards narcissism and self-entitlement. So, is authenticity a good or a bad thing? The purpose of this article is to develop an intimate understanding of authenticity by investigating its current interpretation (...) and criticisms, its struggle with narcissism and relation to freedom. Examining authenticity as multilayered self-exploration reveals a composite of understanding, care, and acceptance. While a side current of acceptable tension shifts our understanding of authenticity from the security of self-determination to the messy interplay involved in being “true to one’s self” and being “in-the-world”. (shrink)

Review by: Michael Benedikt The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 112-115, March 2013.

Choice Outstanding Academic Title, 1996. In hundreds of articles by experts from around the world, and in overviews and "road maps" prepared by the editor, The Handbook of Brain Theory and Neural Networkscharts the immense progress made in recent years in many specific areas related to two great questions: How does the brain work? and How can we build intelligent machines? While many books have appeared on limited aspects of one subfield or another of brain theory and neural networks, the (...) Handbookcovers the entire sweep of topics—from detailed models of single neurons, analyses of a wide variety of biological neural networks, and connectionist studies of psychology and language, to mathematical analyses of a variety of abstract neural networks, and technological applications of adaptive, artificial neural networks. The excitement, and the frustration, of these topics is that they span such a broad range of disciplines including mathematics, statistical physics and chemistry, neurology and neurobiology, and computer science and electrical engineering as well as cognitive psychology, artificial intelligence, and philosophy. Thus, much effort has gone into making the Handbookaccessible to readers with varied backgrounds while still providing a clear view of much of the recent, specialized research in specific topics. The heart of the book, part III, comprises of 267 original articles by leaders in the various fields, arranged alphabetically by title. Parts I and II, written by the editor, are designed to help readers orient themselves to this vast range of material. Part I, Background, introduces several basic neural models, explains how the present study of brain theory and neural networks integrates brain theory, artificial intelligence, and cognitive psychology, and provides a tutorial on the concepts essential for understanding neural networks as dynamic, adaptive systems. Part II, Road Maps, provides entry into the many articles of part III through an introductory "Meta-Map" and twenty-three road maps, each of which tours all the Part III articles on the chosen theme. (shrink)

Der Verfassungsrechtler und Rechtsphilosoph Carl Schmitt (1888–1985) ist ohne Zweifel ein faszinierender Autor. Die von ihm ausgehende Suggestion basiert auf der Virtuosität seines polemischen Stils, der oft vergessen macht, welch sachliche Kritik von Zeitgenossen an seinen Theorien geübt wurde. Erstmals liegt nun eine kritische Auseinandersetzung mit den wichtigsten Aspekten seines Werkes vor, die die Nähe seines konservativen Denkens zum Nationalsozialismus systematisch aufzeigt. Gegenüber der vorherrschenden biografischen Behandlung dieses Verhältnisses lassen sich damit auch aktuelle politische Theoreme und Positionen sehr viel deutlicher (...) verorten. Ziel des Buches ist es, dem Leser sowohl die Komplexität dieses außergewöhnlichen Denkens als auch dessen Konsequenzen vor Augen zu führen. (shrink)