Логика как наука

26
Что представляет окружающий нас мир?

Transcript of Логика как наука

Page 1: Логика как наука

Что представляет окружающий нас мир?

Page 2: Логика как наука

Как научиться пользоваться логическим языком?

Вопрос над которым мы будет работать и пытаться ответить является очевидным из

главной темы проекта.

Page 3: Логика как наука

1. Понятие «слово» - «предмет».

2. Начало развития науки логика.

3. Формы человеческого мышления.

4. Логические функции и логические переменные.

5. Важность знаний основ логики

Чтобы ответить на поставленный вопрос определим

содержание работысодержание работы:

Page 4: Логика как наука

Люди познают мир не в силу врожденной любознательности. В основе познания мира лежит

необходимость его практического изменения.

Все науки в конечном счете возникли из практических потребностей людей: математика — из потребностей измерения земельных

участков и вместимости сосудов; астрономия — из потребностей мореплавания; медицина — из потребностей борьбы с болезнями.

Как осуществляется процесс познания?

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

практики (как основы познания) и заканчивается практикой

(как критерием истины).

Page 5: Логика как наука

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

ствуют на наши органы чувств и вызывают в мозгу ощущения и восприятия. Других средств приема сигналов из внешнего мира

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

Формами чувственного познания являются ощущения, восприятия, представления.

Page 6: Логика как наука

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

информацию о конкретном предмете. А слова сложенные в фразу несет определенный смысл.

Любое слово принимают два значения: 0 и 1 («истина» и «ложь»). Как у монеты две стороны «орешка» и «орел».

Page 7: Логика как наука

Употребляемые в обычной речи слова и словосочетания "не", "и", "или",

"если..., то", "тогда и только тогда" и другие позволяют из уже заданных высказываний строить

новые высказывания. Такие слова и словосочетания называются логическими связками.

Page 8: Логика как наука

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

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

Page 9: Логика как наука

Логика (от греч. Логика (от греч. LogosLogos – слово, – слово,

понятие, понятие, рассуждение, разум) рассуждение, разум) – наука о законах и – наука о законах и

формах формах рационального рационального

мышления, методах мышления, методах формализации формализации

содержательных содержательных теорийтеорий..

ДемокритДемокрит

Евклид

ДекартДекарт

Page 10: Логика как наука

Логика как наука

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

Page 11: Логика как наука

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

Page 12: Логика как наука

Понятие – форма мышления, в которой отражаются отличительные существенные

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

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

Page 13: Логика как наука

Содержание понятия – совокупность существенных признаков, отраженных в этом понятии.

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

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

Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия.

Например, объем понятия река – это множество, состоящее из рек, носящих имена Обь, Иртыш, Енисей, Волга, и др.

Page 14: Логика как наука

Суждение (высказывание, утверждение) – форма мышления, в которой что-либо утверждается или

отрицается о предметах, их свойствах или отношениях между ними.

Примеры суждений:

1. Этот апельсин вкусный.

2. Если прошел дождь, то на улице весна.

3. На Луне живут лунатики, а на Марсе – марсиане.

Языковым выражением суждений является повествовательное предложение. Суждения бывают простыми и сложными.

Например, Наступила весна – простое суждение, а Наступила весна, и прилетели грачи – сложное, состоящее из двух простых.

Page 15: Логика как наука

Всякое суждение может быть либо истинным, либо ложным по своему содержанию

Содержание суждения – это то, о чем в нем идет речь, его смысл.

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

Например, для кого-то истинным является, что свободу, безопасность и комфорт дают глубокие знания, а для кого-то – свободу, безопасность и комфорт дают большие деньги.

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

Page 16: Логика как наука

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

Логическая форма суждения – это его строение, способ связи его составных частей.Форма суждения, в отличии от его содержания, объективна, т.е. не зависит от тех или иных взглядов того или иного человека.

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

Во всех этих суждениях говорится о разном (у них разное содержание), но они имеют одинаковую логическую форму: Все S есть Р.

Page 17: Логика как наука

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

В русском языке слово «умозаключение» используется в двух значениях: для обозначения процесса рассуждения, размышления, приводящего к некоторому выводу, и для обозначения результата этого процесса.

Ещё в древности было известно рассуждение, ставшее классическим образцом верного логического умозаключения:Все люди смертны.Сократ человек.Сократ смертен.

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

Page 18: Логика как наука

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

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

Page 19: Логика как наука

Итак, основной принцип формальной логики предполагает, что:•каждое рассуждение, выраженное на некотором языке, имеет содержание и форму;• содержание и форма различаются и м.б. разделены;• содержание не оказывает влияния на правильность рассуждения, поэтому от него можно отвлечься;•для оценки правильности суждения существенна лишь его форма;•Форму рассуждения необходимо выделить в «чистом» виде и затем на основе только формы решать вопрос о правильности рассуждения.

Page 20: Логика как наука
Page 21: Логика как наука

Сколько же всего может быть различных логических функций двух переменных?

Две переменные, каждая из которых может быть либо нулем, либо единицей, образуют 4 различных набора значений: (0,0); (0,1); (1,0); (1,1). Так как каждая функция двух переменных однозначно задается четырьмя значениями, каждое из которых равно либо 0, либо 1, то количество таких функций будет равно количеству комбинаций этих четырех значений. Таких комбинаций 24=16. То есть всего существует 16 различных функций двух переменных.

Page 22: Логика как наука

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

Логические переменные принимают два значения: 0 и 1 («истина» и «ложь»).

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

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

Page 23: Логика как наука

Значения функций F(x,y) Название

функции

Обозначение функцииX=0

Y=0X=0Y=1

X=1 Y=0

X=1 Y=1

0 0 0 0 Константа 0 F=00 0 0 1 Конъюнкция F=X&Y0 0 1 0 Отрицание импликации XY F=NOT(XY)0 0 1 1 Переменная Х F=X0 1 0 0 Отрицание импликации YХ F=NOT(YX)0 1 0 1 Переменная Y F=Y0 1 1 0 Отрицание эквивалентности F=NOT(XY)0 1 1 1 Дизъюнкция F=XY1 0 0 0 Отрицание дизъюнкции F=NOT(XY)1 0 0 1 Эквивалентность F=XY1 0 1 0 Отрицание Y F=NOT(Y)1 0 1 1 Импликация YX F=YX1 1 0 0 Отрицание Х F=NOT(X)1 1 0 1 Импликация ХY F=XY1 1 1 0 Отрицание конъюнкции F=NOT(X&Y)1 1 1 1 Константа 1 F=1

Таблица логических функций двух переменных

Page 24: Логика как наука

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

противника и не зная правил логики, подобно тому как нередко люди выражают свои мысли на языке, не

зная его грамматики. Знание логики повышает культуру мышления, способствует четкости,

последовательности и доказательности рассуждения, усиливает эффективность и

убедительность речи.

Вывод:Вывод:

Особенно важно знание основ логики знание основ логики в процессе овладения новыми знаниями, в обучении, в ходе подготовки к занятию, при написании сочинения, выступления, доклада; знание логики помогает

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

короткие и правильные пути опровержения этих ошибок, не допускать их самому.

Page 25: Логика как наука

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

Сознательное следование законам логики дисциплинирует мышление, делает его более аргументированным, эффективным и продуктивным, помогает избежать ошибок,

Page 26: Логика как наука

Агата Кристи в романе «Десять негритят» пишет: «Купить остров, думал судья, окружить себя

атмосферой таинственности вполне в характере Констанции Калмингтон. И судья кивнул головой: он

был доволен собой — его логика, как всегда, безупречна...»

О значении логики для следователя Уотсон, друг Шерлока Холмса, говорит следующее: «Л не знал

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

решает предлагаемые ему загадки не разумом, а каким-то вдохновенным чутьем, но на самом деле все его

выводы были основаны на точной и строгой логике» (А. Конан Дойл).