Аристотель, который первым систематизировал формы и правила мышления icon

Аристотель, который первым систематизировал формы и правила мышления

Реклама:



Скачать 73.24 Kb.
НазваниеАристотель, который первым систематизировал формы и правила мышления
Дата конвертации11.04.2013
Размер73.24 Kb.
ТипДокументы
источник

Историческая справка

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

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

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

Однако, подлинный прогресс этой науки был достигнут в середине XIX века прежде всего благодаря трудам Дж.Буля "Математический анализ логики". Он перенес на логику законы и правила алгебраических действий, ввёл логические операции, предложил способ записи высказываний в символической форме. В трудах Дж.Буля и Д.Моргана математическая логика оформилась как своеобразная алгебра - алгебра логики (или алгебра высказываний).

В развитии математической логики приняли участие многие выдающиеся математики и логики конца XIX и XX веков, в том числе К.Гедель (австр.), Д.Гильберт (нем.), С.Клини (амер.), Э.Пост (амер.), А.Тьюринг (анг.), А.Чёрч (амер.), А.Н.Колмогоров, П.С.Новиков, А.А.Марков и многие другие.

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

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



Таким образом, объектами изучения алгебры логики являются высказывания.

Под высказыванием (суждением) будем понимать повествовательное предложение, относительно которого можно сказать, истинно оно или ложно.

Обозначать высказывания будем большими буквами. Если высказывание А истинное, то будем писать "А = 1" и говорить: "А - истинно". Если высказывание Х ложно, то будем писать "Х = 0" и говорить "Х ложно".

ПРИМЕРЫ

^ А = "Солнце светит для всех." = 1 - истинное высказывание

В = "Все ученики любят информатику" = 0 - ложное высказывание

С = "Некоторые из учеников любят информатику." = 1

Д = "А ты любишь информатику?" - не высказывание, т.к. не является повествовательным предложением

^ Е = "Посмотри в окно." - не высказывание, т.к. является побудительным предложением

Ж = "Х * Х < 0" = 0 - ложное высказывание, т.к. какое бы Х мы не взяли произведение Х*Х будет неотрицательным

^ З = "2 * Х - 5 > 0" - не высказывание, т.к. для некоторых значений Х это выражение будет верным, а для других - нет.

И = "Крокодилы летают очень низко" - высказывание.

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

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

^ ЛОГИЧЕСКИЕ ОПЕРАЦИИ

1. ЛОГИЧЕСКОЕ ОТРИЦАНИЕ (ИНВЕРСИЯ)

Образуется из простого высказывания с помощью добавления частицы НЕ к сказуемому или использованием оборота речи "НЕВЕРНО, ЧТО ...".

Инверсия обозначается: не А ; А ; ; NOT A (в данном пособии - А)

Операцию инверсии можно графически проиллюстрировать с помощью теории множеств и диаграмм Эйлера-Венна. В теории множеств логическому отрицанию соответствует операция дополнения к множеству.

^ Таблица истинности

А



0

1

1

0




^ Дополнение к множеству



А - множество отличников
- множество не отличников

^ 2. ЛОГИЧЕСКОЕ УМНОЖЕНИЕ (КОНЪЮНКЦИЯ)

Образуется соединением двух высказываний в одно с помощью союза "И".




^ Таблица истинности

А

B

A  B

0

0

0

0

1

0

1

0

0

1

1

1




^ Пересечение множеств



А - множество отличников в классе
В - множество спортсменов в классе
А  В - множество отличников, занимающихся спортом




^ 3. ЛОГИЧЕСКОЕ СЛОЖЕНИЕ (ДИЗЪЮНКЦИЯ)

Образуется соединением двух высказываний в одно с помощью союза ИЛИ




^ Таблица истинности

А

B

A V B

0

0

0

0

1

1

1

0

1

1

1

1




^ Объединение множеств



А - множество отличников в классе
В - множество спортсменов в классе
А  В - множество учеников класса, которые являются отличниками или спортсменами




^ 4. ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ (ИМПЛИКАЦИЯ)

Образуется соединением двух высказываний в одно с помощью оборота речи "ЕСЛИ ..., ТО... "

Импликация обозначается: А В; А  В

Говорят: "Если А, то В", "А имплицирует В", "А влечет В", "В следует из А".

ПРИМЕР: Пусть даны высказывания А = "На улице дождь", В = "Асфальт мокрый".

^ А импликация В = “Если на улице дождь, то асфальт мокрый”

Таблица истинности

А

B

A  B

0

0

1

0

1

1

1

0

0

1

1

1






^ 5. ЛОГИЧЕСКОЕ РАВЕНСТВО (ЭКВИВАЛЕНТНОСТЬ)

Образуется соединением двух высказываний в одно при помощи оборота речи "... ТОГДА И ТОЛЬКО ТОГДА, КОГДА ...".

ПРИМЕРЫ

Угол называется прямым тогда и только тогда, когда он равен 900”

^ Эквивалентность обозначается: А = В; А  В ; А ~ В

Таблица истинности

А

B

A  B

0

0

1

0

1

0

1

0

0

1

1

1




Эквивалентность множеств



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


Реклама:

Похожие:

Аристотель, который первым систематизировал формы и правила мышления iconЛогика как наука
Аристотель, который первым систематизировал формы и правила мышления, обстоятельно исследовал категории «понятие» и«суждение», подробно...

Аристотель, который первым систематизировал формы и правила мышления icon7. Понятие как форма мышления 6 кл
Во все времена умение пра­вильно мыслить играло важную роль в жизни каждого че­ловека. В глубокой древности возникла наука логика,...

Аристотель, который первым систематизировал формы и правила мышления iconРазвитие критического мышления на уроках литературы ещё лев Толстой говорил: «Знание только тогда знание, когда оно обретено усилиями своей мысли, а не памятью»
Ользуя в своей педагогической деятельности различные формы обучения, многие педагоги отдают предпочтение технологии развития критического...

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

Аристотель, который первым систематизировал формы и правила мышления iconСоздать ситуацию успеха для ребенка
Изучение материала по первым двум частям учебника «Математика –1» было направлено, главным образом, на развитие мышления, речи, творческих...

Аристотель, который первым систематизировал формы и правила мышления iconТест по теме: Место человека в системе органического мира
...

Аристотель, который первым систематизировал формы и правила мышления iconГлупостей, продуктов моего мышления
Навязчивая мысль о женщинах: вопрос о соответствии формы и содержания, по- моему, необходимо возвести в тип вопросов «о вечном» и...

Аристотель, который первым систематизировал формы и правила мышления iconОсновы логики и логические основы компьютера. Формы мышления
Высказывания бывают общими, частными или единичными. Общее высказывание начинается (или можно начать) со слов: все, всякий, каждый,...

Аристотель, который первым систематизировал формы и правила мышления iconПравила внутреннего трудового распорядка муниципального образовательного учреждения средней общеобразовательной школы №124 Общие положения
В соответствии с Конституцией Российской Федерации каждый имеет право на труд, который он свободно выбирает или на который свободно...

Аристотель, который первым систематизировал формы и правила мышления iconН э. древнегреческий философ Аристотель в первые ввел понятие «экономика». эйкос дом, хозяйство + закон
В IV веке до н э древнегреческий философ Аристотель в первые ввел понятие «экономика»

Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©sd3.uchebalegko.ru 2000-2013
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы