الصفحة 1
الصفحة 1
Nuel Belnap on Indeterminism and Free Action
Seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action.
Membrane Computing ; Vol. 3850 ; 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics in mathematics and computer science, to application issues, especially in biology. More specifically, these papers present research on topics such as: computational power and complexity classes, new types of P systems, relationships to Petri nets, quantum computing, and brane calculi, determinism vs. nondeterminism, hierarchies, the size of small families, algebraic approaches, and designing polynomial solutions to NP-complete problems through the use of membrane systems. Like the previous workshops,
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Implementation and application of automata ; 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical Universityin Prague,Czech Republic on July 16–18, 2007. These proceedings contain the papers that were presented at CIAA 2007, as well as the abstracts of the poster papers that were displayed during the conference.
Humanistic foundation of criminal law
Uses humanity-rationality and experience and the freedom of human will as a theoretical perspective to examine the basic framework of criminal law theories constructed by the criminal classic school and the criminal empirical school. The author puts forward the principle of the duality of rationality and experience of humanity and affirms the determinism of human behavior in the ontological sense and the freedom of will in the axiological sense. From this point of view, this book examines the humanistic foundations of crime and punishment, legislation and justice.
Functional and logic programming ; 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), held in Ise, Japan, April 14-16, 2008 at the Ise City Plaza. FLOPS is a forum for research on all issues concerning functional progr- ming and logic programming. In particular it aims to stimulate the cro- fertilization as well as integration of the two paradigms. The Program Committee meeting was conducted electro- cally, for a period of two weeks in December 2007. After careful and thorough discussion, the ProgramCommittee selected20 papers(33%)for presentationat theconference.
Constructal Theory of Social Dynamics
Constructal Theory of Social Dynamics brings together for the first time social scientists and engineers to develop a predictive theory of social organization, as a conglomerate of mating flows that morph in time to flow more easily (people, goods, money, energy, information). These flows have objectives (e.g., minimization of effort, travel time, cost), and the objectives clash with global constraints (space, time, resources). The result is organization (flow architecture) derived from one principle of configuration evolution in time (the constructal law): "for a flow system to persist in time, its configuration must morph such that it provides easier access to its streams."
Marxist Philosophy in China : From Qu Qiubai to Mao Zedong, 1923-1945
The book sets the philosophical writings of philosophers in the context of the development of Marxist philosophy internationally, and examines particularly the influence on these philosophers of Soviet Marxist philosophy. It argues that these Chinese Marxist philosophers’ interpretations of Marxist philosophy were quite orthodox when judged by the standards of contemporary Soviet Marxism. The book explores core themes in Marxist philosophy in China, including the dilemma of determinism, and investigates the way in which these Chinese Marxist philosophers sought a formula for the ‘Sinification’ of Marxist philosophy that both retained the universal dimensions of Marxism and allowed its application to the Chinese context. The book concludes with analysis of the role of the Yanan New Philosophy Association in developing from Soviet Marxist philosophy the philosophical dimension of Mao Zedong Thought, the official ideology of the Chinese Communist Party after 1945.
Brunet Saunier Architecture : Monospace and Simplexity
Discusses and analyzes this concept in detail, presenting trueto- scale floor plans, cross-sections, architectural views, and other information. The Monospace concept - which is based on a process of creative reduction down to essentials, i.e. "simplexity" - is adaptive rather than normative or prescriptive, and based on probabilities rather than determinism. It respects energy, even when it sometimes uses it. It takes the individual's experience into account, and starts from the position of the subject. It also permits changing perspectives. This design concept should attract attention far beyond the borders of France.
Basic principles and applications of probability theory
This introductory chapter discusses such notions as determinism, chaos and randomness, p- dictibility and unpredictibility, some initial approaches to formalizing r- domness and it surveys certain problems that can be solved by probability theory. This will perhaps give one an idea to what extent the theory can - swer questions arising in speci?c random occurrences and the character of the answers provided by the theory. 1. 1 The Nature of Randomness The phrase “by chance” has no single meaning in ordinary language. For instance, it may mean unpremeditated, nonobligatory, unexpected, and so on. Its opposite sense is simpler: “not by chance” signi?es obliged to or bound to (happen). In philosophy, necessity counteracts randomness. Necessity signi?es conforming to law – it can be expressed by an exact law. The basic laws of mechanics, physics and astronomy can be formulated in terms of precise quantitativerelationswhichmustholdwithironcladnecessity.
Applications of Membrane Computing
Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages – among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
