Если мы «отбросим» содержание этих высказываний, то «останется» 
то, что называется формой этих мыслей, которая может быть записана в 
виде:
Все S есть Р.
Таким   образом,  логической   формой,   или   структурой   мысли, 
называется строение этой мысли, способ связи ее составных частей. 
Например, содержательно разные высказывания «Если идет война, то 
есть   человеческие   жертвы»   и   «Если   математика   –   наука,   то   она 
устанавливает законы» также имеют одинаковую логическую форму: «Если 
А, то В».
Следующие   два   вывода,   различающиеся   своим   содержанием, 
совпадают   по   своей   логической   форме:   «Если   идет   дождь,   то   асфальт 
мокрый. Сейчас идет дождь. Следовательно, асфальт мокрый» и «Если 13 – 
простое число, то оно делиться на себя и на единицу. 13 – простое число. 
Следовательно,   13   делиться   только   на   себя   и   на   единицу».   Заменив 
высказывания, входящие в данные выводы, переменными, получаем, что в 
обоих случаях рассуждение идет по одной и той же схеме: «Если А, то В. А. 
Следовательно,   В».   Это   –   схема   правильного   рассуждения:   какие   бы 
конкретные высказывания ни подставлялись вместо А и В, если посылки 
истины, заключение также будет истинным. 
Различие   между   логической   формой   и   содержанием   не   является 
абсолютным. То,  что  в одном  случае считается относящимся к форме, в 
другом   может   оказаться   содержательным   компонентом   рассуждения,   и 
наоборот.
Следует заметить, что интерес логики к логической форме не означает 
отвлечение   ее   от   всякого   содержания.   Сама   логическая   форма   обладает 
определенным   абстрактным   содержанием,   его   иногда   называют 
«формальным»,   чтобы   отличить   от   «конкретного   содержания».   Скажем, 
форма «Все  S  есть Р» указывает, что у всякого предмета, обозначаемого 
буквой S, есть признак, обозначаемый буквой Р.
Вместе   с   тем,   благодаря   формализации   любая   мысль   может   быть 
представлена в виде логической (или пропозициональной) функции, где S и Р 
(как в рассматриваемых примерах) обозначают логические переменные, а 
слова,   определяющие   данную   структуру   мысли,   являются   логическими 
постоянными.   Логическими   переменными   могут   выступать   различные 
понятия,   а   также   суждения.   Благодаря   такому   представлению   мыслей 
возможны   различные   логические   теории,   например,   логика   предикатов, 
логика высказываний, модальная логика и т. п.
Логика   –   это   фундаментальная   наука,   используемая   как   в 
естественнонаучной,   так   и   в   гуманитарных   областях   человеческой 
деятельности. Возникшая спонтанно в разных цивилизациях как инструмент 
общественной практики, логика постепенно превращается в теоретическую 
науку и ее дальнейшее развитие не зависит от национальных, культурных и 
языковых особенностях тех или иных стран и народов.