Настоящая книга знакомит читателя с сущностью и основными принципами математической логики. Для этого в первую очередь вводится и уточняется ряд несложных, но очень важных понятий (структура, система, модель и т.д.), а затем эти понятия связываются с некоторыми уже установившимися терминами математики (такими, например, как функция, аргумент). Это позволяет полнее сформулировать сущность математической логики и ее отличие от обычных разделов математики. На примере анализа поведения "черного ящика" показаны основные типы логических отношений и изложены важнейшие законы математической логики. Заключительная глава посвящается проблеме связи математической логики и математики с традиционной аристотелевской логикой, а также выяснению того, каковы объективные причины, препятствующие разрешению этой проблемы. Книга, в которой большое внимание уделено именно исходным понятиям и их увязыванию со здравым смыслом человека, опирающимся на жизненный опыт, будет доступна читателю, не имеющему...
Nastojaschaja kniga znakomit chitatelja s suschnostju i osnovnymi printsipami matematicheskoj logiki. Dlja etogo v pervuju ochered vvoditsja i utochnjaetsja rjad neslozhnykh, no ochen vazhnykh ponjatij (struktura, sistema, model i t.d.), a zatem eti ponjatija svjazyvajutsja s nekotorymi uzhe ustanovivshimisja terminami matematiki (takimi, naprimer, kak funktsija, argument). Eto pozvoljaet polnee sformulirovat suschnost matematicheskoj logiki i ee otlichie ot obychnykh razdelov matematiki. Na primere analiza povedenija "chernogo jaschika" pokazany osnovnye tipy logicheskikh otnoshenij i izlozheny vazhnejshie zakony matematicheskoj logiki. Zakljuchitelnaja glava posvjaschaetsja probleme svjazi matematicheskoj logiki i matematiki s traditsionnoj aristotelevskoj logikoj, a takzhe vyjasneniju togo, kakovy obektivnye prichiny, prepjatstvujuschie razresheniju etoj problemy. Kniga, v kotoroj bolshoe vnimanie udeleno imenno iskhodnym ponjatijam i ikh uvjazyvaniju so zdravym smyslom cheloveka, opirajuschimsja na zhiznennyj opyt, budet dostupna chitatelju, ne imejuschemu...
