Logika Vtoroy Stupeni Vvedenie : Kratkoe izlozhenie osnovnyh faktov i nekotrye issledovaniya v oblasti logiki predikatov vtorogo poryadka.

Logika vtorogo poryadka ostaetsya v nastoyashchee vremya daleko ne izuchennym do kontsa razdelom matematicheskoy logiki v silu ryada voznikayushchikh v ney trudnostey, ne imeyushchikh mesta v logike pervogo poryadka. Tem ne menee, ona zasluzhivaet vnimaniya blagodarya svoim bolee shirokim, chem v logike pervogo poryadka, vyrazitel'nym vozmozhnostyam. V obshchikh chertakh logika vtorogo poryadka mozhet byt' okharakterizovana kak takoe rasshirenie logiki pervogo poryadka, yazyk kotoroy formalizuet ponyatiya proizvol'nogo svoystva i proizvol'nogo ot- nosheniya. Takim obrazom, eto logicheskoe ischislenie bolee polno otrazhaet sredstva i sposoby nashikh estestvennykh, neformal'nykh rassuzhdeniy. Pervye formal'no-logicheskie sistemy, takie, kak sistema G.Frege, byli v kakom-to sistemami logiki vtorogo poryadka. Issledovaniyami v etoy oblasti zanimalis' takie krupnye matematiki-logiki, kak Khenkin, Cherch, Takeuti i dr. V svoey rabote avtor isssleduet ogranicheniya i illyustriruet vozmozhnosti vyrazimosti v yazyke vtorogo poryadka. Eta kniga mozhet takzhe posluzhit' vvedeniem v etu oblast' matematicheskoy logiki.