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

1) Логика в Древнем Китае

Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо»; V—IV вв. до н. э) был известен как основатель моизма (школы мо цзя), представители которой занимались поиском источников достоверного рассуждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. Одно из ответвлений моизма, логики (школа имён, V—III вв. до н. э), приступило к исследованию собственно формальной логики.

2)Индийская логика

Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — «ньяя» и «вайшешика» — занимались методологией познания, из этого проблемного поля и выделилась логика.

3)Логика античности

Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».

После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.

4) Логика в Средневековье

Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.

5) Логика в эпоху Возрождения и в Новое время

Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок.

В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.

6)Современная логика

В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки. В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.

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

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

 

11. Дайте определение категории «знак».

 

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

Значение знака (экстенсионал) — предмет, представляемый (репрезентируемый) данным знаком.

Смысл знака (интенсионал) — информация о репрезентируемом предмете, которую содержит сам знак или которая связывается с этим знаком в процессе общения или познания.

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

Различают языковые и неязыковые:1) копии обладают определенным сходством с представля­емыми ими объектами, напр. фотографии, отпечатки пальцев и т. п. 2) признаки связаны с обозначаемыми объектами как следствия со своими причинами, напр. дым - и следствие огня. 3) символы представляют собой некоторые наглядные образы, используе­мые для представления отвлеченного и часто весьма значительно­го содержания, напр. Московский Кремль — символ Москвы и России и т.п. Языковые 3. характеризуются тем, что не функци­онируют независимо друг от друга. Они объединяются в систему: правила грамматики или синтаксиса, а также правила приписы­вания знакам смысла, значения, употребления. Выделяют 3. ес­тественных и искусственных языков. 3. естественного языка — отдельные слова, предложения, выражения, тексты и т. п. Математических 3., химических, физических и иных 3. Из 3. такого рода строятся ис­кусственные языки, правила которых — в отличие от правил есте­ственных языков — формулируются в явном виде. Искусственные языки находят преимущественное применение в науке, где они служат не только для общения между учеными, но и как мощное средство получения новой информации об изучаемых объектах.

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

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

 

12. Имена, их смысл. +

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

 

Смысл (или концепт) имени — это способ, каким имя обозна­чает предмет, т. е. информация о предмете, которая содержится в имени. Поясним это на примерах. Один и тот же предмет может иметь множество разных имен (синонимов). Так, напри­мер, знаковые выражения «4», «2+2», «9—5» являются именами одного и того же предмета: числа 4. Разные выражения, обозна­чающие один и тот же предмет, имеют одно и то же значение, но разный смысл (т. е. смысл выражений «4», «2+2» и «9 — 5» раз­личен).