Archiwa blogu

30. spotkanie – Ontologia informacji. Wybrane idee Krzysztofa Turka. cz.2

images-2Kolejne spotkanie odbyło się 16 grudnia.

Poświęcone zostało, ponownie, ontologii informacji. Roman Krzanowski kontynuował swój wykład, przedstawiając aktualne modele teorii w ujęciu Stoniera, Hellera i Turka. W swoim referacie rozpatrywał przede wszystkim informację jako strukturę. Informacja, poza materią i energią miałaby być, w tym ujęciu, trzecim najważniejszym elementem natury. Mimo, że taka teoria zakłada pewien informacyjny redukcjonizm, mogłaby zawęzić pole badań i skierować rozważania w określonym kierunku badania pojęcia informacji

Mieliśmy przyjemność gościć na spotkaniu Krzysztofa Turka, który wyjaśnił część aspektów swojej teorii. Wyjaśnił strukturę informacji, jako podzbiór danego zbioru form, które można zredukować do struktur. W tym ujęciu informacja odpowiadać miałaby za układ danej liczby zbiorów i relacji w świecie.

Zarówno obecność Krzysztofa Turka, jak i sam wykład wywołały ciekawą dyskusję na temat pojęcia strukturalizmu jako koniecznego zawężenia badań, różnic między strukturą a modelem a także możliwych badań relacji między strukturami.

Uczestnicy:

  1. R. Krzanowski
  2. R. Janusz
  3. K. Turek
  4. A. Sarosiek
  5. K. Trombik
  6. P. Gumułka
  7. P. Polak

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

 

imagesThe next meeting took place on 16 December.

It was dedicated to Ontology of Information again. Roman Krzanowski continued his lecture. He presented current models of theory in approach of Stonier, Heller, and Turek. Mainly, in his lecture he dealt an information structure. In this sense, information would be the third most important element of nature beyond matter and energy. Despite the fact that such approach assumes a certain informational reductionism it could narrow the field of research. The reductionism of the exploration of information can also redirect considerations in a certain direction.

We had the pleasure to host Krzysztof Turek at the meeting. He explained some aspects of his theory. He presented the structure of information as a subset of set of forms, which can be reduced to structures. In this perspective information would comply with a number of collections and relations in the world.

The presence of Krzysztof Turek and the lecture caused an interesting discussion on the concept of structuralism as a necessity of research, possibility of studies on relations between structures as well as differences between the structure and the model.

 

Reklamy

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.

28. spotkanie – Języki programowania a języki naturalne

21 października odbyło się kolejne spotkanie członków grupy. Tym razem zostało poświęcone językom programowania.

UntitledReferat pt. Cyfrowe abecadło. Czyli: jak „rozmawiać” z komputerem? wygłosił Wojciech Zasada. W swoim wykładzie przedstawił historię powstawania języków sformalizowanych. Przybliżył słuchaczom idee implementacji języka naturalnego do języka symbolicznego. Przedstawiając drogi rozwoju języków symbolicznych, pokazał, w jaki sposób starano się określić zasady kierujące nie tylko syntaktyką, lecz również semantyką i pragmatyką języka. Podkreślił również, że wyrażenia komputerowe nie są zwykłymi odpowiednikami słów w jakimkolwiek języku. W dalszym ciągu rozważań nad autonomicznym językiem nauki, prelegent podjął problem budowy syntetycznego języka, który mógłby zostać powszechnie zrozumianym odpowiednikiem języka potocznego.

Po referacie, między uczestnikami, wywiązała się dyskusja dotycząca prób opisu języka naturalnego przez język programowania. Podjęto też pytanie W. Zasady o ontologię języka programowania.

Datę następnego spotkania ustalono na 18 listopada bieżącego roku.


28. meeting – Programming languages and natural languages

Next meeting of the group took place at October 21. This time it was dedicated to programming languages.

Wojciech Zasada gave the lecture entitled: Digital alphabet. How „to talk” with the computer?Untitled

In his speech he presented the history of the formation of formalized languages. He brought to the audience ideas of implement natural language into symbolic language. Within presentation W. Zasada showed developments of symbolic language attempts were made to lay down language’s rules on semantics and pragmatics. He also stressed that computing expressions are not ordinary equivalents of notions in the natural language. In further consideration of the autonomous language of science the speaker raised the issue of building a synthetic language that can be commonly understood as the equivalent of colloquial language.

After lecture participants discussed concerning attempts to describe natural language by synthetic language. They also debated the ontology of programming language.

Date of the next meeting was set for November18.

26. spotkanie – Informacja, ewolucja świata i ontologia.

Kolejne spotkanie, które odbyło się w maju, zostało ponownie poświęcone informacji. Referat  pt: Informacja, ewolucja świata i ontologia wygłosił Łukasz Mścisławski.

informacja_2W referacie został omówiony związek informacji z czasem. Sposób postrzegania czasu generuje podstawowe założenia człowieka. Informacja staje się zatem wieloaspektowa, ponieważ zależy od subiektywnego postrzegania rzeczywistości. Istnieje wielość definicji informacji, wszystkie związane ze sposobem opisywania świata. Informacja zatem jest nierozerwalnie związana z kontekstem, stając się sama w sobie niejasna i niedookreślona.

Mścisławski zwrócił uwagę, że należy oderwać informację od fizykalnego podłoża. Zarówno postrzeganie jej w fizyczny lub formulatywny sposób jest niewystarczające dla zrozumienia związku informacji z rzeczywistością.

Referat wywołał ciekawą dyskusję na temat powstawania informacji i jej związków z systemami wiedzy, przekonaniami i uzasadnieniami.

W spotkaniu uczestniczyli:

P. Gumułka

R. Janusz

R. Krzanowski

K. Mamak

Ł. Mścisławski

P. Polak

A. Sarosiek

23. spotkanie – etyka informacji

18qm7mlihns27jpg

Jak co miesiąc, tak i w styczniu, odbyło się kolejne spotkanie grupy. Tym razem zostało poświęcone problemom związanym z teorią informacji. Podczas spotkania referat pod tytułem: Etyka Informacji. Próba Zarysu Podstawowych Problemów, wygłosił Roman Krzanowski.

W swoim wystąpieniu, Roman Krzanowski przedstawił ważne, chociaż rzadko poruszane problemy, związane z etyką informacji. Wykazał, że we współczesnym świecie, informacja nabiera coraz szerszego znaczenia, stając się jednym z podstawowych problemów. Podjął próbę systematyzacji dotychczasowych teorii, oraz poddał je krytycznej analizie. Zaproponował również nowe ujęcie, przedstawiające perspektywę etyczną. 

Wystąpienie wywołało ciekawą dyskusję, w której pojawiły się pytania o możliwości kwantyfikowania informacji, o wymiar aksjologiczny oraz znaczenie informacji dla człowieka żyjącego w erze informacyjnego przełomu.

W celu bliższego przyjrzenia się problematyce przedstawionej na spotkaniu, prezentacja Etyka Informacji. Próba Zarysu Podstawowych Problemów, autorstwa Romana Krzanowskiego, została udostępniona w tym miejscu.

W spotkaniu uczestniczyli (kolejność alfabetyczna)

  1. P. Gumułka
  2. R. Janusz
  3. R. Krzanowski
  4. P. Polak
  5. A. Sarosiek
  6. W. Zasada