\nZ anonsami referat\u00f3w mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol
![\"\"](\"http:\/\/calculemus.org\/fli\/wp-content\/stb-themes\/stb-light\/plus.png\")
z prawej strony.<\/p>\nKonferencja b\u0119dzie obejmowa\u0107 trzy sesje, kt\u00f3rym odpowiadaj\u0105 zestawione ni\u017cej grupy referat\u00f3w. Cz\u0119\u015b\u0107 referat\u00f3w zostanie wyg\u0142oszona w trybie kr\u00f3tkiego komunikatu (z intencj\u0105 kontynuowania dyskusji w konferencyjnym blogu).
\nZ anonsami referat\u00f3w mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol z prawej strony.<\/p>\n
[stextbox id=”anons” caption=”Witold Marciszewski (UwB): Rozumowania ogl\u0105dowe a rozumowania sformalizowane<\/em>” collapsed=”true”] Odczyt jest pomy\u015blany jako cz\u0119\u015bciowa odpowied\u017a na jedno z pyta\u0144 postawionych przed konferencj\u0105: W jakim zakresie rozumowania potoczne \u2013 ogl\u0105dowe, intuicyjne, heurystyczne etc. \u2013 poddaj\u0105 si\u0119\u00a0 formalizacji i automatyzacji?<\/em> [stextbox id=”anons” caption=”Anna W\u00f3jtowicz (UW): Heurystyka \u2013 b\u0142\u0105d czy metoda?<\/em>” collapsed=”true”]W referacie zostanie przedstawione poj\u0119cie heurystyki, pojawiaj\u0105ce si\u0119 w informatyce, filozofii nauki i przy ocenie racjonalno\u015bci wnioskowa\u0144 zawodnych. Przeanalizowane zostan\u0105 nast\u0119puj\u0105ce problemy: Jakie s\u0105 cechy charakterystyczne heurystyk? Czy mo\u017cna poda\u0107 neutraln\u0105 definicj\u0119 poj\u0119cia heurystyki? Przy jakich za\u0142o\u017ceniach zastosowanie heurystyki uznaje si\u0119 za b\u0142\u0105d (zachowanie nieracjonalne)? Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Joanna Goli\u0144ska-Pilarek (UW): Automatyzacja wnioskowa\u0144 z wykorzystaniem relacyjnych system\u00f3w dual tableau<\/em>” collapsed=”true”]Metody relacyjne i systemy dedukcyjne w stylu dual tableaux stanowi\u0105 wa\u017cny nurt bada\u0144 w teorii automatycznej dedukcji i logicznej reprezentacji wiedzy. Systemy te s\u0105 dobrym narz\u0119dziem realizacji trzech g\u0142\u00f3wnych zada\u0144 logicznych, le\u017c\u0105cych u podstaw wszystkich zwi\u0105zanych z IT metod formalnych: weryfikacji prawdziwo\u015bci (validity checking), weryfikacji spe\u0142niania (model checking), weryfikacji wynikania (entailment). Celem referatu jest om\u00f3wienie logicznych podstaw system\u00f3w dual tableaux wraz z ich zastosowaniami do pewnych klas logik (logiki klasyczne, modalne, logiki temporalne, logiki dla wnioskowa\u0144 przy niepe\u0142nej, przybli\u017conej i rozmytej informacji, logiki program\u00f3w). Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Robert Piechowicz (UPJP2, CC): Trust-logic jako podstawa formalizacji wypowiedzi<\/em>” collapsed=”true”]Trust-logic jest – zgodnie z nazw\u0105 – systemem formalizuj\u0105cym poj\u0119cie uznania wiarygodno\u015bci odbieranej informacji. Taka postawa wydaje si\u0119 by\u0107 istotn\u0105 sk\u0142adow\u0105 zar\u00f3wno procesu konstruowania systemu przekona\u0144 jak te\u017c aktywno\u015bci komunikacyjnej. Z uwagi na to uwzgl\u0119dnienie trust-logic mo\u017ce stanowi\u0107 dobry punkt wyj\u015bcia do opisania strategii poznawczych i komunikacyjnych w zar\u00f3wno w przypadku komputer\u00f3w jak te\u017c istot ludzkich. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Dariusz Pi\u0119tka (UKSW): O r\u00f3\u017cnych sposobach rozumowania przez analogi\u0119<\/em>” collapsed=”true”]Wnioskowania przez analogi\u0119 opieraj\u0105 si\u0119 na dostrze\u017ceniu podobie\u0144stw polegaj\u0105cych na zgodno\u015bci relacji mi\u0119dzy obiektami, cz\u0119\u015bciami tych obiekt\u00f3w, czy nawet zgodno\u015bci ich cech. W zale\u017cno\u015bci od sposobu identyfikacji wspomnianej zgodno\u015bci oraz jej rodzaju, uwa\u017ca\u0107 b\u0119dziemy wnioskowania przez analogi\u0119 za wnioskowania zale\u017cne od innych wnioskowa\u0144 b\u0105d\u017a od nich niezale\u017cne, a sam schemat wnioskowania za kompletny lub niekompletny (zawieraj\u0105cy nie wprost inne rodzaje wnioskowa\u0144). Celem referatu jest, z jednej strony, klasyfikacja wnioskowa\u0144 przez analogi\u0119, z drugiej strony za\u015b, przedstawienie zasad, wedle kt\u00f3rych one przebiegaj\u0105. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Jerzy Mycka (UMCS): Poj\u0119cie efektywno\u015bci w odniesieniu do Cantorowskiej i aksjomatycznej teorii mnogo\u015bci<\/em>” collapsed=”true”]Referat wska\u017ce na istotne r\u00f3\u017cnice w koncepcjach zbioru uwidocznionych w teorii mnogo\u015bci Cantora oraz w aksjomatycznej teorii mnogo\u015bci. Na tej podstawie przeanalizowane zostanie zagadnienie warunk\u00f3w gwarantuj\u0105cych mo\u017cliwo\u015b\u0107 wyliczania element\u00f3w zbior\u00f3w. W dalszym ci\u0105gu rozwa\u017ca\u0144 ten aspekt obu wspomnianych uj\u0119\u0107 teorii mnogo\u015bci zostanie skonfrontowany z poj\u0119ciami efektywnej przeliczalno\u015bci i efektywnej rozstrzygalno\u015bci obecnymi w teorii obliczalno\u015bci. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Adam Olszewski (UPJP2, CC): Intuicyjne poj\u0119cie funkcji<\/em>” collapsed=”true”]Intuicyjne poj\u0119cie funkcji efektywnie obliczalnej wyst\u0119puje w sformu\u0142owaniu Tezy Churcha, kt\u00f3ra stanowi, \u017ce dost\u0119p do intuicyjnego poj\u0119cia funkcji jest mo\u017cliwy przez poj\u0119cie funkcji rekurencyjnej. Moje wyst\u0105pienie ma \u00a0pokaza\u0107 mo\u017cliwo\u015b\u0107 niezale\u017cnego \u201edost\u0119pu\u201d do takiego poj\u0119cia od strony nauk kognitywnych i psychologii. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”J\u00f3zef Lubacz (PW): O ontologiczno\u015bci informatyki<\/em>” collapsed=”true”]Referat charakteryzuje ontologiczno\u015b\u0107 informatyki, zwracaj\u0105c uwag\u0119, \u017ce chocia\u017c w informatyce modne sta\u0142y si\u0119 \u201eontologie\u201d, w praktyce brak w\u0142a\u015bciwego rozr\u00f3\u017cnienia zagadnie\u0144 ontologicznych od epistemologicznych, a w szczeg\u00f3lno\u015bci \u00a0poiesis od episteme oraz deskrypcji od preskrypcji, a w konsekwencji prawdy epistemologicznej od ontologicznej.\u00a0 Abstrakt<\/a>\u00a0 \/\u00a0 Pe\u0142ny tekst<\/a>[\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Pawe\u0142 Polak (UPJP2, CC):\u00a0 Obliczenia naturalne – krytyczne spojrzenie z filozoficznego punktu widzenia<\/em>” collapsed=”true”]Obliczenia naturalne s\u0105 interesuj\u0105c\u0105 koncepcj\u0105 wsp\u00f3\u0142czesnej informatyki. Dzi\u0119ki niej mo\u017cliwe jest po\u0142\u0105czenie w naturalny spos\u00f3b informatyki z naukami przyrodniczymi; jest te\u017c dogodn\u0105 baz\u0105 dla r\u00f3\u017cnorodnych uog\u00f3lnie\u0144, st\u0105d cz\u0119sto stanowi r\u00f3wnie\u017c punkt wyj\u015bcia dla refleksji filozoficznej. Referat ma na celu okre\u015blenie, w jaki spos\u00f3b wykorzystywana jest w filozofii koncepcja oblicze\u0144 naturalnych. Podj\u0119ta zostanie pr\u00f3ba krytycznej oceny wyr\u00f3\u017cnionych stanowisk. Abstrakt<\/a>[\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Anna Sarosiek (UPJP2, CC): Autonomia maszyn z punktu widzenia klasycznego i biosemiotycznego podej\u015bcia do sztucznej inteligencji<\/em>” collapsed=”true”]Idea inteligentnych, samo\u015bwiadomych i autonomicznych maszyn jest od dawna mocno dyskutowana. Klasyczne podej\u015bcie proponuje wiele metod rozwi\u0105zywania problem\u00f3w, mog\u0105cych przybli\u017cy\u0107 czas powstania autonomicznych system\u00f3w. Istniej\u0105 r\u00f3wnie\u017c odmienne stanowiska, w tym nurt biosemiotyczny, kt\u00f3ry przedstawia now\u0105 perspektyw\u0119 postrzegania przedmiotu bada\u0144 oraz oferuje odmienne rozwi\u0105zania. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”S\u0142awomir Leciejewski (UAM): Cyfrowa rewolucja w badaniach eksperymentalnych \u2013<\/em> studium filozoficzne<\/em>” collapsed=”true”] G\u0142\u00f3wnym celem mojego komunikatu jest zasygnalizowanie mo\u017cliwych odpowiedzi na dwa fundamentalne pytania z zakresu filozoficznej refleksji nad nauk\u0105 i jej rozwojem. Po pierwsze, czy zastosowanie komputera w naukach empirycznych wyznacza nowy, komputerowy styl bada\u0144 naukowych? Po drugie, czy komputer zrewolucjonizowa\u0142 badania eksperymentalne? Udzielaj\u0105c na nie odpowiedzi, odwo\u0142uj\u0119 si\u0119 do znanych koncepcji stylu my\u015blowego Flecka, stylu bada\u0144 naukowych Crombiego i jego p\u00f3\u017aniejszych modyfikacji oraz kilku koncepcji rewolucji naukowych (Kuhna, Cohena, Hackinga i Shapina). Komunikat<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Helena Buli\u0144ska-Stangrecka(PW): E-kultura w administracji<\/em>” collapsed=”true”] Terminem \u201ee-kultura\u201d okre\u015bla si\u0119 kultur\u0119 organizacji wirtualnej, np. biznesowej czy edukacyjnej. E-kultur\u0119 cechuje zmienno\u015b\u0107, elastyczno\u015b\u0107 i innowacyjno\u015b\u0107. Jest ona powi\u0105zana z technologi\u0105 informatyczn\u0105, kt\u00f3ra z jednej strony, warunkuje jej zaistnienie, a z drugiej, umo\u017cliwia jej funkcjonowanie. Realizacja funkcji e-kultury odbywa si\u0119 poprzez wykorzystanie narz\u0119dzi informatycznych. E-kultura wspiera tak\u017ce spo\u0142eczn\u0105 stron\u0119 organizacji wirtualnej, pozwalaj\u0105c na adaptacj\u0119 pracownik\u00f3w do specyfiki powierzanych im zada\u0144. Komunikat<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Pawe\u0142 Stacewicz (PW): O redukcji informacji do danych<\/em>” collapsed=”true”]Nie licz\u0105c kontekst\u00f3w czysto technicznych informacja jest poj\u0119ciem du\u017co szerszym ni\u017c dane, czyli w okre\u015blony spos\u00f3b a) ustrukturyzowane i b) zakodowane tworzywo system\u00f3w informatycznych. Mimo to, przyr\u00f3wnuj\u0105c informacj\u0119 do danych zyskujemy pewien ciekawy (i \u015bcis\u0142y) wgl\u0105d w poj\u0119cie informacji, a tak\u017ce umys\u0142u, kt\u00f3ry informacje przetwarza. Dostrzegamy nadto pewne potencjalne ograniczenia umys\u0142u, zwi\u0105zane a takim czy innym sposobem kodowania informacji. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Marek Hetma\u0144ski (UMCS): Metafory informacyjne<\/em>” collapsed=”true”]W referacie om\u00f3wione zostan\u0105 metaforyczne \u015brodki zastosowane przez C. Shannona i W. Weavera w The Mathematical Theory of Communication<\/em> do zdefiniowania poj\u0119cia informacji oraz p\u0142yn\u0105ce z tego konsekwencje dla sposobu jej rozumienia. W \u015bwietle kognitywnej teorii metafory scharakteryzowane zostan\u0105 przyk\u0142ady metafor m\u00f3wi\u0105cych o r\u00f3\u017cnorodnych zjawiskach informacyjno-komunikacyjnych. Metafory informacyjne \u2013 por\u00f3wnuj\u0105ce z\u0142o\u017cone zjawisko informacji jako takiej (domena docelowa) ze zjawiskami prostymi i znanymi (domena \u017ar\u00f3d\u0142owa) \u2013 s\u0105 nie tylko u\u017cytecznymi (niekiedy tak\u017ce myl\u0105cymi) zwrotami j\u0119zykowymi, ale wyra\u017caj\u0105 r\u00f3wnie\u017c schematy my\u015blowe i poj\u0119ciowe reprezentuj\u0105ce z\u0142o\u017cone procesy informacyjne. Om\u00f3wiona b\u0119dzie struktura tych kognitywnych schemat\u00f3w, a tak\u017ce \u2013 na przyk\u0142adzie instytucji i organizacji zarz\u0105dzaj\u0105cych danymi i informacj\u0105 \u2013 rola powsta\u0142ych t\u0105 drog\u0105 metafor w konceptualizowaniu i organizowaniu poznania i wiedzy. Abstrakt <\/a>[\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Roman Krzanowski (CC): Koncept informacji T. Stoniera i jego implikacje<\/em>” collapsed=”true”]Referat omawia wybrane problemy konceptualizacji poj\u0119cia informacji wychodz\u0105c od modelu informacji zaproponowanego przez Stonier\u2019a. Stonier sformu\u0142owa\u0142 definicj\u0119 informacji, w kt\u00f3rej informacja jest spostrzegana jako podstawowy (trzeci) element wszech\u015bwiata, na r\u00f3wni z energia i materi\u0105. Koncepcja informacji proponowana przez Stoniera radykalnie r\u00f3\u017cni si\u0119 od definicji opartych na teorii komunikacji i informatyce czy definicjach zak\u0142adaj\u0105cych obecno\u015b\u0107 odbiorcy, ukazuj\u0105c ograniczenia takich zrozumie\u0144 informacji i potrzeb\u0119 ich rewizji. Koncept informacji Stoniera jest por\u00f3wnany z szeregiem innych definicji tego poj\u0119cia; zarysowany jest r\u00f3wnie\u017c problem sokalizacji poj\u0119cia informacji. W zako\u0144czeniu referat przestawia r\u00f3wnie\u017c zarys propozycji bada\u0144 nad formalizacj\u0105 i ontologi\u0105 informacji. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Andre W\u0142odarczyk (CELTA Paris): Informacja a komunikat<\/em>” collapsed=”true”] Zak\u0142adaj\u0105c, \u017ce\u00a0jaki\u015b formalny opis \u015bwiata by\u0142by jego ustalon\u0105 ontologi\u0105, m\u00f3wienie o nim w jakim\u015b j\u0119zyku naturalnym przy u\u017cyciu takiej ontologii mo\u017cna by analizowa\u0107 za pomoc\u0105 poj\u0119\u0107 zar\u00f3wno semantycznych jak i pragmatycznych. Informacja zawarta w mowie ludzkiej jest wybitnie deklaratywna i relacyjna (nie zerojedynkowa). Komunikowanie natomiast odbywa si\u0119 dzi\u0119ki enkapsulacji, kt\u00f3ra umo\u017cliwia redukcj\u0119 informacji podczas przekazu i – na odwr\u00f3t – wzbogacenia podczas odbioru. Jako\u017ce znaki s\u0105 zar\u00f3wno obiektami jak i meta-obiektami, w celu zachowania sp\u00f3jno\u015bci dyskursu, orzekanie (komunikowanie informacji) opiera si\u0119 na meta-informacji. Abstrakt<\/a> [\/stextbox]<\/p>\n [stextbox id=”anons” caption=”Rados\u0142aw Siedli\u0144ski (PJATK): O rozumieniu informacji w biologii<\/em>” collapsed=”true”]Odczyt po\u015bwi\u0119cony b\u0119dzie prezentacji r\u00f3\u017cnych rozumie\u0144 poj\u0119cia informacji w biologii wsp\u00f3\u0142czesnej. Analizowa\u0107 b\u0119d\u0119 tak\u017ce konteksty u\u017cycia tzw. „information talk” – powszechnego w biologii wsp\u00f3\u0142czesnej u\u017cywania terminologii \u015bci\u015ble zwi\u0105zanej z poj\u0119ciem informacji (jej kodowania, modyfikowania, kopiowania itp.). Zaproponuj\u0119 tak\u017ce odpowied\u017a na pytanie o zakres stosowalno\u015bci owej specyficznie „informacjocentrycznej” siatki poj\u0119ciowej. Abstrakt<\/a> [\/stextbox]<\/p>\n","protected":false},"excerpt":{"rendered":" Konferencja b\u0119dzie obejmowa\u0107 trzy sesje, kt\u00f3rym odpowiadaj\u0105 zestawione ni\u017cej grupy referat\u00f3w. Cz\u0119\u015b\u0107 referat\u00f3w zostanie wyg\u0142oszona w trybie kr\u00f3tkiego komunikatu (z intencj\u0105 kontynuowania dyskusji w konferencyjnym blogu). Z anonsami referat\u00f3w mo\u017cna zapozna\u0107 si\u0119 po klikni\u0119ciu w symbol z prawej strony. 1. … Czytaj dalej
\nPunktem wyj\u015bcia jest wykazanie, \u017ce istniej\u0105 r.ogl\u0105dowe<\/em> czyli takie, kt\u00f3re nie daj\u0105 si\u0119 wyrazi\u0107 jako teksty w kt\u00f3rym\u015b\u00a0 z j\u0119zyk\u00f3w potocznych<\/em> lub symbolicznych<\/em>; te drugie to j\u0119zyki sformalizowane za pomoc\u0105 symboliki logicznej<\/em>. Pokazuje si\u0119 nast\u0119pnie, jak poszerza si\u0119 zakres r.ogl\u0105dowych poddaj\u0105cych si\u0119 formalizacji dzi\u0119ki sukcesywnemu zwi\u0119kszaniu zaanga\u017cowania ontologicznego<\/em> j\u0119zyk\u00f3w sformalizowanych u\u017cytych do utekstowienia r.ogl\u0105dowych, przy czym ogniwem po\u015brednicz\u0105cym s\u0105 j\u0119zyki potoczne o podobnym zaanga\u017cowaniu w ontologi\u0119. Przyk\u0142ady\u00a0 j.symbolicznych o wi\u0119kszym (ni\u017c rachunek klasyczny) zaanga\u017cowaniu ontologicznym: modalne, deontyczne, logiki wy\u017cszych rz\u0119d\u00f3w itp. To zaanga\u017cowanie jest istot\u0105 obecno\u015bci filozofii w logice, a na ile logika wspiera informatyk\u0119 – obecno\u015bci tak\u017ce w informatyce.\u00a0 — Tekst odczytu w formie slajd\u00f3w jest dost\u0119pny pod adresem http:\/\/calculemus.org\/CA\/fil-inform\/odczyt-pw1.pdf— Abstrakt<\/a>. [\/stextbox]<\/p>\n2. Filozofia w informatyce (i jej zastosowaniach)<\/h2>\n
3. Filozofia informacji<\/h2>\n