1. Понятие логической формы мысли.
Логическая форма мысли есть общее, объединяющее понятия, суждения или умозаключения, несмотря на то, что в них говорится о разных предметах.
В естественном языке мысли выражаются с помощью слов и словосочетаний и имеют конкретное содержание (то, о чем в них говорится). Отвлекаясь от конкретных предметов, человек обобщает их в классы. Предметы обобщаются в классы, так как они имеют общие свойства. Например, общее свойство космонавтов — «быть человеком, который летал в космос», свойство стола — «быть предметом домашней мебели, представляющим собою широкую поверхность из досок (деревянных, мраморных и др.), укрепленных на одной или нескольких ножках и служащий для того, чтобы ставить или класть что-нибудь» и т. д. Если отвлечься от специфики этих свойств, объединить их и обозначить, например, символом А. Тогда связь между классами предметов и классом общих свойств этих предметов можно представить следующей формулой: X A (X) (класс таких предметов X, которые обладают признаками А). Логиче-ская форма понятий — это способ связи между классом предметов и совокупностью признаков предметов этого класса.
Логическая форма суждений — это способ связи понятий о предмете, о свойствах предметов или отношений между предметами, выраженный в форме утверждения или отрицания. Например, возьмем три суждения: «Все школьники — учащиеся», «Все люди смертны» и «Все русские любят быструю езду». Отвлекаясь от свойств, приписываемых субъекту, заменим их символом Р (предикат). Тогда все эти суждения будут иметь одинаковую форму: Все S суть Р, которая и является логической формой суждений.
Логическая форма умозаключений — это способ связи суждений, так что из истинных суждений необходимо следуют другие истинные суждения .
При выявлении логической формы сохраняется информация о том, к какой семантической категории (классу выражения языка) относится термин, заменяемый переменной. Поэтому в логике предикатов для выражения разных категорий вводятся различные символы. При выявлении логической формы различные вхождения одного и того де термина в контекст заменяются одной и той же буквой, а различные термины — разными буквами .
2. Основные формы абстрактного мышления.
Рациональное (абстрактное) мышление протекает в трех основных формах — понятие, суждение, умозаключение.
Понятие — это форма мышления, с помощью которой создаются мысленные образы предметов, представления об их свойствах и отношениях. Создавая понятия, человек анализирует признаки предметов, сравнивает их и выделяет существенные черты, синтезирует их, абстрагируется от несущественных признаков, обобщает предметы по существенным. Так создаются понятия, при отвлечении от многообразных индивидуальных свойств. При помощи понятий человек может обобщать, соединять мысленно то, что в реальности существует обособленно. Например, в реальном мире не существует вообще человека, вообще кота, вообще ножа и т. д. — обобщенные образы могут существовать только в мире идеальном. Образование понятий позволяет судить о явлениях, исходя из главных (существенных) свойств класса явлений. Имея понятия о предметах, человек может судить о них (или высказывать суждения), а затем делать умозаключения. Так, например, имея понятие о собаке как млекопитающем и зная, что все млекопитающие вскармливают детенышей молоком, мы можем сделать вывод, что все собаки вскармливают своих детенышей молоком.
