Analyticity and Metamathematics
Streszczenie
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.
Collections