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