Logitsism

Logitsism (inglise keeles logicism, saksa keeles Logizismus) on mõttemuster matemaatikafilosoofias, et matemaatika on loogika laiendus ning kogu matemaatika on taandatav loogikale kui ainsale alusele, st matemaatika mõisted on taandatavad loogika mõistetele ja matemaatika järeldamisviisid on taandatavad loogika järeldamisviisidele. Selline taandamine annaks matemaatikale täiesti ranged alused ja tagaks ühtlasi matemaatika meetodite usaldatavuse.

Logitsism oli formalismi ja intuitivismi kõrval üks matemaatika aluste alaste uuringute põhisuundi 20. sajandi alguskümnenditel.

Logitsistid ei pea matemaatikat ja loogikat erinevateks distsipliinideks, vaid ühe ja sama teaduse astmeteks. Matemaatikat on nende arvates võimalik täies mahus tuletada puhtast loogikast, ilma et oleks tarvis appi võtta täiendavaid põhimõisteid ega eeldusi.

Logitsism sai tekkida tänu asjaolule, et loogika etendab matemaatikas suuremat osa kui mis tahes teises teaduses ning matemaatikat on ammust ajast peetud loogilise ranguse eeskujuks. Pealegi on matemaatika teooriad enamasti üles ehitatud aksiomaatikast puhtloogiliselt tuletatavate teoreemide kogumitena.