A Study on the relation between logic and information


Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Fen Edebiyat Fakültesi, Felsefe Bölümü, Türkiye

Tezin Onay Tarihi: 2003

Öğrenci: TANKUT BEYGU

Danışman: DAVİD GRÜNBERG

Özet:

Gaining prominence at first as a technological concept, information has found a significant role in the study of various problems in philosophy as well as in the diverse fields of science and technology.Though widely employed and studied, information is a complex notion, as it were, resisting a compact description of its characteristics, appearing non-uniformly in such miscellaneous ways as an organizing principle, a form of knowledge, and a connotation of entropy. Apparently, there is a need for further study to clarify the notion of information and its possible applications. Situation theory is a competent frame of investigation responding to this need. It allows us to view logical, linguistic and computational issues in a consistent and unified manner which is open to formalization and based on information, referring not only to syntactic aspects or to semantic truth-values, but also to other semantic aspects, e.g., meaning and intension. On the other side, relevant logics have been opening up promising perspectives for semantical connections of logic. This study aims at drawing a parallelism between the inference in logic and information flow. The connections between relevant logics and situation theory are examined and modeling of information flow grounded on them is shown to be satisfactory to considerable extent in both syntactic and semantic respects, though not yet complete.