Abstract
We define the notion of “potential existence” by starting from the fact that in multi-valued logic the existential quantifier is interpreted by the least upper bound operator. Besides, we try to define in a general way how to pass from potential into actual existence.
Similar content being viewed by others
References
Bell, J. L., and A. B. Slomson, Models and Ultraproducts, North-Holland, 1971.
Biacino L., Gerla G. (2002) ‘Fuzzy logic, continuity and effectiveness’. Archive for Mathematical Logic 41:643–667
Casati, R., and A. Varzi, ‘Spatial Entities’, in Oliviero Stock (ed.), Spatial and Temporal Reasoning, Kluwer, 1997, pp. 73–96.
Chang, C. C., and H. J. Keisler, Continuous Model Theory, Princeton University Press, 1966.
Di Nola A., Gerla G. (1986). ‘Fuzzy models of first order languages’. Zeitschr. f. math. Logik und Grundlagen d. Math. 32:331–340
Hájek, P., Metamathematics of Fuzzy Logic, Kluwer Academic Publishers, 1998.
Formato F., and Gerla G. (1998). ‘Grasping Infinity by Finite Sets’. Math. Log. Quart. 44:383–393
Gerla, G., ‘Pointless geometries’, in F. Buekenhout (ed.), Handbook of Incidence Geometry, Elsevier Science, 1994, pp. 1015–1031.
Gerla G. (1990). ‘Pointless metric spaces’. J. Symbolic Logic 55:207–219
Gerla, G., Fuzzy Logic: Mathematical Tools for Approximate Reasoning, Kluwer Academic Publishers, 2001.
Gerla G., and Miranda A. (2004). ‘Graded inclusion and point-free geometry’. International Journal of Pure and Applied Mathematics 11:63–81
Novak, V., I. Perfilieva, and J. Mockor, Mathematical Principles of Fuzzy Logic, Kluwer, 1999.
Pavelka J. (1979). ‘On fuzzy logic I: Many-valued rules of inference’. Zeitschr. f. math. Logik und Grundlagen d. Math. 25:45–52
Whitehead A.N. (1919) An Inquiry Concerning the Principles of Natural Knowledge. Univ. Press. Cambrige
Whitehead A.N. (1920) The Concept of Nature. Univ. Press, Cambrige
Whitehead, A. N., Process and Reality, Macmillan, 1929.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gerla, G. Multivalued Logic to Transform Potential into Actual Objects. Stud Logica 86, 69–87 (2007). https://doi.org/10.1007/s11225-007-9046-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9046-9