Formale Begriffsrahmen für zirkuläre Phänomene. Möglichkeiten der Modellierung pathologischer Ausdrücke in formalen und natürlichen Sprachen

DSpace Repository

Show simple item record

dc.contributor.advisor Mönnich, Uwe de_DE
dc.contributor.author Kühnberger, Kai-Uwe de_DE
dc.date.accessioned 2002-03-22 de_DE
dc.date.accessioned 2014-03-18T09:51:25Z
dc.date.available 2002-03-22 de_DE
dc.date.available 2014-03-18T09:51:25Z
dc.date.issued 2001 de_DE
dc.identifier.other 099092492 de_DE
dc.identifier.uri http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-4778 de_DE
dc.identifier.uri http://hdl.handle.net/10900/46174
dc.description.abstract This dissertation has four parts. The first one is a general introduction into the topic of the work separated in a chapter that explains the used notation, a chapter that discusses typical examples, and a chapter that gives an overview of the three main parts. An important aspect of this first part is the attempt of a conceptual clarification of circularity, in particular in relation to the non-well-foundedness of a phenomenon. This clarification represents the philosophical core of the primarily formal dissertation. In the second part, Kripke's fixed point approach concerning partially defined truth predicates is examined: the algebraic foundations are introduced and problems of the construction are discussed. The main results of this second part are three characterization theorems of subclasses of interlaced bilattices and their applications. In the third part, revision theories are introduced. Their adequacy for the representation of circularity is discussed. Additionally, the complexity of these theories, the relation of revision theories to a wider thematic context, and their empirical properties are examined. In the last part of this dissertation, circularity is introduced on the level of set theory. The crucial idea is the concept of a coalgebraic modeling. In particular, the modeling of truth and the representation of the difference between private and common knowledge is emphasized. A comparison of the different accounts is provided in the last chapter. de_DE
dc.description.abstract This dissertation has four parts. The first one is a general introduction into the topic of the work separated in a chapter that explains the used notation, a chapter that discusses typical examples, and a chapter that gives an overview of the three main parts. An important aspect of this first part is the attempt of a conceptual clarification of circularity, in particular in relation to the non-well-foundedness of a phenomenon. This clarification represents the philosophical core of the primarily formal dissertation. In the second part, Kripke's fixed point approach concerning partially defined truth predicates is examined: the algebraic foundations are introduced and problems of the construction are discussed. The main results of this second part are three characterization theorems of subclasses of interlaced bilattices and their applications. In the third part, revision theories are introduced. Their adequacy for the representation of circularity is discussed. Additionally, the complexity of these theories, the relation of revision theories to a wider thematic context, and their empirical properties are examined. In the last part of this dissertation, circularity is introduced on the level of set theory. The crucial idea is the concept of a coalgebraic modeling. In particular, the modeling of truth and the representation of the difference between private and common knowledge is emphasized. A comparison of the different accounts is provided in the last chapter. en
dc.language.iso de de_DE
dc.publisher Universität Tübingen de_DE
dc.rights ubt-podok de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=de de_DE
dc.rights.uri http://tobias-lib.uni-tuebingen.de/doku/lic_mit_pod.php?la=en en
dc.subject.classification Wahrheitstheorie , Fixpunkt-Logik , Wissensrepräsentation , Situationstheorie de_DE
dc.subject.ddc 400 de_DE
dc.subject.other Zirkularität de_DE
dc.subject.other Circularity , truth theory , knowledge representation , fixed point logic en
dc.title Formale Begriffsrahmen für zirkuläre Phänomene. Möglichkeiten der Modellierung pathologischer Ausdrücke in formalen und natürlichen Sprachen de_DE
dc.title Formal Frameworks for Circular Phenomena. Possibilities of Modeling Pathological Expressions in Formal and Natural Languages en
dc.type PhDThesis de_DE
dc.date.updated 2003-12-09 de_DE
dcterms.dateAccepted 2001-07-20 de_DE
utue.publikation.fachbereich Sonstige - Neuphilologie de_DE
utue.publikation.fakultaet 5 Philosophische Fakultät de_DE
dcterms.DCMIType Text de_DE
utue.publikation.typ doctoralThesis de_DE
utue.opus.id 477 de_DE
thesis.grantor 09 Neuphilologische Fakultät de_DE

Dateien:

This item appears in the following Collection(s)

Show simple item record