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)

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)

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)

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

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)

We study relations between measure-theoretic classes of ultrafilters, such as the Property M ultrafilters of [4], with other well-known ultrafilter classes. We define several classes of measure theoretic ultrafilters, of which the Property M ultrafilters are the strongest. We show which containments are provable in ZFC between these measure-theoretic ultrafilters and boolean combinations of well-known ultrafilters such as the selective, semi-selective, and P-point ultrafilters. We also list some of the containment results between measure-theoretic ultrafilters and several other ultrafilter classes, such (...) as the Arrow and Property C ultrafilters. (shrink)

This book is for those who, like the astronauts, cannot look at this view of our planet without asking "WHY?" The search conducted within these pages is a logical journey into the fields of biology, psychology, physics, parapsychology, yogic science, and Eastern and Western religious philosophies. Are they merely viewing different aspects of the same Truth?

Human need and related concepts such as basic needs have long been part of the implicit conceptual foundation for social work theory, practice, and research. However, while the published literature in social work has long stressed social justice, and has incorporated discussion of human rights, human need has long been both a neglected and contested concept. In recent years, the explicit use of human needs theory has begun to have a significant influence on the literature in social work.

First-ever comprehensive introduction to the major new subject of quantum computing and quantum information.

In this paper the familiar construction of the category of coalgebras for a cartesian comonad is extended to the setting of “algebraic set theory”. In particular, it is shown that, under suitable assumptions, several kinds of categories of classes are stable under the formation of coalgebras for a cartesian comonad, internal presheaves and comma categories.

Michael Peters, Sonja Arndt & Marek TesarThis is a collective writing experiment of PESA members, including its Executive Committee, asking questions of the Philosophy of Education in a New Key. Co...

Here, we argue that any neurobiological theory based on an experience/function division cannot be empirically confirmed or falsified and is thus outside the scope of science. A ‘perfect experiment’ illustrates this point, highlighting the unbreachable boundaries of the scientific study of consciousness. We describe a more nuanced notion of cognitive access that captures personal experience without positing the existence of inaccessible conscious states. Finally, we discuss the criteria necessary for forming and testing a falsifiable theory of consciousness.

Bishop and Trout here present a unique and provocative new approach to epistemology. Their approach aims to liberate epistemology from the scholastic debates of standard analytic epistemology, and treat it as a branch of the philosophy of science. The approach is novel in its use of cost-benefit analysis to guide people facing real reasoning problems and in its framework for resolving normative disputes in psychology. Based on empirical data, Bishop and Trout show how people can improve their reasoning by relying (...) on Statistical Prediction Rules. They then develop and articulate the positive core of the book. Their view, Strategic Reliabilism, claims that epistemic excellence consists in the efficient allocation of cognitive resources to reliable reasoning strategies, applied to significant problems. The last third of the book develops the implications of this view for standard analytic epistemology; for resolving normative disputes in psychology; and for offering practical, concrete advice on how this theory can improve real people's reasoning. This is a truly distinctive and controversial work that spans many disciplines and will speak to an unusually diverse group, including people in epistemology, philosophy of science, decision theory, cognitive and clinical psychology, and ethics and public policy. (shrink)

This article is concerned with developing a philosophical approach to a number of significant changes to academic publishing, and specifically the global journal knowledge system wrought by a range of new digital technologies that herald the third age of the journal as an electronic, interactive and mixed-media form of scientific communication. The paper emerges from an Editors' Collective, a small New Zealand-based organisation comprised of editors and reviewers of academic journals mostly in the fields of education and philosophy. The paper (...) is the result of a collective writing process. (shrink)

In this book, Michael Arbib, a researcher in artificial intelligence and brain theory, joins forces with Mary Hesse, a philosopher of science, to present an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. The book is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983. The authors reconcile a theory of the individual's construction of reality as a network (...) of schemas 'in the head' with an account of the social construction of language, science, ideology and religion to provide an integrated schema-theoretic view of human knowledge. The authors still find scope for lively debate, particularly in their discussion of free will and of the reality of God. The book integrates an accessible exposition of background information with a cumulative marshalling of evidence to address fundamental questions concerning human action in the world and the nature of ultimate reality. (shrink)

Coalescent argumentation is a normative ideal that involves the joining together of two disparate claims through recognition and exploration of opposing positions. By uncovering the crucial connection between a claim and the attitudes, beliefs, feelings, values and needs to which it is connected dispute partners are able to identify points of agreement and disagreement. These points can then be utilized to effect coalescence, a joining or merging of divergent positions, by forming the basis for a mutual investigation of non-conflictual options (...) that might otherwise have remained unconsidered. The essay proceeds by defining and discussing ‘argument’, ‘position’ and ‘understanding’. These notions are then brought together to outline the concept of coalescent reasoning. (shrink)

Arguing that a psychological basis for ethics can be found in human motivation, Rethinking Goodness proposes a naturalistic ethics that transcends the conflict between liberalism and authoritarianism --the conflict between freedom at the price of narcissism and morality at the price of coercion. A third option is offered, an ethic broader than liberalism's pursuit of the personal, that avoids jeopardizing, as do authoritarian positions, the centrality of individual autonomy.