Объектом формальной логики является абстрактное мышление, а предметом- законы и формы правильного мышления

Предмет логики и ее основные семантические категории

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

· Предмет науки - та сторона объекта (его срез, особое содержание), на которую направлено познание данной науки.

Логика- наука о законах и формах мышления

Объектом формальной логики является абстрактное мышление, а предметом- законы и формы правильного мышления

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

Особенности АМ: 1) Активный и целенаправленный характер (мышление - деятельная способность, посредством которой человек идеально преобразует объекты).

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

3) Опосредованное отражение действительности (мышление опосредованно чувственными данными, прошлым опытом).

4) Неразрывная связь с языком (язык - средство выражения, закрепления и передачи мысли).

Выражения (слова и словосочетания) естественного языка, имеющие какой-либо самостоятельный смысл, можно разбить на так называемые семантические категории. Целью деления на семантические категории- предотвращение смешения языковых выражений разных типов,которое ведет к образованию бессмысленных выражений. (Квадратичность пьет воображение" или "Если дует ветер, то звезда". (Ивин А.А.) Семантические категории - класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметными значениями данного типа. К семантическим категориям относятся:

1) предложения: повествовательные, побудительные, вопросительные;

2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины. К дескриптивным(описательным) семантическим категориям языка относятся: имена (знаки предметов), nредикаторы (знаки свойств и отношений), функциональные знаки.

А). Имена - это слова или словосочетания, обозначающие какой-либо предмет.

Различают простые имена, состоящие из одного слова, например: «книга», «воробей», «песня»; сложные имена, которые состоят из двух слов, например: «город-герой», И описательные имена, состоящие из частей, имеющих самостоятельный смысл, например: «самая высокая горная вершина». Единичное имя обозначает один предмет и представлено в языке именем собственным, например: «А.П. Чехов», или представлено описательно. Общее имя обозначает класс однородных предметов и в языке представлено именем нарицательным, например «закон», или дается описательно, например«действующий вулкан».

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

А) Знаки свойств - характеристики отдельных предметов (синий, горький, пьяный, шумный).

Б) Знаки отношений - связь между двумя и более предметами (больше чем, брат, красивее чем)

В) Знаки признаки - указывают на наличие или отсутствие характеристик предмета (являться больным, не являться умным).

Число имен, к которым относится предикатор, называется его местностью.

Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства, присущие отдельным предметам (например, “талантливый”, “горький”, “большой”, «лед холодный»). Многоместные предикаторы обозначают (выражают) отношения между двумя и более предметами, называются многоместными.

Двухместными предикаторами являются, например, «больше», «любить», «мать» и т. д., «Диаметр Венеры больше диаметра Меркурия».

Трехместный предикатор: «Город Волгоград находится между городами Саратов и Астрахань».

Функциональные знаки (предметные функторы) - это выражения, обозначающие предметные функции, т.е. функции, значениями которых являются предметы.

К примеру "Солнце" - это имя, "Солнце греет" - предложение. Слово "есть" - функтор, образующий предложение из двух других предложений и т.д.

Имеются функторы, преобразующие имена в предложения, предложения в предложения, имена в имена и предложения в имена. Имеются также более сложные функторы, преобразующие одни функторы в другие.

Логические термины - это термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания. Они ничего не обозначают и ничего не описывают. В русском языке имеются слова и словосочетания, которые являются такими терминами: «есть», «суть». «не», «неверно, что», «все», «если и только если», «некоторые», «ни один», «или» И т. п.