С. Л. Катречко Введение в логику




Скачать 383.45 Kb.
НазваниеС. Л. Катречко Введение в логику
страница1/4
Дата публикации18.03.2013
Размер383.45 Kb.
ТипПрограмма курса
uchebilka.ru > Математика > Программа курса
  1   2   3   4

С.Л. Катречко

Введение в логику


Программа курса

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

Курс рассчитан на 36 ч (один семестр) и предполагает 12 лекционных и шесть семинарских занятий.

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

Семинарские занятия посвящены освоению более сложных в техническом отношении вопросов соответствующей тематики.

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

^ КЛЮЧЕВЫЕ МОМЕНТЫ КУРСА

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

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

Логику интересует вопрос о правильности (надежности) рассуждений. По этому основанию рассуждения можно разделить на абсолютно надежные (дедуктивные) и правдоподобные (вероятностные). Основное внимание курса посвящено дедуктивным рассуждениям. В первом приближении, правильное дедуктивное рассуждение можно определить как такое, которое при истинности посылок гарантирует истинность заключения. Однако не любые истинные посылки и истинное заключение образуют правильное рассуждение. Вопрос о том, является ли некоторое умозаключение правильным или неправильным, нельзя смешивать с вопросом: какими — истинными или ложными — являются его посылки и заключение. Это два разных вопроса, и их необходимо четко различать, поскольку тот или иной ответ на второй из них не всегда предопределяет ответ на первый. Истинность посылок является необходимым, но недостаточным условием истинности заключения рассуждения. Дать оценку дедуктивному умозаключению, зная значение его посылок и заключения, можно лишь в одном случае — когда каждая из посылок истинна, а заключение ложно. Тогда умозаключение является заведомо неправильным, так как оно не сохраняет "свойство" истинности посылок при выведении заключения. Для того, чтобы дедуктивное рассуждение было правильным, т.е. истинность его посылок с необходимостью гарантировала бы истинность заключения, рассуждение должно иметь правильную структуру, правильную логическую форму. Именно логическая форма рассуждения, позволяя отвлечься от его конкретного содержания, является основанием для перехода от посылок к заключению дедуктивных рассуждений. Понятие логической формы позволяет уточнить критерий правильности дедуктивных рассуждений следующим образом:

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

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

Введение. ЧТО ТАКОЕ ЛОГИКА? (2 ч)

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

Тема 1. ЧТО ТАКОЕ РАССУЖДЕНИЕ?
КАКИЕ РАССУЖДЕНИЯ ЯВЛЯЮТСЯ ПРАВИЛЬНЫМИ? (2 ч)

Логика и естественный язык. Логика и грамматика. Что такое высказывание (суждение)? Понятие об истинности и ложности высказываний. Простейший тип рассуждений — умозаключение. Состав умозаключения: посылки и заключение. Понятие о правильном умозаключении. Вопрос о правильном рассуждении (умозаключении) versus вопрос об истинности посылок и заключения умозаключения.

Контрольные вопросы

1. Какова структура простейшего рассуждения — умозаключения? Найдите посылки и заключение следующего умозаключения. Запишите его логическую форму.

Если равнодействующая всех сил, действующих на движущееся тело, не равна 0, то оно движется неравномерно или непрямолинейно, так как известно, что если равнодействующая равна 0, то тело движется равномерно и прямолинейно.

2. Какие рассуждения являются правильными?

3. Предположим, что о некотором дедуктивном рассуждении вам известно, что его посылки и заключение истинны. Достаточно ли этой информации, чтобы судить о правильности рассматриваемого рассуждения? Оцените правильность следующего рассуждения, посылки и заключение которого — истинные высказывания.

(Все) Дикари раскрашивают свое тело.

Некоторые современные девушки тоже раскрашивают свое тело.

Следовательно, некоторые современные девушки — дикари.

4. Предположим, что о некотором дедуктивном рассуждении вам известно, что оно правильно. Достаточно ли этой информации, чтобы судить об истинности его заключения? Является ли истинным заключение следующего правильного рассуждения:

Если ваши книги согласны с Кораном, то они излишни. Если они не согласны с Кораном, то они вредны. Но вредные или излишние книги следует уничтожить. Значит, ваши книги следует уничтожить.

Тема 2. ОЦЕНКА ИСТИННОСТИ ВЫСКАЗЫВАНИЙ.
ПОНЯТИЕ ВОЗМОЖНОГО МИРА (2 ч)

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

Контрольные вопросы

1. Что такое высказывание (суждение) и чем оно отличается от предложения?

2. Как вы можете определить понятие "описание состояния"?

3. Может ли одно и то же высказывание быть одновременно истинным и ложным? Приведите пример такого высказывания.

4. Надо ли вам что-либо знать о Джоне, чтобы оценить истинность следующего высказывания: "Если Джон холост, то у него нет жены"? Может ли это высказывание быть ложным? К какому классу относится это высказывание? Как устанавливается истинность высказываний этого класса? Приведите еще один пример высказываний этого класса.

5. Что такое логический закон?

6. Попробуйте опровергнуть следующее рассуждение способом "нахождения контрпримера". Является ли это рассуждение правильным?

А.П. Бородин занимался химией или он сочинял музыку.

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

Неверно, что А.П. Бородин писал детективные романы.

А.П. Бородин занимался химией.

Тема 3. НАДЕЖНОСТЬ РАССУЖДЕНИЙ.
ОСНОВНЫЕ ВИДЫ РАССУЖДЕНИЙ. ПОНЯТИЕ О ЛОГИЧЕСКОЙ ФОРМЕ И СПОСОБАХ ЕЕ ВЫЯВЛЕНИЯ (2 ч)

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

Контрольные вопросы

1. В чем, по-вашему, состоит основное различие между дедуктивными и индуктивными рассуждениями (рассуждениями по аналогии)?

2. Что такое логическая форма высказывания? Отличаются ли логической формой следующие два высказывания:

а) Москва находится между Новгородом и Киевом;

б) Москва находится южнее Новгорода и Пскова.

3. Что такое логическая структура рассуждения? Выявите логическую структуру следующего рассуждения:

Прямые a и b или параллельны, или пересекаются, или скрещиваются. Если прямые a и b лежат в одной плоскости, то они не скрещиваются. Прямые a и b лежат в одной плоскости и не пересекаются.

Следовательно, прямые a и b параллельны.

4. Сформулируйте критерий правильности дедуктивного рассуждения.

5. Как можно показать неправильность следующего рассуждения:

Если число делится на четыре, то оно четное.

Неверно, что число делится на четыре.

Следовательно, число не является четным.

6. Выявите пропозициональную логическую форму высказывания:

Все слушатели юридического колледжа РОУ знают логику или некоторые слушатели этого колледжа РОУ не знают логики.

Является ли данное высказывание законом пропозициональной логики? Обоснуйте свой ответ.

Тема 4. СТРУКТУРА И ТИПЫ ПРАВИЛЬНЫХ
(ДЕДУКТИВНЫХ) РАССУЖДЕНИЙ (2 ч)

Понятие о простых и составных дедуктивных рассуждениях. Структура составного рассуждения. Представление структуры составного рассуждения. Выявление структуры составных рассуждений. Надежность составного рассуждения. Понятие о рассуждениях versus составное (простое) рассуждение. Общая структура сложных рассуждений. Прямые и непрямые способы обоснования. Основные способы непрямого обоснования: доказательство "от противного", "сведение к абсурду", "разбором случаев", "по правилу дедукции". Структура основных видов сложных рассуждений. Комбинирование разных способов непрямого обоснования в естественных рассуждениях.

Семинарское занятие 1.^ СПОСОБЫ "НЕПРЯМОГО"
ОБОСНОВАНИЯ (2 ч)

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

Контрольные вопросы

1. В чем отличия сложных рассуждений от других типов рассуждений? Какие дополнительные требования необходимы для его правильности?

2. Выявите логическую форму и структуру рассуждения Лейбница. Оцените его надежность.

Если бы действительный мир не был лучшим из всех возможных миров, то лучшего Бог не мог себе представить, или не мог сотворить, или не хотел сотворить. Однако Бог мудр, всемогущ и всеблаг. Поэтому неверно ни первое, ни второе, ни третье; ведь поскольку Бог мудр, он мог бы представить себе лучший мир; поскольку Бог всемогущ, то он мог сотворить лучший мир; а поскольку Бог всеблаг, он захотел бы его сотворить.

Следовательно, действительный мир есть лучший из всех возможных миров.

3. Как можно представить структуру непрямых способов обоснования? Приведите структуру непрямого способа обоснования по "правилу дедукции".

4. В чем сходство непрямых способов обоснования доказательства "от противного" и "сведения к абсурду"?

5. Что такое субординация рассуждении? Поясните свой ответ на примере выявления структуры доказательства следующей теоремы планиметрии. Какие способы непрямого обоснования применяются при доказательстве этой теоремы?

Требуется доказать, что если прямые а и Ь параллельны прямой с, то прямая а параллельна прямой Ь. Пусть прямые а и Ь параллельны прямой с. Допустим, что прямые а и Ь не параллельны. Тогда они пересекаются в некоторой точке D. Значит, через точку D проходят две прямые, параллельные прямой с. Но это невозможно, так как через точку, не лежащую на данной прямой, можно провести не более одной прямой, параллельной данной.

Следовательно, прямые а и Ь параллельны (теорема доказана).

Тема 5. ПРОПОЗИЦИОНАЛЬНЫЕ СВЯЗКИ.
ТАБЛИЦЫ ИСТИННОСТИ. ПРОПОЗИЦИОНАЛЬНЫЕ СХЕМЫ РАССУЖДЕНИЙ: ПРАВИЛЬНЫЕ И НЕПРАВИЛЬНЫЕ (2 ч)

Простые и сложные высказывания. Определение основных логических связок: отрицание, конъюнкция, дизъюнкция, импликация. Антецедент и консеквент импликации, их "несимметричность". Строгая и нестрогая дизъюнкция. Особенности выражения логических связок в естественном языке: логические связки versus союзы (выражения) естественного языка. Логические связки и сложные высказывания. Табличное определение основных логических связок.

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

Семинарское занятие 2.^ ПРАВИЛЬНЫЕ ПРОПОЗИЦИОНАЛЬНЫЕ
СХЕМЫ РАССУЖДЕНИЙ ТРАДИЦИОННОЙ ЛОГИКИ (2 ч)

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

Контрольные вопросы

1. Может ли измениться значение истинности импликативного предложения, если антецедент и консеквент поменять местами? Приведите пример, подтверждающий ваш ответ.

2. Почему умозаключения, рассмотренные в этой теме, называются пропозициональными?

3. Приведите примеры умозаключений, построенные по неправильным пропозициональным импликативным схемам.

4. Может ли союз "или" отличаться от логической связки дизъюнкции, а союз "и" — от конъюнкции? Приведите примеры в пользу вашей позиции.

5. Выявите логическую форму и структуру следующего рассуждения:

Либо Бог бессилен предотвратить зло, либо он не желает предотвращать его. Если Бог всемогущ, то неверно, что Он бессилен предотвратить зло. Если Бог всеблаг, то неверно, что Он не желает предотвращать зло.

Значит, либо неверно, что Бог всемогущ, либо неверно, что он всеблаг.

По какой пропозициональной схеме оно построено? Является ли данное рассуждение правильным?

6. Выявите логическую структуру следующего рассуждения. Является ли данное рассуждение правильным с точки зрения пропозициональной логики? Почему?

У всех млекопитающих сердце состоит из четырех камер.

Дельфин — млекопитающее.

Следовательно, сердце дельфина состоит из четырех камер.

Тема 6. ПОНЯТИЕ О ФОРМАЛИЗОВАННОМ ЯЗЫКЕ
^ И ДЕДУКТИВНОМ ИСЧИСЛЕНИИ.
ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ (2 ч)

Традиционная логика versus символическая логика. Методологические недостатки традиционной логики: 1) отсутствие доказательства правильности; 2) фрагментарность.

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

Контрольные вопросы

1. Какова общая структура дедуктивного исчисления? Из каких составных частей состоит? Постройте какое-либо дедуктивное исчисление.

2. Чем формализованный язык отличается от естественного языка? Каковы отличительные признаки формализованного языка?

3. Что такое логическое исчисление? Чем оно отличается от дедуктивного исчисления? Каково соотношение этих понятий по объему?

4. Для чего строятся логические исчисления? Каково их значение?

5. Какие основные типы логических исчислений вы знаете?

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

7. Покажите, что выражение // * // # //// является:

а) формулой;

б) выводимой формулой в следующем исчислении:

1. Алфавит исчисления: {/, *, #}

2. Формулами исчисления являются:

1. / — формула исчисления.

2. Если Х — формула, то Х/ — формула.

3. Если Х, Y — формулы, то X * Y — формула.

4. Если X, Y — формулы, то X # Y — формула.

3. Формула / * / # // является аксиомой исчисления.

4. Правила вывода:

1. Если X * / # Y — выводимая формула, X / * / # Y / — выводимая формула.

2. Если X * Y # Z — выводимая формула, то X * Y / # Z / — выводимая формула.

Тема 7. ЯЗЫК ИСЧИСЛЕНИЯ ВЫСКАЗЫВАНИЙ.
РАЗРЕШАЮЩАЯ ПРОЦЕДУРА ДЛЯ ПРОПОЗИЦИОНАЛЬНОЙ ЛОГИКИ. СОКРАЩЕННЫЕ СПОСОБЫ РАЗРЕШАЮЩИХ ПРОЦЕДУР. МЕТОД АНАЛИТИЧЕСКИХ ТАБЛИЦ (2 ч)

Символика пропозициональной логики: символы для пропозициональных переменных — versus символы для пропозициональных связок. Построение правильно построенной формулы (п.п.ф.). Главный знак п.п.ф. Соглашения об опускании скобок.

Семантика языка пропозициональной логики. Два истинностных значения классической логики: "истинно" и "ложно". Функциональная зависимость истинностного значения сложного высказывания от истинностных значений его составляющих. Понятие о разрешающей процедуре как способе выявления логически общезначимых формул.
  1   2   3   4

Добавить документ в свой блог или на сайт

Похожие:

С. Л. Катречко Введение в логику iconС. Л. Катречко Обратный метод С. Ю. Маслова
В 60-е годы можно говорить о возникновении новой области на стыке логики, эвристики, психологии — теории поиска вывода

С. Л. Катречко Введение в логику iconИскусственный интеллект versus моделирование сознания Катречко С. Л
Исследования в области "искусственного интеллекта" (ИИ) к настоящему времени привели к ряду впечатляющих результатов. Именно поэтому...

С. Л. Катречко Введение в логику iconБэкон Фрэнсис Учение [Бэкона] об
Его же. Сочинения в 2 томах. Т. 1 с. 73 74 с. 307 310; Бэкон Фр. Новый органон (афоризмы об истолковании природы и царстве человека...

С. Л. Катречко Введение в логику iconВступление 3
Более того, несмотря на сильную логику и рациональное мышление, мы остаемся существами чувствующими. Часто говорят, и не без основания,...

С. Л. Катречко Введение в логику iconВведение введение
Актуальность темы настоящего исследования определяется следующими теоретическими положениями

С. Л. Катречко Введение в логику iconНиколай Скопич «32 Ефесянам 4: 11»
Для того, чтобы хорошо понимать логику библейского учения мы сделаем обзор послания, т к оно хорошо представляет нам все Божье учение...

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

С. Л. Катречко Введение в логику iconКатречко Сергей Леонидович кандидат философских наук г. Москва Концепция...
«модель» поведения: я воздаю хвалу Богу (не совершаю дурных поступков, противоправных действий) – Бог (судьба) помогает и дает мне...

С. Л. Катречко Введение в логику iconРеферат скачан с сайта allreferat wow ua Создание предприятия в рыночной...

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

Вы можете разместить ссылку на наш сайт:
Школьные материалы


При копировании материала укажите ссылку © 2013
контакты
uchebilka.ru
Главная страница


<