Логика

Логика (logic), наука о способах рассуждения и доказательствах. В 19 в. в среде математиков росло недоверие к интуиции и опыту. Это привело к тому, что большие надежды стали возлагать на формальную мат. Л., начиная с формулировки и принятия аксиом, или логических предложений, до установления правил определения точности аргументов и истинности заключений. Помимо того что Л. использовали для создания более прочного основания математики, в 19 в. была развита новая ветвь мат. Л., наиб, полно выраженная в трудах Джорджа Буля. В булевой алгебре для представления логических предложений и соотношений между ними применялись алгебр, символы и операции. Идеи Буля легли в основу символической Л., к-рая нашла применение в нек-рых разделах вычислительной математики и электроники.