Logicizmas
Logicizmas – tai filosofinė doktrina, teigianti, kad matematika yra logikos dalis arba gali būti visiškai redukuota į logiką. Pagrindinė idėja: matematikos sąvokos ir teiginiai gali būti išreikšti grynai loginiais terminais, o matematikos teoremos – įrodytos remiantis logikos dėsniais.
Trumpai:
Matematika = logika.
Pagrindiniai atstovai ir pavyzdžiai:
1. Gottlob Frege – bandė išvesti aritmetiką iš logikos savo veikale „Grundgesetze der Arithmetik“. Jis teigė, kad skaičiai yra loginiai objektai, o skaičiavimai – logikos išvados.
Pavyzdys: Skaičiaus „2“ sąvoka gali būti apibrėžta kaip „klasė visų klasių, turinčių lygiai du elementus“.
2. Bertrand Russell ir Alfred North Whitehead – savo veikale „Principia Mathematica“ (1910–1913) bandė formaliai pagrįsti matematiką loginėmis aksiomomis.
Pavyzdys: Jie išvedė pagrindines aritmetikos teoremas (pvz., „1 + 1 = 2“) iš loginių aksiomų, nors tai reikalavo sudėtingų konstrukcijų.
Kritika ir problemos:
- Russellio paradoksas iškėlė grėsmę Frege sistemos pagrindams.
- Godelio neišsamumo teoremos (1931) parodė, kad negalima visą matematiką visiškai formalizuoti vienoje nuoseklioje aksiomų sistemoje, kas smarkiai susilpnino logicizmo ambicijas.
Reziumė: Logicizmas buvo įtakinga XX a. pradžios filosofinė-matematinė mintis, bet šiuolaikinėje matematikos filosofijoje laikoma tik daline ar istorine perspektyva.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.