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