This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.

Face perception, perhaps the most highly developed visual skill in humans, is mediated by a distributed neural system in humans that is comprised of multiple, bilateral regions. We propose a model for the organization of this system that emphasizes a distinction between the representation of invariant and changeable aspects of faces. The representation of invariant aspects of faces underlies the recognition of individuals, whereas the representation of changeable aspects of faces, such as eye gaze, expression, and lip movement, (...) underlies the perception of information that facilitates social communication. The model is also hierarchical insofar as it is divided into a core system and an extended system. The core system is comprised of occipitotemporal regions in extrastriate visual cortex that mediate the visual analysis of faces. In the core system, the representation of invariant aspects is mediated more by the face-responsive region in the fusiform gyrus, whereas the representation of changeable aspects is mediated more by the face-responsive region in the superior temporal sulcus. The extended system is comprised of regions from neural systems for other cognitive functions that can be recruited to act in concert with the regions in the core system to extract meaning from faces. (shrink)

An amplitude controllable hyperjerk system is constructed for chaos producing by introducing a nonlinear factor of memristor. In this case, the amplitude control is realized from a single coefficient in the memristor. The hyperjerk system has a line of equilibria and also shows extreme multistability indicated by the initial value-associated bifurcation diagram. FPGA-based circuit realization is also given for physical verification. Finally, the proposed memristive hyperjerk system is successfully predicted with artificial neural networks for AI based engineering (...) applications. (shrink)

Kijkwijzer is the name of the new Dutch rating system in use since early 2001 to provide information about the possible harmful effects of movies, home videos and television programs on young people. The rating system is meant to provide audiovisual productions with both age-based and content-based ratings. It is designed to enable self-regulation by the audio-visual sector. The development of Kijkwijzer, which took place under the auspices of NICAM, the Netherlands Institute for the Classification of Audiovisual Media, (...) is based on consumer research among Dutch parents, as well as theories and research on children and the media. The consumer survey that preceded the development of Kijkwijzer revealed that 70% of Dutch parents indicated that they would use a rating system. The majority of parents liked to receive information on the content of media productions, particularly about violence, frightening content, sexual depictions, discrimination, drug abuse, and coarse language. Parents also wanted age categories. Kijkwijzer distinguishes four age categories: All Ages, 6, 12 and 16. This article gives an overview and account of the various principles underlying Kijkwijzer version 1.1. It also offers suggestions for improvement of future versions of Kijkwijzer. (shrink)

We introduce a natural deduction system for the until-free subsystem of the branching time logic Although we work with labelled formulas, our system differs conceptually from the usual labelled deduction systems because we have no relational formulas. Moreover, no deduction rule embodies semantic features such as properties of accessibility relation or similar algebraic properties. We provide a suitable semantics for our system and prove that it is sound and weakly complete with respect to such semantics.

School gardens and garden-based learning continue to gain great popularity in the United States, and their pedagogical potential, and ability to impact students’ fruit and vegetable consumption and activity levels have been well-documented. Less examined is their potential to be agents of food system reskilling and transformation. Though producer and consumer are inextricably linked in the food system, and deskilling of one directly influences the other, theorists often focus on production-centered and consumption-centered deskilling separately. However, in a school (...) garden, the production/consumption disconnect is erased, by virtue of the design of the site itself and how it is utilized by the actors within it. School gardens provide the critical component of education in alternative food networks, and contribute to the producer/consumer reskilling that is a necessary part of food system transformation. We conducted a case study of an established school garden program during its transition from autonomous non-profit to official, district-funded program of a rural school district in the Midwest. By participating in the full “seed to plate” life cycle of a garden crop, students in the garden were actively involved in the reconnection of producer and consumer, while educators were fostering in students an appreciation for fresh, healthy foods and actively challenging the “McDonaldization” of both students’ diets and education. Based upon these findings, we argue that school gardens in rural areas could leverage the dominant role of rural America in developing and shifting food system paradigms. (shrink)

Complex systems research is becoming ever more important in both the natural and social sciences. It is commonly implied that there is such a thing as a complex system, different examples of which are studied across many disciplines. However, there is no concise definition of a complex system, let alone a definition on which all scientists agree. We review various attempts to characterize a complex system, and consider a core set of features that are widely associated with (...) complex systems in the literature and by those in the field. We argue that some of these features are neither necessary nor sufficient for complexity, and that some of them are too vague or confused to be of any analytical use. In order to bring mathematical rigour to the issue we then review some standard measures of complexity from the scientific literature, and offer a taxonomy for them, before arguing that the one that best captures the qualitative notion of the order produced by complex systems is that of the Statistical Complexity. Finally, we offer our own list of necessary conditions as a characterization of complexity. These conditions are qualitative and may not be jointly sufficient for complexity. We close with some suggestions for future work. (shrink)

Continuing commentary raised several issues concerning our proposal that the hippocampus, parahippocampal region, and cortical association areas mediate different aspects of memory function. Recent relevant findings strengthen our argument that neocortical areas and the parahippocampal region maintain persistent encodings of specific single items and that the hippocampus mediates representations of the relations among these items. The reciprocally and closely interconnected structures that compose the hippocampal memory system work interactively to support flexible memory expression that is relevant to the natural (...) behavior of animals and to conscious recollection in humans. (shrink)

The aim of this article is to offer a contribution to our understanding of the way in which reason appropriated the idea of system at the beginning of the modernity and made from it one of its emblematical forms of expression. I will start with seminal remarks on the topic from Martin Heidegger, and will then move to the idea of the system in the works of René Descartes, the pathfinder of modern philosophy. After commenting on some Cartesian (...) ideas, I will outline six points of support for and development of Heidegger’s conception about the system of philosophy and its roots in modern science. (shrink)

Environmental ethics would greatly benefit from an adequate metaphysical foundation. In an attempt to demonstrate the value of Whitehead’s metaphysical system as such a foundation, I first discuss five central tenets of his thought. I then compare aspects of his philosophy with Peter Singer’s utilitarianism, Tom Regan’s rights theory, Aldo Leopold’s land ethic, and Spinoza's system in order to indicate how aWhiteheadian approach can solve the difficulties of the other views as currently developed, and provide the basis for (...) an environmental ethics which values individual entities in themselves and in their connectedness in a purposive natural order. (shrink)

l. Bd. Logik, Dialektik, Metaphysik.--2. Bd. Naturphilosophie auf dem Grunde der Erfahrung.--3. Bd. Philosophie des Geistes.--4.-5. Bd. Philosophie der Geschichte. l. Abt.: Die Urwelt, der Orient, Griechenland. 2. Abt.: Rom, das christliche Europas, America, die Nachwelt.

One of the greatest of modern philosophers, on a par with his contemporary John Locke, Leibniz was born in Leipzig in 1646, died in Hanover in 1716. He was a leading figure in European intellectual circles, and the founder of the Academy of Berlin. His strange, complex metaphysical system established him as the third of the great 'Rationalists', after Descartes and Spinoza. Along with the 'New System', his most famous philosophical works are the Discourse of Metaphysics and Monadology. (...) He also made important contributions to logic, mathematics, theology, jurisprudence, and history.Gathered here for the first time are all the key texts in a crucial debate in modern philosophy, centred on Leibniz's famous 1695 essay, the `New System of the Nature of Substances and their Communication'. In this classic essay Leibniz introduced to a broad European readership the strikingly original metaphysical ideas he had come to a decade earlier. His 'system' became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers: Simon Foucher; Henri Basbage de Beauval; Francois Lamy; Isaac Jacquelot; the Englishwoman Damaris Masham; Pierre Desmaizeaux; René Joseph de Tournemine; and most notably the great French philosopher and scholar Pierre Bayle. (shrink)

The critical edition of Hegel’s works in preparation at the Hegel-Archiv in Bochum is making good progress. The most recent and biggest volume published so far is the 1830 Encyclopedia, edited, with the collaboration of Udo Rameil, by Wolfgang Bonsiepen and Hans-Christian Lucas. As the two scholars had already prepared the 1827 version of the Encyclopedia and are now close to finishing the edition of the so-called “Heidelberg Encyclopedia”, the time seemed ripe to mark the event by a wide discussion (...) of Hegel’s entire “encyclopedic” system and, more particularly, of the way in which this system developed from 1817, via 1827, to 1830. The Marburg conference was organized with this double aim in mind. (shrink)

This paper aims to reconfigure the place of memory in epistemology. I start by rethinking the problem that memory systems solve; rather than merely functioning to store information, I argue that the core function of any memory system is to support accurate and relevant retrieval. This way of specifying the function of memory has consequences for which structures and mechanisms make up a memory system. In brief, memory systems are modeling systems. This means that they generate, update and (...) manage a series of overlapping, simplified, relational representations that map out features of the world. Succeeding at building and maintaining models requires the kind of active knowledge generation traditionally associated only with deliberative reasoning. (shrink)

The author presents a deduction system for Quantum Logic. This system is a combination of a natural deduction system and rules based on the relation of compatibility. This relation is the logical correspondant of the commutativity of observables in Quantum Mechanics or perpendicularity in Hilbert spaces. Contrary to the system proposed by Gibbins and Cutland, the natural deduction part of the system is pure: no algebraic artefact is added. The rules of the system are (...) the rules of Classical Natural Deduction in which is added a control of contexts using the compatibility relation. The author uses his system to prove the following theorem: if propositions of a quantum logical propositional calculus system are mutually compatible, they form a classical subsystem. (shrink)

In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.

We show how a simple nonlinear dynamical system (the discrete quadratic iteration on the unit segment) can be the basis for modelling the embryogenesis process. Such an approach, even though being crude, can nevertheless prove to be useful when looking with the two main involved processes:i) on one hand the cell proliferation under successive divisions ii) on the other hand, the differentiation between cell lineages. We illustrate this new approach in the case of Caenorhabditis elegans by looking at the (...) early stages of embryogenesis, up to several hundreds of cells (lima bean larval stage). We show how the many results that have been obtained by several groups can be interpreted in terms of values for the parameters controlling the dynamical system. Furthermore, we can extend the model to the cases of genetic mutations. More precisely the teratogenetic and lethal effects are associated with abnormal variation of the control parameters with time. (shrink)

How natural is natural deduction?– Gentzen's system of natural deduction intends to fit logical rules to the effective mathematical reasoning in order to overcome the artificiality of deductions in axiomatic systems (¶ 2). In spite of this reform some of Gentzen's rules for natural deduction are criticised by psychologists and natural language philosophers for remaining unnatural. The criticism focuses on the principle of extensionality and on formalism of logic (¶ 3). After sketching the criticism relatively to the main rules, (...) I argue that the criteria of economy, simplicity, pertinence etc., on which the objections are based, transcend the strict domain of logic and apply to arguments in general (¶ 4). (¶ 5) deals with Frege's critique of the concept of naturalness as regards logic. It is shown that this concept means a regression into psychologism and is exposed to the same difficulties as are: relativity, lack of precision, the error of arguing from `is' to `ought' (the naturalistic fallacy). Despite of these, the concept of naturalness plays the role of a diffuse ideal which favours the construction of alternative deductive systems in contrast to the platonic conception of logic (¶ 6). (shrink)

A motivational system approach to avoidance behavior is presented. According to this approach, a motivational state increases the probability of relevant response patterns and establishes the appropriate or “ideal” consummatory stimuli as positive reinforcers. In the case of feeding motivation, for example, hungry rats are likely to explore and gnaw, and to learn to persist in activities correlated with the reception of consummatory stimuli produced by ingestion of palatable substances. In the case of defense motivation, fearful rats are likely (...) to flee or freeze, and to learn to persist in activities correlated with consummatory stimuli produced by flight from a dangerous place. Defense system activation is distinct from alarm reactions. The latter prepare the animal for probable noxious events, involve relatively intense negative affect and extinguish rapidly in situations where the noxious event no longer occurs. In contrast, defense system activation potentiates innate and modified defense reactions, thus preparing the animal for possible, but not necessarily probable, noxious events; it involves little or no negative affect and extinguishes very slowly when the noxious event no longer occurs. With these assumptions and the resulting model we attempt to resolve several long-standing problems in avoidance learning, including the low correlation between negative affect and avoidance performance, differential rates of extinction for avoidance performance and conditioned emotional responses, and evidence that some avoidance responses are much more easily learned than others. In addition, the model has implications for the study of parallels between appetitive and aversive motivation, sign tracking in aversive conditioning, and orientation of flight responses. Historical antecedents and alternative approaches are discussed. (shrink)

This is a volume of papers organized by Professor Leontief for the 1976 meeting of the Economics section of the British Association for the Advancement of Science. After a paper by Professor Leontief applying input-output to the future of the world economy, other papers consider prices, regional problems, material supplies, urban problems, technical progress, unemployment and energy policy. There are two papers with a broader view of the British economy, one surveying government policy on the industrial structure of the economy (...) and one considering the use of input-output for monitoring the development of the economy. (shrink)

l. Bd. Logik, Dialektik, Metaphysik.--2. Bd. Naturphilosophie auf dem Grunde der Erfahrung.--3. Bd. Philosophie des Geistes.--4.-5. Bd. Philosophie der Geschichte. l. Abt.: Die Urwelt, der Orient, Griechenland. 2. Abt.: Rom, das christliche Europas, America, die Nachwelt.

The progress of social economy has created a better environment for the healthy development of young people, but the heavy schoolwork and life pressure have caused many students to ignore the scientific management of physical health. At this stage, people need a scientific physical health service system to help students understand their own health data, propose targeted exercise methods and health knowledge, and actively encourage and guide students to participate in physical exercise. The purpose of this article is to (...) cultivate students’ good self-exercise awareness and improve their physical fitness and health. To this end, this article has designed a smart health service system for young people. This article introduces the various service functions in the health management service system and explains in detail the entry, induction, and analysis of student physical health data in the system. The essence of the health intelligent service system is to provide students with targeted healthy exercise strategies through data analysis. This paper studies the health intervention plan of the health intelligent service system. From the experimental data, the improved particle swarm algorithm in this paper increases the effectiveness of the system in adolescent health data mining from 80.5% to 92.19%, which undoubtedly optimizes the system. It helps a lot. (shrink)

The world of wage labour seems to have become a soulless machine, an engine of social and environmental destruction. Employees seem to be nothing but 'cogs' in this system - but is this true? Located at the intersection of political theory, moral philosophy, and business ethics, this book questions the picture of the world of work as a 'system'. Hierarchical organizations, both in the public and in the private sphere, have specific features of their own. This does not (...) mean, however, that they cannot leave room for moral responsibility, and maybe even human flourishing. Drawing on detailed empirical case studies, Lisa Herzog analyses the nature of organizations from a normative perspective: their rule-bound character, the ways in which they deal with divided knowledge, and organizational cultures and their relation to morality. The volume examines how individual agency and organizational structures would have to mesh to avoid common moral pitfalls and develops the notion of 'transformational agency', which refers to a critical, creative way of engaging with one's organizational role while remaining committed to basic moral norms. The volume goes on to explore the political and institutional changes that would be required to re-embed organizations into a just society. Whether we submit to 'the system' or try to reclaim it, Herzog argues, is a question of eminent political importance in our globalized world. (shrink)

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the work constitutes (...) essential reading for anyone seeking a full understanding of Mill's thought. Continuing the discussion of induction, Volume 2 concludes with Book VI, 'On the Logic of the Moral Sciences', in which Mill applies empirical reasoning to human behaviour. A crucial early formulation of his thinking regarding free will and necessity, this book establishes the centrality of 'the social science' to Mill's philosophy. (shrink)