Prof. Andrzej Indrzejczak, kierownik Katedry Logiki i\u00a0Metodologii Nauk na Wydziale Filozoficzno-Historycznym Uniwersytetu \u0141\u00f3dzkiego (U\u0141), otrzyma\u0142 na sw\u00f3j projekt badawczy presti\u017cowy Advanced Grant Europejskiej Rady ds. Bada\u0144 Naukowych (European Research Council, ERC) w\u00a0wysoko\u015bci ponad 1,6 mln euro.<\/b><\/p>\n
Jak podkre\u015bla Centrum Promocji U\u0141, to pierwsze w\u00a0historii tego typu dofinansowanie dla naukowca Uniwersytetu \u0141\u00f3dzkiego i\u00a0jednocze\u015bnie pierwszy grant ERC dla \u0142\u00f3dzkich uczelni. Po raz pierwszy tak\u017ce polski naukowiec zdoby\u0142 Advanced Grant ERC w\u00a0dziedzinie nauk spo\u0142ecznych i\u00a0humanistycznych, gdy\u017c dotychczas otrzymywali je reprezentanci nauk fizycznych i\u00a0in\u017cynieryjnych.<\/span><\/p>\n Projekt prof. Indrzejczaka –\u00a0\u201eComing to Terms: Proof Theory Extended to Definite Descriptions and other Terms\u201d\u00a0– po\u015bwi\u0119cony jest teorii dowodu i\u00a0program\u00f3w dedukcji automatycznej dla formalnych teorii wykorzystuj\u0105cych z\u0142o\u017cone wyra\u017cenia nazwowe (takim jest np. wyra\u017cenie: \u201eostatni film Wajdy\u201d) jako no\u015bniki informacji. Celem projektu jest dostosowanie narz\u0119dzi logiki formalnej do struktury j\u0119zyk\u00f3w naturalnych, w\u00a0kt\u00f3rych z\u0142o\u017cone wyra\u017cenia nazwowe odgrywaj\u0105 bardzo wa\u017cn\u0105 rol\u0119.\u00a0<\/span><\/p>\n jp<\/span><\/p>\n","protected":false},"excerpt":{"rendered":" Prof. Andrzej Indrzejczak, kierownik Katedry Logiki i\u00a0Metodologii Nauk na Wydziale Filozoficzno-Historycznym Uniwersytetu \u0141\u00f3dzkiego (U\u0141), otrzyma\u0142 na sw\u00f3j projekt badawczy presti\u017cowy Advanced Grant Europejskiej Rady ds. Bada\u0144 Naukowych (European Research Council, ERC) w\u00a0wysoko\u015bci ponad 1,6 mln euro. Jak podkre\u015bla Centrum Promocji U\u0141, to pierwsze w\u00a0historii tego typu dofinansowanie dla naukowca Uniwersytetu \u0141\u00f3dzkiego i\u00a0jednocze\u015bnie pierwszy grant ERC […]<\/p>\n","protected":false},"author":6,"featured_media":229855,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":[],"categories":[16],"tags":[],"_links":{"self":[{"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/posts\/229829"}],"collection":[{"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/users\/6"}],"replies":[{"embeddable":true,"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/comments?post=229829"}],"version-history":[{"count":0,"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/posts\/229829\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/media\/229855"}],"wp:attachment":[{"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/media?parent=229829"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/categories?post=229829"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.polishscience.pl\/pl\/wp-json\/wp\/v2\/tags?post=229829"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}