Traditsiooniline formaalne loogika

Из предисловия к книге:

Книга дает практические знания формальной логики: традиционно рассматриваются основные формы мышления, операции с ними, а также законы, которым необходимо следовать либо в речи, либо в тексте, чтобы рассуждения были логически обоснованными. Но книга также демонстрирует ограниченность традиционной логики. Традиционная логика изучает действительные формы рассуждений, основанные на естественном языке, и именно поэтому ее научные достижения имеют практическое значение. Книга также знакомит с основами современной символической логики: символическим языком исчисления предложений и исчисления предикатов. Цели современной символической логики и традиционной логики совпадают, и современная логика переняла все положительное, что традиционная логика открыла и исследовала. В книге минимально используются абстрактные логические символы.