Prof. Andrzej Indrzejczak, kierownik Katedry Logiki i Metodologii Nauk U艁, otrzyma Advanced Grant ERC w wysoko艣ci 1,6 mln euro (fot. Bartosz Ka艂u偶ny)
Projekt prof. Indrzejczaka - 鈥濩oming to Terms: Proof Theory Extended to Definite Descriptions and other Terms鈥� - po艣wi臋cony jest teorii dowodu i program贸w dedukcji automatycznej dla formalnych teorii wykorzystuj膮cych z艂o偶one wyra偶enia nazwowe (takim jest np. wyra偶enie: 鈥瀘statni film Wajdy鈥�) jako no艣niki informacji. Celem projektu jest dostosowanie narz臋dzi logiki formalnej do struktury j臋zyk贸w naturalnych, w kt贸rych z艂o偶one wyra偶enia nazwowe odgrywaj膮 bardzo wa偶n膮 rol臋.
- Problematyka analizy tego typu wyra偶e艅 i ich rola we wnioskowaniach by艂a podejmowana przez wielu znanych logik贸w i filozof贸w takich jak Gottlob Frege, Bertrand Russell czy Stanis艂aw Le艣niewski w pierwszej po艂owie XX w. 鈥� opowiada prof. Andrzej Indrzejczak. - P贸藕niejszy rozw贸j logiki oraz bada艅 nad programami automatycznego wnioskowania zredukowa艂 rol臋 wyra偶e艅 nazwowych w przetwarzaniu informacji.
Rezultaty bada艅 prowadzonych w ci膮gu ostatnich kilku lat przez prof. Indrzejczaka pokazuj膮 jednak, 偶e narz臋dzia wsp贸艂czesnej teorii dowodu mo偶na skutecznie stosowa膰 do przetwarzania rozmaitych rodzaj贸w z艂o偶onych wyra偶e艅 nazwowych. Osi膮gni臋te wyniki mog膮 okaza膰 si臋 bardzo przydatne w badaniach z zakresu sztucznej inteligencji (AI).
Projekt 艂贸dzkiego naukowca b臋dzie realizowany w sze艣cioosobowym zespole badawczym, do kt贸rego prof. Indrzejczak, jako szef projektu i teraz ju偶 dysponent grantu, w艂膮czy艂 m.in. pracownik贸w Instytutu Filozofii U艁: dra Nilsa Kurbisa, dra Micha艂a Zawidzkiego i mgr. Yaroslava Petrukhina (doktorant). Bud偶et projektu w ca艂o艣ci finansowanego z grantu ERC wyniesie dok艂adnie 1.629.775 euro, a prace nad nim potrwaj膮 5 lat i b臋d膮 realizowane w - interdyscyplinarnym centrum badawczym, prowadzonym przez prof. El偶biet臋 Jung.
- Serdecznie gratuluj膮c panu profesorowi Indrzejczakowi uzyskania grantu w tak presti偶owym konkursie i 偶ycz膮c jego zespo艂owi owocnych bada艅, chcia艂abym podkre艣li膰, 偶e kwestia zdobywania funduszy to jedno z najwa偶niejszych wyzwa艅 naukowc贸w na ca艂ym 艣wiecie. Tylko najlepsze pomys艂y i najlepiej opracowane wnioski o finansowanie maj膮 szanse je otrzyma膰 鈥� m贸wi prof. El偶bieta 呕膮dzi艅ska, rektor U艁. 鈥� Aplikacja pana profesora Indrzejczaka o Advanced Grant ERC zako艅czy艂a si臋 sukcesem, ale ka偶dy naukowiec musi mie膰 艣wiadomo艣膰, 偶e odrzucenie, nawet wielokrotne, wniosku o finansowanie to nie koniec 艣wiata. Nale偶y szuka膰 innego rozwi膮zania - bardziej adekwatnego konkursu, innej instytucji finansuj膮cej, wprowadza膰 zmiany w projekcie czy w zespole badawczym. Rozwi膮za艅 jest wiele, ale by po nie si臋gn膮膰, nale偶y zachowa膰 otwarto艣膰 i odwag臋 mierzenia si臋 z problemami i trudnymi emocjami, kt贸re pojawiaj膮 si臋 w obliczu niepowodzenia. Po to by i艣膰 dalej i z zaanga偶owaniem wykonywa膰 swoj膮 prac臋 badacza.
Granty przyznawane przez s艂u偶膮 finansowaniu wy艂膮cznie bardzo ambitnych, cz臋sto kosztownych bada艅, kt贸rych efektem mog膮 by膰 prze艂omowe odkrycia. Istotn膮 cech膮 grant贸w ERC jest to, 偶e w wi臋kszo艣ci przypadk贸w fundusze s膮 przyznawane konkretnej osobie, czyli g艂贸wnemu wykonawcy, kt贸ry nast臋pnie dobiera sobie odpowiedni zesp贸艂 badaczy.鈥�
鈥濭rant ERC to rozpoznawalny w skali 艣wiatowej znak najwy偶szej jako艣ci uczonego. Gdy kilka miesi臋cy temu rozmawia艂em z przewodnicz膮cym Fundacji Noblowskiej Carlem-Henrikiem Heldinem, wspomnia艂, 偶e presti偶 grant贸w przyznawanych przez Europejsk膮 Rad臋 ds. Bada艅 Naukowych mo偶na por贸wna膰 jedynie z presti偶em Nagrody Nobla. By艂o w tej wypowiedzi zapewne sporo kurtuazji, ale warto pami臋ta膰, 偶e podobnie jak nagroda ufundowana przez szwedzkiego przemys艂owca, granty ERC s膮 doskonale rozpoznawalne przez naukowc贸w ca艂ego 艣wiata i otwieraj膮 ich wykonawcom drzwi do cennych mi臋dzynarodowych kontakt贸w z elit膮 艣wiatowej nauki, u艂atwiaj膮 wsp贸艂prac臋 z najlepszymi zespo艂ami, pozwalaj膮 na globalne propagowanie uzyskanych wynik贸w, a tak偶e u艂atwiaj膮 pozyskiwanie 艣rodk贸w na dalsze badania鈥�
- prof. dr hab. in偶. Andrzej Jajszczyk, cz艂onek Rady Naukowej ERC w swym artykule na 艂amach .
W rozstrzygni臋tej w kwietniu edycji grant贸w ERC za rok 2021 spo艣r贸d ponad 1700 zg艂oszonych wniosk贸w wy艂oniono 253 laureat贸w, kt贸rzy na badania otrzymali 艂膮cznie ponad 624 mln euro. Dotychczas (od 2007 roku, od kiedy s膮 przyznawane) granty ERC r贸偶nego typu otrzyma艂o 59 naukowc贸w z 21 polskich jednostek naukowo-badawczych. Tylko siedmiu z nich (w tym prof. Andrzej Indrzejczak z U艁) otrzyma艂o Advanced Grant.
Redakcja: Centrum Promocji U艁