JК
Логика :: Ивин Александр Архипович
Страница: 30 из 98Следует ли при решении этих вопросов раз и навсегда удовлетвориться рутинным способом преобразования на графике? Правда ли, что, несмотря на существование уже разработанной алгебры логики, своего рода „алгебра распределительных схем“ должна считаться утопией?»
В дальнейшем гипотеза Эренфеста получила воплощение в теории релейно-контактных систем.
В общем, оглядываясь на историю распространения логики, можно сказать, что лучшие русские логики всегда стремились стоять на уровне современных им мировых теорий и концепций, органически чуждаясь всякого рода логического сектантства и сепаратизма.
Современную логику нередко называют математической , подчёркивая тем самым своеобразие новых её методов в сравнении с использовавшимися ранее в традиционной логике.
Одна из характерных черт этих методов — широкое использование разнообразных символов вместо слов и выражений обычного языка. Символы применял в ряде случаев ещё Аристотель, а затем и все последующие логики. Однако теперь в использовании символики был сделан качественно новый шаг. В логике стали использоваться специально построенные языки, содержащие только специальные символы и не включающие ни одного слова обычного разговорного языка.
Широкое использование символических средств послужило основанием того, что, новую логику стали называть символической. Названия «математическая логика» и «символическая логика», обычно употребляемые и сейчас, обозначают одно и то же — современную формальную логику.
В дальнейшем гипотеза Эренфеста получила воплощение в теории релейно-контактных систем.
В общем, оглядываясь на историю распространения логики, можно сказать, что лучшие русские логики всегда стремились стоять на уровне современных им мировых теорий и концепций, органически чуждаясь всякого рода логического сектантства и сепаратизма.
Современную логику нередко называют математической , подчёркивая тем самым своеобразие новых её методов в сравнении с использовавшимися ранее в традиционной логике.
Одна из характерных черт этих методов — широкое использование разнообразных символов вместо слов и выражений обычного языка. Символы применял в ряде случаев ещё Аристотель, а затем и все последующие логики. Однако теперь в использовании символики был сделан качественно новый шаг. В логике стали использоваться специально построенные языки, содержащие только специальные символы и не включающие ни одного слова обычного разговорного языка.
Широкое использование символических средств послужило основанием того, что, новую логику стали называть символической. Названия «математическая логика» и «символическая логика», обычно употребляемые и сейчас, обозначают одно и то же — современную формальную логику.