Poincaré on the Foundation of Geometry in the Understanding

This paper is about Poincaré’s view of the foundations of geometry. According to the established view, which has been inherited from the logical positivists, Poincaré, like Hilbert, held that axioms in geometry are schemata that provide implicit definitions of geometric terms, a view he expresses by stating that the axioms of geometry are “definitions in disguise.” I argue that this view does not accord well with Poincaré’s core commitment in the philosophy of geometry: the view that geometry is the study of groups of operations. In place of the established view I offer a revised view, according to which Poincaré held that axioms in geometry are in fact assertions about invariants of groups. Groups, as forms of the understanding, are prior in conception to the objects of geometry and afford the proper definition of those objects, according to Poincaré. Poincaré’s view therefore contrasts sharply with Kant’s foundation of geometry in a unique form of sensibility. According to my interpretation, axioms are not definitions in disguise because they themselves implicitly define their terms, but rather because they disguise the definitions which imply them

Topological Foundations of Cognitive Science

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Ki

Tailoring temporal description logics for reasoning over temporal conceptual models

Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelling Language (UML) have been temporally extended to design temporal databases. To automatically check quality properties of conceptual schemas various encoding to Description Logics (DLs) have been proposed in the literature. On the other hand, reasoning on temporally extended DLs turn out to be too complex for effective reasoning ranging from 2ExpTime up to undecidable languages. We propose here to temporalize the ‘light-weight’ DL-Lite logics obtaining nice computational results while still being able to represent various constraints of temporal conceptual models. In particular, we consider temporal extensions of DL-Lite^N_bool, which was shown to be adequate for capturing non-temporal conceptual models without relationship inclusion, and its fragment DL-Lite^N_core with most primitive concept inclusions, which are nevertheless enough to represent almost all types of atemporal constraints (apart from covering)

New foundations for qualitative physics

Physical reality is all the reality we have, and so physical theory in the standard sense is all the ontology we need. This, at least, was an assumption taken almost universally for granted by the advocates of exact philosophy for much of the present century. Every event, it was held, is a physical event, and all structure in reality is physical structure. The grip of this assumption has perhaps been gradually weakened in recent years as far as the sciences of mind are concerned. When it comes to the sciences of external reality, however, it continues to hold sway, so that contemporary philosophers B even while devoting vast amounts of attention to the language we use in describing the world of everyday experience B still refuse to see this world as being itself a proper object of theoretical concern. Here, however, we shall argue that the usual conception of physical reality as constituting a unique bedrock of objectivity reflects a rather archaic view as to the nature of physics itself and is in fact incompatible with the development of the discipline since Newton. More specifically, we shall seek to show that the world of qualitative structures, for example of colour and sound, or the commonsense world of coloured and sounding things, can be treated scientifically (ontologically) on its own terms, and that such a treatment can help us better to understand the structures both of physical reality and of cognition

Introduction

There has been little overt discussion of the experimental philosophy of logic or mathematics. So it may be tempting to assume that application of the methods of experimental philosophy to these areas is impractical or unavailing. This assumption is undercut by three trends in recent research: a renewed interest in historical antecedents of experimental philosophy in philosophical logic; a “practice turn” in the philosophies of mathematics and logic; and philosophical interest in a substantial body of work in adjacent disciplines, such as the psychology of reasoning and mathematics education. This introduction offers a snapshot of each trend and addresses how they intersect with some of the standard criticisms of experimental philosophy. It also briefly summarizes the specific contribution of the other chapters of this book

Toward a Systematic Evidence-Base for Science in Out-of-School Time: The Role of Assessment

Analyzes the tools used in assessments of afterschool and summer science programs, explores the need for comprehensive tools for comparisons across programs, and discusses the most effective structure and format for such a tool. Includes recommendations

The Formula of Justice: The OntoTopological Basis of Physica and Mathematica*

Dialectica: Mathematica and Physica, Truth and Justice, Trick and Life. Mathematica as the Constructive Metaphysica and Ontology. Mathematica as the constructive existential method. Сonsciousness and Mathematica: Dialectica of "eidos" and "logos". Mathematica is the Total Dialectica. The basic maternal Structure - "La Structure mère". Mathematica and Physica: loss of existential certainty. Is effectiveness of Mathematica "unreasonable"? The ontological structure of space. Axiomatization of the ontological basis of knowledge: one axiom, one principle and one mathematical object. The main ideas and concepts of the ontological construction/ "Point with a vector germ" and "heavenly triangle". "Ordo geometricus" and "Ordo onto-topological". Architecture of the onto-topological basis of knowledge: general framework structure, carcass and foundation. The absolute space and the absolute field. The absolute (natural) system of coordinates of Universum. Eidos of "idea of ideas", the symbol and the "formula of Justice"

Multiple perspectives on the concept of conditional probability

Conditional probability is a key to the subjectivist theory of probability; however, it plays a subsidiary role in the usual conception of probability where its counterpart, namely independence is of basic importance. The paper investigates these concepts from various perspectives in order to shed light on their multi-faceted character. We will include the mathematical, philosophical, and educational perspectives. Furthermore, we will inspect conditional probability from the corners of competing ideas and solving strategies. For the comprehension of conditional probability, a wider approach is urgently needed to overcome the well-known problems in learning the concepts, which seem nearly unaffected by teaching