2. Ло́гика (др.-греч. λογική — «наука о рассуждении» , «искусство рассуждения» от λόγος — «речь», «рассуждение», «мысль») — раздел философии , наука о формах , методах и законах интеллектуальной познавательной деятельности , формализуемых с помощью логического языка.
3. Поскольку это знание получено разумом, логика также определяется как наука о правильном мышлении. Поскольку мышление оформляется в языке в виде рассуждения, частным случаем которого являются доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений . Логика как наука изучает способы достижения истины в процессе познания опосредованным путём , не из чувственного опыта, а из знаний, полученных ранее.
4. Одна из главных задач логики — определить, как прийти к выводу из предпосылок ( правильное рассуждение ) и получить истинное знание о предмете размышления , чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления. Логика служит одним из инструментов почти любой науки.
5. Значение слова Слово «логика» используется также в значениях «внутренняя закономерность , присущая тем или иным явлениям» или «правильный, разумный ход рассуждений»
6. Неформальная, формальная, символическая и диалектическая логика Неформальная логика (термин принят прежде всего в англоязычной литературе) — исследование аргументации в естественном языке . Одной из главных задач её является исследование логических ошибок. Любой вывод, сделанный на естественном языке, обладает чисто формальным содержанием (смысл рассуждения может быть разделён на форму мысли и собственно содержание). Именно этот вывод с чисто формальным содержанием называют логическим выводом и основным предметом логики. Анализ вывода , который раскрывает это чисто формальное содержание, называется формальной логикой .
7. Символическая логика изучает символические абстракции , которые фиксируют формальную структуру логического вывода. Диалектическая логика — особый метод философского спекулятивного рассуждения и наука о таком методе, которая, как предполагается, даёт знание о способе рассуждения, расширяющем возможности формально-логического вывода. Здесь понятие логики употребляется как в собственном логическом, так и в метафорическом смысле. Диалектическое рассуждение учитывает законы формальной логики.
8. Отношение к другим наукам Исторически логика изучалась как часть философии . Сейчас символическая логика также изучается как часть математики, информатики.
9. История логики Хотя многие культуры выработали сложные системы рассуждения, логика как эксплицитный анализ методов рассуждения получила основательное развитие изначально только в трёх традициях : в китайской , индийской и греческой . Хотя точные даты не слишком достоверны (особенно в случае Индии), скорее всего, логика возникла во всех трёх культурах в IV веке до н. э. . Современная логика , разработанная формально изощрённо, происходит в конечном счёте из греческой традиции (аристотелевской логики) , которая, однако, была воспринята не напрямую, а при посредничестве и комментаторской деятельности арабо-мусульманских философов и средневековых европейских логиков.
10. Можно выделить следующие исторические и региональные формы логики (приведены также их имена, исторически существовавшие и принятые в литературе по истории формальной логики):
11.
12.
13. Логика в Древнем Китае Логика в Китае появилась в период появления большого количества школ, конкуренции и дискуссий между ними. Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо») был известен как основатель моизма (школы мо цзя), представители которой занимались поиском источников достоверного рассуждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. В процессе анализа семантики языка моисты разработали метод классификации имён по степени их общности и деления вещей по видам (метод «трёх правил», «трёх фа»). К сожалению, позднее, при династии Цинь, эта линия исследований исчезла в Китае. Вновь логика в Китае появилась только с проникновением туда индийской логики буддистов.
14. Индийская логика Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — ньяя и вайшешика — занимались методологией познания, из этого проблемного поля и выделилась логика. Само название школы «ньяя» значит «логика». Главным её достижением и была разработка логики и методологии, ставших впоследствии общим достоянием (ср. аристотелевская логика в Европе).
15.
16. Логика античности Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель , так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения». После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан .
17. Логика в Средневековье По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
18. Логика в эпоху Возрождения и в Новое время Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций. Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть Индукции(Обобщения) в том, что знания нужно возводить в принципы. Также необходимо искать причину своих ошибок. В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
19. Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки. Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н. А. Васильевым и И. Е. Орловым. В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и логического моделирования логических устройств и средств вычислительной техники.
20. В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.
21. 80-ые годы начались изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения и разработка учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.
22. Основные понятия науки логики Софи́зм (от греч. σόφισμα , «мастерство, умение, хитрая выдумка, уловка, мудрость» ) — ложное умозаключение , которое , тем не менее, при поверхностном рассмотрении кажется правильным . Софизм основан на преднамеренном, сознательном нарушении правил логики.
23. Примеры софизмов Девушка — не человек Доказательство от противного. Допустим, девушка -- человек. Девушка -- молодая, значит девушка -- молодой человек. Молодой человек — это парень. Противоречие. Значит девушка — не человек .
24. Отец — собака «Эта собака имеет детей, значит, она — отец. Но это твоя собака. Значит, она твой отец. Ты её бьёшь, значит, ты бьёшь своего отца и ты — брат щенят». Рогатый «Что ты не терял, то имеешь. Рога ты не терял. Значит, у тебя рога».
25. Чётное и нечётное «5 есть 2 + 3 („два и три“). Два — число чётное, три — нечётное, выходит, что пять — число и чётное и нечётное. Пять не делится на два, также, как и 2 + 3, значит, оба числа не чётные!» Не знаешь то, что знаешь «Знаешь ли ты то, о чём я хочу тебя спросить?» — «Нет». — «Знаешь ли ты, что добродетель есть добро?» — «Знаю». — «Об этом я и хотел тебя спросить. А ты, выходит, не знаешь то, что знаешь».
26. Парадо́кс (от др.-греч. παράδοξος — неожиданный , странный от др.-греч. παρα-δοκέω — кажусь ) — ситуация (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения . Следует различать парадокс и апорию. Апория, в отличие от парадокса , является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности.
27. Парадоксальность — неожиданность, непривычность, оригинальность, противоречивость себе, исходным посылкам, общепринятому, традиционному взгляду или здравому смыслу по содержанию и/или по форме. Антонимом парадоксальности является ортодоксальность — проверенность, традиционность. « Ортодоксальный » — буквально « следующий господствующей традиции ». В разговорной речи, часто означает удивление, каким либо событием, его нелепостью, и непонятностью. Порой может использоваться для придания смысловой окраски, придания яркости тексту или речи.
28. Парадокс — высказывание, которое расходится с общепринятым мнением и кажется нелогичным (зачастую лишь при поверхностном понимании). Парадокс, в отличие от афоризма, поражает неожиданностью. В парадоксе привычная истина рушится на глазах и даже высмеивается. Например, «Я слышал столько клеветы в Ваш адрес, что у меня нет сомнений: Вы — прекрасный человек!» (О. Уайльд), «Взаимное непонимание — самая подходящая основа для брака» (О. Уайльд).
30. Парадокс как художественный приём Парадоксальность — чрезвычайно распространённое качество, присущее произведениям самых разных жанров искусства. В силу своей необычности парадоксальные высказывания, названия, содержания произведений неизменно привлекают к себе внимание людей. Это широко используется в разговорном жанре, в театральном и цирковом искусствах, в живописи и фольклоре. Популярная детская «поэзия нелепостей» Льюиса Кэрролла и Корнея Чуковского также построена на этом художественном приёме. Парадокс в музыке В классической музыке парадоксом принято называть изысканные, странные произведения или фрагменты, отличающиеся от традиционного звучания. Также парадоксами в древней Греции называли победителей в олимпийских состязаниях певцов и исполнителей инструментальной музыки.