Скачать 75.07 Kb.
|
Биографические сведения АРИСТОТЕЛЬ (348-322 гг до н. э.) - основоположник логики. Написал книги «Категории», «Первая аналитика», «Вторая аналитика». (Исследовал различные формы рассуждений, ввел понятие силлогизма.) А ристотель родился в городе Стагира на фракийском побережье полуострова Хальки-дика. Его отец был врачом и другом македонского царя Аминта II. Аристотель рос и учился вместе с сыном Аминта — будущим царем Филиппом II Македонским, и на протяжении всей жизни его судьба была тесно связана с македонским царским домом. В возрасте 18 лет Аристотель отправился в Афины к великому мыслителю Платону и провел в его школе около 20 лет. Он был самым выдающимся из учеников Платона, глубоко усвоившим его знания и идеи, но далеко не всегда согласным со своим учителем. В 343 г. до н. э. царь Филипп приглашает друга своей юности, ставшего тем временем величайшим ученым, быть наставником своего сына Александра. Когда через несколько лет Александр сам становится царем, знаменитым Александром Македонским, Аристотель возвращается в Афины и собирает вокруг себя учащуюся молодежь, которой читает курсы различных наук. В 323 г. до н. э. умер Александр Македонский, и в Афинах победила антимакедонская партия. Аристотель, как друг и учитель Александра, должен был покинуть Афины. Год спустя он умер на острове Евбея. Г. В. ЛЕЙБНИЦ (1646-1716) Г отфрид Вильгельм Лейбниц родился в г. Лейпциге (Саксония). Его отец был профессором этики, а дед — профессором права Лейпцигского университета. Обширная домашняя библиотека позволила способному юноше параллельно с гимназическим образованием получить глубокие познания как в классической, так и современной науке. В 1661 г. Лейбниц становится студентом и изучает философию, юриспруденцию и математику в университетах Лейпцига, Иены и Альтдорфа. В 1666 г. он защищает сразу две диссертации на звание доцента — по юриспруденции и математике. Затем Лейбниц служит при дворах немецких князей в качестве юриста, находится на дипломатической работе. С 1676 г. и до самой смерти Лейбниц состоял советником и библиотекарем при дворе ганноверского герцога. На протяжении этих 40 лет Лейбниц вел научные исследования, публиковал научные труды, поддерживал переписку со всеми ведущими учеными эпохи. Лейбниц был универсальным ученым, внесшим существенный клад в философию, юриспруденцию, историю, физику и математику. Он является одним из создателей дифференциального и интегрального исчислений, комбинаторики, теории определителей. Значительна и научно-организаторская деятельность Лейбница — он был одним из основателей Прусской академии наук в Берлине. Вклад в логику - предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления. ДЖ. БУЛЬ (1815-1864) Д жордж Буль родился в Линкольне (Англия) в семье мелкого торговца. Материальное положение его родителей было тяжелым, поэтому Джордж смог закончить только начальную школу для детей бедняков; в других учебных заведениях он не учился. Этим, может быть, отчасти и объясняется, что, не связанный традициями, он пошел в науке своим оригинальным путем. Мальчиком Буль самостоятельно изучил латынь, древнегреческий, немецкий и французский языки, прочел основные философские трактаты. С ранних лет начался трудовой путь Буля — он искал работу, дающую какой-то заработок и в то же время оставляющую возможности для дальнейшего самообразования. После многих неудачных попыток Булю удалось открыть маленькую элементарную школу, в которой он преподавал сам. Школьные учебники по математике привели его в ужас своей нестрогостью и нелогичностью. Буль вынужден был обратиться к сочинениям классиков науки и самостоятельно проштудировать обширные труды Лапласа и Лагранжа. В связи с этими занятиями у него появились первые самостоятельные идеи. Результаты своих исследований Буль сообщал в письмах профессорам математики (Д. Грегори, А. де Моргану) знаменитого Кембриджского университета и вскоре получил известность как оригинально мыслящий математик. В 1849 г. в г. Корк (Ирландия) открылось новое высшее учебное заведение — Куинз колледж. По рекомендации коллег-математиков Буль получил здесь профессуру, которую сохранил до своей смерти в 1864 г. Только здесь он имел возможность не только обеспечить старость родителей, но и спокойно, без мыслей о хлебе насущном, заниматься наукой. Здесь же он женился на дочери профессора греческого языка Мери Эверест, которая не только много помогала Булю в работе, но и оставила после его смерти интересные воспоминания о своем муже; она стала матерью четырех дочерей Буля, одна из которых — Этель Лилиан Буль, в замужестве Войнич, — автор популярного в нашей стране романа «Овод». Вклад в логику - 1847 г. – Джордж Буль в работе «Математический анализ логики» изложил основы булевой алгебры. Разработал алфавит, орфографию и грамматику. К. ШЕННОН К лод Эльвуд Шеннон окончил в середине 30-х гг. Мичиганский университет, защитив там два диплома бакалавра — по электротехнике и по математике. Получив работу в Массачусетском технологическом институте, он, желая подработать, выполнял обязанности оператора «дифференциального анализатора» — механического вычислительного устройства, решающего сложные дифференциальные уравнения. Главный недостаток этого механизма состоял в том, что расчеты проводились в десятичной системе счисления; чтобы поставить машине задачу, оператор, пачкаясь в машинном масле, несколько дней вручную подбирал положения шестереночных передач. Шеннон решил усовершенствовать «дифференциальный анализатор», заменив шестеренки и валики электрическими схемами. В своей докторской диссертации, опубликованной в 1938 г., Шеннон изложил свои идеи о применении алгебры логики в электрических цепях. Данная работа считается поворотным пунктом в развитии вычислительной техники. 1938 г. – американский математик и инженер Клод Шеннон связал Булеву алгебру (аппарат математической логики), двоичную систему кодирования и релейно-контактные переключательные схемы, заложив основы будущих ЭВМ. ТЕМА «АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ» 1. Что такое логика? Формальная логика. Математическая логика. 2. Этапы развития логики. 3. Применение математической логики. 4. Алгебра высказываний. Простые и сложные высказывания. 5. Основные операции алгебры высказываний. 1. Что такое логика? Формальная логика. Математическая логика. LOGOS (греч.)- слово, понятие, рассуждение, разум. Слово «логика» обозначает совокупность правил, которым подчиняется процесс мышления. Основными формами абстрактного мышления являются: понятия, суждения, умозаключения. Понятие - форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов. (трапеция, дом) Суждение - мысль, в которой что-либо утверждается или отрицается о предметах. (Весна наступила, и грачи прилетели) Умозаключение - прием мышления, посредством которого из исходного знания получается новое знание. (Все металлы - простые вещества). Логика (формальная) - наука о законах и формах правильного мышления. Математическая логика - изучает логические связи и отношения, лежащие в основе логического (дедуктивного) вывода. 2. Этапы развития логики. I. АРИСТОТЕЛЬ (384-322 гг. до н.э.) - ОСНОВОПОЛОЖНИК ЛОГИКИ Силлогизм - рассуждение, в котором из заданных двух суждений выводится третье. 1. Все млекопитающие имеют скелет. Все киты - млекопитающие. Следовательно, все киты имеют скелет. 2. Все квадраты - ромбы. Все ромбы - параллелеграммы. Следовательно, все квадраты - параллелограммы. Аристотель выделил все правильные формы силлогизмов, которые можно составить из рассуждений вида: «Все А суть В»; «Некоторые А суть В»; «Все А не суть В»; «Некоторые А не суть В» Логика, основанная на теории силлогизмов называется классической. II. Декарт Рене (1596-1650, фр. философ, математик). Рекомендовал в логике использовать математические методы. III. Лейбниц Г.В. (1646-1716, нем. ученый и математик) - gредложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления. IV. Джордж Буль (1815-1864, анл.) - основоположник мат. логики. 1847 г. – Джордж Буль в работе «Математический анализ логики» изложил основы булевой алгебры. Разработал алфавит, орфографию и грамматику. V. ВКЛАД В СТАНОВЛЕНИЕ И РАЗВИТИЕ МАТ. ЛОГИКИ: Аугустус де Морган (1806 - 1871); Уильям Стенли Джевонс (1835 - 1882); Платон Сергеевич Порецкий (1846-1907); Чарлз Сандерс Пирс (1839-1914) 4. Алгебра высказываний. Простые и сложные высказывания. Алгебра высказываний - раздел математической логики, изучающий высказывания и логические операции над ними. Высказывание - это повествовательное предложение, о котором можно сказать, что оно истинно или ложно. Высказываниями не являются: 1) восклицательные и вопросительные предложения. 2) определения. 3) предложения типа: «он сероглаз»; «x2-4x+3=0». Высказывание, которое можно разложить на части, будем называть сложным, а неразложимое далее высказывание - простым.
Домашнее задание.
|
Планы семинарских занятий для первого цикла обучения Утверждены на... Аристотель. Метафизика. – Кн. I // Аристотель. Соч в 4 т. – Т. – М.: Мысль, 1975 (Философское наследие). – С. 65-93 | По дисциплине Томская область, Кожевниковский район, ул. Советская 57,тел. (8-244) 42-322, 42-415 | ||
«Крылатые труженицы» Томская область, Кожевниковский район, ул. Советская 57,тел. (8-244) 42-322, 42-415 | Архангельской области Плотность населения на 1 квадратный километр – 2,1 человека. Административный центр – г. Архангельск (население – 348,6 тыс человек).... | ||
Реферат по теме : Имя Иван в языковом сознании русских людей Томская область, Кожевниковский район, ул. Советская 57,тел. (8-244) 42-322, 42-415 | Автор Сочинение Электронный адрес Аристотель Политика | ||
Программа по формированию навыков безопасного поведения на дорогах... Тема: Областной закон зс – 348. Предупреждение детского травматизма и противоправного поведения детей. Организационные вопросы | Отчет о профориентационной работе за 2012-2013 учебный год гбоу сош... Беседы с родителями учащихся льготных категорий по вопросам оказания помощи в выборе профобразовательного маршрута | ||
Тынянов Ю. Н. Поэтика. История литературы. Кино. М., 1977. С. 320-322 «Об утверждении плана-графика мероприятий по обеспечению введения федерального государственного образовательного стандарта начального... | Темы рефератов по сто Великие заблуждения в физике (Аристотель о движении,эфир, теплород,эл жидкости и др.) | ||
Институт непрерывного образования центр евразийских и международных исследований Геополитика и экономическая динамика Евразии: история, современность, перспективы: материалы II евразийского научного форума (1-3... | Решение кафедры Краткая история изучения активности человека: Аристотель, Гераклит, Демокрит, Платон, Сократ | ||
Темы для подготовки рефератов по курсу «политология» Политические идеи Древнего мира и периода средневековья (Конфуций, Платон, Аристотель, Н. Макиавелли) | Практикум Экономическая мысль в античном мире и в эпоху Средневековья Экономические идеи в античной Греции (Аристотель, Платон, Ксенофонт) и в Древнем Риме | ||
Рефератов для самостоятельной работы студентов 3 курса по дисциплине «Философия» Аристотель – основатель современной системы наук (биология, психология, экономика) | Рефератов для самостоятельной работы студентов 3 курса по дисциплине «Философия» Аристотель – основатель современной системы наук (биология, психология, экономика) |