Koncepcje związane z pojęciem prawdy Inteligentne Systemy Informacyjne Koncepcje związane z pojęciem prawdy Maciej Remiszewski maciej.remiszewski@gmail.com Wydział Elektroniki i Technik informacyjnych Politechniki Warszawskiej

Wiedza "rzeczywisty proces wnioskowania, stanowiący samo sedno logiki, jest czymś, czego nie można przedstawić w postaci formuły logicznej” (Peter Winch) Dana / Informacja / Wiedza

Klasyczna Definicja Prawdy zgodność zdania z rzeczywistością Arystoteles (ur. 384 p.n.e., zm. 322 p.n.e.)

Justyfikacjonaliści Weryfikowalność Spójność / poprawność logiczna jako kryterium prawdziwości Rudolf Carnap (ur. 18 maja 1891 - zm. 14 września 1970)

Falsyfikacjonaliści Falsyfikowalność / Zbliżanie się do prawdy poprzez odrzucanie fałszu (Popper) Karl Popper (ur. 28 lipca 1902, zm. 17 września 1994) Współzawodnictwo systemów / Płodność teorii jako miara zbliżania się do prawdy (Lakatos) Imre Lakatos (ur. 1922 r. , zm. 1974 r.)

Konwencjonaliści Nie ma kryterium lepszości teorii. Prawdą jest to, co uznaje większość / eksperci Thomas Samuel Kuhn (ur. 18 lutego 1922, zm. 17 czerwca 1996)

Relatywiści Czy Świat można opisać (poprawnie) na więcej niż jeden sposób? Paul Karl Feyerabend (ur. 13 stycznia 1924 , zm. 11 lutego 1994)

Pragmatyści Co z dziedzinami, które nie wyrażają się w zdaniach (wiedza ukryta)? Prawdziwość vs Poprawność Prawdziwe jest to, co jest użyteczne William James (ur. 11 stycznia 1842, zm. 26 sierpnia 1910

Agenda Wiedza Klasyczna Definicja Prawdy Filozofia nauki Achilles i żółw ("rzeczywisty proces wnioskowania, stanowiący samo sedno logiki, jest czymś, czego nie można przedstawić w postaci formuły logicznej” Peter Winch) Klasyczna Definicja Prawdy „zgodność zdania z rzeczywistością” Arystoteles Filozofia nauki Próba legitymizacji wiedzy Justyfikacjonaliści (Rudolf Carnap) Weryfikowalność Spójność / poprawność logiczna jako kryterium prawdziwości Przeniesienie predykatu prawdziwości do metajęzyka Falsyfikacjonaliści (Karl Popper, Imre Lakatos) Falsyfikowalność / Zbliżanie się do prawdy poprzez odrzucanie fałszu (Popper) Współzawodnictwo systemów / Płodność teorii jako miara zbliżania się do prawdy (Lakatos) Konwencjonaliści (Thomas Kuhn) Nie ma kryterium lepszości teorii. Prawdą jest to, co uznaje większość / eksperci Relatywiści (Paul Feyerabend) Czy Świat można opisać (poprawnie) na więcej niż jeden sposób? Pragmatyści (William James) Co z dziedzinami, które nie wyrażają się w zdaniach (wiedza ukryta)? Prawdziwość vs Poprawność / Prawdziwe jest to, co jest użyteczne