Analityczność i metamatematyka

Abstract

Chociaż rozróżnienie sądów analitycznych i syntetycznych pojawiło się po raz pierwszy u Kanta, to pokrewne pojęcia można odnaleźć już u Hume’a i Leibniza. Autor zestawia i analizuje różne definicje i charakterystyki pojęcia analityczności, jakie proponowali m. in.: Kant, pozytywiści, Frege, Carnap, Strawson i Quine. Wskazuje się, że w badaniach nad zagadnieniem analityczności często odwoływano się do takich pojęć metalogicznych, jak: prawdziwość, niesprzeczność czy dowiedlność, a te z kolei zostały scharakteryzowane na gruncie metamatematyki przez tzw. twierdzenia limitacyjne, w szczególności przez twierdzenia Godła o niezupełności i twierdzenie Churcha o nierozstrzygalności. W związku z tym referowano dyskusję nad związkiem ww. twierdzeń z zagadnieniem rozstrzygalności prowadzoną przez samego Godła, a także przez Turquette'a, Copiego, Kemeny’ego, Borkowskiego i in.