Skip to main content
SpringerLink
Log in

Logical fiberings and polycontextural systems

  • Part II Selected Contributions
  • Conference paper
  • First Online:
Fundamentals of Artificial Intelligence Research (FAIR 1991)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 535))

Abstract

Based on the notion of abstract fiber spaces the concept of a logical fibering is developed. This was motivated by a project where so-called polycontextural logics were discussed. The fiber space approach provides a rather general framework for the modeling of such non classical logics. It gives the possibility to construct a variety of new logical spaces from a given (indexed) system of logics. These spaces are in some sense parallel (inference) systems. We can give a straight forward definition and classification of the so-called transjunctions arising in polycontextural logics. These are bivariate operations having values distributed over different logical subsystems. Univariate, bivariate operations are introduced in functional notation. The group generated by the generalized negation operations and system changes is investigated. We make some remarks on aspects of applicability and links to other work.

sponsored by the Austrian Ministry of Science and Research (BWF), ESPRIT BRA 3125 “MEDLAR”

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

10 References

Selected Literature on Polycontextural Logic

  1. G. Günther. Beiträge zur Grundlegung einer operationsfähigen Dialektik, 3 volumes. Felix Meiner Verlag, Hamburg 1980

    Google Scholar 

  2. G. Günther. Cybernetic Ontology and Transjunctional Operations. Biological Computer Lab. Publ. vol.68 (Urbana, Ill.), published in 'self-organizing Systems 1962', Spartan Books, Washington, D.C., pp..313–392 (1962).

    Google Scholar 

  3. R.Kaehr. Materialien zur Formalisierung der dialektischen Logik und der Morphogrammatik 1973–1975. In: Idee und Grundriß einer nicht-aristotelischen Logik, 2.Auflage, Hamburg 1978.

    Google Scholar 

  4. R.Kaehr. Excurs zu Logica. In: Die Logik des Wissens und das Problem der Erziehung, Hamburg 1981.

    Google Scholar 

  5. READER 1. Texte G. Günther's zur Polykontexturalen Logik und Arithmetik, Morphogrammatik und Kenogrammatik, Proemial-Relation, Strukturtypentheorie, Cybernetic Ontology. Collected by R.Kaehr, University Witten/Herdecke 1988.

    Google Scholar 

  6. READER 2. Texte R.Kaehr's zur Formalisierung der Polykontexturalen Logik. University Witten/Herdecke 1988.

    Google Scholar 

Literature on Categories, Logics, Fiberings

  1. D. van Dalen. Logic and Stucture, 2nd ed. Springer Universitext, 1983.

    Google Scholar 

  2. C.T.J.Dodson. Categories, Bundles and Spacetime Topology. Kluwer Academic Publ. 1988.

    Google Scholar 

  3. P.Érdi. On the Ultrametric Structure of Semantic Memory: Scope and Limits. In: R. Trappl (ed.), Cybernetics and Systems '88, pp.329–336.

    Google Scholar 

  4. D. Gabbay. LDS-Labelled Deductive Systems. MEDLAR Milestone 1 Deliverables, Oct 1990. (Chapter 1 of the draft of a book). To be published.

    Google Scholar 

  5. R.Goldblatt. Topoi. Studies in Logic and the Foundations of Mathematics, vol.98, North-Holland 1986.

    Google Scholar 

  6. D.Pitt, S.Abramsky, A.Poigné and D.Rydeheard (eds.). Category Theory and Computer Programming. Springer Lecture Notes in Computer Science, vol.240, 1986.

    Google Scholar 

  7. P.T.Johnstone, R.Paré (eds.). Indexed Categories and Their Applications. Springer Lecture Notes in Mathematics, vol.661, 1978.

    Google Scholar 

  8. M.P.Fourman, C.J.Mulvey and D.S.Scott. Applications of Sheaves. Springer Lecture Notes in Mathematics, vol.753, 1979.

    Google Scholar 

  9. J.Lambek and P.J.Scott. Introduction to Higher Order Categorical Logic. Cambridge Studies in Advanced Mathematics, vol.7, Cambridge University Press 1986.

    Google Scholar 

  10. S.MacLane. Categories for the Working Mathematician. Springer Graduate Text in Mathematics, vol.5, 1971.

    Google Scholar 

  11. J.Pfalzgraf. Reasoning on a Möbius Strip. MEDLAR Newsletter No.1, Sept-Nov 1990, J.Cunningham, D.Gabbay, R. de Queiroz (eds.), Imperial College London.

    Google Scholar 

  12. J. Pfalzgraf. Representation of geometric spaces as Fibered Structures. Results in Math. Vol.12 (1987), 172–190 (in German).

    Google Scholar 

  13. J.Pfalzgraf. On Logical Fiberings and Polycontextural Systems. A First Approach. RISC-Linz Publ. Series No. 91–13.0 (1991).

    Google Scholar 

  14. D.E.Rydeheard and R.M.Burstall. Computational Category Theory. Prentice Hall 1988.

    Google Scholar 

  15. N.Steenrod. The Topology of Fibre Bundles. Princeton University Press 1951.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RISC-Linz Johannes Kepler University, A-4040, Linz, Austria

    J. Pfalzgraf

Authors
  1. J. Pfalzgraf
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Philippe Jorrand Jozef Kelemen

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pfalzgraf, J. (1991). Logical fiberings and polycontextural systems. In: Jorrand, P., Kelemen, J. (eds) Fundamentals of Artificial Intelligence Research. FAIR 1991. Lecture Notes in Computer Science, vol 535. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54507-7_14

Download citation

  • DOI: https://doi.org/10.1007/3-540-54507-7_14

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-38420-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation