Глава X, этапы развития логики как науки и основные направления ... 397

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

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

Интересны и оригинальны статьи американского математика Н.Белна- па «Как нужно рассуждать компьютеру» и «Об одной полезной четы- рехзначной логике» (1976), посвященные формализации общения с ин- формационными системами, в которых содержится противоречивая ин- формация. Белнап построил четырехзначную логику, значениями истин- ности которой являются следующие: Т — «говорит только Истину»; F —

«говорит только Ложь»; None — говорит ни Истины, ни Лжи»; Both —

«говорит и Истину, и отмечает, что входные данные по- ступают в компьютер из нескольких независимых источников, и в таких ус- ловиях проявляется типичная особенность информационной ситуации — угроза противоречивости информации. Что в таком случае должен делать компьютер, особенно если в системе содержится необнаруженное проти- воречие? Свою четырехзначную логику Белнап и предлагает в качестве практического руководства в рассуждениях².

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

^{Белнап Сшил Т. Логика вопросов и ответов. 1981. С. 214.}

же. С. 208-215.

398 ЛОГИКА

Заключение

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

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

статье доктора философских наук В.А.Светлова «Нужна ли логика будущему учителю?» (вопрос, вынесенный в заголовок, носит в общем риторический характер) сформулированы некоторые перспективы даль- нейшего изучения логики студентами педвузов. В.А.Светлов пишет: «Что же может дать логика для подготовки учителя? При самом умеренном ее изучении студент педагогического вуза за один-два семестра мог бы до- полнительно к стандартному курсу освоить теоретически и научиться применять практически (по выбору): логику научного исследования, ло- гические основы семантики и семиотики, логику научно-педагогической работы, логику принятия решения (в условиях определенности, неопре- деленности и риска), логику спора, логику общения (межличностных от- ношений), логику структурного анализа сказок, мифов, художественных текстов, логику конфликтов (межличностных, политических, Светлов В.А. Нужна ли логика учителю?// Советский учитель. Л., ! 25 янв. С. 2.

39 9

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

Интересным, перспективным направлением является анализ уже со- зданных и разработка новых программ для ЭВМ по курсу формальной ло- гики — как традиционной (с символической логики), так и символической логики¹.

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

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

Тема «Умозаключение» и ее использование отражены в данной книге по- дробно; в ней выделены два отдельных параграфа: «Дедукция и индукция в учебном процессе» и «Умозаключение по аналогии и его виды». Жела- тельно в процессе преподавания любого предмета показать структуру мно- гих форм умозаключений, при этом предложить учащимся поискать в худо- жественной литературе примеры на эти виды умозаключений. Например, в рассказе Агаты Кристи «Двойная улика» месье Пуаро расследует похище- ние ряда драгоценностей из коллекции Хардмана (жемчужины, рубины, изумрудное ожерелье). Подозрение могло касаться четверых. их диалог, в котором сформулировано умозаключение:

«- Мистер Хардман, кого Вы сами подозреваете из этой четверки?

Такие программы созданы в Москве (МГУ и МПГУ им.В.И.Ленина), в Минске (БГУ), в Санкт-Петербурге и др.

400 . ЛОГИКА

• О, месье Пуаро, что за вопрос! Ведь я Вам уже сказал, что это мои дру- зья. Я ни одного из них не подозреваю или, если Вам угодно, — всех в оди- наковой мере.

• Не могу с Вами согласиться. Я уверен, что Вы кого-то из них подозре- ваете. Это не графиня Росакова. Это не мистер Паркер. Кто же тогда: Ранкорн или мистер

Структура этого умозаключения такая:

v d

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

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

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

После изучения курса логики рекомендуем проверить свои знания.

Для этого можно ответить на предлагаемые ниже задания тестов.

Тесты по курсу логики³

1. Предмет и значение логики.

1. Что такое, логика? — Логика — это философская наука, изучающая...

Агата Кристи. Двойная улика. М, 1990. С. 25.

См.: Поварнин СИ. Спор: О теории и практике спора // Вопросы философии. М.,

№ 3. С. 57-133.

Философские дисциплины: программы, требования, методические рекомендации (ответственные редакторы докт. наук, проф. Мамедов Н.М., докт. наук, проф. М, 1993.

ЗАКЛЮЧЕНИЕ 401

2. Законы и формы правильного мышления.

3. Специфические законы построения доказательств.

1. Выберите правильный вариант. Возникновение науки логики в Древней Греции было в значительной степени связано с...

2. Высоким уровнем ее экономического развития.

3. Ролью ораторского искусства в политической жизни полиса.

4. Высоким уровнем развития философской мысли.

1. Кто является основоположником науки логики?

2. Гераклит.

2. . Платон.

3. .Аристотель.