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