Логика как наука о мышлении, ее предмет и задачи. 3

КОНТРОЛЬНАЯ РАБОТА ПО ЛОГИКЕ 
 
 
 
 
 

СТУДЕНТА 1 КУРСА  БГУИР

ФАКУЛЬТЕТА  ЗВиДО,

СПЕЦИАЛЬНОСТЬ: ИНФОРМАТИКА,

ДЯДЬКИНА  СЕМЕНА ВИКТОРОВИЧА 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Минск 2006 

ТЕМА  № 1 "Логика как  наука о мышлении, ее предмет и задачи".

План:

1. Мышление и язык. Естественные и искусственные языки.                                 
2. История логики и формализация мышления. Язык исчисления предикатов.   
3. Упражнения.
4. Список литературы.

Мышление  и язык. Естественные и искусственные  языки.

Мышление и язык.

    Наше  мышление подчиняется логическим законам  и, разумеется, протекает в логических формах независимо от науки логики: люди мыслят логично, даже не зная, что  их мышление подчиняется определенным логическим закономерностям. Мышление, с традиционной материалистической точки зрения, - это высшая форма активного отражения объективной реальности, состоящая в целенаправленном, опосредованном и обобщенном познании субъектом существенных связей и отношений между предметами и явлениями, в творческом создании новых идей, в прогнозировании событий и действий. Наука о природе познания - эпистемология. В традиционной западной эпистемологии знание рассматривалось как определенная данность, но для современной эпистемологии более характерно его процессуальное определение, и потому интерес к таким проблемам, как генезис знания, его рост, его прогресс, его возникновение в процессе онтогенеза (процессе развития индивидуального организма), велик. Родоначальником одного из направлений эпистемологии - генетического - был швейцарский психолог Жан Пиаже (1896 - 1980 гг.): его идеи и разработки в области изучения процессов формирования мышления ребенка легли в основу объяснения становления генезиса мышления человека вообще. Главным ориентиром в построении генетической эпистемологии послужили идеи эволюционной теории развития (эволюционной биологии). Теория онтогенеза интеллекта интерпретировалась Пиаже как основа общей теории познания, и, соответственно, он подробно рассматривал вопрос о росте интеллекта у ребенка и о развитии у него базисных интеллектуальных операций: расширяя представления о структуре мышления, Пиаже использовал для его описания не только набор определенных категорий, но и выделял также главные мыслительные операции. По Пиаже, индивид реагирует на информацию, поступающую из окружающей среды, исходя из той базы данных, которой он обладает. Новые данные трансформируются таким образом, чтобы приспособиться к уже существующим интеллектуальным схемам. В то же время данные схемы приспосабливаются, чтобы обеспечить включение (инкорпорацию) новых данных, и постепенно сами трансформируются. На основе экспериментальных данных Пиаже пришел к выводу о существовании трех основных стадий в когнитивном развитии ребенка, для которых характерна строгая последовательность формирования:

    1) сенсомоторная (от момента рождения  индивида (а сейчас уже включают  и преднатальный период) до овладения  языком - 0 - 2 года),

    2) конкретно-операционная (7 - 12 лет) и 

    3) формально-операционная (12 - 15 лет).

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

    Cледующее  направление эпистемологии - эволюционное - связано с именами К. Лоренца (Германия) и Д. Кэмпбелла (США). Основная задача эволюционной эпистемологии - исследование биологических предпосылок человеческого познания. Она опирается на представление о том, что человек обладает познавательным аппаратом, развитым в процессе биологической эволюции, поэтому объяснение процессов познания осуществляется на базе современной теории эволюции. Познавательные способности человека есть достижение врожденного аппарата отражения мира. Этот аппарат был развит в ходе родовой истории человека и дает возможность фактического приближения к внесубъектной реальности. Г. Фоллмер (Германия) писал по этому поводу следующее: "Наш познавательный аппарат - результат эволюции. Субъективные структуры познания соответствуют реальности, так как они были выработаны в ходе эволюционного приспособления к этому реальному миру. Они согласуются (частично) с реальными структурами, потому что только такое согласование обеспечивает возможность выживания". Современная эволюционная эпистемология учитывает результаты исследований в области биологии, физики, психологии, лингвистики и других наук. К числу главных положений эволюционной эпистемологии относятся следующие:

    1) возникновение жизни совпадает  с формированием структур, которым  присуща способность получать и накапливать информацию, "жизнь есть процесс получения информации" (Лоренц), познание есть функция жизни;

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

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

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

    Решение основного вопроса философии - что  первично, материя или сознание, - позволяет разделить методологический подход к исследованиям на идеалистический и материалистический. Напомним кратко о материалистическом взгляде на познание.

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

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

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

    - способность отражать действительность  в обобщенных образах; 

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

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

    - неразрывную связь абстрактного мышления с языком. Язык обладает способностью к символизации, а проблема символизации тесно связана с проблемой соотношения языка и мышления. Французский структуралист Эмиль Бенвенист (1902 -1976 гг.) в статье "Категории мысли и категории языка" подчеркивал, что мыслительные операции, независимо от того, носят ли они абстрактный или конкретный характер, всегда получают выражение в языке. Содержание должно пройти через язык, обретя в нем определенные рамки. В противном случае мысль если и не превращается в ничто, то сводится к чему-то столь неопределенному и недифференцированному, что у нас нет никакой возможности воспринять ее как "содержание", отличное от той формы, которую придает ей язык. Языковая форма является тем самым не только условием передачи мысли, но прежде всего условием ее реализации. Мы постигаем мысль уже оформленной языковыми рамками. Вне языка есть только неясные побуждения, волевые импульсы, выливающиеся в жесты и мимику.

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

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

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

    Рассмотрим, что такое закон мышления. Для уяснения этого вопроса необходимо различать истинность мысли и логическую правильность рассуждения. Мысль является истинной, если она соответствует действительности; мысль, не соответствующая действительности, является ложной. Истинность мыслей по содержанию - необходимое условие достижения верных результатов в процессе рассуждения. Другим необходимым условием является логическая правильность рассуждения. Если это условие не соблюдается, то ложный результат может быть получен и из истинных суждений. Это приводит к логическим ошибкам.

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

    Естественные  и искусственные  языки. 

    Формальная  логика, по нашему определению, должна изучать структуры мышления в их языковой форме. Люди могут обмениваться друг с другом мыслями не иначе, как с помощью языковых средств, будь то произносимые или написанные слова и предложения, сигнализация флагами или другие знаки, основанные на соглашении; мысли также могут сохраняться, накапливаться только с помощью языковых средств. Однако, как мы уже поняли, это не означает такой связи мыслей и языковых средств, когда каждой мысли соответствует определенная формулировка и наоборот. Свои мысли можно формулировать более или менее точно. С другой стороны, языковые формы оказывают определенное влияние на мышление: они могут прояснять мышление, например, при логическом выводе, но они могут и тормозить его или вводить в заблуждение (ср.: Все студенты нашей группы изучают японский язык. Петров изучает японский язык. Следовательно, Петров - студент нашей группы; множество газетных курьезов: Пять тысяч километров и столько же часовых поясов разделяют берега Тихого Дона и Ангары; Модернизация прокатного стана, выполненная по предложению Е. Кутузова, подняла его производительность на 50 %). Поэтому нельзя недооценивать анализ языка в науке. Но его нельзя и переоценивать, как это было, например, у Людвига фон Витгенштейна (1889 - 1951 гг.), видевшего единственную задачу философии в критике языка, а также у многих неопозитивистов. Правда, в результате анализа языка можно косвенно многое узнать об объективной реальности и о мышлении, но никакой анализ языка не может заменить изучение действительности. Только совокупность исследования действительности, мышления и языка составляет аналитическую деятельность в науке.

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

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

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

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

    СЕМИОТИКА. Комплексное изучение языка осуществляется особой наукой - семиотикой. Основателем семиотики как науки считается американский ученый Чарльз Пирс (1839 - 1914 гг.), который и ввел термин "семиотика". Отдельные более или менее развернутые мысли о знаках и знаковых системах высказывали многие исследователи. Так, по определению Г. Клауса (Германия), семиотика является общей теорией языковых знаков и их связей друг с другом, с мышлением, объективной реальностью и человеком. При этом семиотика не изучает конкретные языки, как, например, русский, немецкий, английский, литовский, это задача отдельных языковедческих наук - русистики, германистики, литуистики. Семиотика занимается тем, что является общим для всех языков независимо от их словарного состава, их грамматической структуры, от того, возникли они естественным путем или были созданы для определенных целей. Своим понятием знака семиотика охватывает не только слова таких языков, как русский, немецкий, литовский и т. п., но и все материальные образования, которые что-либо значат или что-либо обозначают. Семиотика анализирует язык в четырех аспектах:

    - синтаксическом;

    - семантическом;

    - прагматическом;

    - сигматическом. 

    СИНТАКСИЧЕСКИЙ  АСПЕКТ. Синтаксис (синтактика) - это раздел семиотики, изучающий структуру языка: способы образования, преобразования и связи между знаками. Синтактика абстрагируется от всех факторов, за исключением знаков. Она исследует связи между знаками некоторого языка, устанавливает правила построения составных знаков (например, предложений) из более простых знаков (например, отдельных слов). Она создает критерий определения принадлежности данных знаков к определенному языку и является своего рода общей грамматикой.

    Серьезные и систематические исследования в области синтактики начались лишь в ХХ в., хотя интерес к этим явлениям обнаруживается значительно ранее, и на то были свои причины. В XIX в. мир  перестал восприниматься как состоящий из хорошо определимых вещей, каждая из которых имеет свою сущность и называется каким-либо именем. Сами вещи начали "двоиться", "троиться", как бы распадаться на ряд самостоятельных объектов (конечно, в восприятии некоторых людей, а не в действительности). Известный французский философ Анри Бергсон (1859 - 1941 гг.), считавший, что сущность жизни может быть постигнута только с помощью интуиции, писал в 1889 г.: "Каждый день я смотрю на одни и те же дома и, зная, что это те же самые объекты, постоянно называю их тем же именем. Но если через некоторое время я сравню свое первоначальное впечатление от них с теперешним, то буду поражаться, насколько неповторимое, необъяснимое и, самое главное, невыразимое изменение совершилось в них". Вспомним серию полотен Клода Моне "Руанские соборы" (на них изображен один и тот же Руанский собор, но в разное время дня и при разном освещении). "Раздваиваются" и люди (Ф.М. Достоевский "Двойник", Э. По "Вильям Вильсон"). В философии языка на первый план постепенно, но уверенно выходят факт, событие и вытесняют собой вещь. Мир теперь состоит не из вещей, а из событий и фактов. А формой и средством выражения факта является предложение. Значит, главным объектом исследования становится предикат.

    СЕМАНТИЧЕСКИЙ АСПЕКТ. Семантика занимается проблемой интерпретации, т. е. анализом отношений между знаками и обозначаемыми объектами, между словами и соответствующими им понятиями, а также изучает отношения между значениями простых знаков и значениями сложных знаков, составленных из простых. Например, отношения между значением слов и значением предложений, построенных из этих слов.

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

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

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

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