Archiwa blogu

29. spotkanie – Ontologia informacji. Wybrane idee Krzysztofa Turka

ontology18 listopada odbyło się kolejne spotkanie grupy badawczej. Poświęcone zostało formalnej ontologii informacji. Roman Krzanowski przedstawił referat pt. Ku formalnej ontologii informacji. Wybrane-idee Krzysztofa Turka.

Mimo, że istnieje wiele teorii dotyczących ontologii świata lub konkretnych zjawisk, teorie przedstawiające ontologie informacji, należą do rzadkości. Brak odpowiedniej reprezentacji tego problemu jest spowodowany prawdopodobnie faktem, że pojęcie informacji związane jest mocno z telekomunikacją i informatyką. Badacze teorii informacji nie dostrzegają istoty informacji w rzeczywistym, otaczającym człowieka świecie.

Roman Krzanowski podczas swojego wykładu zaprezentował jedną z możliwości rozważania charakteru ontologii informacji. Wskazał, że aby taka ontologia została odpowiednio przyjęta, musiałaby poddawać się logicznej formalizacji. Próbę przedstawienia idei odnajdujemy w pomysłach Krzysztofa Turka. Turek zaproponował przyjęcie  teorii ontologii informacji jako koncepcję ściśle związaną z filozofią przyrody. Uznał, że to podejście może okazać się brakującym ogniwem w zestawie aksjomatów teorii mnogości. Prelegent przedstawił propozycje zbudowania formalnej ontologii informacji, która zawierałaby zarówno filozoficzną interpretację jak i reprezentację logiczno-formalną.

Wpis został przygotowany przy pomocy Romana Krzanowskiego.


imagesTowards a Formal Ontology of Information. Selected Ideas of Krzysztof Turek

by Roman Krzanowski

There are many ontologies of the world or of specific phenomena such as time, matter, space, and quantum mechanics. However, ontologies of information are rather rare. One of the reasons behind this is that information is most frequently associated with communication and computing, and not with ‘the furniture of the world’.

But what would be the nature of an ontology of information? For it to be of significant import it should be amenable to formalization in a logico-grammatical formalism. A candidate ontology satisfying such a requirement can be found in some of the ideas of K. Turek, presented in this paper. Turek outlines the ontology of information conceived of as a part of nature, and provides the ‘missing link’ to the Z axiomatic set theory, offering a proposal for developing a formal ontology of information both in its philosophical and logico-grammatical representations.

Reklamy