Pavel Arazim: Struktura a inference

Pořádá Oddělení logiky

Více

Pozvánka pdf

Anotace

Podle strukturalismu jsou matematické objekty charakterizovány svými vzájemnými vztahy. Matematika pak má zkoumat struktury těmito vztahy konstituované. Inferencialismus je proti tomu v první řadě filosofie jazyka obecně. Význam daného výrazu vysvětluje jeho logickými vlastnostmi, především inferencemi, ve kterých figuruje. Zjevně jsou tedy inferencialismus a strutkuralismus neseny podobným duchem.  Nabízí se zkoumat možnost jejich spojení ve smyslu inferencialistické filosofie matematiky. Strukturalismus, jak ho chápe jeho nejprominentnější představitel Stewart Shapiro, se ale výrazně zaměřuje na ontologické otázky týkající se matematických entit, což jde proti inferencialistickému směřování. Přesto budu argumentovat pro tezi, že inferencialismus je do důsledků domyšlený strukturalismus.

Seminář se uskuteční dle aktuální epidemiologické situace prezenčně v zasedací místnosti Filosofického ústavu AV ČR (Jilská 1, Praha 1), nebo online: cesnet.zoom.us/j/96869302116?pwd=bHlFektFMi9lZXBUeDd5WHM0RmE3QT09

Meeting ID: 968 6930 2116
Passcode: 082189