3) Язык логики

Специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Построение его предполагает принятие особой теории логического анализа.

Логика традиционная пользовалась для описания правильного мышления обычным языком, дополненным немногими специальными символами. Этот язык имеет, однако, целый ряд черт, мешающих ему точно передавать форму мысли. Он является аморфным как со стороны своего словаря, так и в отношении правил построения выражений и придания им значений. В нем нет четких критериев осмысленности утверждений. Не выявляется строго логическая форма рассуждений. Значения отдельных слов и выражений зависят не только от них самих, но и от их окружения. Многие соглашения относительно употребления слов не формулируются явно, а только предполагаются. Почти все слова имеют не одно, а несколько значений. Одни и те же объекты порой могут называться по-разному или иметь несколько имен. Есть слова, не обозначающие никаких объектов, и т. д.

Все это не означает, что обычный язык никуда не годен и его следует заменить какой-то искусственной символикой. Он вполне справляется с многообразными своими функциями. Но, решая многие задачи, он лишается способности точно передавать логическую форму. Для целей логики необходим искусственный язык, строящийся по строго сформулированным правилам. Этот язык не предназначен для общения, он должен служить только одной задаче - выявлению логических связей наших мыслей, но решаться она должна эффективно.

4) Понятие как форма мышления

Мы определили логику как науку о формах и законах правильного мышления. Сейчас мы начинаем изучение этих форм, из которых наиболее простой и фундаментальной является понятие.

Понятие - простейшая логическая форма мысли, отражающая предметы и явления в их общих существенных признаках.

Признаком называют все то, в чем предметы могут быть сходны между собой, или чем они друг от друга отличаются.

Например, ворона летает и муха летает, способность летать - это тот признак, относительно которого ворона и муха похожи, и по этому признаку они отличаются от коровы, которая летать не может.

Общим называется признак, присущий классу однородных предметов. Если какие-то предметы сходны в отношении некоторого признака, то их можно объединить в группу, класс, отличающийся от других классов как раз тем, что входящие в него предметы обладают данным признаком.

Например, снег бел, чистый лист бумаги бел, сахар бел… Мы можем объединить все эти вещи в класс "белых предметов", всем элементам которого присущ один общий признак - "быть белым". Большинство признаков является общими, но встречаются и единичные признаки, которым соответствует единственный предмет. Например: "быть первым космонавтом", "быть сегодняшним ректором КрасГАУ".

Существенный признак - такая сторона, черта, особенность предмета, которая необходимо ему присуща, лишившись которой он передает быть самим собой, становится иным предметом.

Несущественный признак может приобретаться или теряться предметом, но это никак не влияет на его существование в качестве данного предмета.

Различие между существенными и несущественными признаками не является строгим: то, что в одном отношении кажется существенным, в других отношениях может оказаться несущественным, и наоборот.