Традиционной формальной логики

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

Логика — одна из первых систем знания, сложившаяся в античные времена к III в. до н.э. История ее возникновения связана с поиском рациональных принципов и общезначимых процедур, разрешающих конфликт. Самая древняя модель конфликтной ситуации — спор.

Слово «логика» происходит от древнегреческого «1оgоs» — мысль, слово. В современной системе знаний этим термином обозначают: 1) закономерность явлений — под «логосом» понимается некий объективный закон, логика вещей; 2) закономерность развития и связи мыслей — имеется в виду логика той или иной теории; 3) науку о принципах и закономерностях абстрактного мышления.

В последнем случае термин «логика» охватывает область знаний, в которой исследуются строй и принципы мышления по его языковым выражениям. Именно в этом плане логика представляет собой вполне определенный учебный курс. Знание простых правил может оказаться достаточным для выявления несостоятельности какого-либо рассуждения, что, в свою очередь, организует поведение в ситуации делового общения. Систематизируя способы анализа рассуждений, логика дает возможность анализировать и такие рассуждения, с которыми человек встречается впервые.

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

В логике различают несколько моделей объяснения:

· Дедуктивная модель объяснения (от общего к частному)

В рамках дедуктивной логической схемы можно выделить:

Генетические (соотношение причины и следствия), Структурные (взаимоотношение целого и частей),

Функциональные (взаимоотношение уровней взаимосвязи структур, явлений, событий) модели в зависимости от характера исследуемых связей.

· Индуктивная модель объяснений - статистическая (от частного к общему) - оперирует эмпирическими фактами и отношениями, массовыми событиями. Знание всегда имеет вероятностный характер.

· Телеологическая (интенциональная) модель объяснения – ориентированная на конечную цель (интенцию) объяснения. Логика объяснения представлена «практическим выводом» цепи наблюдаемых или объясняемых фактов. Одной из разновидностей телеологической модели является рассказ – это нарративная (описательная модель), преследующая какую-либо цель (О.Д.Шипунова).

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

Цель логики – формирование интеллектуальной культуры деятельности, закономерностей мышления. Мышление опирается на формы чувственности и с ним связано, однако у мышления существуют и свои законы, которые постигаются с помощью умозрения, на уроне отвлеченного, абстрактного мышления, элементарной формой которого является ПОНЯТИЕ.

Понятие отличается от образа. Образ многомерен и «вещественен», понятие абстрактно, отвлеченно от вещественного, сущностно приподнято над материальным бытием. Понятие – форма отвлеченного мышления. У него всегда есть знак (в данном случае – слово - нечто материальное) и содержание, которое мыслится (оно не имеет телесности). Исследование этого мыслительного содержания по знаковым формам выражения и составляет предмет логики.

Логика изучает и формализует типовые структуры рассуждения, пользуясь при этом специфическим языком. Для его понимания необходимо знать основные семантические категории.

Семантическая категория – это устойчивый смысловой элемент какой-либо формальной системы (в том числе и языковой). НПР – Грамматика элементы – буквы, слова, знаки препинания. Буква может заменить букву, тогда изменится смысл, но не может быть заменена знаком препинания, тогда смысл теряется: РАК,РОК,КОК,СОК, С?К

В логике взаимозаменяемыми смысловыми единицами – семантическими категориями, служат:

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

План выражения – смысловое значение, указывающее на контекст, в котором характеризуется объект.

Высказывания - это мысль, выраженная в повествовательной (утвердительной или отрицательной форме). Главная характеристика высказывания (истинно, ложно, неопределенно.) Логика высказывания – это пропозиционная логика.

Логические термины – это константы, играющие связующую роль в рассуждениях. В том числе,

Логические союзы и кванторы.

Λ – конъюнкция, соединительный союз.

НПР: Россия, крупнейшая мировая держава и страна с многонациональным населением.

Наступило лето и я отправился в поход.

V – дизъюнкция, или разделительный союз

· Нестрогая – Знающий человек достиг высокой эрудиции, или за счет прекрасной памяти, или за счет упорного труда.

· Строгая: Данный угол, либо тупой, либо острый, либо прямой.