Шпаргалка по "Логике"

ВОПРОС 1

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

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

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

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

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

 

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

Возьмем два суждения: «Все металлы есть химически простые  вещества» и «Если вода при  нормальном давлении нагрета до 100 оС, то она закипает».

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

Все S есть Р.

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

Для того чтобы выявить  логическую форму второго из взятых нами суждений, следует также отвлечься  от того, о каком именно предмете в нем идет речь, т.е. от того, что  утверждение относится именно к  воде. Вместо этого возьмем некоторое  обозначение отдельного предмета, например, а. Вместе с тем заменим свойства «нагреваться при нормальном давлении до 100 оС» на Р1, а «закипать» – на Р2. В итоге получим:

Если а есть Р1, то а есть Р2.

ВОПРОС 2

 

НЕКЛАССИЧЕСКИЕ ЛОГИКИ –  широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов.

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

 

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

 Еще в 1912 г. американский логик и философ К.И.Льюис впервые разработал неклассическую теорию логического следования. Ее возникновение было обязано сомнительности, с точки зрения Льюиса, материальной импликации, что проявилось в так называемых парадоксах импликации. В основе теории логического следования Льюиса лежало понятие строгой импликации, определявшееся в терминах  логической невозможности. Существует семейство теорий, описывающих логическое следование и условные связи корректнее, чем классическая логика. Наибольшую известность получила релевантная логика, развитая американскими логиками А.Р. Андерсоном и Н.Д. Белнапом.

 

  Ученые И. Льюис  и Я. Лукасевич в 1920-х гг. построили первые модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т.п. Таким образом, возродилась проблематика модальностей — предмет исследований еще Аристотеля и некоторых средневековых логиков.

 

КЛАССИЧЕСКАЯ ЛОГИКА —  раздел символической логики, включающий ряд логических теорий, в основе которых лежат принципы двузначности и экстенсиональности, а также классическая трактовка истины как соответствия высказываний действительности. Базисный для систем К.л. принцип двузначности в его сильной формулировке гласит: всякая формула языка логической теории при некоторой интерпретации принимает ровно одно из двух значений — значение «истина» либо значение «ложь». Данный принцип предъявляет к логической системе следующие требования: а) в семантике системы имеется лишь два возможных значения формул — «истина» и «ложь» (слабая формулировка принципа двузначности); б) при каждой интерпретации каждая формула должна принять какое-то значение (всюду определенность истинностной оценки, запрет «провалов» значений); в) при одной и той же интерпретации формула не может принять двух разных значений, т.е. не может быть одновременно и истинной, и ложной (одна из формулировок принципа непротиворечия, запрет «пресыщенных» оценок).

 

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

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

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

Большой вклад в создание К.л. внесли Г. Фреге, Б. Рассел, А. Уайтхед, Д.

ВОПРОС 3

Языковые знаки Править

При общении мы пользуемся языковыми знаками - заместителями  предметов. Мы не передаем предмет А, а вызываем образ Б. В языковом знаке выделяются два значения:

конкретное - определяется неповторимыми качествами знака

абстрактное - определяется отношением данного знака к другим знакам языка

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

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

 

Свойства языкового знака Править

Языковой знак имеет следующие  свойства:

произвольность - любое понятие  может быть связано с любым  другим сочетанием звуков [1]

линейность - мы воспринимаем языковые знаки по одному; при этом важно положение языкового знака  относительно других языковых знаков

Функции языкового знака Править

Языковой знак обладает двумя  функциями:

перцептивной - он может быть объектом восприятия

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

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

Слова человеческого языка  являются знаками предметов. Слова - самые многочисленные и значимые знаки.

 

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

Виды языковых знаков

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

знаки текста - формально  или по смыслу связанная последовательность единиц

ВОПРОС 4

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

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

Язык – это система  знаков, служащая для хранения и передачи информации.

Различают языки следующих видов:

-          естественные – это открытые, саморазвивающиеся системы (русский,  английский, китайский и т.д.);

-          искусственные – закрытые системы  (языки наук, языки программирования и т.д.).

Изучением языка как знаковой системы занимается наука семиотика, включающая в себя такие разделы, как:

-          синтаксис – теория отношений  одного знака к другому, т.е.  теория соединения знаков в  комплексы знаков, используемых в общении;

-          семантика – теория, изучающая  отношение знака к его значению и смыслу;

-          прагматика – теория, описывающая  способы использования знаков  носителями языка.

 

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

Наиболее общепринято  определение знака, данное в «Философском энциклопедическом словаре»:

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

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

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

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

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

Предметное значение –  основная характеристика знака. Другой существенной характеристикой знака  является его смысл.

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

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

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