Логическая форма

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

ИНСТИТУТ ЭКОНОМИКИ УПРАВЛЕНИЯ И ПРАВА

ФАКУЛЬТЕТ ЭКОНОМИКА

ДИСЦИПЛИНА ЛОГИКА

РЕФЕРАТ

Логическая форма

ВЫПОЛНИЛА СТУДЕНТКА

Анфимова Юлия Николаевна

НАУЧНЫЙ РУКОВОДИТЕЛЬ

Гайфутдинов Айрат Агдялович

ЧИСТОПОЛЬ 2011

СОДЕРЖАНИЕ

Введение

I. Логическая форма и её основные аспекты

1.1 Понятие, сущность и содержание логической формы

1.2 Язык формальной логики

II. Основные этапы становления логической формы

2.1 Классификация логических форм

2.2 Основные этапы развития логической формы

Заключение

Используемая литература

Введение

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

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

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

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

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

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

Великий русский писатель-мыслитель Л.Н. Толстой не без основания считал, что "мысль - начало всего. И мыслями можно управлять. И потому главное дело совершенствования: работать над мыслями"'. Управлять мыслью можно по следующим направлениям:

- со стороны содержания, т.е. предельно просто и всесторонне отражать основные признаки исследуемого объекта;

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

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

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

I. Логическая форма и её основные аспекты

1.1 Понятия, сущность и содержание логической формы

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

Другое направление в логике -- неформальная логика.

Формальная логика существует, практически не изменяясь, на протяжении почти двух тысячелетий, то есть со времен Аристотеля, что дало Канту повод высказать следующее замечание: "Что логика уже с древнейших времен пошла этим верным путем, видно из того, что со времен Аристотеля ей не приходилось делать ни шага назад... Примечательно в ней также и то, что до сих пор она не могла сделать ни шага вперед и, судя по всему, она кажется наукой вполне законченной и завершено".

Ниже будут рассмотрены некоторые важные принципы формальной логики.

Формальная логика формулирует четыре следующих закона построения мыслей:

1) закон тождества;

2) закон противоречия;

3) закон исключенного третьего;

4) закон достаточного основания.

Закон тождества может быть выражен в виде формулы "А есть А" аналогично суждению "цветок есть цветок". Это означает, что независимо от изменений, происходящих в явлении, суть понятия "цветок" не меняется. Под этим также подразумевается тождество в самом мышлении. Иными словами, понятие "цветок" имеет одно и то же значение во всех случаях. Кроме того, этот принцип может также означать соответствие двух понятий, как, например, в суждении "птица есть животное".

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

Закон исключенного третьего можно выразить формулой "А есть либо В, либо не В". Это означает, что суждение "А есть либо В, либо не В" не допускает наличия какого-то третьего, промежуточного суждения.

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

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

В формальной логике различают три основные формы мысли: понятие, суждение и умозаключение. Рассмотрим каждую из них.

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

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

Суждение - есть высказывание, умственный акт, выражающий отношение к содержанию высказываемой мысли.

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

Суждение - это отражение связей между предметами и явлениями действительности или между свойствами и признаками. Например, суждение "Металлы при нагревании расширяются", выражает связь между изменениями температуры и объемом металлов. Устанавливая, таким образом, различные связи и отношения между понятиями, суждения являются высказываниями чего-то о чем-то. Они утверждают или отрицают какие-либо отношения между предметами, событиями, явлениями действительности. Например, когда мы говорим: "Земля вращается вокруг Солнца", мы тем самым утверждаем наличие определенной объективной связи в пространстве между двумя небесными телами.

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

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

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

Мышление не есть просто суждение. В реальном процессе мышления понятия и суждения не пребывают особняком. Они как звенья включены в цепь более сложных умственных действий -- в рассуждения.

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

Умозаключение представляет собой операцию мышления, в ходе которой из сопоставления ряда посылок выводится суждение».

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

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

В формальной логике семиотической категорией является суждение (высказывание) - повествовательное предложение. Предложение высказывает мысль по своему логическому значению истинную или ложную.

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

Структуру мысли, т. е. ее логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) в трех следующих суждениях: «Все караси -- рыбы», «Все люди смертны», «Все бабочки -- насекомые». Содержание у них разное, а форма одна и та же: «Все S есть Р»; она включает S (субъект), т. е. понятие о предмете суждения, Р (предикат), т. е. понятие о признаке предмета, связку («есть»), кванторное слово («все»). Иногда связка может отсутствовать или заменяться тире.

Два следующих условных суждения имеют одну и ту же форму:

1) «Если железо нагреть, то оно расширяется»;

2) «Если учащийся изучает логику, то он повышает четкость своего мышления». Форма этих суждений такая: «Если S есть Р., то S есть P1».

Формальная логика, как уже говорилось, отделяет правильные способы рассуждения от неправильных и систематизирует первые.

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

Самым общим образом форму рассуждения можно определить как способ связи входящих в это рассуждение содержательных частей.

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

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

1.2 Язык формальной логики

логический мышление умозаключение высказывание

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

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

С чем же связано наличие собственного языка логики как науки? Дело в том, что естественному языку присущи некоторые недостатки, которые не позволяют логике ограничиваться использованием только его.

Основными недостатками естественного языка являются:

изменение значения слов с развитием общественной практики и по истечении определенного времени;

многозначность некоторых слов;

расплывчатость, неопределенность отдельных слов, не позволяющая с их помощью определить предмет науки;

несовершенство правил построения выражений, которое в логическом смысле несет на себе печать многозначности понимания вербальной мысли;

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

Формальная логика пытается искоренить данные недостатки в своей области. Это достигается на основе введения специального символического языка. Внутри формальной логики операции с мыслями заменяются действиями со знаками. Общепринятым в современной логике является так называемый язык логики предикатов. Рассмотрим кратко принципы построения и структуру этого языка.

Для выявления логической формы мыслей при анализе естественного языка имеет смысловая или семантическая характеристика языковых выражений. В этом плане в формальной логике используются две группы терминов дескриптивные и логические.

Дескриптивные термины (лат. descriptic - описание) - это имена предметов, предикаторы и функциональные знаки. Они выражаются словами естественного языка и на данный момент речемыслительной деятельности адекватно отражают предмет мышления.

Имена предметов - это слова или словосочетания, которые обозначают отдельные предметы или классы однородных предметов.

Предикаторы - это языковые выражения, которые обозначают свойства или отношения, наличие которых в суждениях утверждается или отрицается.

Функциональные знаки - это принятые обозначения предметных функций, операций (Sin a , "+" и др.).

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

Выразительные средства языков силлогистики и логики предикатов позволяют учесть внутреннюю структуру Процедуре замещения подвергаются здесь не простые высказывания целиком, а дескриптивные термины в их составе.. Однако эти языки базируются на разных системах семантических категорий. В обычной силлогистике имеется лишь один тип нелогических терминов - общие термины, знаки классов. В то время как в логике предикатов содержатся параметры для знаков индивидов, свойств, отношений и предметных функций, поэтому между ними имеется существенное различие в характере и глубине воспроизведения логической формы. Так, форма высказывания «Все планеты вращаются вокруг Солнца» в силлогистическом языке может быть выражена формулой SaP («Всякий S есть P»), где параметрами S и P замещены общие термины «планета» и «тело, вращающееся вокруг Солнца», а само высказывание рассматривается как атрибутивное. В языке логики предикатов имеется возможность передать реляционный характер данного высказывания, выразив его логическую форму посредством формулы ?x (Q1 (x) ? R2 (x, a)), где параметр Q1 соответствует знаку свойства «быть планетой», R2 - знаку отношения «вращается вокруг», а - имени «Солнце».

Уточнение понятия логической формы в рамках теории семантических категорий содержится, в частности, в работе Е.Д.Смирновой «Формализованные языки и проблемы логической семантики» (М., 1982). Различаются понятия логической формы первого уровня, являющейся результатом замещения примитивных знаков в составе выражения индексами. Соответствующих категорий и способной быть представленной в виде графа. И логической формы второго уровня, представленной в виде обобщенного дерева, которое содержит информацию о тождестве и различии дескриптивных составляющих и о значении логических констант.

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

Имея понятие логической формы и логического закона, можно дать определение формальной логике.

Формальная логика - это наука о формах мышления, о формально-логических законах и других связей между мыслями по их логическим формам.

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

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

II. Основные этапы становления логической формы

2.1 Классификация логических форм

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

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

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

Кроме того, с развитием знаний классификация, как правило, изменяется, дополняется, иногда заменяется новой, более точной. Поэтому ни к одной классификации нельзя подходить как к завершенной. Необходимо учитывать, что и сама действительность, и знания о ней находятся в непрерывном процессе изменения и развития.

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

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

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

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

К операции деления приходится прибегать едва ли не в каждом рассуждении. Определяя понятие, мы раскрываем его содержание, указываем признаки предметов, мыслимые в этом понятии. Производя деление понятия, мы даем обзор того круга предметов, который отображен в нем. Если у нас есть, скажем, определение понятия «линза», мы знаем наиболее важные признаки линз. Но при этом у нас нет точного представления о видах линз. Только разделив линзы на выпуклые, двояковыпуклые, вогнутые, двояковогнутые и т.д., мы получим знание не только о том, что такое линза, но и о том, какими бывают линзы;

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

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

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

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

2.2 Основные этапы развития логической формы

Логическая форма в своем развитии прошла два основных этапа.

Основанием деления на эти этапы служит различие применяемых в логике средств и методов исследования. Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384--322 гг. до н. э.), в котором впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение (в том числе и индуктивное), законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. Основным содержанием аристотелевой логики является теория дедукции. В логике Аристотеля содержатся элементы математической (символической) логики, у него имеются «начатки исчисления высказываний».

Второй этап -- это появление математической (или символической) логики.

Немецкий философ Г.В. Лейбниц (1646--1716) по праву считается основоположником математической (символической) логики.

Начиная с Лейбница, в логике используется в качестве метода исследования метод формализации, который традиционной логикой относился только к методам математического исследования, а Лейбниц показал, что он имеет общенаучный характер. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П.С. Порецкого, Г. Фреге и других логиков.

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

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

«1) область исследования составляют обыденные рассуждения, рассуждения в классических науках;

2) допущение о разрешимости любой проблемы;

3) отвлечение от содержания высказываний и от связей по смыслу между ними;

4) абстракция двузначности высказываний».

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

Развития логических форм проходило в два этапа. Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля.

Второй этап -- это появление математической (или символической) логики.

Заключение

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

Формальная логика -- наука о законах и формах правильного мышления. Задачей логики как науки является установление законов и правил, которым подчиняются рассуждения». Рассуждения облекаются в логическую форму и строятся в соответствии с логическими законами. Выясним, что понимается под логической формой и логическим законом.

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

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

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

Используемая литература

1. Абачиев С.К. «Формальная логика с элементами теории познания» Издательство: «Феникс». Серия: Высшее образование, 2012. - 635 с.

2. Войшвилло Е.К. Логика. Учебник для вузов. Издатель - Владос 2010

3. Гусев Д.А. Логика: учебное пособие Издатель: «Москомский психолого-социальный институт (МПСИ)», 2010с. - 568 с.

4. Демидов И.В. Логика Учебник. Издательство: «Дашков и К°» Издание 7-е 2012. - 348 с.

5. Ерина Е.Б. Логика. Учебное пособие 2012. - 112 с. Издательство РИОР Издание 2-е

6. Ивин А.А.. Логика. Учебное пособие для бакалавров Учебники: доп. пособие Издатель - Юрайт Серия - Бакалавр. Гуманитарное направление

7. Мигунов А.И. Логика. Учебник Издатель - Проспект. 2011

8. Светлов А.А. Логика. Учебное пособие. Издатель ь - Питер. Серия - Учебное пособие. 2011

9. Строгович М.С. Логика Учебники: доп. пособие Издатель - Эдиториал УРСС, Серия: «Из истории логики ХХ века», 2010. - 542 с.

Размещено на Allbest.ru