Kurzfassung
Der Begriff „Pflicht“ ist ein zentraler Begriff der Rechtswissenschaft. Versuche, ihn zu formalisieren, führten zu Systemen der deontischen Logik, die allerdings bisher nicht zu praktischer Anwendung gelangt sind. Im Rahmen des Projekts Juristisches Expertensystem auf der Grundlage von Linguistik und Logik (LEX) haben wir einen neuen Ansatz der Formalisierung versucht, der sich einerseits enger an der möglichen sprachlichen Verwendung von „Pflicht“ orientiert und andererseits die von Kamp vorgeschlagene Diskursrepräsentationstheorie als Grundlage für die Formalisierung benutzt. Das führt zu einer realistischeren Analyse dieses Begriffs und zu der Möglichkeit, Beweisverfahren einzusetzen, die für die Prädikatenlogik erster Stufe formuliert sind.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Referenzen
Alschwee. B., A. Blaser, He. and Hu. Lehmann, W. Schönfeld (1985): „Ein juristisches Expertensystem mit natürlichsprachlichem Dialog - ein Projektbericht“, in W. Brauer, B. Radig (Hg.): Wissensbasierte Systeme, Informatik Fachberichte 112, Springer, Berlin Heidelberg New York Tokyo.
Alschwee, B., S. Grundmann (1985): „System Design for a Computer-Aided Juridical Expert System“, A. A. Martino, F. S. Natali (Hg.): Atti preliminari del II. convegno internazionale: logica, informatica, diritto, Florenz, Consiglio Nazionale Delle Recerche, Istituto per la Documentazione giuridica.
Aqvist, L. (1984): „Deontic Logic“, in F. Guenthner, D. Gabbay (Hg.): Handbook of Philosophical Logic Vol. II, Reidel, Dordrecht, pp. 605–714.
Castaneda, H.-N. (1985): „Aspectual Action and the Deepest ‘Paradox’ of Deontic Logic“ in A. A. Martino, F. S. Natali (Hg.): Atti preliminari del II convegno internazionale logica, informatica, diritto, Consiglio Nazionale Delle Recerche, Istituto per la Documentazione giuridica, Florenz, pp. 173–192.
Grundmann, S (1986): „Vorüberlegungen zu Ausarbeitung eines computergestützten juristischen Expertensystems“, Datenverarbeitung im Recht, ???,S. 175–190.
Guenthner, F., H. Lehmann, W. Schönfeld (1986): „A Theory for Representing Knowledge“, IBM J. Res. Develop. 30, Nr. 1, pp. 39–56.
Haft, F. (1980): Strafrecht — Allgemeiner Teil, Beck, München.
Janiszewski, H. (1979): Straßenverkehrs-Strafrecht, Stollfuß, Bonn.
Kamp, H. (1981): „A Theory of Truth and Semantic Representation“, in: J. A. G. Groendijk, T. M. V. Janssen, und M. B. J. Stokhof (Hg.), Formal methods in the Study of Language,MC TRACT 135, Amsterdam, p. 277.
Lehmann, Hein (1986): „Das juristische Konsultationsystem LEX aus software-technischer Sicht“, in F. Haft (Hg.): Computergestützte juristische Expertensysteme,U. Tübingen.
Lehmann, Hubert (1986): „Formale Repräsentation juristischen Wissens“, in F. Haft (Hg.): Computergestützte juristische Expertensysteme,U. Tübingen.
McCarty, T. L (1983): „Permissions and Obligations“, in: A. Bundy (Hg.), Proc. 8th IJCAI, Kaufmann, Los Altos, CA, pp. 287–294.
Von Wright, G. H. (1963): Norm and Action, Routledge and Kegan Paul, London.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lehmann, H., Zoeppritz, M. (1986). Formale Behandlung des Begriffs „Pflicht“. In: Hommel, G., Schindler, S. (eds) GI — 16. Jahrestagung II. Informatik-Fachberichte, vol 127. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71389-7_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-71389-7_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16814-0
Online ISBN: 978-3-642-71389-7
eBook Packages: Springer Book Archive