Назовите основные этапы развития формальной логики
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» различен).