Что можно приготовить из кальмаров: быстро и вкусно

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

Общая характеристика

Итак, что такое логика? Определение логики очень многогранно. В переводе с греческого она означает «мысль», «разум», «слово» и «закономерность». В современной интерпретации данное понятие используется в трех случаях:

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

Задачи логики

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

Неформальная логика

Главным образом логику классифицируют на:

Неформальную.
Формальную.
Символическую.
Диалектическую.

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

Формальная и символическая логика

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

Диалектическая логика

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

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

Объект логики

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

Предмет логики

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

Чувственное познание. Осуществляется с помощью органов чувств или приборов.
Рациональное познание. Осуществляется с помощью абстрактного мышления.

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

Чувственное познание

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

Ощущение . Отражает отдельные свойства предмета.
Восприятие . Отражает предмет в целом, представляет собой его целостный образ.
Представление . Это образ предмета, сохранившийся в памяти.

На стадии чувственного познания, человеку не всегда доступна сущность вещей и процессов, их внутренние свойства. Маленький принц из одноименного рассказа Экзюпери говорил: «Самого главного глазами не увидишь». Разум или абстрактное мышление приходят на помощь органам чувств в таких случаях.

Рациональное познание

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

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

Понятие

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

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

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

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

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

Виды определений в логике представлены весьма широко. Определение бывает: интенсиональным, реальным, аксиоматическим, номинальным, явным, неявным, генетическим, контекстуальным, индуктивным и остенсивным.

Суждение

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

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

Умозаключения

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

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

Заключение

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

1)Что означает термин «логика»? Логика – это наука о способах рассуждения, о методах и законах правильного мышления.

2)Что составляет предмет логики? Что такое «логическая форма»? Перечислить законы классической формальной логики. первоначально законы и формы правильного мышления изучались в границах ораторского искусства,как одного из средств воздействия на умы людей, убеждения их в целесообразности определенного поведения. Так было в Древней Индии, Древнем Китае, Древней Греции,Древнем Риме, а также средневековой России. Однако в искусстве красноречия логический аспект представляет пока еще как подчиненный, ибо логические приемыслужат не столько цели достижения истины, сколько цели убеждения аудитории. Формальная логика - наука о законах и формах правильного мышления. Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей. Логическая Форма - способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название "формальная логика" подчеркивает, что эта логика интересуется только формой рассуждения.

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

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

а). Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет" , где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.

б) содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей. Такая несовместимость устанавливается не логикой, а конкретными науками о соответствующих предметах и явлениях. Закон требуют, чтобы там, где противоречивость самого предмета выражается в форме формальных противоречий- "Вещь есть Р и не - Р одновременно" - была снята конкретным исследованием и выражена в формально-непротиворечивой форме. В противном случае логика не несет ответственности за ошибки в последующих рассуждениях и выводах относительно, таким образом, фиксируемых объектов.

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

4) Закон достаточного основания - это закон, согласно которому, чтобы считать некоторую мысль истинной или ложной, мы должны располагать некоторым строгим доказательством.

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

3) Как символически выразить закон противоречия или закон запрета на противоречия?
4) Как символически выразить закон тождества и закон исключенного третьего?

5) Что называется понятием? Дать определение понятия, соблюдая правило соразмерности.

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

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.

Что такое «слишком широкое» определение?

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

Объём понятия есть то, что мыслится посредством понятия, т. е. объём понятия есть сумма тех классов, групп, родов, видов и т.п., к которым данное понятие может быть приложено. Например, объём понятия «животное»: птица, рыба, насекомое, человек и т. д.; объем понятия «элемент»: кислород, водород, углерод, азот и т. д.; объём понятия «четырёхугольник»: квадрат, прямоугольник, ромб, трапеция.

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

!!! По мере увеличения содержания понятия уменьшается его объём, и наоборот!!!

2. Где и как существует понятие? Что такое номинализм и реализм? …

Реализм - термин, употребляемый для обозначения направления, постулирующего существование реальности, независимой от познающего субъекта. (Определение предмета)

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

3. Что такое атрибутивная и реляционная структура понятия?

Атрибутивная логика – это логика, которая основывается на категории свойства.

Атрибутивная структура – это понятие, которое рассматривается со стороны своего содержания.

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

Реляционная структура. Двойственная природа понятия проявл в том, что содержание понятия тесно связано его объемом. Чем богаче содержание понятия, тем беднее его объем. Если содержание понятия может быть определено в категориях системно-параметрического метода как его атрибутивная структура, то соотношение понятий по объему может быть определено как его реляционная структура.

Реляционная структура понятия эксплицилуется отношением понятий по своему объему. В это отношение вх 2 и более понятий. Если понятие одно по числу, то его реляционная структура проявляется в его отношении самого к себе.

4. Что такое «единичные» или «индивидуальные» понятия? Привести примеры таких понятий .

Единичные - те понятия, которые относятся к предметам единичным, индивидуальным (в данном случае индивидуальные понятия совпадают с представлениями о единичных вещах), например: «британский посланник во Франции», «высочайшая гора в Америке», «автор «Мёртвых душ», «эта книга» . К числу единичных понятий относятся также и собственные имена, например: «Казбек», «Ньютон», «Рим» . понятия об отдельных предметах или явлениях, например: Северный полюс , Ломоносов, Москва, Московский институт физической культуры и др. Хотя эти понятия относятся к единичным предметам, они все же существенным образом отличаются от представлений. Последние отражают внешние формы предметов, тогда как единичные понятия - их сущность.

ЛОГИКА

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

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

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

В логической семантике язык и логические теории изучаются с содержательной их стороны; Так как ЯЗЫКОВЫЕ конструкции не только обозначают, но и нечто описывают (имеют ), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание.

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

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

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

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

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

При рассмотрении тех или иных логических проблем во многих случаях необходимо учитывать также и намерения интерпретатора, который использует языковые выражения. Напр., рассмотрение такой логической теории, как теория аргументации, спора, дискуссии, невозможно без учета целей и намерений участников диспута. Во многих случаях применяемые здесь приемы полемики зависят от желания одной из спорящих сторон поставить своего противника в неудобное положение, сбить его с толку, навязать ему определенное обсуждаемой проблемы. Рассмотрение всех этих вопросов составляет содержание особого подхода к анализу языка - “логической прагматики”. Наиболее фундаментальным разделом логики является теория дедуктивных рассуждений. В настоящее время этот раздел в своей аппаратной (синтаксической, формальной) части представлен в виде разнообразных дедуктивных теорий - исчислений. Построение такого аппарата имеет двоякое значение: во-первых, теоретическое, так как позволяет выделить некоторый законов логики и форм правильных рассуждений, исходя из которых можно обосновать все другие возможные законы и формы правильных рассуждений в данной логической теории; во-вторых, чисто практическое (прагматическое), так как разработанный аппарат может быть использован и используется в современной практике научного познания для точного построения конкретных теорий, а также для анализа философских и общенаучных понятий, приемов познания и т. д.

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

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

Еще одно важное членение логических теорий связано с использованием для представления логического знания языков с различной категориальной сеткой. В этой связи можно говорить о теориях, построенных на языках фреге-расселовского типа (многочисленные варианты исчисления предикатов), силлогистического (разнообразные силлогистики, а также Лесневского, являющаяся современной формой сингулярной силлогистики) или алгебраического (различные алгебры логики и алгебры классов - Булева алгебра, алгебра Жегалклна, алгебра де Моргана, алгебра Хао Вана и др.). Для многих теорий, построенных на языках с различной категориальной сеткой, показана их взаимная переводимость. В последнее время в логических исследованиях начинает активно использоваться теоретико-категорный язык, основанный на новом математическом аппарате - теории категорий.

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

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

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

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

Эти абстракции и идеализации образуют ту точку зрения, тот ракурс, под которым мы видим и оцениваем объективную . Однако никакая совокупность абстракций и идеализации не может охватить ее в полной мере. Последняя всегда оказывается более богатой, более подвижной, чем наши теоретические построения, что и делает оправданным свободное варьирование исходных Принципов. В этой связи полный или частичный отказ от любого из указанных принципов выводит нас В область неклассических логик. Среди Последних выделяют: многозначные логики , в частности вероятностные и нечеткие, в которых происходит отказ от принципа двузначности; интуиционистские логики и конструктивные логики, в которых исследуются рассуждения в рамках абстракции потенциальной осуществимости; модальные логики (алетические, временные, деонтические, эпистемические, аксиологические и др.), релевантные логики, паранепротиворечивые логики, логики вопросов, в которых рассматриваются высказывания с неэкстенсиональными (интенсиональными) логическими константами; логики, свободные от экзистенциальных допущений, в которых происходит отказ от принципов экзистенциальности, и многие другие.

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

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

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

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

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

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

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

Сводная энциклопедия афоризмов

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

Логика: бытовое и точное значение

Значение термина «логика» слишком размылось в повседневной речевой практике, а ведь на деле логика - одна из старейших наук. Долгое время она воспринималась как инструмент для правильного научного познания. Корпус посвященных логике работ Аристотеля - создателя первой логической теории - называли термином «органон» («инструмент» на древнегреческом).

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

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

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

Чем занимается логика как наука

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

Как логика смотрит на обобщения

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

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

Если сегодня 20-е число, а вы достаете одну бутылку и видите, что оно было произведено 18-го, то достаете другую бутылку - и опять 18-е. «Наверное, на второй полке может быть посвежее», - и вы берете бутылку со второй полки - 17-е число, еще одну - 17-е, еще - 18-е. Потом вы протягиваете руку вглубь полки и достаете еще одну бутылку, и она тоже произведена 18-го числа. После этого вы, скорее всего, сделаете вывод, что молоко, которое произвели 18-го числа - это самое свежее молоко из представленных и пойдете на кассу с ним.

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

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

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

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

Главные правила логики

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

Есть ряд дедуктивных рассуждений, которые просто необходимо усвоить.

1. Условно-категорические умозаключения

Modus ponens. Такое рассуждение имеет следующую структуру:

«если А , то B »;

«А » значит «B ».

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

«если сборная России выиграет у Испании, то я сделаю татуировку»;

«сборная России выиграла у Испании» - значит «я сделаю татуировку».

Modus tollens. Это рассуждение выглядит так:

«если А , то B »;

«не-B » значит «не-А ».

Опять переведем:

«если сборная России выиграет у Испании, то я сделаю татуировку»,

«я не сделал татуировку» - значит «сборная России не выиграла у Испании».

Оно может выглядеть и немного по-другому: «если А , то B » - значит «если не-B , то не-А ». В таком виде его называют «контрапозицией».

Вот для примера на недавнем Международном экономическом форуме в Санкт-Петербурге во время панельной дискуссии Алексей Кудрин использовал упомянутый modus tollens для демонстрации того, что антироссийские санкции - один из существенных факторов, влияющих на темп экономического роста российской экономики, притом что правительство ставит достаточно амбициозные задачи по его увеличению. Кудрин замечает: «Сейчас после последней волны санкций их влияние увеличилось примерно до 0,5 % ВВП. Здесь мы тоже должны видеть, что наши задачи и планы уменьшаются вот такими внешнеполитическими рисками». В рамках этой реплики можно реконструировать пресловутую «контрапозицию», благодаря которой Кудрин пришел к такому мнению: если экономические санкции применяются в отношении к России, то рост ее экономики снижается; следовательно, если экономическая политика направлена на увеличение экономического роста, то экономические санкции не должны применяться в отношении к России. И правильно сделал!

Очень часто многие из нас ошибаются и используют следующие неправильные условно-категорические рассуждения:

«если А, то B»; «B», следовательно, «А». И «если А, то B»; «не-А», следовательно, «не-B».

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

Рассуждение Венедиктова можно реконструировать в следующем виде: «если Ксения Собчак выступает с привлекательными для избирателей предложениями, то эти избиратели проголосуют за Собчак»; «Собчак выступает не с привлекательными для избирателей предложениями», следовательно, «эти избиратели за нее не проголосуют».

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

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

Чтобы в этом удостовериться, нам нужно привести контрпример. Например, вот две посылки: «если сборная России выиграет у Хорватии , то я сделаю татуировку », «сборная России не выиграла у Хорватии » - из этих двух посылок совершенно не следует, что «я не сделал татуировку », поскольку я мог сделать эту татуировку совершенно по другим причинам: из гордости за ногу Акинфеева, из сожаления за его правую руку, которая чуть было не отбила один из одиннадцатиметровых ударов и т. п. Действительно, обе посылки являются истинными высказываниями, однако заключение в таком случае оказывается ложным.

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

2. Сведение к абсурду и рассуждение «от противного»

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

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

Доказательство «от противного». Оно строится немного иначе: первоначальной целью является не опровергнуть «А», а обосновать «А». Для достижения этой цели сначала предполагается, что «А» является ложным, а дальше всё то же самое: выводится противоречие, которое позволяет обосновать неправильность исходного предположения.

Люди частенько используют эти две техники рассуждения. Рассмотрим например метод «от противного».

Будем считать, что вы допрашиваете подозреваемого в убийстве человека. Преступление было совершено при помощи пистолета, который был найден в квартире у подозреваемого.

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

Как изучить логику

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

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

Бочаров В.А., Маркин В.И. Введение в логику. М., 2011.
Бочаров В.А., Маркин В.И. Основы логики. М., 2008.
Войшвилло Е.К. Понятие как форма мышления. М., 1989.

Что касается интернет-ресурсов, то здесь тоже надо быть избирательными, однако есть и очень ценные экспонаты. Серия видеороликов, созданных силами БФУ им. И. Канта совместно со специалистами из других российских научных и учебных центров:

Серия бесед двух профессоров логики - Д. В. Зайцева (МГУ) и И. Б. Микиртумова (СПбГУ).
Серия бесед двух специалистов по теории аргументации - Д. В. Зайцева (МГУ) и Д. В. Хизанишвили (БФУ).

В открытом доступе лежат полноформатные видеозаписи курса лекций по дедуктивной логике, который периодически читается на философском факультете МГУ. Там есть специальная практика под названием «межфакультетский курс»: преподаватели на разных факультетах предлагают свои учебные курсы, на которые в соответствии со своим выбором записываются студенты с других факультетов. Это очень интересная практика, которая стимулирует появление учебных курсов на доступном для студентов разных направленностей языке.

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

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

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

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

Первое. Логикой называют закономерности в изменении и развитии вещей и явлений объективного мира. Это объективная логика.

Второе. Этим словом обозначают особые закономерности в связях и развитии мыслей. Они называются субъективной логикой.

Третье. Логикой называют науку о закономерностях в связях и развитии мыслей. Основы этой науки рассматриваются в данном учебнике.

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

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

Значение логики для юристов.

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

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

Но если логическая культура не дается человеку от природы, то как же она формируется?

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

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

Виды логики:

а) Формальная логика.

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

б) Математическая.

Или еще ей называют символической, в начале XX века она стала основой кибернетики.

в) Диалектическая.

Определить объем и содержание понятий

«логика»- общее, логика - наука о правилах мышления;

«Аристотель» - единичное, Аристотель - древнегреческий философ, живший в 348-322 гг. до н.э., автор «Органона»;

«наука» - общее, наука - теоретическое знание.