Towards a logic of semiotic systems
Mathématiques informatique et sciences humaines, Tome 117 (1992), pp. 49-60.

L'approche rationnelle dénotationnelle de la sémantique n'est pas propre à saisir la dimension structurelle de la signification qui est immanente dans les systèmes sémiotiques. Le besoin d'une approche structurelle s'intensifie en raison d'un changement d'attitude dans le domaine de l'Intelligence Artificielle, introduit par le «Connectionism» et «l'Information retrieval». Cet article présente ce type d'approche sémantique fondée sur la phénoménologie et l'autopoesis et propose une formalisation par la théorie des catégories.

The rationalistic denotational approach to semantics is not adequate for capturing the structural dimension of meaning, which is immanent in semiotic systems. The demand for a structural approach to semantics is intensified by a turn in Artificial Intelligence, introduced by Connectionism and Information Retrieval. This paper presents such a structural approach to semantics founded on the phenomenological and autopoietic paradigms and proposes a formalization with the help of category theory.

@article{MSH_1992__117__49_0,
     author = {Thiopoulos, Constantin},
     title = {Towards a logic of semiotic systems},
     journal = {Math\'ematiques informatique et sciences humaines},
     pages = {49--60},
     publisher = {Ecole des hautes-\'etudes en sciences sociales},
     volume = {117},
     year = {1992},
     mrnumber = {1164608},
     zbl = {0846.68065},
     language = {en},
     url = {http://archive.numdam.org/item/MSH_1992__117__49_0/}
}
TY  - JOUR
AU  - Thiopoulos, Constantin
TI  - Towards a logic of semiotic systems
JO  - Mathématiques informatique et sciences humaines
PY  - 1992
SP  - 49
EP  - 60
VL  - 117
PB  - Ecole des hautes-études en sciences sociales
UR  - http://archive.numdam.org/item/MSH_1992__117__49_0/
LA  - en
ID  - MSH_1992__117__49_0
ER  - 
%0 Journal Article
%A Thiopoulos, Constantin
%T Towards a logic of semiotic systems
%J Mathématiques informatique et sciences humaines
%D 1992
%P 49-60
%V 117
%I Ecole des hautes-études en sciences sociales
%U http://archive.numdam.org/item/MSH_1992__117__49_0/
%G en
%F MSH_1992__117__49_0
Thiopoulos, Constantin. Towards a logic of semiotic systems. Mathématiques informatique et sciences humaines, Tome 117 (1992), pp. 49-60. http://archive.numdam.org/item/MSH_1992__117__49_0/

Barwise, J. & Perry, J., Situations and attitudes, Cambridge, MIT Press, 1983.

Bell, J.L., "Categories, toposes and sets", Synthese, 51, 293-337, 1982. | MR | Zbl

Dreyfus, H.L., What computers can't do, New York, Harper & Row, 1972.

Eco, U., The role of the reader, Bloomington, Indiana University Press, 1979.

EILENBERG, S. & HARRISON, D.K. & MAC LANE, S. (Eds.), Proceedings of the conference on categorical algebra, La Jolla 1965, Berlin, Springer, 1966. | Zbl

Goldblatt, R. Topoi, The categorial analysis of logic, Amsterdam, North-Holland, 1979. | MR | Zbl

Heidegger, M., Sein und Zeit, Tübingen, Max Niemeyer, 1979, first print : 1927. | JFM

Hjelmslev, L., Prolegomena to a theory of language, Madison, University of Wisconsin, 1961.

Hubel, D.H.," The visual cortex of the brain", Scientific American, November, 1963.

Husserl, E., Ideen zu einer reinen Phaenomenologie und phaenomenologischen Philosophie. Husserliana Band III1, Den Haag, Martinus Nijhoff, 1976.

Johnstone, P., Topos theory, London, New York, Academic Press, 1977. | MR | Zbl

Lambek, J. & Scott P.J., Introduction to higher order categorical logic, Cambridge, Cambridge University Press, 1986. | MR | Zbl

Lawvere, F.W., The category of categories as a foundation for mathematics, in Eilenberg et al 1966, 1-20. | MR | Zbl

Mac Lane, S., Kategorien, Berlin, Springer, 1972. | Zbl

Makkai, M. & Reyes, G.E., First order categorical logic, Berlin, Springer, 1977. | MR | Zbl

Maturana, H., "Biology of language", in MILLER, G.A. & LENNEBERG, E. (Eds.), Psychology and biology of language and thought., New York, Academic Press, 1978.

Maturana, H. & Varela, F., Autopoiesis and cognition, Dordrecht, D. Reidel, 1980.

Merleau-Ponty, M., Die Struktur des Verhaltens, Berlin, De Gruyter, 1976, first print : 1942.

Merleau-Ponty, M., Phaenomenologie der Wahrnehmung, Berlin, De Gruyter, 1974, first print : 1945.

Norman, D.A. & Rumelhart, D.E., Explorations in cognition, San Francisco, Freeman, 1975.

Rieger, B., Unscharfe Semantik, Frankfurt am Main, Peter Lang, 1989.

Rieger, B., "Unscharfe Semantik : zur numerischen Modellierung vager Bedeutungen von Wörtern als fuzzy Mengen", in H.J. Friemel & G. Müller-Schönberger & A. Schütt (Hrsg.) Forum 90 Wissenschaft und Technik, Berlin, Springer, 1990.

Rieger B.&Amp; Thiopoulos, C., "A self-organizing system in hypertext", to appear in Proceedings of the first conference on quantitative linguistics, Trier, 1991.

Rijsbergen Van, C.J., "Towards an information logic", in N.J Belkin & C.J. van Rijsbergen (eds.), Proccedings of the twelfth annual international ACMSIGIR conference on research and development in information retrieval, Cambridge, Massachusetts, special issue of the SIGIR Forum, 1989.

Tarski, A., Logic, semantics, metamathematics, Oxford, Clarendon Press, 1956. | MR | Zbl

Thiopoulos, C., "Meaning metamorphosis in the semiotic topos", Theoretical Linguistics, 16(21), 1990. | MR

Varela, F., Principles of biological autonomy, New York, North-Holland, 1979.

Winograd, T. & Flores, F., Understanding computers and cognition, Norwood, NJ., Ablex, 1986.