Abstract
From a logical viewpoint, object is never defined, even by a negative definition. This paper is a theoretical contribution about object using a new constructivist logical approach called Logic of Determination of Objects founded on a basic operation, called determination. This new logic takes into account cognitive problems such as the inheritance of properties by non typical occurrences or by indeterminate atypical objects in opposition to prototypes that are typical completely determinate objects. We show how extensional classes, intensions, more and less determined objects, more or less typical representatives of a concept and prototypes are defined and organized, using a determination operation that constructs a class of indeterminate objects from an object representation of a concept called typical object.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Curry, H.B., Feys, R.: Combinatory logic, vol. 1. North Holland, Amsterdam (1958)
Desclés, J.P.: Implication entre concepts, la notion de typicalité. Travaux de linguistique et de littrature, XXIV, 1 Paris, 79–102 (1986)
Desclés, J.P.: Thorie de la typicalité. In: L’A-peu-près - Aspects anciens et modernes de l’approximation, pp. 183–195, l’EHESS, Paris (1987)
Desclés J.P.: Langages applicatifs, langues naturelles et cognition. Hermès, Paris (1990)
Desclés J.P., Cheong K.S.: Analyse critique de la notion de variable. Mathématiques et Sciences humaines 173, 43–102 (2006)
Desclés J.P., Pascu A.: Logic of determination of objects— the meaning of variable in quantification. Int. J. Artif. Intell. Tools 6, 1041–1052 (2006)
Hilbert D., Bernays P.: Grundlagen der Mathematik, vol. 2. Springer, Berlin (1939)
Pascu, A.: Logique de Détermination d’Objets: concepts de base et mathématisation en vue d’une modélisation objet. Thèse de doctorat, Univesité de Paris-Sorbonne (2001)
Pascu, A.: Les objets dans la représentation des connaissances. In: Application aux processus de catégorisation en informatique et sciences humaines. Habilitation à diriger des recherches, Paris-Sorbonne (2006)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Desclés, JP., Pascu, A. Logic of Determination of Objects (LDO): How to Articulate “Extension” with “Intension” and “Objects” with “Concepts”. Log. Univers. 5, 75–89 (2011). https://doi.org/10.1007/s11787-011-0024-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-011-0024-7