The famous Allen's interval relations constraint propagation algorithm was intended for linear time. Its 13 primitive relations define all the possible mutual locations of two intervals on the time-axis. In this paper an application of the algorithm for non-linear time is suggested. First, a new primitive relation is added. It is called excludes since an occurrence of one event in a certain course of events excludes an occurrence of the other event in this course. Next, new composition rules (...) for relations between intervals are presented: some of the old rules are extended by the relation excludes, and entirely new ones are formulated for composing the relation excludes with the other relations. Four different composition tables are considered. The choice of a composition table depends on whether time is branching or not, and whether intervals can contain non-collinear subintervals or not. (shrink)

We prove an exponential lower bound on the size of proofs in the proof system operating with ordered binary decision diagrams introduced by Atserias, Kolaitis and Vardi [2]. In fact, the lower bound applies to semantic derivations operating with sets defined by OBDDs. We do not assume any particular format of proofs or ordering of variables, the hard formulas are in CNF. We utilize (somewhat indirectly) feasible interpolation. We define a proof system combining resolution and the OBDD proof system.

Our aim in this article is to attempt to discuss propagating organization of process, a poorly articulated union of matter, energy, work, constraints and that vexed concept, “information”, which unite in far from equilibrium living physical systems. Our hope is to stimulate discussions by philosophers of biology and biologists to further clarify the concepts we discuss here. We place our discussion in the broad context of a “general biology”, properties that might well be found in life anywhere in the cosmos, (...) freed from the specific examples of terrestrial life after 3.8 billion years of evolution. By placing the discussion in this wider, if still hypothetical, context, we also try to place in context some of the extant discussion of information as intimately related to DNA, RNA and protein transcription and translation processes. While characteristic of current terrestrial life, there are no compelling grounds to suppose the same mechanisms would be involved in any life form able to evolve by heritable variation and natural selection. In turn, this allows us to discuss at least briefly, the focus of much of the philosophy of biology on population genetics, which, of course, assumes DNA, RNA, proteins, and other features of terrestrial life. Presumably, evolution by natural selection—and perhaps self-organization—could occur on many worlds via different causal mechanisms. Here we seek a non-reductionist explanation for the synthesis, accumulation, and propagation of information, work, and constraint, which we hope will provide some insight into both the biotic and abiotic universe, in terms of both molecular self reproduction and the basic work energy cycle where work is the constrained release of energy into a few degrees of freedom. The typical requirement for work itself is to construct those very constraints on the release of energy that then constitute further work. Information creation, we argue, arises in two ways: first information as natural selection assembling the very constraints on the release of energy that then constitutes work and the propagation of organization. Second, information in a more extended sense is “semiotic”, that is about the world or internal state of the organism and requires appropriate response. The idea is to combine ideas from biology, physics, and computer science, to formulate explanatory hypotheses on how information can be captured and rendered in the expected physical manifestation, which can then participate in the propagation of the organization of process in the expected biological work cycles to create the diversity in our observable biosphere. Our conclusions, to date, of this enquiry suggest a foundation which views information as the construction of constraints, which, in their physical manifestation, partially underlie the processes of evolution to dynamically determine the fitness of organisms within the context of a biotic universe. (shrink)

All accounts of causality that presuppose the propagation or transfer or some physical stuff to be an essential part of the causal relation rely for the force of their causal claims on a principle of conservation for that stuff. General Relativity does not permit the rigorous formulation of appropriate conservation principles. Consequently, in so far as General Relativity is considered and fundamental physical theory, such accounts of causality cannot be considered fundamental. The continued use of such accounts of causality (...) ought not be proscribed, but justification is due from those who would use them. (shrink)

In a seminal 1977 article, Rumelhart argued that perception required the simultaneous use of multiple sources of information, allowing perceivers to optimally interpret sensory information at many levels of representation in real time as information arrives. Building on Rumelhart's arguments, we present the Interactive Activation hypothesis—the idea that the mechanism used in perception and comprehension to achieve these feats exploits an interactive activation process implemented through the bidirectional propagation of activation among simple processing units. We then examine the interactive (...) activation model of letter and word perception and the TRACE model of speech perception, as early attempts to explore this hypothesis, and review the experimental evidence relevant to their assumptions and predictions. We consider how well these models address the computational challenge posed by the problem of perception, and we consider how consistent they are with evidence from behavioral experiments. We examine empirical and theoretical controversies surrounding the idea of interactive processing, including a controversy that swirls around the relationship between interactive computation and optimal Bayesian inference. Some of the implementation details of early versions of interactive activation models caused deviation from optimality and from aspects of human performance data. More recent versions of these models, however, overcome these deficiencies. Among these is a model called the multinomial interactive activation model, which explicitly links interactive activation and Bayesian computations. We also review evidence from neurophysiological and neuroimaging studies supporting the view that interactive processing is a characteristic of the perceptual processing machinery in the brain. In sum, we argue that a computational analysis, as well as behavioral and neuroscience evidence, all support the Interactive Activation hypothesis. The evidence suggests that contemporary versions of models based on the idea of interactive activation continue to provide a basis for efforts to achieve a fuller understanding of the process of perception. (shrink)

This paper examines tracer techniques in neuroscience, which are used to identify neural connections in the brain and nervous system. These connections capture a type of “structural connectivity” that is expected to inform our understanding of the functional nature of these tissues. This is due to the fact that neural connectivity constrains the flow of signal propagation, which is a type of causal process in neurons. This work explores how tracers are used to identify causal information, what standards they (...) are expected to meet, the forms of causal information they provide, and how an analysis of these techniques contributes to the philosophical literature, in particular, the literature on mark transmission and mechanistic accounts of causation. (shrink)

The emphasis on models hasn’t completely eliminated laws from scientific discourse and philosophical discussion. Instead, I want to argue that much of physics lies beyond the strict domain of laws. I shall argue that in important cases the physics, or physical understanding, does not lie either in laws or in their properties, such as universality, consistency and symmetry. I shall argue that the domain of application commonly attributed to laws is too narrow. That is, laws can still play an important, (...) though peculiar, role outside their strict domain of validity. I shall argue also that, by way of a trade-off, while the actual domain of application of laws should be seen as much broader. At the same time, what I call ‘anomic’ representational elements reveal themselves as central to the descriptive and explanatory power of theories and model: boundary conditions, state descriptions, structures, constraints, limits and mechanisms. I conclude with a brief consideration of how my discussion has consequences for discussion of understanding, unification, approximation and dispositional properties. I focus on examples from physics, macroscopic and microscopic, phenomenological and fundametal: shock waves, propagation of cracks, symmetry breaking, and others. This law-eccentric kind of knowledge is central to both modeling the world and intervening in it. (shrink)

This work presents a computational interpretation of the construction process for cyclic linear logic and non-commutative logic sequential proofs. We assume a proof construction paradigm, based on a normalisation procedure known as focussing, which efficiently manages the non-determinism of the construction. Similarly to the commutative case, a new formulation of focussing for NL is used to introduce a general constraint-based technique in order to dealwith partial information during proof construction. In particular, the procedure develops through construction steps propagating constraints (...) in intermediate objects called abstract proofs. (shrink)

This volume presents a collection of refereed papers reflecting the state of the art in the area of over-constrained systems. Besides 11 revised full papers, selected from the 24 submissions to the OCS workshop held in conjunction with the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Marseilles in September 1995, the book includes three comprehensive background papers of central importance for the workshop papers and the whole field. Also included is an introduction (...) by one of the volume editors together with a bibliography listing 243 entries. All in all this is a very useful reference book relevant for all researchers and practitioners interested in hierarchical, partial, and over-constrained systems. (shrink)

We introduce the notion of “δ-complete decision procedures” for solving SMT problems over the real numbers, with the aim of handling a wide range of nonlinear functions including transcendental functions and solutions of Lipschitz-continuous ODEs. Given an SMT problemϕ and a positive rational number δ, a δ-complete decision procedure determines either that ϕ is unsatisfiable, or that the “δ-weakening” of ϕ is satisfiable. Here, the δ-weakening of ϕ is a variant of ϕ that allows δ-bounded numerical perturbations on ϕ. We (...) establish the existence and complexity of δ-complete decision procedures for bounded SMT over reals with functions mentioned above. We propose to use δ-completeness as an ideal requirement for numerically-driven decision procedures. As a concrete example, we formally analyze the DPLL〈ICP〉 framework, which integrates Interval Constraint Propagation in DPLL, and establish necessary and sufficient conditions for its δ-completeness. We discuss practical applications of δ-complete decision procedures for correctness-critical applications including formal verification and theorem proving. (shrink)

The paper explores the fundamental physical principles of quantum mechanics (in fact, quantum field theory) that limit the bit rate for long distances and examines the assumption used in this exploration that losses can be ignored. Propagation of photons in optical fibers is modelled using methods of quantum electrodynamics. We define the “photon duration” as the standard deviation of the photon arrival time; we find its asymptotics for long distances and then obtain the main result of the paper: the (...) linear dependence of photon duration on the distance when losses can be ignored. This effect puts the limit to joint increasing of the photon flux and the distance from the source and it has consequences for quantum communication. Once quantum communication develops into a real technology (including essential decrease of losses in optical fibres), it would be appealing to engineers to increase both the photon flux and the distance. And here our “photon flux/distance effect” has to be taken into account. This effect also may set an additional constraint to the performance of a loophole free test of Bell’s type—to close jointly the detection and locality loopholes. (shrink)

The analogy between living beings and computers was introduced with circumspection by Schrödinger and has been widely propagated since, rarely with a precise technical meaning. Critics of this perspective are numerous. We emphasize that this perspective is mobilized to justify what may be called a regressive reductionism by comparison with physics or the Cartesian method. Other views on the living are possible, and we focus on an epistemological and theoretical framework where historicity is central, and the regularities susceptible to mathematization (...) are constraints whose existence is fundamentally precarious and historically contingent. We then propose to reinterpret the computer, no longer as a Turing machine but as constituted by constraints. This move allows us to understand that computation in the sense of Church-Turing is only a part of the theoretical determination of what actually happens in a computer when considering them in their larger theoretical context where historicity is also central. (shrink)

A comprehensive introduction to optimization with a focus on practical algorithms for the design of engineering systems. This book offers a comprehensive introduction to optimization with a focus on practical algorithms. The book approaches optimization from an engineering perspective, where the objective is to design a system that optimizes a set of metrics subject to constraints. Readers will learn about computational approaches for a range of challenges, including searching high-dimensional spaces, handling problems where there are multiple competing objectives, and accommodating (...) uncertainty in the metrics. Figures, examples, and exercises convey the intuition behind the mathematical approaches. The text provides concrete implementations in the Julia programming language. Topics covered include derivatives and their generalization to multiple dimensions; local descent and first- and second-order methods that inform local descent; stochastic methods, which introduce randomness into the optimization process; linear constrained optimization, when both the objective function and the constraints are linear; surrogate models, probabilistic surrogate models, and using probabilistic surrogate models to guide optimization; optimization under uncertainty; uncertainty propagation; expression optimization; and multidisciplinary design optimization. Appendixes offer an introduction to the Julia language, test functions for evaluating algorithm performance, and mathematical concepts used in the derivation and analysis of the optimization methods discussed in the text. The book can be used by advanced undergraduates and graduate students in mathematics, statistics, computer science, any engineering field, (including electrical engineering and aerospace engineering), and operations research, and as a reference for professionals. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a large (...) body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

Ultimately we will only understand biological agency when we have developed a theory of the organization of biological processes, and science is still a long way from attaining that goal. It may be possible nonetheless to develop a list of necessary conditions for the emergence of minimal biological agency. The authors offer a model of molecular autonomous agents which meets the five minimal physical conditions that are necessary (and, we believe, conjointly sufficient) for applying agential language in biology: autocatalytic reproduction; (...) work cycles; boundaries for reproducing individuals; self-propagating work and constraint construction; and choice and action that have evolved to respond to food or poison. When combined with the arguments from preadaptation and multiple realizability, the existence of these agents is sufficient to establish ontological emergence as against what one might call Weinbergian reductionism. Minimal biological agents are emphatically not conscious agents, and accepting their existence does not commit one to any robust theory of human agency. Nor is there anything mystical, dualistic, or non-empirical about the emergence of agency in the biosphere. Hence the emergence of molecular autonomous agents, and indeed ontological emergence in general, is not a negation of or limitation on careful biological study but simply one of its implications. (shrink)

Ultimately we will only understand biological agency when we have developed a theory of the organization of biological processes, and science is still a long way from attaining that goal. It may be possible nonetheless to develop a list of necessary conditions for the emergence of minimal biological agency. The authors offer a model of molecular autonomous agents which meets the five minimal physical conditions that are necessary (and, we believe, conjointly sufficient) for applying agential language in biology: autocatalytic reproduction; (...) work cycles; boundaries for reproducing individuals; self-propagating work and constraint construction; and choice and action that have evolved to respond to food or poison. When combined with the arguments from preadaptation and multiple realizability, the existence of these agents is sufficient to establish ontological emergence as against what one might call Weinbergian reductionism. Minimal biological agents are emphatically not conscious agents, and accepting their existence does not commit one to any robust theory of human agency. Nor is there anything mystical, dualistic, or non-empirical about the emergence of agency in the biosphere. Hence the emergence of molecular autonomous agents, and indeed ontological emergence in general, is not a negation of or limitation on careful biological study but simply one of its implications. (shrink)

Previous neural network models of concept learning were mainly implemented with supervised learning schemes. However, studies of human conceptual memory have shown that concepts may be learned without a teacher who provides the category name to associate with exemplars. A modular neural network architecture that realizes concept acquisition through two functionally distinct operations, categorizing and naming, is proposed as an alternative. An unsupervised algorithm realizes the categorizing module by constructing representations of categories compatible with prototype theory. The naming module associates (...) category names to the output of the categorizing module in a supervised mode. In such a modular architecture, the interface between the modules can be conceived of as an “information relay” that encodes, constrains, and propagates important information. Five experiments were conducted to analyze the relationships among internal conceptual codes and simple conceptual and lexical development. The first two experiments show a prototype effect and illustrate some basic characteristics of the system. The third experiment presents a bottom‐up model of the narrowing down of children's early lexical categories that honors mutual exclusivity. The fourth experiment introduces top‐down constraints on conceptual coding. The fifth experiment exhibits how hierarchical relationships between concepts are learned by the architecture, and also demonstrates how a spectrum of conceptual expertise may gradually emerge as a consequence of experiencing more with certain categories than with others. (shrink)

Previous neural network models of concept learning were mainly implemented with supervised learning schemes. However, studies of human conceptual memory have shown that concepts may be learned without a teacher who provides the category name to associate with exemplars. A modular neural network architecture that realizes concept acquisition through two functionally distinct operations, categorizing and naming, is proposed as an alternative. An unsupervised algorithm realizes the categorizing module by constructing representations of categories compatible with prototype theory. The naming module associates (...) category names to the output of the categorizing module in a supervised mode. In such a modular architecture, the interface between the modules can be conceived of as an “information relay” that encodes, constrains, and propagates important information. Five experiments were conducted to analyze the relationships among internal conceptual codes and simple conceptual and lexical development. The first two experiments show a prototype effect and illustrate some basic characteristics of the system. The third experiment presents a bottom‐up model of the narrowing down of children's early lexical categories that honors mutual exclusivity. The fourth experiment introduces top‐down constraints on conceptual coding. The fifth experiment exhibits how hierarchical relationships between concepts are learned by the architecture, and also demonstrates how a spectrum of conceptual expertise may gradually emerge as a consequence of experiencing more with certain categories than with others. (shrink)

This paper surveys the issue of relativistic causality within the framework of algebraic quantum field theory . In doing so, we distinguish various notions of causality formulated in the literature and study their relationships, and thereby we offer what we hope to be a useful taxonomy. We propose that the most direct expression of relativistic causality in AQFT is captured not by the spectrum condition but rather by the axiom of local primitive causality, in that it entails a form of (...) local determinism for quantum fields which generalizes the constraint of no superluminal propagation of classical field theories to relativistic quantum field theory. We discuss the status of the axiom of micro-causality by locating its place within a large family of separability/independence/locality conditions developed for AQFT and also by relating it to so-called no-signalling theorems. And we also provide a critical survey of attempts to understand the implications for relativistic causality of the distant correlations endemic to the states in models of AQFT satisfying the standard axioms, and we provide an assessment of attempts to employ Reichenbach's common cause principle in AQFT to defuse worries that these distant correlations implicate direct causal connections between relatively spacelike events. (shrink)

How humans and technology evolve together in a creative partnership. In this book, Edward Ashford Lee makes a bold claim: that the creators of digital technology have an unsurpassed medium for creativity. Technology has advanced to the point where progress seems limited not by physical constraints but the human imagination. Writing for both literate technologists and numerate humanists, Lee makes a case for engineering—creating technology—as a deeply intellectual and fundamentally creative process. Explaining why digital technology has been so transformative and (...) so liberating, Lee argues that the real power of technology stems from its partnership with humans. Lee explores the ways that engineers use models and abstraction to build inventive artificial worlds and to give us things that we never dreamed of—for example, the ability to carry in our pockets everything humans have ever published. But he also attempts to counter the runaway enthusiasm of some technology boosters who claim everything in the physical world is a computation—that even such complex phenomena as human cognition are software operating on digital data. Lee argues that the evidence for this is weak, and the likelihood that nature has limited itself to processes that conform to today's notion of digital computation is remote. Lee goes on to argue that artificial intelligence's goal of reproducing human cognitive functions in computers vastly underestimates the potential of computers. In his view, technology is coevolving with humans. It augments our cognitive and physical capabilities while we nurture, develop, and propagate the technology itself. Complementarity is more likely than competition. (shrink)

In the context of solving large distributed constraint optimization problems, belief-propagation and incomplete inference algorithms are candidates of choice. However, in general, when the problem structure is very cyclic, these solution methods suffer from bad performance, due to non-convergence and many exchanged messages. As to improve performances of the MaxSum inference algorithm when solving cyclic constraint optimization problems, we propose here to take inspiration from the belief-propagation-guided decimation used to solve sparse random graphs. We propose the (...) novel DeciMaxSum method, which is parameterized in terms of policies to decide when to trigger decimation, which variables to decimate and which values to assign to decimated variables. Based on an empirical evaluation on a classical constraint optimization benchmarks, some of these combinations of policies, using periodic decimation, cycle detection-based decimation, parallel and non parallel decimation, random or deterministic variable selection and deterministic or random sampling for value selection, outperform state-of-the-art competitors in many settings. (shrink)

Words come into existence through a number of distinct processes including naming, semantic shifts, morphological productivity, and compounding. In accounting for the instantiation and individuation of word-types, two diachronic proposals termed Originalism and History are considered, which view word-types as emerging through a tokening act after which they are subsequently distinguished from others on the basis of having a unique event-like origin. In the following paper I elucidate two central tenets of Originalism and History, which I name essentialism and (...) class='Hi'>propagation. Next, I demonstrate that each suffer considerable challenges from evidence pertaining to the systematic generativity of words grounded in universal features of human lexical cognition. A third diachronic theory named Originalism-Plus-Transfer (OPT) is then outlined. I argue that this more nuanced version of Originalism, in its present form, still lacks a thorough explanation of pivotal features of word generativity, word instantiation, and word individuation. A number of ‘synchronic’ constraints on word-hood—phonological, phonotactic, morpho-syntactic, and semantic—are put forward to ground the possible space for word generation. I conclude by exploring the viability of supplementing OPT with synchronic constraints and propose that a union between the two has the potential to provide OPT with greater empirical strength and predictive power. The upshot of this analysis is that there exists great programmatic value for diachronic theories in drawing on synchronic data and that the latter must feature as central to the philosophy of words if such work is to anticipate achieving explanatory adequacy. (shrink)

Where does the particular form or configuration of a pattern come from, and how is it propagated from pattern to pattern? Templets and the Explanation of Complex Patterns provides a natural language for analysing such questions. Using it, the organisational forces that underlie the fabrication of any pattern can be divided into two classes. First, there are the 'universal laws' of pattern assembly, the configurational rules and constraints inherent within the fabric of the pattern elements themselves. Second, there are the (...) 'templets' - external, situational constraints imposed on the pattern elements. From the perspective of templeting, simple patterns can be directly contrasted with complex patterns: the former are completely determined by their universal laws, whereas the latter also require extensive templets. Natural patterns range along the entire spectrum from simple to complex, and the most complex of these include both random patterns and many biological patterns. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:René Girard and the Rhetoric of ConsumptionKathleen M. Vandenberg (bio)The work of René Girard, so productively applied in so many different fields—in theology, in anthropology, in literature, to name a few—has yet to be recognized or applied in the field of rhetorical studies. Yet there exists, I argue, a need precisely for Girard's theories as the over 2000 year-old discipline enters the twenty-first century.Girard's theory of mimetic or triangular (...) desire can be used as a model for understanding persuasion, because it is, among other things, an "expression of a basic set of ideas on... the dynamics of the self and human relations" (1996, vii). Girard's concern is with human relationships and, in a sense, with how individuals in these relationships act rhetorically upon themselves and others. Girard's mimetic theory hinges on the dynamics of imitation and explains how individuals relate through both the conscious and the unconscious sharing of behaviors, attitudes, and beliefs in certain situations. These situations are clearly rhetorical, as can be seen by examining the definition of the "rhetorical situation" set forth by Lloyd Bitzer, in his seminal 1968 article, "The Rhetorical Situation." Bitzer proposes three conditions that must be met for a rhetorical situation to exist: an exigency or imperfection marked by urgency; a rhetorical audience or an audience that can act; and constraints, or elements that have the power to constrain the decision and action needed to modify the exigency (7). In mass-mediated modern rhetoric, I argue that the exigencies exist externally (in the culture) and internally, the audience is both others and self, and the constraints are the alienation, mystification, and desire generated by hierarchies. Twentieth-century rhetorical theorist Kenneth Burke advises that "we must often think of rhetoric not in terms of some one particular address, but as a general body of identifications that owe their convincingness much more to trivial repetition and dull daily reënforcement than to exceptional rhetorical skill" (1950, 26). Such is the case with this particular form of rhetoric, which is generated and propagated by mimetic contagion and thus is best more narrowly defined as sociological propaganda, a type of propaganda [End Page 259] theorized by Jacques Ellul in Propaganda: The Formation of Men's Attitudes (1975).Ellul, the first to distinguish between political propaganda and sociological propaganda, proposes that the latter encompasses social behaviors "much more vast and less certain" than those of political propaganda (1975, 62). These social behaviors permit the penetration of an ideology in a society, a penetration that is achieved through the active participation of the masses. Sociological propaganda, as Ellul describes it, works from within; it is dependent on the individual's willingness and ability to persuade him- or herself and others. Sociological propaganda, Ellul posits, is created when members of a group behave in such a way as to influence the attitudes, actions, and lifestyles of others; often this behavior is unconscious, unintentional, and spontaneous.In these ways, the rhetoric of sociological propaganda operates in a markedly different fashion than more "traditional" rhetoric, which is largely understood to operate as a unilateral transaction in which an individual orator actively, openly, and orally works to move a relatively passive but physically present audience to act in accordance with the orator's own beliefs through a formally delivered speech. In its reliance on the interaction and cooperation of the many rather than the centrality and dominance of one speaker, in its acceptance of unintentional, spontaneous, and unconscious persuasion, in its dependence on the modern mass media, and in the limitless and nebulous nature of its boundaries in time and space, sociological propaganda constitutes a type of rhetoric heretofore insufficiently addressed by rhetorical studies. Although existing perspectives in rhetorical criticism have certainly addressed some aspects of this rhetoric, sociological propaganda is not easily explained with the terminology of traditional rhetorical criticism or easily approached from traditional rhetorical perspectives.This article asserts that the best way to approach and understand such propaganda is through the perspective of René Girard. Approaching this propaganda from a Girardian perspective permits us to look beyond the symbols of sociological propaganda and analyze our own responsibility in rhetorical... (shrink)

A coherence-based probability semantics for categorical syllogisms of Figure I, which have transitive structures, has been proposed recently (Gilio, Pfeifer, & Sanfilippo [15]). We extend this work by studying Figure II under coherence. Camestres is an example of a Figure II syllogism: from Every P is M and No S is M infer No S is P. We interpret these sentences by suitable conditional probability assessments. Since the probabilistic inference of ~????|???? from the premise set {????|????, ~????|????} is not informative, (...) we add ????(????|(????∨????))>0 as a probabilistic constraint (i.e., an “existential import assumption”) to obtain probabilistic informativeness. We show how to propagate the assigned (precise or interval-valued) probabilities to the sequence of conditional events (????|????,~????|????,????|(????∨????)) to the conclusion ~????|???? . Thereby, we give a probabilistic meaning to the other syllogisms of Figure II. Moreover, our semantics also allows for generalizing the traditional syllogisms to new ones involving generalized quantifiers (like Most S are P) and syllogisms in terms of defaults and negated defaults. (shrink)

This research concentrates on the design and analysis of an algorithm referred to as Virtual Network Configuration (VNC) which uses predicted future states of a system for faster network configuration and management. VNC is applied to the configuration of a wireless mobile ATM network. VNC is built on techniques from parallel discrete event simulation merged with constraints from real-time systems and applied to mobile ATM configuration and handoff. Configuration in a mobile network is a dynamic and continuous process. Factors such (...) as load, distance, capacity and topology are all constantly changing in a mobile environment. The VNC algorithm anticipates configuration changes and speeds the reconfiguration process by pre-computing and caching results. VNC propagates local prediction results throughout the VNC enhanced system. The Global Positioning System is an enabling technology for the use of VNC in mobile networks because it provides location information and accurate time for each node. This research has resulted in well defined structures for the encapsulation of physical processes within Logical Processes and a generic library for enhancing a system with VNC. Enhancing an existing system with VNC is straight forward assuming the existing physical processes do not have side effects. The benefit of prediction is gained at the cost of additional traffic and processing. This research includes an analysis of VNC and suggestions for optimization of the VNC algorithm and its parameters. (shrink)

The viability of Schelling’s Philosophy of Identity depends on the maintenance and cultivation of a reciprocal relationship between internal and objective reality. To stay on course Schelling assiduously checked the conceptual answers he derived from subjective thought against the objective measurements of contemporary physics. As the physicists of his day came to question the materiality of light, Schelling conceptualized it as the outer limit of what the intelligence is capable of grasping intuitively. At the same time he criticized Hegel for (...) ignoring knowledge altogether and for propagating a philosophy of ignorance. More than a century later Jacques Derrida recognized this characteristic in Hegel, but drew a contrary conclusion. Where Schelling counseled that rational philosophy should alter course and set sail toward a higher empiricism, Derrida insisted that in pushing rationality beyond its limits Hegel had sprung a trap of incomprehension andindeterminacy from which no one would or could henceforward escape.This essay evaluates the competing claims of Schelling and Derrida in light of the revolutionary advances of twentieth-century physics. Is this work indeed bringing forth a new world the mind qua mind cannot conceive or measure and liberating man from a prior constraint, or are the emerging physical directives of four dimensional space-time and a flat universe themselves possible only within the cloture de la representation where Derrida presumes to detain human kind indefinitely? (shrink)

Evidence is presented that the singularities induced in causal Lorentzian spacetimes by changes in 3-space topology give rise to infinite particle and energy production under reasonable laws of quantum field propagation. In the case of the gravitational field, if 3-space is compact the total energy must vanish. A topological transition therefore induces a violent collapse that effectively aborts the transition, since the collapse mode is the only mode carrying the negative energy needed to compensate the associated infinite energy production. (...) The existence of the Hamiltonian constraint of general relativity suggests that topological stability is a local property of the quantum theory that is maintained even when 3-space is noncompact. (shrink)

Nunez's description of the brain as a medium capable of wave propagation has provided some fundamental insights into its dynamics. This approach soon reaches the descriptive limits of the brain as a physical system, however. We point out some biological constraints which differentiate the brain from physical systems and we elaborate on its consequences for future research.

ZUSAMMENFASSUNGDer Umstand, dass mit Hypothesen und Annahmen allein kein Erkenntnisgewinn zu erzielen ist, gilt als Gemeinplatz. Dennoch gründet Alvin Plantinga sowohl die Parität alltäglicher und wissenschaftlicher gegenüber religiösen Überzeugungen als auch seine gesamte religiöse Epistemologie auf ein Konditional, so dass es an der Zeit zu sein scheint, die Bedeutung von Konditionalen in Argumentationen erneut herauszustellen.Plantinga propagiert eine Parität religiöser und säkularer Überzeugungen auf Grundlage seiner Warrant-Theorie, nach der die Erkenntnisvermögen für die Entstehung wahrer Überzeugungen angemessen operieren müssen. Da die Erkenntnisvermögen (...) das funktionale Zentrum sowohl für die Entstehung als auch für die Rechtfertigung religiöser und alltäglicher Überzeugungen darstellen, soll die Parität mit Bezug auf den argumentativen Status der Erkenntnisvermögen erörtert werden. Ausgehend davon, dass die Existenz der Vermögen für den religiösen Erkenntnisbereich eine konditional verfasste Hypothese darstellt, gelangt die Abhandlung durch eine argumentationstheoretische Auseinandersetzung zu dem Ergebnis, dass die konstatierte Parität nicht aufrechterhalten werden kann und damit zusammenhängend der religionsphilosophische Bereich der Warrant-Theorie hinsichtlich wirklichkeitsrelevanter Erkenntnis als unbrauchbar zu beurteilen ist. SUMMARYWith assumptions and hypotheses alone there is almost no knowledge to gain. However, Alvin Plantinga establishes the parity between religious and common propositions as well as his whole religious epistemology on a conditional. Therefore, it seems to be about time to reassess the significance of conditionals and reconsider their constraints in argumentation.Based on his warrant theory, Plantinga propagates parity between common scientific and religious propositions: By virtue of properly functioning cognitive faculties true propositions will be produced. Highlighting the fact, that cognitive faculties constitute the functional centre for the production and justification of both religious and common propositions, this paper will establish to what extent the parity can be maintained if the argumentation theory is applied to the status of the cognitive faculties in Plantinga's warrant theory. The assertion of the existence of cognitive faculties for the production of religious propositions is founded by a conditional expression and hypothesis. By way of a perspective from argumentation theory about conditionals, the paper concludes that on one hand in Plantinga's general warrant theory the parity between common and religious propositions cannot be sustained and on the other hand that the part of the warrant theory which deals with philosophy of religion can be considered as unusable for real knowledge. (shrink)

We define an order independent version of default unification on typed feature structures. The operation is one where default information in a feature structure typed with a more specific type, will override default information in a feature structure typed with a more general type, where specificity is defined by the subtyping relation in the type hierarchy. The operation is also able to handle feature structures where reentrancies are default. We provide a formal semantics, prove order independence and demonstrate the utility (...) of this version of default unification in several linguistic applications. First, we show how it can be used to define multiple orthogonal default inheritance in the lexicon in a fully declarative fashion. Secondly, we show how default lexical specifications (introduced via default lexical inheritance) can be made to usefully persist beyond the lexicon and interact with syntagmatic rules. Finally, we outline how persistent default unification might underpin default feature propagation principles and a more restrictive and constraint-based approach to lexical rules. (shrink)