Giangiacomo Gerla

We suggest possible approaches to point-free geometry based on multi-valued logic. The idea is to assume as primitives the notion of a region together with suitable vague predicates whose meaning is geometrical in nature, e.g. ‘close’, ‘small’, ‘contained’. Accordingly, some first-order multi-valued theories are proposed. We show that, given a multi-valued model of one of these theories, by a suitable definition of point and distance we can construct a metrical space in a natural way. Taking into account that interesting metrical approaches to geometry exist, this looks to be promising for a point-free foundation of the notion of space. We hope also that this way to face point-free geometry provides a tool to illustrate the passage from a naïve and ‘qualitative’ approach to geometry to the ‘quantitative’ approach of advanced science.

This note is motivated by Whitehead’s researches in inclusion-based point-free geometry as exposed in An Inquiry Concerning the Principles of Natural Knowledge and in The concept of Nature. More precisely, we observe that Whitehead’s definition of point, based on the notions of abstractive class and covering, is not adequate. Indeed, if we admit such a definition it is also questionable that a point exists. On the contrary our approach, in which the diameter is a further primitive, enables us to avoid such a drawback. Moreover, since such a notion enables us to define a metric in the set of points, our proposal looks to be a good starting point for a foundation of the geometry metrical in nature (as proposed, for example, by L.M. Blumenthal)

A metric approach to Popper's verisimilitude question is proposed which is related to point-free geometry. Indeed, we define the theory of approximate metric spaces whose primitive notions are regions, inclusion relation, minimum distance, and maximum distance between regions. Then, we show that the class of possible scientific theories has the structure of an approximate metric space. So, we can define the verisimilitude of a theory as a function of its (approximate) distance from the truth. This avoids some of the difficulties arising from the known definitions of verisimilitude.

In the common man reasoning the presence of vague predicates is pervasive and under the name “fuzzy logic in narrow sense” or “formal fuzzy logic” there are a series of attempts to formalize such a kind of phenomenon. This paper is devoted to discussing the limits of these attempts both from a technical point of view and with respect the original and principal task: to define a mathematical model of the vagueness. For example, one argues that, since vagueness is necessarily connected with the intuition of the continuum, we have to look at the order-based topology of the interval [0,1] and not at the discrete topology of the set {0,1}. In accordance, in switching from classical logic to a logic for the vague predicates, we cannot avoid the use of the basic notions of real analysis as, for example, the ones of “approximation“, “convergence“, “continuity“. In accordance, instead of defining the compactness of the logical consequence operator and of the deduction operator in terms of finiteness, we have to define it in terms of continuity. Also, the effectiveness of the deduction apparatus has to be defined by using the tools of constructive real analysis and not the one of recursive arithmetic. This means that decidability and semi-decidability have to be defined by involving effective limit processes and not by finite steps stopping processes.

De Cock and Kerre, in considering Poincaré paradox, observed that the intuitive notion of "approximate similarity" cannot be adequately represented by the fuzzy equivalence relations. In this note we argue that the deduction apparatus of fuzzy logic gives adequate tools with which to face the question. Indeed, a first-order theory is proposed whose fuzzy models are plausible candidates for the notion of approximate similarity. A connection between these structures and the point-free metric spaces is also established

We propose a first order modal logic, theQS4E-logic, obtained by adding to the well-known first order modal logicQS4 arigidity axiom schemas:A → □A, whereA denotes a basic formula. In this logic, thepossibility entails the possibility of extending a given classical first order model. This allows us to express some important concepts of classical model theory, such as existential completeness and the state of being infinitely generic, that are not expressibile in classical first order logic. Since they can be expressed in -logic, we are also induced to compare the expressive powers ofQS4E and . Some questions concerning the power of rigidity axiom are also examined.

Let S be a set, P the class of all subsets of S and F the class of all fuzzy subsets of S. In this paper an “extension principle” for closure operators and, in particular, for deduction systems is proposed and examined. Namely we propose a way to extend any closure operator J defined in P into a fuzzy closure operator J* defined in F. This enables us to give the notion of canonical extension of a deduction system and to give interesting examples of fuzzy logics. In particular, the canonical extension of the classical propositional calculus is defined and it is showed its connection with possibility and necessity measures. Also, the canonical extension of first order logic enables us to extend some basic notions of programming logic, namely to define the fuzzy Herbrand models of a fuzzy program. Finally, we show that the extension principle enables us to obtain fuzzy logics related to fuzzy subalgebra theory and graded consequence relation theory