Skip to main content

Computer Science between Symbolic Representation and Open Construction

  • Chapter
Logic versus Approximation

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3075))

  • 594 Accesses

Abstract

Computer science (and AI along with it) has fundamentally different operational possibilities. Firstly, in that humans represent a problem area explicitly symbolically and put the solution of the problem into algorithm, in order to ensure a complete problem solution. Secondly, in that they – using the preconditioned computer less as a controlled transformation medium than as a to a certain extent unknown physical system – initialise a certain approach and observe the calculation process, and thirdly as a medium for the representation of pictures, dynamics, etc.. My paper focuses on basic questions of representation by means of computers, which are directed in particular towards the character of the symbolic and the pictorial, the discrete and the continuous, and thinking in symbols and in analogue structures respectively.

The opposition of logic and approximation is connected with the oppositions of discrete and continuous, that is finite and infinite, digital and analogue, number/script and picture and also calculation and simulation, closed and open solutions, structuralism and constructivism. Signs, symbols, numbers, letters, letter scripts (such as the Korean or Roman alphabets), algorithms, logic, complete models are therefore opposed to the continuous, the analogue, pictures, pictorial script (Chinese, some Japanese scripts), simulation, statistics and probability, and evolutionary models.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Andersen, P.B.: A theory of computer semiotics. In: Semiotic approaches to construction and assessment of computer systems, Cambridge University Press, Cambridge (1990)

    Google Scholar 

  2. Andersen, P.B.: http://www.cs.auc.dk/%7Epba

  3. Coy, W.: Analog/Digital - Bild, Schrift & Zahl als Basismedien. In: H. Schanze u.a. Bildschirmmedien (2001)

    Google Scholar 

  4. Flusser, V.: Für eine Philosophie der Fotografie. Göttingen (1983)

    Google Scholar 

  5. Flusser, V.: Die Schrift. Hat Schreiben Zukunft? Frankfurt a.M (1992)

    Google Scholar 

  6. Flusser, V.: Lob der Oberflächlichkeit. Für eine Phänomenologie der Medien, 2., durchgeseh. Aufl., Mannheim (1995)

    Google Scholar 

  7. Grube, G.: Modellierung in der Informatik. In: Fischer, M., Grube, G., Reisin, F.M. (eds.) Abbild oder Konstruktion – Modellierungsperspektiven in der Informatik KIT Report 125. TU Berlin (1995)

    Google Scholar 

  8. Heintz, B.: Zeichen, die Bilder schaffen. In: Hofbauer, J., Prabitz, G., Wallmannsberger, J. (eds.) Bilder, Symbole, Metaphern. Visualisierung und Informierung in der Moderne, Wien, pp. 47–81 (1995)

    Google Scholar 

  9. Hennig, J.: Chancen und Probleme bildgebender Verfahren für die Neurologie. In: Schinzel (ed.) Interdisziplinäre Informatik: Neue Möglichkeiten und Probleme für die Darstellung komplexer Strukturen am Beispiel neurobiologischen Wissens, vol. 3, Freiburger Universitätsblätter, Rombach (2001)

    Google Scholar 

  10. Keim, D.: Visual Exploration of Large Data Sets; in Visualizing Everything. Comm. ACM 44(8) (August 2002)

    Google Scholar 

  11. Krämer, S.: Symbolische Maschinen: die Idee der Formalisierung in geschichtlichem Abriß. Wiss. Buchges. Darmstadt (1988)

    Google Scholar 

  12. Mitchell, W.J.T.: Der Pictorial Turn. In: Kravagna, C. (ed.) Privileg Blick, pp. 15–40. Kritik der visuellen Kultur, Berlin (1997)

    Google Scholar 

  13. Nake, F.: Von der Interaktion. Über den instrumentalen und den medialen Charakter des Computers. In: Nake, F. (ed.) Die erträgliche Leichtigkeit der Zeichen. Ästhetik Semiotik Informatik, pp. 165–189. Agis Verlag, Baden-Baden (1993)

    Google Scholar 

  14. Peirce: http://www.helsinki.fi/science/commens/die , http://santana.uni-muenster.de/Linguistik/user/steiner/semindex/peirce.html , http://www.iupui.edu/%7Epeirce/web/ep/ep2/ep2book/ch02/ep2ch2.htm

  15. Pflüger, J.-M.: Informatik auf der Mauer. Informatik Spektrum 17(6) (1994)

    Google Scholar 

  16. Pflüger, J.-M.: Vom Umschlag der Quantität in Qualität – 9,499...Thesen zum Verhältnis zwischen Analogem und digitalem. In: Warnke, M. (ed.) Computer als Medium \(_{"}\)Hyperkult 12“, analog digital - Kunst und Wissenschaft zwischen Messen und Zählen, July 24-26 (2003)

    Google Scholar 

  17. Pörksen, U.: Weltmarkt der Bilder. Eine Philosophie der Visiotype, Klett-Cotta, Stuttgart (1997)

    Google Scholar 

  18. Schaub, M.: Künstliche und natürliche Sprache. OLMS Philosophische Texte und Studien, Hildesheim, Zürich, New York (1992)

    Google Scholar 

  19. Schinzel, B.: Körperbilder in der Biomedizin. In: Frei Gerlach, F., et al. (eds.) Körperkonzepte, Waxmann, Münster (2003)

    Google Scholar 

  20. Schinzel, B.: Informatik im Kontext der Genderforschung in Technik und Naturwissenschaft, December 2001. FIFF-Kommunikation, vol. 4, pp. 19–28 (2001)

    Google Scholar 

  21. Schinzel, B. (ed.): Interdisziplinäre Informatik: Neue Möglichkeiten und Probleme für die Darstellung und Integration komplexer Strukturen in verschiedenen Feldern der Neurologie, Rombach, Freiburg. Freiburger Universitätsblätter Heft, vol. 149(3), p. 180. Heft (2001)

    Google Scholar 

  22. Schinzel, B.: Women’s Ways of Tackling the Specification Problem. AISB Quarterly (Journal of the Society of Artificial Intelligence and Simulation of Behaviour) (100), 18–23 (1998)

    Google Scholar 

  23. Schinzel, B.: Komplexität als Ursache für Fehler in und Risiken mit Software. FIfF-Kommunikation 1, 18–21 (1998)

    Google Scholar 

  24. Schmitz, S.: Informationssysteme zu neurobiologischem Wissen – Chancen und Grenzen. In: Schinzel (ed.) Interdisziplinäre Informatik: Neue Möglichkeiten und Probleme für die Darstellung komplexer Strukturen am Beispiel neurobiologischen Wissens, vol. 3, Freiburger Universitätsblätter, Rombach (2001)

    Google Scholar 

  25. Steinbrenner, J., Winko, U.: Die Philosophie der Bilder. In: Dies.: Bilder in der Philosophie & in anderen Künsten & Wissenschaften, Paderborn/München/Wien/Zürich, pp. 13–40 (1997)

    Google Scholar 

  26. Tarski, A.: Der Wahrheitsbegriff in den formalisierten Sprachen. In: Berka, K., Kreiser, L. (eds.) Logik-Texte, Berlin, p. 443 (1983)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Schinzel, B. (2004). Computer Science between Symbolic Representation and Open Construction. In: Lenski, W. (eds) Logic versus Approximation. Lecture Notes in Computer Science, vol 3075. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25967-1_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-25967-1_6

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22562-1

  • Online ISBN: 978-3-540-25967-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics