Тема 1. История логики. Понятие о логике как науке. - Каталог статей - Урок по информатике
Воскресенье, 26.02.2017, 04:22
План-конспекты уроков по информатике
0+ Главная Регистрация Вход
Приветствую Вас, Гость · RSS
Меню сайта
Категории раздела
Все [56]
logoWriter [19]
Уроки по теме "logoWriter"
CorelDraw [7]
Практические задания с пошаговым алгоритмом выполнения по теме "CorelDraw"
MacromediaFlash [0]
Практические работы по теме "MacromediaFlash"
MS Excel [7]
План-конспекты по теме "MS Excel"
Логика [10]
План-конспекты уроков по логике
Разное [10]
Уроки, которые не подходят ни в одну категорию
Pascal [7]
Форма входа
Статистика

Яндекс.Метрика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Наш опрос
Очень сложно найти конспект на тему...
Всего ответов: 627
Реклама
 Каталог статей
Главная » Уроки » Все

Тема 1. История логики. Понятие о логике как науке.

Тема 1. История логики. Понятие о логике как науке.

Цели урока. 1) Познакомить учащихся с историей возникновения логики как науки, хронологией ее развития, с основными ее понятиями;

  2) развивать логическое мышление;

                     3) воспитывать интерес к предмету.

 Ход урока.

I. Орг. момент.

II. Новая тема.

Логика - наука, изучающая законы и формы мышления. В логике мышление рассматривается как инструмент познания окружающего мира.

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

Основоположником логики считают Аристотеля (384-322 гг. до н.э.)

Родом Аристотель был из г. Стагира на Фракийском побережье полуострова Халькидика. Его отец был врачом и другом македонского царя Аминта II. Аристотель рос и учился вместе с сыном Аминта – будущим царём Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провёл в его школе около 20 лет. Он был самым способным из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласным со своим учителем. В 343 г. до н.э. царь Филипп приглашает Аристотеля стать наставником своего сына Александра. Когда через несколько лет Александр сам становится царём, знаменитым Александром Македонским, Аристотель возвращается в Афины и собирает вокруг себя учащуюся молодёжь, которой читает курсы различных наук. В 323 г. до н.э. умер Александр Македонский и в Афинах победила антимакедонская партия. Аристотель, как друг и учитель Александра, вынужден был покинуть Афины. Год спустя он умер на острове Эвбея.

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

Первые идеи о «матемизации» логики появились в XVII в. Так франц. Философ и математик Рене Декарт (1596-1650) считал, что человеческий разум может постигнуть истину, если будет исходить из достоверных положений, сводить сложные идеи к простым, переходить от известного и доказанного к неизвестному, избегая каких-либо пропусков в логических звеньях исследований. Т.о., он рекомендовал в логике использовать общепринятые математические методы.

Готфрид Вильгельм Лейбниц (1646-1716) предложил детальную программу логических исследований методами математики. Он писал: «Никто не должен бояться, что наблюдение над знаками уведёт нас от вещеё: напротив, оно приводит нас к сущности вещей». Лейбниц предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней 2-ой СС. Так зарождалась математическая, или символическая, логика.

Отцом математической логики по праву считается англ. математик XIX в. -Джордж Буль (1815-1864), именем которого назван раздел математической логики – булева алгебра.

Дж. Буль родился в Линкольне (Англия) в семье мелкого торговца. Материальное положение его родителей было тяжёлым, поэтому Джордж смог окончить только начальную школу для детей бедняков; в других учебных заведения он не учился. Этим, может быть, отчасти объясняется, что, не связанный традицией, он пошёл в науке собственным путём. Буль самостоятельно изучил латынь, древнегреческий, немецкий и французский языки, изучил философские трактаты. С ранних лет Буль искал работу, оставляющую возможности для самообразования. После многих неудачных попыток Булю удалось открыть маленькую начальную школу, в которой он преподавал сам. Школьные учебники по математике привели его в ужас своей нестрогостью и нелогичностью, Буль вынужден был обратиться к сочинениям классиков науки и самостоятельно проштудировать обширные труды Лапласа и Лагранжа. В связи с этими занятиями у него появились первые самостоятельные идеи. Результаты своих исследований Буль сообщал в письмах профессорам математики (Д. Грегори, А. де Моргану) знаменитого Кембриджского университета и вскоре получил известность как оригинально мыслящих математик. В 1849 г. в г. Корк (Ирландия)открылось новое высшее учебное заведение – Куинз колледж, по рекомендации коллег-математиков Буль получил здесь профессуру, которую сохранил до своей смерти. Только здесь он получил возможность не только обеспечить старость родителей, но и спокойно, без мыслей о хлебе насущном, заниматься наукой. Здесь же он женился на дочери профессора греческого языка Мери Эверест, которая много помогала Булю в работе и оставила после его смерти интересные воспоминания о своём муже; она стала матерью четырёх дочерей Буля, одна из которых, Этель Лилиан Буль, в замужестве Войнич, - автор известного и в нашей стране романа «Овод».

 

Основные формы абстрактного мышления.

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

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

Например:

Весна наступила.

Грачи прилетели.

Весна наступила, и грачи прилетели.

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

001

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

Например:  все цветы – растения.

                   Все лютики – цветы.

 Следовательно, все лютики – растения.

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

Такие рассуждения, приводящие к явно нелепым выводам, называются софизмами.

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

     Математическая логика изучает только умозаключения со строго определенными объектами и суждениями, для которых можно однозначно решить, истинны они или ложны, логические связи, лежащие в основе дедуктивного (логического) вывода.

III. Д/з.  Придумать 4 суждения различного вида.

Категория: Все | Добавил: Казначей (19.11.2010)
Просмотров: 6558 | Теги: История логики, Понятие о логике как науке | Рейтинг: 4.8/8
Не забываем комментировать!!!

Другие материалы
Практическая работа №3: Работа с узлами
Конспекты по языку программирования Паскаль
Тема 9. Использование логических операций в операт...
Урок 9: Работа с листом форм в среде LogoWriter
Тема 2. Высказывания и операции над ними.
Цикл с предусловием (цикл пока).
Урок 1: Первое знакомство с системой Logo Writer
Урок 13,14. Команда ПОВТОРИ. Повторение команд чер...
Урок 2: Команды перемещения исполнителя черепашка
Информация: определение, свойства, формы представл...
Магистрально-модульный принцип построения компьюте...
Файлы и каталоги на дисках в MS DOS (2 урока)

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Copyright KUPI © 2017
Готовимся к ЕГЭ и ГИА
ГИА, ЕГЭ 2014 по информатике ФИПИ скачать бесплатно без смс
Отследи свою посылку
Друзья сайта
  • Софт бесплатно
  • Интернет магазин бесплатно
  • Наша ссылка
    Наша кнопка
    Конспекты уроков
    Лидеры по просмотрам
    Тема 8. Решение логических задач.
    Виды и типы современных языков программирования
    Алгоритм и его свойства
    Информация: определение, свойства, формы представления; информационные процессы.
    Относительная и абсолютная адресация
    Тема 7. Перевод и запись различных выражений с естественного языка на язык алгебры логики.
    Моделирование и формализация. Часть 1.
    Графика в Турбо Паскаль.
    Сортировка и фильтрация данных в MS Excel
    Понятие формализации. Часть 2.
    Загрузить файл
    Сделать бесплатный сайт с uCoz