1970: Rudolf Carnap avlider

Den 14 september 1970 dog filosofen Rudolf Carnap i Santa Monica, Kalifornien, 79 år gammal. Född i Ronsdorf 1891 och skolad i fysik, matematik och filosofi blev Carnap en av de centrala gestalterna i Wienkretsen och den logiska empirismen. Hans krav att meningsfulla satser måste vara antingen empiriskt prövbara eller logiskt analytiska omformade 1900-talets syn på kunskap, språk och vetenskap.

Carnaps huvudarbeten—Logische Syntax der Sprache (1934), Meaning and Necessity (1947) och Logical Foundations of Probability (1950)—gav precisa tekniska redskap för att tala om syntax, semantik och induktiv slutledning. Han behandlade vetenskapliga teorier som formella system vars påståenden kunde rekonstrueras i ett noggrant kontrollerat språk, och han utvecklade en kvantitativ redogörelse för hur evidens höjer hypotesers sannolikhet. Dessa idéer spred sig långt utanför den rena filosofin.

När de första forskarna inom artificiell intelligens började koda kunskap och resonemang i datorer ärvde de Carnaps övertygelse att intelligens kan göras formellt explicit. Tidiga kunskaprepresentationsspråk, teorembevisare och expertsystem vilade alla på samma tilltro till logisk rekonstruktion som Carnap hade förfäktat. Hans arbete om konfirmationsteori utgjorde likaså en begreppslig föregångare till dagens probabilistiska och bayesianska metoder inom maskininlärning.

Även samtida debatter om stora språkmodeller ekar carnapianska teman: vad som räknas som genuin förståelse kontra ren syntaktisk färdighet, hur mening kan förankras, och huruvida induktiv generalisering från data någonsin kan fullt ut rättfärdigas. Formell verifiering av neurala nätverk, probabilistiska programspråk och ontologiteknik fortsätter—ofta omedvetet—att dra nytta av det intellektuella apparat han finjusterade.

Carnap såg aldrig en digital dator köra en inlärningsalgoritm, men den långa bågen från Wienkretsens seminarier till dagens AI-laboratorier går rakt genom den begreppsapparat han lämnade efter sig. Hans död denna dag markerar inte ett slut utan en tyst milstolpe i den idéhistoria som gjorde artificiell intelligens tänkbar.