4.Логика формальная, диалектическая, математическая (символическая).

Формальная логика – наука о формах мышлениях(дедуктивная + индуктивная логики) Выявляет структуру, общую для различных по содержанию мыслей. Она изучает законы, обуславливающие логическую правильность мышления. Особенность состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. В истории философии — отдельный раздел или направление логики конца XIX—начала XX века.

Термин «формальная логика» введён Аристотелем. По Канту, формальная логика (в «Критике чистого разума» («КЧР») она названа «общей») отвлекается от содержания понятий и имеет дело толь ко с их формой.

Сам Кант противопоставлял формальной логике (к которой относил прежде всего силлогистику, основывающуюся на «Аналитиках» Аристотеля) содержательную, трансцендентальную логику, являющуюся зачатком учения о категориях, разработка которой и составляет основной предмет «КЧР».

Претензии формальной логики на роль теории мышления несостоятельны, поскольку:

• её понятия описывают не мышление в целом, а лишь его знаковую форму, и то неполно;

• в её понятиях не учитывается зависимость строения и правил преобразования этой формы от содержания;

• её понятия не отражают различия между мышлением и его продуктами (знаниями);

• её понятия не могут объяснить образование сложных знаний;

• её метод несовместим с историческим подходом к исследованию мышления

Диалектическая логика — впервые представленная Гегелем и с материалистической разницей переработанная в философию марксизма. Изучает законы развития человеческого мышления, а так же методологические принципы и требования, которые формируются на их основе: объективность и второстепенность, раздвоение единого на противоположные стороны.

Сторонники: немец Фридрих Гегель, Карл Маркс и Фридрих Энгельс.

Символическая логика – основу составляет учение о силлогизме. Состоит из множества разделов:

- многозначная логика – множество значений истинности.

- модальная логика – значения «возможно», «невозможно», «необходимо» и др.

- вероятностная логика – исследует высказывания, принимающие множество степеней правдоподобности – от 1 до 0.

5. Понятие, как форма мышления.

В понятии отражаются существенные признаки предметов. Что является признаком?

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

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

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

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

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