Dmitriy Smelyanskiy

Logika Vtoroy Stupeni Vvedenie: Kratkoe Izlozhenie Osnovnykh Faktov I Nekotrye Issledovaniya V Oblasti Logiki Predikatov Vtorogo Poryadka. Dmitriy Smelyanskiy Russian edition

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.