Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

PL EN


1993 | 09 |

Article title

Analyticity and Metamathematics

Authors

Content

Title variants

EN
Analityczność i metamatematyka

Languages of publication

Abstracts

PL
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.

Keywords

References

Document Type

Publication order reference

Identifiers

URI
http://hdl.handle.net/11089/8841

YADDA identifier

bwmeta1.element.hdl_11089_8841
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.