We propose a canonization scheme for smooth equivalence relations on Rω modulo restriction to E0-large infinite products. It shows that, given a pair of Borel smooth equivalence relations E, F on Rω, there is an infinite E0-large perfect product P⊆Rω such that either F⊆E on P, or, for some ℓ<ω, the following is true for all x,y∈P: xEy implies x(ℓ)=y(ℓ), and x↾(ω∖{ℓ})=y↾(ω∖{ℓ}) implies xFy.

This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation ≺. They are equivalent to Shoham’s so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and (...) elaborating on their intuitive motivation. As it turns out, many of their meta-properties only hold in case ≺ is transitive. To tackle this problem, we propose slight modifications of each of the systems, showing the resulting logics to behave better at the intuitive level and in metatheoretic terms, for arbitrary ≺. (shrink)

Let be a class of models with a notion of ‘strong’ submodel and of canonically prime model over an increasing chain. We show under appropriate set-theoretic hypotheses that if K is not smooth , then K has many models in certain cardinalities. On the other hand, if K is smooth, we show that in reasonable cardinalities K has a unique homogeneous-universal model. In this situation we introduce the notion of type and prove the equivalence of saturated with homogeneous-universal.

A precise fomulation of the strong Equivalence Principle is essential to the understanding of the relationship between gravitation and quantum mechanics. The relevant aspects are reviewed in a context including General Relativity but allowing for the presence of torsion. For the sake of brevity, a concise statement is proposed for the Principle: An ideal observer immersed in a gravitational field can choose a reference frame in which gravitation goes unnoticed. This statement is given a clear mathematical meaning through an accurate (...) discussion of its terms. It holds for ideal observers (time-like smooth non-intersecting curves), but not for real, spatially extended observers. Analogous results hold for gauge fields. The difference between gravitation and the other fundamental interactions comes from their distinct roles in the equation of force. (shrink)

This paper axiomatizes a recursive utility model that captures both intertemporal utility smoothing defined across time and ambiguity aversion defined over states. The resulting representation adapts Wakai model of intertemporal utility smoothing as an aggregator function, where the utility of the certainty equivalent of future uncertainty is computed by Gilboa and Schmeidler multiple-priors utility. The model also permits the separation of intertemporal utility smoothing from ambiguity aversion.

A classic result in the foundations of Yang-Mills theory, due to J. W. Barrett ["Holonomy and Path Structures in General Relativity and Yang-Mills Theory." Int. J. Th. Phys. 30, ], establishes that given a "generalized" holonomy map from the space of piece-wise smooth, closed curves based at some point of a manifold to a Lie group, there exists a principal bundle with that group as structure group and a principal connection on that bundle such that the holonomy map corresponds (...) to the holonomies of that connection. Barrett also provided one sense in which this "recovery theorem" yields a unique bundle, up to isomorphism. Here we show that something stronger is true: with an appropriate definition of isomorphism between generalized holonomy maps, there is an equivalence of categories between the category whose objects are generalized holonomy maps on a smooth, connected manifold and whose arrows are holonomy isomorphisms, and the category whose objects are principal connections on principal bundles over a smooth, connected manifold. This result clarifies, and somewhat improves upon, the sense of "unique recovery" in Barrett's theorems; it also makes precise a sense in which there is no loss of structure involved in moving from a principal bundle formulation of Yang-Mills theory to a holonomy, or "loop", formulation. (shrink)

Much of our everyday, embodied action comes in the form of smooth coping. Smooth coping is skillful action that has become habituated and ingrained, generally placing less stress on cognitive load than considered and deliberative thought and action. When performed with skill and expertise, walking, driving, skiing, musical performances, and short-order cooking are all examples of the phenomenon. Smooth coping is characterized by its rapidity and relative lack of reflection, both being hallmarks of automatization. Deliberative and reflective (...) actions provide the contrast case. In Dreyfus’ classic view, smooth coping is “mindless” absorption into action, being in the flow, and any reflective thought will only interrupt this flow. Building on the pragmatist account of Dewey, others, such as Sutton, Montero, and Gallagher, insist on the intelligent flexibility built into smooth coping, suggesting that it is not equivalent to automatization. We seek to answer two complementary challenges in this article. First, how might we model smooth coping in autonomous agents at fine granularity? Second, we use this model of smooth coping to show how we might implement smooth coping in artificial intelligent agents. We develop a conceptual model of smooth coping in LIDA. LIDA is an embodied cognitive architecture implementing the global workspace theory of consciousness, among other psychological theories. LIDA’s implementation of consciousness enables us to account for the phenomenology of smooth coping, something that few cognitive architectures would be able to do. Through the fine granular analysis of LIDA, we argue that smooth coping is a sequence of automatized actions intermittently interspersed with consciously mediated action selection, supplemented by dorsal stream processes. In other words, non-conscious, automatized actions often require occasional bursts of conscious cognition to achieve the skillful and flexible adjustments of smooth coping. In addition, never-conscious dorsal stream information and associated sensorimotor processes provide further online adjustments during smooth coping. To achieve smooth coping in LIDA we introduce a new module to the LIDA cognitive architecture the Automatized Action Selection sub-module. Our complex model of smooth coping borrows notions of “embodied intelligence” from enactivism and augments these by allowing representations and more detailed mechanisms of conscious control. We explore several extended examples of smooth coping, starting from basic activities like walking and scaling up to more complex tasks like driving and short-order cooking. (shrink)

The "space" of Lascar strong types, on some sort and relative to a given complete theory T, is in general not a compact Hausdorff topological space. We have at least three aims in this paper. The first is to show that spaces of Lascar strong types, as well as other related spaces and objects such as the Lascar group Gal L of T, have well-defined Borel cardinalities. The second is to compute the Borel cardinalities of the known examples as well (...) as of some new examples that we give. The third is to explore notions of definable map, embedding, and isomorphism, between these and related quotient objects. We also make some conjectures, the main one being roughly "smooth if and only if trivial". The possibility of a descriptive set-theoretic account of the complexity of spaces of Lascar strong types was touched on in the paper [E. Casanovas, D. Lascar, A. Pillay and M. Ziegler, Galois groups of first order theories, J. Math. Logic1 305–319], where the first example of a "non-G-compact theory" was given. The motivation for writing this paper is partly the discovery of new examples via definable groups, in [A. Conversano and A. Pillay, Connected components of definable groups and o-minimality I, Adv. Math.231 605–623; Connected components of definable groups and o-minimality II, to appear in Ann. Pure Appl. Logic] and the generalizations in [J. Gismatullin and K. Krupiński, On model-theoretic connected components in some group extensions, preprint, arXiv:1201.5221v1]. (shrink)

It is known that every Borel hypersmooth but non-smooth equivalence relation is Borel bi-reducible to E1. We prove a ROD version of this result in the Solovay model.

We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

We consider sparseness, smoothness and the Glimm-Effros Dichotomy for the restriction of a Borel equivalence relation on a Polish space to definable subsets of that space.

A differential manifold (d-manifold, for short) can be defined as a pair (M, C), where M is any set and C is a family of real functions on M which is (i) closed with respect to localization and (ii) closed with respect to superposition with smooth Euclidean functions; one also assumes that (iii) M is locally diffeomorphic to Rn. These axioms have a straightforward physical interpretation. Axioms (i) and (ii) formalize certain “compatibility conditions” which usually are supposed to be (...) assumed tacitly by physicists. Axiom (iii) may be though of as a (nonmetric) version of Einstein's equivalence principle. By dropping axiom (iii), one obtains a more general structure called a differential space (d-space). Every subset of Rn turns out to be a d-space. Nevertheless it is mathematically a workable structure. It might be expected that somewhere in the neighborhood of the Big Bang there is a domain in which space-time is not a d-manifold but still continues to be a d-space. In such a domain we would have a physics without the (usual form of the) equivalence principle. Simple examples of d-spaces which are not d-manifolds elucidate the principal characteristics the resulting physics would manifest. (shrink)

Boykin and Jackson recently introduced a property of countable Borel equivalence relations called Borel boundedness, which they showed is closely related to the union problem for hyperfinite equivalence relations. In this paper, we introduce a family of properties of countable Borel equivalence relations which correspond to combinatorial cardinal characteristics of the continuum in the same way that Borel boundedness corresponds to the bounding number. We analyze some of the basic behavior of these properties, showing, e.g., that the property corresponding to (...) the splitting number coincides with smoothness. We then settle many of the implication relationships between the properties; these relationships turn out to be closely related to (but not the same as) the Borel Tukey ordering on cardinal characteristics. (shrink)

The explicit history of the “hidden variables” problem is well-known and established. The main events of its chronology are traced. An implicit context of that history is suggested. It links the problem with the “conservation of energy conservation” in quantum mechanics. Bohr, Kramers, and Slaters (1924) admitted its violation being due to the “fourth Heisenberg uncertainty”, that of energy in relation to time. Wolfgang Pauli rejected the conjecture and even forecast the existence of a new and unknown then elementary particle, (...) neutrino, on the ground of energy conservation in quantum mechanics, afterwards confirmed experimentally. Bohr recognized his defeat and Pauli’s truth: the paradigm of elementary particles (furthermore underlying the Standard model) dominates nowadays. However, the reason of energy conservation in quantum mechanics is quite different from that in classical mechanics (the Lie group of all translations in time). Even more, if the reason was the latter, Bohr, Cramers, and Slatters’s argument would be valid. The link between the “conservation of energy conservation” and the problem of hidden variables is the following: the former is equivalent to their absence. The same can be verified historically by the unification of Heisenberg’s matrix mechanics and Schrödinger’s wave mechanics in the contemporary quantum mechanics by means of the separable complex Hilbert space. The Heisenberg version relies on the vector interpretation of Hilbert space, and the Schrödinger one, on the wave-function interpretation. However the both are equivalent to each other only under the additional condition that a certain well-ordering is equivalent to the corresponding ordinal number (as in Neumann’s definition of “ordinal number”). The same condition interpreted in the proper terms of quantum mechanics means its “unitarity”, therefore the “conservation of energy conservation”. In other words, the “conservation of energy conservation” is postulated in the foundations of quantum mechanics by means of the concept of the separable complex Hilbert space, which furthermore is equivalent to postulating the absence of hidden variables in quantum mechanics (directly deducible from the properties of that Hilbert space). Further, the lesson of that unification (of Heisenberg’s approach and Schrödinger’s version) can be directly interpreted in terms of the unification of general relativity and quantum mechanics in the cherished “quantum gravity” as well as a “manual” of how one can do this considering them as isomorphic to each other in a new mathematical structure corresponding to quantum information. Even more, the condition of the unification is analogical to that in the historical precedent of the unifying mathematical structure (namely the separable complex Hilbert space of quantum mechanics) and consists in the class of equivalence of any smooth deformations of the pseudo-Riemannian space of general relativity: each element of that class is a wave function and vice versa as well. Thus, quantum mechanics can be considered as a “thermodynamic version” of general relativity, after which the universe is observed as if “outside” (similarly to a phenomenological thermodynamic system observable only “outside” as a whole). The statistical approach to that “phenomenological thermodynamics” of quantum mechanics implies Gibbs classes of equivalence of all states of the universe, furthermore re-presentable in Boltzmann’s manner implying general relativity properly … The meta-lesson is that the historical lesson can serve for future discoveries. (shrink)

We show that each non-compact Polish group admits a continuous action on a Polish space with non-smooth orbit equivalence relation. We actually construct a free such action. Thus for a Polish group compactness is equivalent to all continuous free actions of this group being smooth. This answers a question of Kechris. We also establish results relating local compactness of the group with its inability to induce orbit equivalence relations not reducible to countable Borel equivalence relations. Generalizing a result (...) of Hjorth, we prove that each non-locally compact, that is, infinite dimensional, separable Banach space has a continuous action on a Polish space with non-Borel orbit equivalence relation, thus showing that this property characterizes non-local compactness among Banach spaces. (shrink)

The paper follows the track of a previous paper “Natural cybernetics of time” in relation to history in a research of the ways to be mathematized regardless of being a descriptive humanitarian science withal investigating unique events and thus rejecting any repeatability. The pathway of classical experimental science to be mathematized gradually and smoothly by more and more relevant mathematical models seems to be inapplicable. Anyway quantum mechanics suggests another pathway for mathematization; considering the historical reality as dual or “complimentary” (...) to its model. The historical reality by itself can be seen as mathematical if one considers it in Hegel’s manner as a specific interpretation of the totality being in a permanent self-movement due to being just the totality, i.e. by means of the “speculative dialectics” of history, however realized as a theory both mathematical and empirical and thus falsifiable as by logical contradictions within itself as emprical discrepancies to facts. Not less, a Husserlian kind of “historical phenomenology” is possible along with Hegel’s historical dialectics sharing the postulate of the totality (and thus, that of transcendentalism). One would be to suggest the transcendental counterpart: an “eternal”, i.e. atemporal and aspatial history to the usual, descriptive temporal history, and equating the real course of history as with its alternative, actually happened branches of the regions of the world as with only imaginable, counterfactual histories. That universal and transcendental history is properly mathematical by itself, even in a neo-Pythagorean model. It is only represented on the temporal screen of the standard historiography as a discrete series of unique events. An analogy to the readings of the apparatus in quantum mechanics can be useful. Even more, that analogy is considered rigorously and logically as implied by the mathematical transcendental history and sharing with it the same quantity of information as an invariant to all possible alternative or counterfactual histories. One can involve the hypothetical external viewpoint to history (as if outside of history or from “God’s viewpoint to it), to which all alternative or counterfactual histories can be granted as a class of equivalence sharing the same information (i.e. the number choices, but realized in different sequence or adding redundant ones in each branch) being similar and even mathematically isomorphic to Feynman trajectories in quantum mechanics. Particularly, a fundamental law of mathematical history, the law of least choice of the real historical pathway is deducible from the same approach. Its counterpart in physics is the well-known and confirmed law of least action as far as the quantity of action corresponds equivocally to the quantity of information or that of number elementary historical choices. (shrink)

The problem of indeterminism in quantum mechanics usually being considered as a generalization determinism of classical mechanics and physics for the case of discrete (quantum) changes is interpreted as an only mathematical problem referring to the relation of a set of independent choices to a well-ordered series therefore regulated by the equivalence of the axiom of choice and the well-ordering “theorem”. The former corresponds to quantum indeterminism, and the latter, to classical determinism. No other premises (besides the above only mathematical (...) equivalence) are necessary to explain how the probabilistic causation of quantum mechanics refers to the unambiguous determinism of classical physics. The same equivalence underlies the mathematical formalism of quantum mechanics. It merged the well-ordered components of the vectors of Heisenberg’s matrix mechanics and the non-ordered members of the wave functions of Schrödinger’s undulatory mechanics. The mathematical condition of that merging is just the equivalence of the axiom of choice and the well-ordering theorem implying in turn Max Born’s probabilistic interpretation of quantum mechanics. Particularly, energy conservation is justified differently than classical physics. It is due to the equivalence at issue rather than to the principle of least action. One may involve two forms of energy conservation corresponding whether to the smooth changes of classical physics or to the discrete changes of quantum mechanics. Further both kinds of changes can be equated to each other under the unified energy conservation as well as the conditions for the violation of energy conservation to be investigated therefore directing to a certain generalization of energy conservation. (shrink)

The paper considers the symmetries of a bit of information corresponding to one, two or three qubits of quantum information and identifiable as the three basic symmetries of the Standard model, U(1), SU(2), and SU(3) accordingly. They refer to “empty qubits” (or the free variable of quantum information), i.e. those in which no point is chosen (recorded). The choice of a certain point violates those symmetries. It can be represented furthermore as the choice of a privileged reference frame (e.g. that (...) of the Big Bang), which can be described exhaustively by means of 16 numbers (4 for position, 4 for velocity, and 8 for acceleration) independently of time, but in space-time continuum, and still one, 17th number is necessary for the mass of rest of the observer in it. The same 17 numbers describing exhaustively a privileged reference frame thus granted to be “zero”, respectively a certain violation of all the three symmetries of the Standard model or the “record” in a qubit in general, can be represented as 17 elementary wave functions (or classes of wave functions) after the bijection of natural and transfinite natural (ordinal) numbers in Hilbert arithmetic and further identified as those corresponding to the 17 elementary of particles of the Standard model. Two generalizations of the relevant concepts of general relativity are introduced: (1) “discrete reference frame” to the class of all arbitrarily accelerated reference frame constituting a smooth manifold; (2) a still more general principle of relativity to the general principle of relativity, and meaning the conservation of quantum information as to all discrete reference frames as to the smooth manifold of all reference frames of general relativity. Then, the bijective transition from an accelerated reference frame to the 17 elementary wave functions of the Standard model can be interpreted by the still more general principle of relativity as the equivalent redescription of a privileged reference frame: smooth into a discrete one. The conservation of quantum information related to the generalization of the concept of reference frame can be interpreted as restoring the concept of the ether, an absolutely immovable medium and reference frame in Newtonian mechanics, to which the relative motion can be interpreted as an absolute one, or logically: the relations, as properties. The new ether is to consist of qubits (or quantum information). One can track the conceptual pathway of the “ether” from Newtonian mechanics via special relativity, via general relativity, via quantum mechanics to the theory of quantum information (or “quantum mechanics and information”). The identification of entanglement and gravity can be considered also as a ‘byproduct” implied by the transition from the smooth “ether of special and general relativity’ to the “flat” ether of quantum mechanics and information. The qubit ether is out of the “temporal screen” in general and is depicted on it as both matter and energy, both dark and visible. (shrink)

The Montagovian hypothesis of direct model-theoretic interpretation of syntactic surface structures is supported by an account of the semantics of binding that makes no use of variables, syntactic indices, or assignment functions & shows that the interpretation of a large portion of so-called variable-binding phenomena can dispense with the level of logical form without incurring equivalent complexity elsewhere in the system. Variable-free semantics hypothesizes local interpretation of each surface constituent; binding is formalized as a type-shifting operation on expressions that denote (...) functions, & sentences containing a free pronoun are analyzed as a function from individuals to propositions having a meaning of type (e,t). Standard weak crossover effects & binding patterns in sentences with multiple pronouns are shown to submit to straightforward type-theoretic treatments that do not rely on indexation. The variable-free semantics smoothly implements full surface compositionality & requires less machinery than standard accounts to handle functional questions, their answers, sloppy inferences, & across-the-board binding. 73 References. J. Hitchcock. (shrink)

The cognition of quantum processes raises a series of questions about ordering and information connecting the states of one and the same system before and after measurement: Quantum measurement, quantum in-variance and the non-locality of quantum information are considered in the paper from an epistemological viewpoint. The adequate generalization of ‘measurement’ is discussed to involve the discrepancy, due to the fundamental Planck constant, between any quantum coherent state and its statistical representation as a statistical ensemble after measurement. Quantum in-variance designates (...) the relation of any quantum coherent state to the corresponding statistical ensemble of measured results. A set-theory corollary is the curious in-variance to the axiom of choice: Any coherent state excludes any well-ordering and thus excludes also the axiom of choice. However the above equivalence requires it to be equated to a well-ordered set after measurement and thus requires the axiom of choice for it to be able to be obtained. Quantum in-variance underlies quantum information and reveals it as the relation of an unordered quantum “much” (i.e. a coherent state) and a well-ordered “many” of the measured results (i.e. a statistical ensemble). It opens up to a new horizon, in which all physical processes and phenomena can be interpreted as quantum computations realizing relevant operations and algorithms on quantum information. All phenomena of entanglement can be described in terms of the so defined quantum information. Quantum in-variance elucidates the link between general relativity and quantum mechanics and thus, the problem of quantum gravity. The non-locality of quantum information unifies the exact position of any space-time point of a smooth trajectory and the common possibility of all space-time points due to a quantum leap. This is deduced from quantum in-variance. Epistemology involves the relation of ordering and thus a generalized kind of information, quantum one, to explain the special features of the cognition in quantum mechanics. (shrink)

What if gravity satisfied the Klein-Gordon equation? Both particle physics from the 1920s-30s and the 1890s Neumann-Seeliger modification of Newtonian gravity with exponential decay suggest considering a "graviton mass term" for gravity, which is _algebraic_ in the potential. Unlike Nordström's "massless" theory, massive scalar gravity is strictly special relativistic in the sense of being invariant under the Poincaré group but not the 15-parameter Bateman-Cunningham conformal group. It therefore exhibits the whole of Minkowski space-time structure, albeit only indirectly concerning volumes. Massive (...) scalar gravity is plausible in terms of relativistic field theory, while violating most interesting versions of Einstein's principles of general covariance, general relativity, equivalence, and Mach. Geometry is a poor guide to understanding massive scalar gravity: matter sees a conformally flat metric due to universal coupling, but gravity also sees the rest of the flat metric in the mass term. What is the 'true' geometry, one might wonder, in line with Poincaré's modal conventionality argument? Infinitely many theories exhibit this bimetric 'geometry,' all with the total stress-energy's trace as source; thus geometry does not explain the field equations. The irrelevance of the Ehlers-Pirani-Schild construction to a critique of conventionalism becomes evident when multi-geometry theories are contemplated. Much as Seeliger envisaged, the smooth massless limit indicates underdetermination of theories by data between massless and massive scalar gravities---indeed an unconceived alternative. At least one version easily could have been developed before General Relativity; it then would have motivated thinking of Einstein's equations along the lines of Einstein's newly re-appreciated "physical strategy" and particle physics and would have suggested a rivalry from massive spin 2 variants of General Relativity. The Putnam-Grünbaum debate on conventionality is revisited with an emphasis on the broad modal scope of conventionalist views. Massive scalar gravity thus contributes to a historically plausible rational reconstruction of much of 20th-21st century space-time philosophy in the light of particle physics. An appendix reconsiders the Malament-Weatherall-Manchak conformal restriction of conventionality and constructs the 'universal force' influencing the causal structure. Subsequent works will discuss how massive gravity could have provided a template for a more Kant-friendly space-time theory that would have blocked Moritz Schlick's supposed refutation of synthetic _a priori_ knowledge, and how Einstein's false analogy between the Neumann-Seeliger-Einstein modification of Newtonian gravity and the cosmological constant \Lambda generated lasting confusion that obscured massive gravity as a conceptual possibility. (shrink)

In this paper we discuss several generalization of theorems from stability theory to simple theories. Cherlin and Hrushovski, in [2] develop a substitute for canonical bases in finite rank, ω-categorical supersimple theories. Motivated by methods there, we prove the existence of canonical bases (in a suitable sense) for types in any simple theory. This is done in Section 2. In general these canonical bases will (as far as we know) exist only as “hyperimaginaries”, namely objects of the forma/Ewhereais a possibly (...) infinite tuple andEa type-definable equivalence relation. (In the supersimple, ω-categorical case, these reduce to ordinary imaginaries.) So in Section 1 we develop the general theory of hyperimaginaries and show how first order model theory (including the theory of forking) generalises to hyperimaginaries. We go on, in Section 3 to show the existence and ubiquity of regular types in supersimple theories, ω-categorical simple structures and modularity is discussed in Section 4. It is also shown here how the general machinery of simplicity simplifies some of the general theory of smoothly approximable (or Lie-coordinatizable) structures from [2].Throughout this paper we will work in a large, saturated modelMof a complete theoryT. All types, sets and sequences will have size smaller than the size ofM. We will assume that the reader is familiar with the basics of forking in simple theories as laid out in [4] and [6]. For basic stability-theoretic results concerning regular types, orthogonality etc., see [1] or [9]. (shrink)

In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P, because it is a P only relative to some point of view and a non-P from another point of view. But there is (...) a major, complicating factor involved in applying a logical method that is supposed to provide a formal and rigorous counterpart of the intuitively understood notion: ‘point of view’ is a homonymous expression, and so there is not just one meaning that would explain points of view. Yet we propose a common scheme of the logical type of the entities denoted by the term ‘point of view’. It is an empirical function: when applied to the viewed object in question, it results in a evaluating proposition about the object. If there is an agent applying the criterion, the result is the agent’s attitude to the respective object. The paper is organised into two parts. In Part I we first adduce and analyse various examples of typical cases of applying a point of view to prevent paradox. These cases are examined according to the type of the viewed object: a) the viewed object is an individual and b) the viewed object is a property or an office. In Part II we then show that the method described in Part I can be applied also to the analyses of agents’ attitudes. We explain how an agent can believe of something that it is a P and at the same time a non-P: the agent applies different viewpoint criteria to the viewed object. The inversion of perspective consisting in the perspective shifting from the believer on to the reporter in the case of attitudes de re, and from the reporter to the believer in the case of attitudes de dicto, is also analyzed. We show that there is no smooth logical traffic back and forth between such attitudes unless some additional assumptions are added, and prove that they are not equivalent. By way of conclusion, we explicate the notion of conceptual point of view and analyze cases of viewpoints given by conceptual distinction. We show, finally, that the proposed scheme of the type of point of view can be preserved, this time, however, in its extensional version. (shrink)

In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P , because it is a P only relative to some point of view and a non-P from another point of view. But there (...) is a major, complicating factor involved in applying a logical method that is supposed to provide a formal and rigorous counterpart of the intuitively understood notion: ‘point of view’ is a homony-mous expression, and so there is not just one meaning that would explain points of view. Yet we propose a common scheme of the logical type of the entities denoted by the term ‘point of view’. It is an empirical function: when applied to the viewed object in question, it results in a evaluating proposition about the object. If there is an agent applying the criterion, the result is the agent’s attitude to the respective object. The paper is organised into two parts. In Part I we first adduce and analyse various examples of typical cases of applying a point of view to prevent paradox. These cases are examined according to the type of the viewed object: a) the viewed object is an individual and b) the viewed object is a property or an office. In Part II we then show that the method described in Part I can be applied also to the analyses of agents’ attitudes. We thus explain how an agent can believe of something that it is a P and at the same time a non-P: the agent applies different viewpoint criteria to the viewed object. The inversion of perspective consisting in the perspective shifting from the believer on to the reporter in the case of attitudes de re, and from the reporter to the believer in the case of attitudes de dicto, is also analyzed. We show that there is no smooth logical traffic back and forth between such attitudes and prove that they are not equivalent. By way of conclusion, we explicate the notion of conceptual point of view and analyze cases of viewpoints given by conceptual distinction. We show, finally, that the proposed scheme of the type of point of view can be preserved, this time, however, in its extensional version. (shrink)

In rural Cambodia the rampant allocation of state land to political elites and foreign investors in the form of “Economic Land Concessions (ELCs)”—estimated to cover an area equivalent to more than 50 % of the country’s arable land—has been associated with encroachment on farmland, community forests and indigenous territories and has contributed to a rapid increase of rural landlessness. By contrast, less than 7,000 ha of land have been allotted to land-poor and landless farmers under the pilot project for “Social (...) Land Concessions (SLCs)” supported by various donor agencies. Drawing on fieldwork conducted in two research sites in Kratie Province, this article sheds light on the mechanisms and discourses surrounding the allocation of ELCs and SLCs. Our findings suggest that large-scale and non-transparent land leases in the form of ELCs are discursively justified as land policy measures supporting national development, creating employment opportunities in rural areas, and restoring “degraded” and “non-use” land, while SLCs are presented by the government and its international donors as a complementary policy to reduce landlessness, alleviate rural poverty, and ensure a more equitable land distribution. We argue that the SLC pilot project is a deliberate strategy deployed by the Cambodian ruling elite to instrumentalize international aid agencies in formalizing displacement and distributional injustices, in smoothing the adverse social impacts of their very own land policies and in minimizing resistance by dispossessed rural people. (shrink)

This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that win between those supporting concluding formulae and arguments supporting contradictory formulae. This allows us to go beyond Classical Logic and smoothly connect it with human reasoning, thus (...) providing a uniform argumentation-based view of both informal and formal logic. (shrink)

Land registration systems are used throughout the world in order to store information on the ownership of land, rights attached to it, and burdens affecting it. A smoothly functioning land registration system guarantees the security of land transfer operations. However, there are significant differences in the way national land registration systems are run due to their historical development and divergent legislative approaches to land registration. Consequently, the need arises to compare different systems so as to find both common ground and (...) discrepancies between them. The paper contains such a comparative analysis which has been carried out with translation in mind: to discover the best ways of transferring land registration legal concepts expressed in one linguistic framework and characteristic of a given legal culture into target legal spaces using other linguistic frameworks. The comparison in question has taken place in a third space, a space where selected aspects of selected legal systems mingle revealing more or less clear similarities and more or less distinct differences between them. The juxtaposition of source and target legal cultures in a third space has resulted in finding translation equivalents that do not abuse the original ideas or—if this has been unavoidable—abuse them to the smallest extent possible. The analysis has covered the Polish land registration system and equivalent systems in English- and German-speaking countries and has been conducted from the point of view of a Polish-English and Polish-German translator. (shrink)

In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P, because it is a P only relative to some point of view and a non-P from another point of view. But there is (...) a major, complicating factor involved in applying a logical method that is supposed to provide a formal and rigorous counterpart of the intuitively understood notion: ‘point of view’ is a homony-mous expression, and so there is not just one meaning that would explain points of view. Yet we propose a common scheme of the logical type of the entities denoted by the term ‘point of view’. It is an empirical function: when applied to the viewed object in question, it results in a evaluating proposition about the object. If there is an agent applying the criterion, the result is the agent’s attitude to the respective object. The paper is organised into two parts. In Part I we first adduce and analyse various examples of typical cases of applying a point of view to prevent paradox. These cases are examined according to the type of the viewed object: a) the viewed object is an individual and b) the viewed object is a property or an office. In Part II we then show that the method described in Part I can be applied also to the analyses of agents’ attitudes. We thus explain how an agent can believe of something that it is a P and at the same time a non-P: the agent applies different viewpoint criteria to the viewed object. The inversion of perspective consisting in the perspective shifting from the believer on to the reporter in the case of attitudes de re, and from the reporter to the believer in the case of attitudes de dicto, is also analyzed. We show that there is no smooth logical traffic back and forth between such attitudes and prove that they are not equivalent. By way of conclusion, we explicate the notion of conceptual point of view and analyze cases of viewpoints given by conceptual distinction. We show, finally, that the proposed scheme of the type of point of view can be preserved, this time, however, in its extensional version. (shrink)

A theoretical device, which incorporates the functions of clock, rod, nonrotating platform, and accelerometer, and whose operation depends on the properties of light rays and free particles, is defined. The device, which we call a metrosphere, is simple enough that it can be introduced at the starting point of relativity theory and versatile enough that it can serve as an aid in the development and conceptualization of the theory. Relative to an inertial frame, a moving metrosphere undergoes a Lorentz-Fitzgerald contraction (...) and the associated clock exhibits a Lorentz-Larmor rate retardation. From this fact and the assumption that there exists one inertial frame, it is possible to generate the kinematical results of special relativity. A metrosphere provides an observer with a local frame of reference, hence it is well adapted to the needs of general relativity, allows the equivalence principle to be introduced in a straightforward manner, and permits a smooth transition from special relativity to general relativity. (shrink)

We present the (Lascar) Galois group of any countable theory as a quotient of a compact Polish group by an F_σ normal subgroup: in general, as a topological group, and under NIP, also in terms of Borel cardinality. This allows us to obtain similar results for arbitrary strong types defined on a single complete type over ∅. As an easy conclusion of our main theorem, we get the main result of [K. Krupiński, A. Pillay and T. Rzepecki, Topological dynamics and (...) the complexity of strong types, Israel J. Math.228 (2018) 863–932] which says that for any strong type defined on a single complete type over ∅, smoothness is equivalent to type-definability. We also explain how similar results are obtained in the case of bounded quotients of type-definable groups. This gives us a generalization of a former result from the paper mentioned above about bounded quotients of type-definable subgroups of definable groups. (shrink)

continent. 2.1 (2012): 6–21. The French philosopher and novelist Tristan Garcia was born in Toulouse in 1981. This makes him rather young to have written such an imaginative work of systematic philosophy as Forme et objet , 1 the latest entry in the MétaphysiqueS series at Presses universitaires de France. But this reference to Garcia’s youthfulness is not a form of condescension: by publishing a complete system of philosophy in the grand style, he has already done what none of us (...) in the older generation of speculative realists has done so far. His book is sophisticated, erudite, rigorous, imaginatively rich, and abundant in worldly wisdom– despite the author’s conclusion that wisdom does not exist. The quality and scope of Forme et objet took few observers by surprise, since Garcia has been treated as an emerging philosopher to watch across half a decade of Parisian oral tradition. But Garcia was not just the subject of rumor, being already well known to the French public as a writer of fiction. His debut novel, La meilleure part des hommes , 2 was awarded the 2008 Prix de Flore 3 and has already appeared in English as Hate: A Romance . 4 His follow-up novel, Mémoires de la jungle , 5 made clever use of a chimpanzee narrator. Nor was Garcia only published as a novelist before last November: his philosophical study L’Image 6 had already appeared when the author was just twenty-six, a year before he was crowned by the muses at the historic Café de Flore. And then in 2011, just months before the appearance of Forme et objet , Garcia published a widely distributed work entitled Nous, animaux et humains , 7 with its focus on Jeremy Bentham’s ideas about animals. Given this prolific and versatile track record, an optimistic scenario might envisage the young Garcia as one of those combined literary/philosophical talents who appear intermittently in France across the centuries: Jean-Paul Sartre is merely the most famous recent case. While more time is needed to see how Garcia will channel his impressive mental energies, Forme et objet displays such breadth of insight that its author has a good chance to emerge as one of the leading philosophers of his generation. If we accept Aristotle’s dictum that the peak mental age is fifty-one, then to read Garcia’s massive book is to gain some idea of what European philosophy might look like in the futuristic-sounding 2030’s. The present article is confined to Forme et objet . At 486 pages, the work is obviously daunting in size. Indeed, it is even longer than it sounds, given that many of its early sections are printed in a smaller typeface to designate them as supplemental commentary to the main flow of the argument. But while the length of the book reportedly led to delays in French publication, and will probably slow the inevitable appearance of an English translation, the length of the book should not deter interested readers– much of it results from Garcia’s teacherly writing style. Whereas Quentin Meillassoux’s prose displays an arctic economy of means, Garcia’s style is reminiscent of the repeated lessons of oral classroom proceedings. Rarely is the reader given fewer than three or four chances to master an idea before the author moves on to the next. In practice, the style feels welcoming rather than long-winded. Otherwise, the structure of Forme et objet is surprisingly simple. There is a useful Introduction of less than twenty pages. Then comes Book I: Formally , running to approximately 135 pages. Here Garcia outlines the most basic features of a thing “no matter what it is,” or n’importe quoi , an everyday phrase that Garcia shapes into a technical term. This part of the book feels at times like a more amiable version of Hegel’s Science of Logic , a parallel emphasized further by the threefold articulation of its theme: 1. Thing; 2. Thing and World; 3. Being and Understanding. This is followed by the much longer Book II: Objectively , totaling more than 300 pages. It contains sixteen essay-like meditations on specific kinds of objects—including time, animals, humans, history, gender, and death. Here each chapter rolls smoothly into the next, making this second part of the book feel more like a different work of Hegel: The Phenomenology of Spirit . But these are merely analogies. Garcia is no Hegelian, even if the book contains a few dialectical flourishes that seem to reflect his early enthusiasm for the Frankfurt School. Forme et objet ends with a six-page Coda, followed by the usual page of acknowledgments. In what follows, I will briefly summarize each of these four parts of the book before ending with some more general remarks. Before doing so, it will be useful to situate Garcia biographically (as much as I am able) and philosophically. Though Toulouse is his native city, his formative years were spent largely in Algeria, where his family has deep roots. During our sole private conversation, Garcia mentioned that his parents are professors of literature. 8 As a student of philosopher Garcia flourished so early that many of his current ideas date to his teenaged years: “There are sentences in Forme et objet that I wrote when I was seventeen,” he said in response to a question on that cold night on the Canal St.-Martin. I recalled that remark when reading his brilliant account, late in the book, of the central role of adolescence in contemporary culture. While many prodigies blow through their formal academic training without serious obstruction, Garcia’s student memories are rich in tales of isolation and struggle, though equally rich in gratitude for a half-dozen or so exceptional teachers who provided the intellectual space he needed: Meillassoux and Alain Badiou are simply two of the most prominent figures on that list. Though there are many points of agreement between Garcia’s philosophical position and my own, he not only reached his position years before reading my work, 9 he arrived along a rather different path: not through phenomenology, but via the Frankfurt School, which may be one of the reasons for his profound fascination with aesthetics. Garcia’s cultural background is as broad as one could wish: he is no less informed about punk rock and European football leagues than about the spiritualist roots of Bergson’s philosophy. Curious about everything and contemptuous towards nothing, Garcia can be expected to write insightfully on dozens of topics in the years to come. Given that his philosophy is so personally tantalizing in its agreements and disagreements with my own, and given the great internal richness of Forme et objet itself, the present review is no better than a first effort at coming to terms with the challenges posed by this minstrel from the rising generation. This is especially intriguing for older Generation X’ers like me, since confrontation with the younger generation is one of the many themes treated insightfully in Garcia’s book. 1. Introduction Garcia begins in defense of a so-called “flat ontology,” in which all things are equally things. While Roy Bhaskar 10 used this term pejoratively to refer to anti-realist philosophies that flatten everything onto an epistemic plane of human access, Manuel DeLanda 11 (an admirer of Bhaskar) reversed it into the positive principle that all realities are equally realities. Similar notions can be found in the “absistence” of Alexius Meinong, 12 the “irreduction” of Bruno Latour, 13 and my own critique 14 of the undermining/overmining pair. Also noteworthy is Levi Bryant’s use of the term “flat ontology” throughout The Democracy of Objects 15 and his earlier essay “The Ontic Principle.” 16 But for Garcia, flatness is only one face of the cosmos, and one that he ultimately declares to be rather impoverished. Even so, he always remains an advocate of a flat ontology. Insofar as everything is equally something, no matter what it is ( n’importe qui ), everything is equally a thing, equally solitary in its relation with world. This is why his book abounds in those long lists of random, ontologically equivalent entities that Ian Bogost has playfully termed “Latour Litanies.” 17 The first litany in Garcia’s book runs as follows: “We live in this world of things, where a cutting of acacia, a gene, a computer-generated image, a transplantable hand, a musical sample, a trademarked name, or a sexual service are comparable things.” (7) Yet Garcia is frankly dualistic; his flat ontology only lasts until page 159 and the end of Book I (entitled “Formally”), which deals entirely with things that are equally things. Thereafter Garcia turns his attention from things to objects, which are not flat in the least, but engage in hierarchical relations with one another. In agreement with both DeLanda and the speculative realists, Garcia proclaims that his book “proposes to put to the test a thought about things rather than a thought about our thought about things .” (8) Just as ducklings are “imprinted” (9) after hatching and treat the first creature they see as their mother, philosophers are imprinted by the idea with which they begin. Hence, philosophies that begin with human access will never truly find their way back to things. This makes Garcia rather suspicious of twentieth century philosophy, since “the twentieth century—to which in some way this work proposes to bid adieu—has been a period of theorizing modes of access to things rather than things...” (9) Among other possible benefits of the philosophy of things that Garcia proposes, it is fully able to account for thought as a special variant of things, while the reverse is not possible.(10) In Book I of Forme et objet , Garcia’s “things” are so flat, so de-determined, that he is forced to renounce some of the most basic features ascribed to things by most realists. As he tells us in his foreboding third footnote: “We will maintain that the solitude [of things] is less than unity, less than identity, and that it does not imply acceptance (any more than refusal) of the principle of non-contradiction.” (11) In a contemporary world cluttered with too many things, Garcia’s flat and formal plane provides us with some breathing room: “The formal plan of thought enables or re-enables us to cut short all accumulation—whether of knowing, experience, or action—by a simplicity, an impoverished surface...” (13) As Garcia says elsewhere in responding to a Deleuzian critic of the book, his starting point in flat ontology is designed to obstruct the claims of both analytic philosophy and Hegelianism: “Hence, this work seeks to protect each thing—real, imaginary, inconsistent, contradictory—both against Ockham’s Razor and against the Aufhebung or dialectical process.” 18 Yet contrary to the equalizing spirit of many flat ontologies, “we will add to our formal ontology of the equal, an objective ontology of the unequal.” (13) But initially, Garcia joins all flat ontologists in holding that everything is irreducible: “this irreducibility, which we will term the ‘chance’ of each thing... also marks the refusal of a positive thought that reduces things exclusively to natural things, or social things, or historical things, etc.” (15) This irreducible “chance” of a thing emerges as an important technical term in the book, always paired with its inverted brother, the “price to pay” ( prix à payer ). On pages 17-19, we find the only diagrams in the book. What they illustrate is that Garcia wishes to avoid two equally dangerous extremes. The first is the philosophy of substance, featuring the thing-in-itself as a mighty river fed by attributes as if by subordinate tributary streams. This model can be found in many of the classic thinkers of West and East alike. In it, “there is obviously a hierarchization between that which is dragged towards something other than itself, and this other which serves it as an ontological support while supporting its proper being.” (16) For Garcia, the second extreme worth avoiding is the philosophy of events: “One thus conceives trajectories of being, identified as events, facts, powers, intensities, or intentionality. These vectors of being come first, bearing and supporting being, displacing it, but without ever finding a stopping point, a buffer, an objective consistency.” (17) The first model gives us a thing too wrapped up in itself, too compact . This word “compact” (the French and the English are the same) is another technical term for Garcia. But if the “compact” model of things leads us to something more than things, the philosophy of events gives us less than things, by dissolving them into a play of vectors. Garcia’s alternative lies midway between these two extremes: Being enters the thing, being comes out of it. And a thing is nothing other than the difference between the enters and the being that comes out. Thus, the circuit of being is never halted. In the thing, there is never the thing-in-itself. And the thing is never in-itself, but outside of itself. Nonetheless, being is not eventally “pollinated” by vectors: it possesses an objecting halting-point... (19) This single idea is the key to Garcia’s book: the thing is neither a self-contained durable lump nor some sort of evental flux. Instead, the thing is the difference between its various components and its relations with its environment. Or stated differently: “the price to pay for this disposition is a circulation of being that systematically distinguishes two senses of things: that which is in the thing , and that in which the thing is , or that which encompasses it and that which it encompasses,” (19) translating comprendre here as “encompass.” 19 In a beautiful description of a piece of black slate, Garcia sums up the various minerals, qualities, and shapes that compose [ comprend ] it, and calls them “that which is in the thing,” (20) noting that this tells us nothing about “that in which [the slate] is”—namely, all the various situations in which the black slate can be found. Instead, the slate is the difference between these two: the most characteristic principle of Garcia’s philosophy. 2. Formally Book One of Forme et objet , “Formally,” is concerned with the formal equality of all things in a flat world. “Two questions mark the boundaries of reflection: of what is everything composed [ composé ], and: what do all things compose?” (27) Looking downward, we wish to know what everything is made of; looking upward, we want to know the ultimate result of the combination of all things. Here we must turn our attention to the thing n’importe quoi— no matter what it is. (30) Anything with finite qualities is obviously too specific to be relevant to global ontological questions. To an equal degree, something possessing all qualities (think of Whitehead’s God) 20 would not be n’importe quoi either, since it would still be too definite, even if incredibly vast. The same holds for contradictions, since these all differ from each other. The square circle, the non-white black white, and the non-city city are all too distinct to count as the thing no matter what it is. The n’importe quoi must be devoid of all specific qualities, including contradictory ones. In one of the more intriguing points in his book, so reminiscent of Meinong, Garcia proclaims that “the ‘no matter what it is’ is neither a reality nor an abstract construction, nor both of these at once; the ‘no matter what it is’ is simply the plane of equality of that which is real, that which is possible, that which is inexistent, that which is past, that which is impossible, that which is true, that which is false, that which is bad.”(39-40) Since everything has two faces, it would be a grievous mistake to focus on just one of them at the expense of the other, as physicalism or materialism do when reducing the world to minuscule physical underpinnings. For scientistic materialism, “it is either atoms, particles, or fields of force... which are the things.” (47-48) Moreover, “these more-than-things are accompanied by less-than-things: for example, ideas or facts of consciousness are determined by the state of matter and are not autonomous things, but manifestations reduced to secondary effects of material processes...” (48) On this point, Garcia’s position is in complete accord with my own critique of undermining and overmining. 21 Where we disagree is that Garcia is more deeply suspicious of the notion of substance, which I view as salvageable with a few needed changes, while Garcia sees this operation as hopeless: “A substance, in the history of philosophy, is the more-than-thing par excellence.” (51) Another agreement between our positions is visible when Garcia claims (correctly, in my opinion) “that it is vain to distinguish between things which are material and those which are not.” (52) Yet we also find an even more important disagreement, since for Garcia withdrawal cannot be the quality of a thing. Instead, the absence of a thing is simultaneous with it, embodied in all that is not it– the absence of the sculpture of a woman is to be found in the mold that appears at the same time as it, and thus withdrawal must be viewed as an “event” rather than as something pertaining to an object. For Garcia, nothing withdraws beyond access. Since we must distinguish between “that which is something” and “that which something is,” and since the former is identified with “no matter what it is is” and the latter with “ not no matter what it is,” we can say that “everything is thus a milieu, a fragile link between ‘no matter what it is’ and ‘ not no matter what it is.’” (62) And here we find Garcia’s critique of the thing-in-itself: “A thing is never defined en bloc . We can affirm that a thing is this or that, but that does not suffice. It is still necessary to state precisely that which is this thing .” (62) Stated differently, “something is not in itself : for that which is in the thing is not the thing, and that in which the thing is is not the thing.” (62) And here Garcia and I, facing the same evidence, draw opposite conclusions. For me, the fact that nothing can be identified with either its components or its concrete location means that the thing must be something in-itself distinct from both of these. Yet for Garcia, to be in-itself would mean to be identified with just one of these two extreme terms, and hence the thing can only be the difference between them. Garcia is equally suspicious of the classical tendency to view “unity” as a property of the thing, since in his eyes unity is too relational a property to belong to things. (65) While specific things are situated determinately with respect to other things, we are still speaking here about the thing no matter what it is, and this can be viewed only in terms of solitude, which all things share: a human being, a hand, or a chair or all equally things insofar as they are on their own , not insofar as they are one . (64) A thing is alone, and relates only to the one thing that is not another thing: world. In a striking parallel to my own argument for a partial revival of occasionalism, Garcia tells us that “the things communicate only by their solitude: it is because everything is equally on its own in the world that things can be together, enmeshed in one another.” (67) Alone in their solitude, things all relate to world, which serves as a mediator allowing them to become mixed up in one another. As we have seen, one reason that nothing can be in itself is because everything is in something else. For Garcia, “to be in something and to be something are equivalent.” (69) Stated more broadly, “being is thus the difference between the two aspects of each thing: that which is it, and that which it is.” (70) And even more vividly: “a thing is almost like a sack: there is that which one puts in the sack and that which remains outside the sack.” (70) But not quite like a sack, “since a thing is not a thin skin or film. Instead, a thing is comparable to a sack that is immaterial and without thickness: it is nothing other than the difference between that which is this thing and that which thing is, between content and container.” (71) Nothing can be in-itself because everything is two selves at once. For example, we cannot say that our self is defined by our consciousness: “Everything has a self because nothing is in itself. The self is not the quality of that which is related to itself (which is conscious, for example) or which thinks itself related to itself. Nonetheless, for an entity called ‘conscious’ to be related to itself, it is necessary that this very relation should be another thing than the self to which it is related.” (71) Consciousness cannot be the self, precisely because it is other than that of which it is conscious. Nothing is able to grasp itself. The self is “the function by which being and composition [ compréhension ] are mutually excluded...” (72) The self is “the point of shadow of everything that projects some light...” (72) The in-itself faces two opposite dangers: “For something to be in-itself is to be a self. Something which is a self flies out through one of its two sides... Stated differently, being in-itself is simply the possibility of a double failure.” (73) The in-itself can be termed compact : “There remains to us a means of thinking that which does not fully enter into the world, though without exiting from it. This means is what we call the compact.” (76) In a sense, the compact is the opposite of the world. For in the case of the world, everything enters it and it enters nothing; as for the compact, it enters the world (since it is something, after all) while nothing enters it. (77) The compact marks the presence of the impossible in the world. (78) It is not impossible, but possible only on the condition that it fails. (78) The time has come to speak of where a thing is located. “The sole condition of a thing is that of being in another thing than itself, and thus in another thing than something.” (78) A condition is “that which determines something, that which forms something, that in which something is.” (78) As for humans, “the condition of someone is his situation; my social condition is that which socially determines me, my place and my function...” (79) More generally, “to be conditioned is to find oneself reduced to that in which one is.” (79) Everything is conditioned, but nothing is reducible to this condition. To determine the condition of something is to determine in what it is. A thing is located in that which contradicts it, just as a statue exists in its mold, which is precisely that which it is not. Since the thing is finite and definite, its condition or form must be infinite and indefinite. That in which all things are is the world, which Garcia also terms “the whole.” (81) “To try to be in-itself is to attempt to remain outside the world. And indeed, to try to be in-itself is only a path of entry into the world.” (83) For Garcia, “the world is not the pre-existent container of the things it contains, a priori , nor the construction by the mind of a fictional ensemble of all things, a posteriori .” (85) Instead, the world is simultaneous with all things; the two always go together. The world cannot be a determinate world, such as the physical universe or mathematical space, since these are already too specific and limited. “Every determinate world, which is in fact a universe , is a ‘big thing’ [ grosse chose ]: it is a set, however vast, of composite things which itself embodies a thing.” (85) Every determinate world is really just a “big thing.” Stated differently, “it is nothing other than a balanced milieu between the things that compose it and the thing that it composes.” (85) We generally picture the world as a physical univer. (shrink)

We extend classical work by Janusz Czelakowski on the closure properties of the class of matrix models of entailment relations—nowadays more commonly called multiple-conclusion logics—to the setting of non-deterministic matrices (Nmatrices), characterizing the Nmatrix models of an arbitrary logic through a generalization of the standard class operators to the non-deterministic setting. We highlight the main differences that appear in this more general setting, in particular: the possibility to obtain Nmatrix quotients using any compatible equivalence relation (not necessarily a congruence); the (...) problem of determining when strict homomorphisms preserve the logic of a given Nmatrix; the fact that the operations of taking images and preimages cannot be swapped, which determines the exact sequence of operators that generates, from any complete semantics, the class of all Nmatrix models of a logic. Many results, on the other hand, generalize smoothly to the non-deterministic setting: we show for instance that a logic is finitely based if and only if both the class of its Nmatrix models and its complement are closed under ultraproducts. We conclude by mentioning possible developments in adapting the Abstract Algebraic Logic approach to logics induced by Nmatrices and the associated equational reasoning over non-deterministic algebras. (shrink)

Asperó and Schindler have completely solved the Axiom [Formula: see text] vs. [Formula: see text] problem. They have proved that if [Formula: see text] holds then Axiom [Formula: see text] holds, with no additional assumptions. The key question now concerns the relationship between [Formula: see text] and Axiom [Formula: see text]. This is because the foundational issues raised by the problem of Axiom [Formula: see text] vs. [Formula: see text] arguably persist in the problem of Axiom [Formula: see text] vs. (...) [Formula: see text]. The first of our two main theorems is that Axiom [Formula: see text] is equivalent to Axiom [Formula: see text], and as a corollary we show that Axiom [Formula: see text] fails in all the known models of [Formula: see text]. This suggests that [Formula: see text] actually refutes Axiom [Formula: see text]. Our second main theorem is that the [Formula: see text] Conjecture holds assuming [Formula: see text]. This is the strongest partial result known on this conjecture which is one of the central open problems of [Formula: see text]-theory and [Formula: see text]-logic. These results identify a fundamental asymmetry between the Continuum Hypothesis and any axiom which is both [Formula: see text]-expressible and which implies [Formula: see text], on the basis of generic absoluteness for the simplest of the nontrivial sentences of Third-Order Number Theory. These are the [Formula: see text]-sentences with no parameters. Such sentences are those which simply assert the existence of a set [Formula: see text] for which some property involving only quantification over [Formula: see text] holds. (shrink)

We introduce the notions of syntactic synonymy and referential syn- onymy due to Moschovakis. Those notions are capable of accounting for fine- grained aspects of the meaning of linguistic expressions, by formalizing the Fregean distinction between sense and denotation. We integrate Moschovakis’s theory with the theory of concepts developed in the foundational ontology DOLCE, in order to enable a formal treatment of equivalence between concepts.

We study smooth classes without the algebraic closure property. For such smooth classes we investigate the simplicity of the class of generic structures, in the context of Robinson theories.

In the fourteenth plateau of A Thousand Plateaus, Deleuze and Guattari develop a dichotomy between two kinds of space – the smooth and the striated. What I want to focus on in this chapter is the status of these two conceptions of space. As Deleuze and Guattari note, these two forms of space are only discovered in a mixed form, yet are capable of being analysed de jure through their separation. In this sense, the plateau on the smooth (...) and striated can be seen as something like a transcendental deduction of their ontology of spaces. I will explore what Deleuze and Guattari mean when they say that they want to construct a theo-noology of smooth and striated spaces. I want to look at the ethical implications of this distinction, before looking at some alternative approaches to the issue of space. It should be noted that the question of the striation of space is one that is shared by Bergson, Heidegger, Merleau-Ponty and Sartre among others. The novelty of Deleuze and Guattari’s account is in their formulation of the notion of smooth space as a response. I will begin by looking at the notion of striated space itself, and in particular will explore the degree to which we should see it as a structure or as a method, and the interrelation between these two characterisations. (shrink)

Are theories ‘underdetermined by the evidence’ in any way that should worry the scientific realist? I argue that no convincing reason has been given for thinking so. A crucial distinction is drawn between data equivalence and empirical equivalence. Duhem showed that it is always possible to produce a data equivalent rival to any accepted scientific theory. But there is no reason to regard such a rival as equally well empirically supported and hence no threat to realism. Two theories are empirically (...) equivalent if they share all consequences expressed in purely observational vocabulary. This is a much stronger requirement than has hitherto been recognised— two such ‘rival’ theories must in fact agree on many claims that are clearly theoretical in nature. Given this, it is unclear how much of an impact on realism a demonstration that there is always an empirically equivalent ‘rival’ to any accepted theory would have—even if such a demonstration could be produced. Certainly in the case of the version of realism that I defend—structural realism—such a demonstration would have precisely no impact: two empirically equivalent theories are, according to structural realism, cognitively indistinguishable. (shrink)

We shall construct a smooth category of mice and embeddings in the core model for measures of order 0. The existence of such a category implies that the global principle □ holds in K. We then prove a much stronger, the so-called condensation-coherent version of global □. The key tool of the whole construction is a new criterion on preserving soundness under condensation.

들뢰즈(와 과타리)에 따르면 공간은 추상적, 등질적, 선험적 조건으로 이해되지 않는다. 공간은 실제로 혼합되어 존재할지라도, 경향성의 차이에 따라 매끈한 공간과 홈 파인 공간으로 분류되어야 한다. 홈 파인 공간에서는 모든 것이 기존 규칙에 따라 조직된다. 반면 매끈한 공간에서는 가장 조직화된 것조차도 가능성을 향해 해방될 수 있다. 장기의 공간은 홈 파인 공간이며, 바둑의 공간은 매끈한 공간이다. E. 라로슈의 연구에 따르면, 노모스의 의미도 호메로스 시대와 고전기 시대에 서로 달랐다. 호메로스 시대에 노모스는 매끈한 공간에서 ‘분배하기’를 뜻한 반면, 고전기에는 홈 파인 공간에서 ‘배당하기’를 뜻했다. 전쟁기계의 임무는 (...) 매끈한 공간을 만드는 일이다. 따라서 전쟁기계의 역할은 예술가나 실험가의 역할과 같다고 할 수 있다. (shrink)

I propose a theory of space with infinitesimal regions called smooth infinitesimal geometry based on certain algebraic objects, which regiments a mode of reasoning heuristically used by geometricists and physicists. I argue that SIG has the following utilities. It provides a simple metaphysics of vector fields and tangent space that are otherwise perplexing. A tangent space can be considered an infinitesimal region of space. It generalizes a standard implementation of spacetime algebraicism called Einstein algebras. It solves the long-standing problem (...) of interpreting smooth infinitesimal analysis realistically, an alternative foundation of spacetime theories to real analysis, 277–392, 1980). SIA is formulated in intuitionistic logic and is thought to have no classical reformulations. Against this, I argue that SIG is such a reformulation. But SIG has an unorthodox mereology, in which the principle of supplementation fails. (shrink)

Journal Name: Cognitive Linguistics Issue: Ahead of print.

We give an almost explicit presentation of exotic functions corresponding to some exotic smooth structure on topologically trivial R4. The construction relies on the model-theoretic tools from the previous paper. We can formulate unexpected, yet direct connection between ‘‘localized’’ exotic small R4’s and some noncommutative spaces. The formalism of QM can be interpreted in terms of exotic smooth R4’s localized in spacetime. A new way of looking at the problem of decoherence is suggested. The 4-dimensional spacetime itself has (...) built-in means which may enforce a kind of decoherence. (shrink)

This paper presents an integrated approach to plan smooth path for robots docking in unknown environments with obstacles. To determine the smooth collision-free path in obstacle environment, a tree structure with heuristic expanding strategy is designed as the foundation of path planning in this approach. The tree employs 3D Dubins curves as its branches and foundation for path feasibility evaluation. For the efficiency of the tree expanding in obstacle environment, intermediate nodes and collision-free branches are determined inspired by (...) the elastic band theory. A feasible path is chosen as the shortest series of branches that connects to the docking station after the sufficient expansion of the tree. Simulation results are presented to show the validity and feasibility of the proposed approach. (shrink)

In ‘How to part ways smoothly’ Hud Hudson (2007) presents ‘two temporally-continuous spatially unextended material objects that ... share all of their temporal parts up until their very last time-slice’ (2007: 156). They share their location throughout all but the last instant of their lives, at which instant they are a metre apart. Hudson claims that they part smoothly. I shall show that they don’t.

Smooth muscle cells squeeze the blood back to your heart, raise the hackles on your neck and change the F‐stop of your eyes. The past year has provided penetrating new insights into their mechanism of contraction.