In this note we study some local properties ofω-stable groups of finite Morley rank.

When a quantum system is macroscopic and becomes entangled with a microscopic one, entanglement is not immediately total, but gradual and local. A study of this locality is the starting point of the present work and shows unexpected and detailed properties in the generation and propagation of entanglement between a measuring apparatus and a microscopic measured system. Of special importance is the propagation of entanglement in nonlinear waves with a finite velocity. When applied to the entanglement between a (...) macroscopic system and its environment, this study yields also new results about the resulting disordered state. Finally, a mechanism of wave function collapse is proposed as an effect of perturbation in the growth of local entanglement between a measuring system and the measured one by waves of entanglement with the environment. (shrink)

Hans van Ditmarsch, Wiebe van der Hoek and Barteld Kooi (2011). Reasoning about local properties in modal logic. In K. Tumer and P. Yolum and L. Sonenberg and P. Stone (editors). Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), pp. 711-718.

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of dimension of a set definable in the structures including the addition property, which is the dimension equality for definable maps whose fibers are equi-dimensional. A decomposition theorem into quasi-special submanifolds is also demonstrated.

This paper aims to bring a novel approach to the discussion of unfair advantages in sport by looking for a local criterion of fairness instead of a universal criterion. A local criterion of fairness would not solve the general dispute over what counts as an unfair advantage, but it would be beneficial in evaluating specific cases and could guide further discussion about them. We seek a local criterion of fairness by comparing the specific property advantages of Caster (...) Semenya and Eero Mäntyranta. South African Semenya is a middle‐distance runner whose right to compete in the female category has been challenged owing to her assumed difference of sex development and related high level of testosterone. Finnish Mäntyranta was a cross‐country skier with an exceptionally high haematocrit level. We examine whether there is a relevant difference between their advantages that would justify treating the athletes differently. We propose that the criterion ‘not attainable by other athletes in the same category’ could stand as a local criterion of fairness under certain conditions. However, its proper application requires further discussion on how to justify categories in sport. (shrink)

. We study a local version of the order property in several frameworks, with an emphasis on frameworks where the compactness theorem fails: (1) Inside a fixed model, (2) for classes of models where the compactness theorem fails and (3) for the first order case. Appropriate localizations of the order property, the independence property, and the strict order property are introduced. We are able to generalize some of the results that were known in the case of local stability (...) for the first order theories, and for stability for nonelementary classes (existence of indiscernibles, existence of averages, stability spectrum, equivalence between order and instability). In the first order case, we also prove the local version of Shelah's Trichotomy Theorem. Finally, as an application, we give a new characterization of stable types when the ambient first order theory is simple. (shrink)

The essence of the method of physics is inseparably connected with the problem of interplay between local and global properties of the universe. In the present paper we discuss this interplay as it is present in three major departments of contemporary physics: general relativity, quantum mechanics and some attempts at quantizing gravity (especially geometrodynamics and its recent successors in the form of various pregeometry conceptions). It turns out that all big interpretative issues involved in this problem point towards (...) the necessity of changing from the standard space-time geometry to some radically new, most probably non-local, generalization. We argue that the recent noncommutative geometry offers attractive possibilities, and gives us a conceptual insight into its algebraic foundations. Noncommutative spaces are, in general, non-local, and their applications to physics, known at present, seem very promising. One would expect that beneath the Planck threshold there reigns a "noncommutative pregeometry", and only when crossing this threshold does the usual space-time geometry emerges. (shrink)

Currently the focus of a heated debate among indigenous peoples, human rights advocates, crop breeders, pharmaceutical companies, conservationists, social scientists, and lawyers, the proposal would allow impoverished people in biologically rich areas to realize an economic return from resources under their care. Monetary compensation could both validate their knowledge and provide them with an equitable reward for sharing it, thereby compensating biological stewardship and encouraging conservation.

The paper deals with pp formulas in the language of reduced special groups, and the question of when the validity of a pp formula on each finite subspace of a space of orderings implies its global validity [18]. A large new class of pp formulas is introduced for which this is always the case, assuming the space of orderings in question has finite stability index. The paper also considers pp formulas of the special type $b\in \Pi _{i=1}^{n}\,D\langle 1,a_{i}\rangle $. Formulas (...) of this type with n = 3 are the simplest sort of pp formula not covered by the result, and are also the source of the recent counterexamples in [9] and [19]. (shrink)

Since Kit Fine published his famous counter-examples to the modal account of essence, numerous modalists have proposed to avoid the counter-examples by revising the modal account. A sophisticated revision has been put forward by Fabrice Correia. Drawing on themes from Prior’s modality, Correia has introduced a nonstandard conception of metaphysical modality and has proposed to analyze essence in its terms. He has claimed that the analysis is immune to Fine’s counter-examples. In this paper, I argue that there are counter-examples supported (...) by the very intuition underlying Fine’s counter-examples, which are not accommodated by Correia’s account. If my argument is sound, then Correia has not been successful in his defense of modalism. An important corollary of my argument will be that Fine’s consequential conception of essence needs to be modified if it is to capture his own intuitive notion of essence. (shrink)

Of the three strategies available for managing common property resources (CPR)—centralized control, privatization and local management—this essay focuses on the last, which has proven quite effective in various settings throughout the Third World, with the key to success being local ability to control access to the resource. The major factors at issue in the Sundarbans situation are: historically external pressure on the forest; currently dense population in adjacent areas; a land distribution even more unequal than the norm in (...) Bangladesh; and a decentralized local government structure initiated in the mid-1980s. The first three factors have encouraged the local population to view this CRP as a frontier to be exploited,rather than as a resource to be preservedfor sustained yield. Thus to the extent that the new local government structure proves to be democratic and responsive to popular needs, it would most likely accelerate destruction of the Sundarbans, using the area as a cheap and easy way to provide some livelihood to the rural poor and landless. Accordingly, decentralization cannot be a viable strategy for preserving this unique forest resource; only a strong central control can ensure its survival into the next century. (shrink)

The sole purpose of this paper is to give an algebraic characterization, in terms of a superamalgamation property, of a local version of Craig interpolation theorem that has been introduced and studied in earlier papers. We continue ongoing research in abstract algebraic logic and use the framework developed by Andréka– Németi and Sain.

We provide existence results in a game with local spillovers where the payoff function satisfies both convexity and the strategic substitutes property. We show that there always exists a stable pairwise network in this game, and provide a condition which ensures the existence of pairwise equilibrium networks.

We propose an ideal experiment enabling the simultaneous assignment of the objective values, 0 or 1, of two incompatible properties of a system made up of two separated, non-interacting spin particles when a strict interpretation of the criterion of reality of Einstein, Podolsky and Rosen is adopted. We compare this experiment with the physical situation involving two-value observables of a system of two correlated spin-1/2 particles envisaged by Bohm; in particular, we show its inadequacy in the dual assignment at (...) issue. Finally, we discuss a number of questions of interpretation of the consistent quantum theory highlighted by our experiment. (shrink)

This monograph identifies the essential characteristics of the objects described by current quantum theory and considers their relationship to space-time. In the process, it explicates the senses in which quantum objects may be consistently considered to have parts of which they may be composed or into which they may be decomposed. The book also demonstrates the degree to which reduction is possible in quantum mechanics, showing it to be related to the objective indefiniteness of quantum properties and the strong (...) non-local correlations that can occur between the physical quantities of quantum subsystems. Careful attention is paid to the relationships among such property correlations, physical causation, probability, and symmetry in quantum theory. In this way, the text identifies and clarifies the conceptual grounds underlying the unique nature of many quantum phenomena. (shrink)

For Humean atomists, cosmic contents supervene on a spatiotemporal mosaic of modally insulated, freely recombinable local qualities. One piecemeal subspecies of Humean atomism promises more than global supervenience—somehow or other—on a separable base; it constrains how exactly elemental inputs yield everything else. Roughly, the distribution of basic local qualities across elements in one part of our cosmos metaphysically suffices for the complete local physical state of that part: anything sharing this part’s basic elemental decoration should share its (...) more complete contents, regardless of what may be happening elsewhere. On a non-piecemeal alternative, derivative contents can be recognizably local to, or manifest within, one part of our cosmos while reflecting some more global elemental base. To develop this alternative, non-piecemeal Humeans can borrow inspiration from some critics of Humean supervenience, who already distinguish a broader notion of locality from strict Humean intrinsicality. (shrink)

Einstein's principle that no signal travels faster than light suggests that observations in one spacetime region should not depend on whether or not a radioactive decay is detected in a spacelike-separated region. This locality property is incompatible with the predictions of quantum theory, and this incompatibility holds independently of the questions of realism, objective reality, and hidden variables. It holds both in the pragmatic quantum theory of Bohr and in realistic frameworks. It is shown here to hold in a completed (...) realistic quantum theory that reconciles Einstein's demand for a description of reality itself with Bohr's contention that quantum theory is complete. This completed realistic quantum theory has no hidden variables, and no objective reality in which observable attributes can become definite independently of observers. The theory is described in some detail, with particular attention to those aspects related to the question of locality. This completed realistic quantum theory is in principle more comprehensive than Bohn's pragmatic quantum theory because it is not limited in principle by the requirement that the observed system be physically separated from the observing one. Applications are discussed. (shrink)

It is argued that while quantum mechanics contains nonlocal or entangled states, the instantaneous or nonlocal influences sometimes thought to be present due to violations of Bell inequalities in fact arise from mistaken attempts to apply classical concepts and introduce probabilities in a manner inconsistent with the Hilbert space structure of standard quantum mechanics. Instead, Einstein locality is a valid quantum principle: objective properties of individual quantum systems do not change when something is done to another noninteracting system. There (...) is no reason to suspect any conflict between quantum theory and special relativity. (shrink)

Models treating the simple properties of social groups have a common shortcoming. Typically, they focus on the local properties of group members and the features of the world with which group members interact. I consider economic models of bureaucratic corruption, to show that (a) simple properties of groups are often constituted by the properties of the wider population, and (b) even sophisticated models are commonly inadequate to account for many simple social properties. Adequate models (...) and social policies must treat certain factors that are not local to individual members of the group, even if those factors are not causally connected to those individuals. Key Words: individualism • corruption • supervenience • model • cause. (shrink)

The notion of local deduction theorem (which generalizes on the known instances of indeterminate deduction theorems, e.g. for the infinitely-valued ukasiewicz logic C ) is defined. It is then shown that a given finitary non-pathological logic C admits the local deduction theorem iff the class Matr(C) of all matrices validating C has the C-filter extension property (Theorem II.1).

The variety of Heyting algebras has two well-behaved locally finite reducts, the variety of bounded distributive lattices and the variety of implicative semilattices. The variety of bounded distributive lattices is generated by the →-free reducts of Heyting algebras, while the variety of implicative semilattices is generated by the ∨-free reducts. Each of these reducts gives rise to canonical formulas that generalize Jankov formulas and provide an axiomatization of all superintuitionistic logics. The ∨-free reducts of Heyting algebras give rise to the (...) -canonical formulas that we studied in an earlier work. Here we introduce the -canonical formulas, which are obtained from the study of the →-free reducts of Heyting algebras. We prove that every si-logic is axiomatizable by -canonical formulas. We also discuss the similarities and differences between these two kinds of canonical formulas. One of the main ingredients of these formulas is a designated subset D of pairs of elements of a finite subdirectly irreducible Heyting algebra A. When D=A2, we show that the -canonical formula of A is equivalent to the Jankov formula of A. On the other hand, when D=∅, the -canonical formulas produce a new class of si-logics we term stable si-logics. We prove that there are continuum many stable si-logics and that all stable si-logics have the finite model property. We also compare stable si-logics to splitting and subframe si-logics. (shrink)

If $\mathcal{A}$ (V) is a net of local von Neumann algebras satisfying standard axioms of algebraic relativistic quantum field theory and V 1 and V 2 are spacelike separated spacetime regions, then the system ( $\mathcal{A}$ (V 1 ), $\mathcal{A}$ (V 2 ), φ) is said to satisfy the Weak Reichenbach's Common Cause Principle iff for every pair of projections A∈ $\mathcal{A}$ (V 1 ), B∈ $\mathcal{A}$ (V 2 ) correlated in the normal state φ there exists a projection (...) C belonging to a von Neumann algebra associated with a spacetime region V contained in the union of the backward light cones of V 1 and V 2 and disjoint from both V 1 and V 2 , a projection having the properties of a Reichenbachian common cause of the correlation between A and B. It is shown that if the net has the local primitive causality property then every local system ( $\mathcal{A}$ (V 1 ), $\mathcal{A}$ (V 2 ), φ) with a locally normal and locally faithful state φ and suitable bounded V 1 and V 2 satisfies the Weak Reichenbach's Common Cause Principle. (shrink)

The global/local contrast is ubiquitous in mathematics. This paper explains it with straightforward examples. It is possible to build a circular staircase that is rising at any point (locally) but impossible to build one that rises at all points and comes back to where it started (a global restriction). Differential equations describe the local structure of a process; their solution describes the global structure that results. The interplay between global and local structure is one of the great (...) themes of mathematics, but rarely discussed explicitly. (shrink)

The surprising aspects of quantum information are due to two distinctly non-classical features of the quantum world: first, different quantum states need not be orthogonal and, second, quantum states may be entangled. Non-orthogonality leads to the blurring of classical distinctions. On the other hand, entanglement leads via non-locality to teleportation and other ``entanglement-assisted'' forms of communication that go beyond what is classically possible. In this article we attempt to understand these new possibilities via an analysis of the significance of entanglement (...) for the basic physical concepts of a ``particle'' and a ``localized physical system''. Classical particles can be individuated on the basis of qualitative differences in their sets of properties. But in entangled states the ``particle labels'' of the quantum formalism usually do not pick out such sets of individuating particle properties. It is sometimes nevertheless possible to think in terms of individual particles, which may be localized; but we argue that in general the structure of quantum mechanics is at odds with such a particle interpretation. This finally leads us to the conclusion that quantum mechanics is best seen as not belonging to the category of space-time theories, in which physical quantities are functions on space-time points. The resulting picture of the quantum world is relevant for our understanding of the way in which quantum theory is non-local, and it sheds light on the novel aspects of quantum information. (shrink)

We define and investigate a uniformly locally o-minimal structure of the second kind in this paper. All uniformly locally o-minimal structures of the second kind have local monotonicity, which is a local version of monotonicity theorem of o-minimal structures. We also demonstrate a local definable cell decomposition theorem for definably complete uniformly locally o-minimal structures of the second kind. We define dimension of a definable set and investigate its basic properties when the given structure is a (...) locally o-minimal structure which admits local definable cell decomposition. (shrink)

A phenomenological community is an identifiable assemblage of organisms in a local habitat patch: a local wetland or mudflat are typical examples. Such communities are typically persistent: membership and abundance stay fairly constant over time. In this paper I discuss whether phenomenological communities are functionally structured, causal systems that play a role in determining the presence and abundance of organisms in a local habitat patch. I argue they are not, if individualist models of community assembly are vindicated; (...) i.e., if the presence of one species is not typically explained by the presence or absence of specific other species. I discuss two alternatives to in- dividualism, and conclude by arguing for a dimensional model of phenomenological communities. The causal salience of a phenomenological community depends on three factors: the extent to which it is internally regulated, the extent to which it has robust boundaries, and the extent to which it has emergent properties. I conclude by using this model to frame a natural research agenda for community ecology. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it (...) does not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (shrink)

A heuristic comparison is made of relativistic and non-relativistic quantum theory. To this end the Segal approach is described for the non-specialist. The significance of antimatter to the local and microcausal properties of the fields is laid bare. The fundamental difference between relativistic and non-relativistic (complex) fields is traced to the existence of two kinds of complex numbers in the relativistic case. Their relation to covariant and Newton-Wigner locality is formulated.

Robert Griffiths has recently addressed, within the framework of a ‘consistent quantum theory’ that he has developed, the issue of whether, as is often claimed, quantum mechanics entails a need for faster-than-light transfers of information over long distances. He argues that the putative proofs of this property that involve hidden variables include in their premises some essentially classical-physics-type assumptions that are not entailed by the precepts of quantum mechanics. Thus whatever is proved is not a feature of quantum mechanics, but (...) is a property of a theory that tries to combine quantum theory with quasi-classical features that go beyond what is entailed by quantum theory itself. One cannot logically prove properties of a system by establishing, instead, properties of a system modified by adding properties alien to the original system. Hence Griffiths’ rejection of hidden-variable-based proofs is logically warranted. Griffiths mentions the existence of a certain alternative proof that does not involve hidden variables, and that uses only macroscopically described observable properties. He notes that he had examined in his book proofs of this general kind, and concluded that they provide no evidence for nonlocal influences. But he did not examine the particular proof that he cites. An examination of that particular proof by the method specified by his ‘consistent quantum theory’ shows that the cited proof is valid within that restrictive version of quantum theory. An added section responds to Griffiths’ reply, which cites general possibilities of ambiguities that might make what is to be proved ill-defined, and hence render the pertinent ‘consistent framework’ ill defined. But the vagaries that he cites do not upset the proof in question, which, both by its physical formulation and by explicit identification, specify the framework to be used. Griffiths confirms the validity of the proof insofar as that pertinent framework is used. The section also shows, in response to Griffiths’ challenge, why a putative proof of locality that he has described is flawed. (shrink)

Matter interacting classically with gravity in 3+1 dimensions usually gives rise to a continuum of degrees of freedom, so that, in any attempt to quantize the theory, ultraviolet divergences are nearly inevitable. Here, we investigate matter of a form that only displays a finite number of degrees of freedom in compact sections of space-time. In finite domains, one has only exact, analytic solutions. This is achieved by limiting ourselves to straight pieces of string, surrounded by locally flat sections of space-time. (...) Globally, however, the model is not finite, because solutions tend to generate infinite fractals. The model is not (yet) quantized, but could serve as an interesting setting for analytical approaches to classical general relativity, as well as a possible stepping stone for quantum models. Details of its properties are explained, but some problems remain unsolved, such as a complete description of the most violent interactions, which can become quite complex. (shrink)

While claiming that diagrams can only be admitted as a method of strict proof if the underlying axioms are precisely known and explicitly spelled out, Hilbert praised Minkowski’s Geometry of Numbers and his diagram-based reasoning as a specimen of an arithmetical theory operating “rigorously” with geometrical concepts and signs. In this connection, in the first phase of his foundational views on the axiomatic method, Hilbert also held that diagrams are to be thought of as “drawn formulas”, and formulas as “written (...) diagrams”, thus suggesting that the former encapsulate propositional information which can be extracted and translated into formulas. In the case of Minkowski diagrams, local geometrical axioms were actually being produced, starting with the diagrams, by a process that was both constrained and fostered by the requirement, brought about by the axiomatic method itself, that geometry ought to be made independent of analysis. This paper aims at making a twofold point. On the one hand, it shows that Minkowski’s diagrammatic methods in number theory prompted Hilbert’s axiomatic investigations into the notion of a straight line as the shortest distance between two points, which start from his earlier work focused on the role of the triangle inequality property in the foundations of geometry, and lead up to his formulation of the 1900 Fourth Problem. On the other hand, it purports to make clear how Hilbert’s assessment of Minkowski’s diagram-based reasoning in number theory both raises and illuminates conceptual compatibility concerns that were crucial to his philosophy of mathematics. (shrink)

This book uses the formal semantics of counterfactual conditionals to analyze the problem of non-locality in quantum mechanics. Counterfactual conditionals enter the analysis of quantum entangled systems in that they enable us to precisely formulate the locality condition that purports to exclude the existence of causal interactions between spatially separated parts of a system. They also make it possible to speak consistently about alternative measuring settings, and to explicate what is meant by quantum property attributions. The book develops the possible-world (...) semantics of quantum counterfactuals using David Lewis's famous approach as a starting point but modifying it significantly in order to achieve compatibility with the demands of the special theory of relativity as well as quantum mechanics. There have been several attempts to use counterfactuals semantics to strengthen Bell's theorem and its cognates such as the GHZ and Hardy theorems. These are critically evaluated in the book. Finally, a counterfactual reconstruction of the EPR argument and Bell's theorem is proposed that sheds a new light on their philosophical consequences regarding the relations between realism and local causation. (shrink)

A recent analysis by de Barros and Suppes of experimentally realizable GHZ correlations supports the conclusion that these correlations cannot be explained by introducing local hidden variables. We show, nevertheless, that their analysis does not exclude local hidden variable models in which the inefficiency in the experiment is an effect not only of random errors in the detector equipment, but is also the manifestation of a pre-set, hidden property of the particles ("prism models"). Indeed, we present an explicit (...) prism model for the GHZ scenario; that is, a local hidden variable model entirely compatible with recent GHZ experiments. (shrink)

This paper discusses a claim by Clifton and Halvorson (2001) that, contrary to non-relativistic quantum mechanics, local operations can never destroy entanglement in relativistic quantum field theory. The impossibility of achieving local disentanglement would raise a threat for the mutual independence between microscopic subsystems. Here, we observe that Clifton and Halvorson no-go result rests on an unnecessarily strong notion of local operations, which we label absolutely local operations, and we argue that a weaker notion, namely that (...) of relatively local operations, is sufficient to guarantee that acting on one subsystem does not have non-local effects on another spacelike separated subsystem. We then show that one can achieve local disentanglement in relativistic quantum field theory by means of relatively local operations. In fact, we prove that, under the split property, there exists a class of disentangling relatively local operations. (shrink)

Local connectedness functions for (κ, 1)-simplified morasses, localisations of the coupling function c studied in [M96, §1], are defined and their elementary properties discussed. Several different, useful, canonical ways of arriving at the functions are examined. This analysis is then used to give explicit formulae for generalisations of the local distance functions which were defined recursively in [K00], leading to simple proofs of the principal properties of those functions. It is then extended to the properties (...) of local connectedness functions in the context of κ-M-proper forcing for sucessor κ. The functions are shown to enjoy substantial strengthenings of the properties (particularly the ∆-properties) hitherto proved for both c and for Todorcevic’s ρ-functions in the special case κ = ω1. A couple of examples of the use of local connectedness functions in consort with κ-M-proper forcing are then given. (shrink)

One of the authors has recently propounded an SR model which shows, circumventing known no-go theorems, that an objective interpretation of quantum mechanics is possible. We consider here compound physical systems and show why the proofs of nonlocality of QM do not hold within the SR model, which is slightly simplified in this paper. We also discuss quantum measurement theory within this model, note that the objectification problem disappears since the measurement of any property simply reveals its unknown value, and (...) show that the projection postulate can be considered as an approximate law, valid FAPP. Finally, we provide an intuitive picture that justifies some unusual features of the SR model and proves its consistency. (shrink)

This book gives an account of a full spectrum of property rights and their relationship to individual liberty. It shows that a purely deontological approach to justice can deal with the most complex questions regarding the property system. Moreover, the author considers the economic, ecological, and technological complexities of our real-world property systems. The result is a more conceptually sound account of natural rights and the property system they demand. If we think that liberty should be at the centre of (...) justice, what does that mean for the property system? Economists and lawyers widely agree that a property system must be composed of many different types of property: the kind of private ownership one has over one's person and immediate possessions, as well as the kinds of common ownership we each have in our local streets, as well as many more. However, theories of property and justice have not given anything approaching an adequate account of the relationship between liberty and any other form of property other than private ownership. It is often thought that a basic commitment to liberty cannot really tell us how to arrange the major complexities of the property system, which diverge from simple private ownership. Property and Justice demonstrates how philosophical rigour coupled with interdisciplinary engagement enables us to think clearly about how to deal with real-world problems. It will be of interest to political philosophers, political theorists, and legal theorists working on property rights and justice. (shrink)

We say that a first order theoryTislocally finiteif every finite part ofThas a finite model. It is the purpose of this paper to construct in a uniform way for any consistent theoryTa locally finite theory FIN which is syntactically isomorphic toT.Our construction draws upon the main idea of Paris and Harrington [6] and generalizes the syntactic aspect of their result from arithmetic to arbitrary theories. The first mathematically strong locally finite theory, called FIN, was defined in [1]. Now we get (...) much stronger ones, e.g. FIN.From a physicalistic point of view the theorems of ZF and their FIN-counterparts may have the same meaning. Therefore FIN is a solution of Hilbert's second problem. It eliminates ideal objects from the proofs of properties of concrete objects.In [4] we will demonstrate that one can develop a direct finitistic intuition that FIN is locally finite. We will also prove a variant of Gödel's second incompleteness theorem for the theory FIN and for all its primitively recursively axiomatizable consistent extensions.The results of this paper were announced in [3]. (shrink)

This paper is devoted to discuss a general tendency in contextualism which is known as "radical contextualism". In the first part I state the well known paradox of semantic holism, as discussed in philosophy of language: if meaning is holistic there is no possibility to share any meaning. In the second part I present the different answers to this paradox, from atomism to different forms of holism. In the third part I give a criticism of the traditional interpretation of Wittgenstein (...) as a supporter of global holism. I stress some similarities between Wittgenstein's thought and Multi Context theories in artificial inteligence. In the last part I give some argument against a rigid interpretation of "local holism": I claim the need to give restrictions to local holim and to develop a study of the connections between "default" properties and high level rules which are studied in Multi−Context theories. (shrink)

Real-world economies are open-ended dynamic systems consisting of heterogeneous interacting participants. Human participants are decision-makers who strategically take into account the past actions and potential future actions of other participants. All participants are forced to be locally constructive, meaning their actions at any given time must be based on their local states; and participant actions at any given time affect future local states. Taken together, these essential properties imply real-world economies are locally-constructive sequential games. This paper discusses (...) a modeling approach, Agent-based Computational Economics, that permits researchers to study economic systems from this point of view. ACE modeling principles and objectives are first concisely presented and explained. The remainder of the paper then highlights challenging issues and edgier explorations that ACE researchers are currently pursuing. (shrink)

The principle of self-organization has acquired a fundamental significance in the newly emerging field of computational philosophy. Self-organizing systems have been described in various domains in science and philosophy including physics, neuroscience, biology and medicine, ecology, and sociology. While system architecture and their general purpose may depend on domain-specific concepts and definitions, there are (at least) seven key properties of self-organization clearly identified in brain systems: 1) modular connectivity, 2) unsupervised learning, 3) adaptive ability, 4) functional resiliency, 5) functional (...) plasticity, 6) from-local-to-global functional organization, and 7) dynamic system growth. These are defined here in the light of insight from neurobiology, cognitive neuroscience and Adaptive Resonance Theory (ART), and physics to show that self-organization achieves stability and functional plasticity while minimizing structural system complexity. A specific example informed by empirical research is discussed to illustrate how modularity, adaptive learning, and dynamic network growth enable stable yet plastic somatosensory representation for human grip force control. Implications for the design of “strong” artificial intelligence in robotics are brought forward. (shrink)

This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems — history-based generative parsing models. We report experimental results showing that memory-based learning outperforms many commonly used methods for this task (Witten-Bell, Jelinek-Mercer with fixed weights, decision trees, and log-linear models). However, we can connect these results with the commonly used general class of deleted interpolation models by showing that certain types of memory-based learning, including (...) the kind that performed so well in our experiments, are instances of this class. In addition, we illustrate the divergences between joint and conditional data likelihood and accuracy performance achieved by such models, suggesting that smoothing based on optimizing accuracy directError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMaply might greatly improve performance. (shrink)