Логика происходит от греч. logos, что одновременно означает речь, слово, высказывание, понятие. Основатель логики Аристотель чаще всего употреблял термин "логос" в смысле "определения" или "разумности вообще".
Итак, в современном понимании, логика - это наука о законах и формах правильного мышления.
Форма мышления - это способ связи элементов мысли. Основные формы мышления (логические формы): понятие, суждение, умозаключение.
Понятие является исходной, самой простой формой мысли, отражая общие существенные признаки предметов.
Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком. Обладает свойством выражать либо истину (соответствие действительности), либо ложь.
Умозаключение - самая сложная форма мысли, представляет собой получение нового суждения (вывода) из данных суждений (посылок).
Логика, как отдельная наука впервые была систематически изложена древнегреческим философом Аристотелем (384 - 322 гг. до н. э.). Аристотель сформулировал основные законы правильного мышления: закон тождества, закон непротиворечия, закон исключенного третьего. Позднее был сформулирован четвертый закон - закон достаточного основания. Разработка логики во многом была обусловлена общественной потребностью. Гражданин античного полиса активно участвовал в общественной жизни. Свободнорожденный мужчина, хотя бы раз в жизни должен был занимать важный государственный пост. Это требовало определенной подготовки. Поэтому высоко ценились так называемы "учителя мудрости" - софисты. Они учили грамоте, красноречию, искусству спора и т. д., однако со временем стали изобретать приемы одурачивания собеседника. Такие недобросовестные приемы получили название "софизмов", а слово "софист" приобрело негативный смысл.
Вот примеры некоторых софизмов, ставших классическими:
"То, что ты не потерял, то у тебя есть. Ты не терял рогов. Значит, они у тебя есть (ты рогат)";
"Сидящий встал. Кто встал, тот стоит. Значит, сидящий стоит";
"Я - человек. Вы не я. Значит, вы не человек";
"Лекарство для больного - это добро. Чем больше добра тем лучше. Значит чем больше ты дашь лекарства больному, тем лучше".
А вот вопросы софистского толка:
"Перестал ли ты бить свою мать?";
"Давно ли ты вышел из тюрьмы?" и т. п.
Очевидно, что любой ответ на такой вопрос вас не устроит.Ввязываясь, например, в такой спор, "спорим, что я трактор поднимал?" вы заранее обрекает себя на проигрыш ("поднимал, но не поднял" или "поднимал, но игрушечный"). Так же как отвечая на такие вопросы:
"- Знаете ли вы, о чем я хочу вас сейчас спросить?
- Нет, не знаем.
- Неужели вы не знаете, что лгать - нехорошо?
- Знаем.
- Но именно об этом я и собирался вас спросить,
а вы ответили, что не знаете. Выходит вы знаете то, чего не знаете!"
Двусмысленность многих языковых выражений, скрытые утверждения в вопросах, все это позволяет софизму выглядеть убедительным для неподготовленного человека. Умение пользоваться софизмами предполагает знание основ логики.
Именно как средство защиты от софистики и лжи логика и была задумана Аристотелем. В дальнейшем значительный вклад в разработку логики внесли средневековые схоласты (ввели латинскую терминологию). Английский философ Ф. Бэкон (1561-1626) заложил основы учения об индуктивных умозаключениях. Немецкий философ Лейбниц (1646-1716) сформулировал закон достаточного основания. В середине XIX в. возникла математическая (символическая) логика. С тех пор аристотелевская логика стала называться традиционной (формальной) логикой.
2. Законы логики.
Название закона |
Содержание Закона |
Символическая запись |
Логическая ошибка |
I. Закон тождества | Всякая мысль в процессе рассуждения должна быть тождественна самой себе (объем и содержание мыслей должны быть уточнены и оставаться неизменными до конца рассуждения). Требует от мышления точности, ясности, определенности, адекватности, однозначности. | В классической логике: А есть А; А=А, где под А понимается любая мысль. В символической логике: р→р, читается:если р, то р; где р - любое высказывание | Ошибка "подмены понятия". Причины ошибки: а) логическая - отсутствие логической культуры, нетребовательность к точности мысли б) лингвистическая - омонимичность языка в) психологическая - ассоциативность мышления |
II.Закон непротиворечия | Два противоречивых или противоположных суждения не могут быть одновременно истинными. Значит, одно из них обязательно будет ложным (они могут быть одновременно ложными). Требует от мышления непротиворечивости и применим как к контрарным, так и к контрадикторным формам мысли | В классической логике: не может быть одновременноА и не-А, А и В. В символической логике: ¬(рΛ¬р) читается: неверно, что р и не-р | Ошибка "противоречивости в рассуждении". В случае ошибки допускается следствие:(pΛ¬р)→q, читается: если р и не-р, то q, что означает: "из лжи следует все что угодно" |
III. Закон исключенного третьего | Два противоречащих суждения не могут быть одновременно ложными, одно из них всегда истинно (а другое ложно). Требует от мышления последовательности, завершенного рассуждения | В классической логике: А либо не-А. В символической логике: pv¬p, читается: либо р, либо не-р | Ошибка "непоследовательности в рассуждении". Довести рассуждение до логического конца означает установить, какое из противоречивых суждений истинно, а какое ложно |
IV. Закон достаточного основания | Всякая мысль признается истинной, если она имеет достаточное основание. Требует от мышления обоснованности, доказательности, аргументированности рассуждения | Символической записи не имеет, т. к. допускает разные формы обоснования | Ошибка "бездоказательного рассуждения", "декларативности", "необоснованности, неаргументированного рассуждения" |
3. Значение логики.
Достижения формальной логики применяются в юриспруденции, психологии, лингвистике, теории управления, педагогике и др. науках. Некоторые разделы логики являются теоретической основой математики, теории информации, кибернетики.
При изучении логики развиваются:
точное мышление и ясная речь;
умение убеждать и обосновывать свои идеи;
умение спорить;
привычка анализировать свои и чужие рассуждения, что помогает нам справиться с софистикой и ложью.
Но все же главное значение логики в том, что она приучает думать и усиливает мыслительные способности человека.
Следователь – следователь прокуратуры
Конституция – закон
Общество – человек
Стихотворный размер – Стихотворный размер ямб
6. Три примера дедуктивных умозаключений:
Если день солнечный, то сосновый лес пахнет смолой.
День - солнечный.
____________________
Следовательно, сосновый лес пахнет смолой.
2. Все звезды излучают энергию
Солнце – это звезда.
_________________________________________________
Следовательно, Солнце излучает энергию.
3. Если решение суда обжаловано в апелляционном порядке, то оно еще не вступило в законную силу.
Решение суда обжаловано в апелляционном порядке.
_____________________________________________
Следовательно, оно еще не вступило в законную силу.
Другие работы по теме:
Модальности
Модальности (от лат. modus - вид, способ) - тип отношения высказывания к реальности. Наиболее известные нам модальности - это наклонения: изъявительное - оно описывает реальность ("Я иду"), повелительное - оно ведет диалог с реальностью ("Иди").
Модальная логика. Вероятностная логика
Сущность и содержание модальной логики, ее отличительные признаки от классической, история становления и развития, применение принципов на современном этапе. Система модальной силлогистики. Основные принципы и сферы применения вероятностной логики.
Логика
Предмет логики, ее значение и виды. Особенности определения истинности сложного суждения по таблице истинности. Построение фигуры категорического силлогизма на основании посылки: "Все люди – смертны". Путь формирования логической культуры мышления.
Математическая логика
Ее еще называют символической логикой. Математическая логика - это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой.
Логический позитивизм
Логический позитивизм - ранняя форма аналитической философии, одно из основных философских направлений первой половины ХХ в.
Задачи по теме "Логические выражения"
В настоящей публикации представлены наиболее удачные задачи по теме "Логические выражения и их запись на языке Pascal", которые были составлены студентами.
Основные понятия логики
Значение логики, понятие как форма мышления. Основные логические приемы формирования понятий. Единичные и общие, конкретные и абстрактные, относительные и безотносительные, положительные и отрицательные понятия. Семантическая характеристика высказываний.
Сущность формальной и математической логики
Сущность логики, отражение закономерности движения мышления к истине. Понятие, суждение и умозаключение - основные типы логических форм. Отражение объективной реальности в законах логики. Отличительные признаки формальной и математической логики.
Умозаключение
Умозаключение - форма мышления, посредством которого из одного или нескольких суждений выводится новое суждение. Виды умозаключений. Логика суждений (высказываний). "Аксиомы" логики суждений. Правила вывода логики суждений. "Условный силлогизм".
Гиляров-Платонов Никита Петрович
Гиляров-Платонов Никита Петрович- философ, публицист. Профессор Московской Духовной Академии. Пытался проанализировать диалектику Гегеля с позиций формальной логики. Близок славянофилам.
Грот Николай Яковлевич
Попытка свести логические законы к психологическим явлениям (ассоциациям) была сделана Н.Я.Гротом в его "Реформе логики" и отчасти И.Ягодинским в его книге "Генетический метод в логике".
Логические основы схемотехники
2. ЛИТЕРАТУРА 2.1 Основная литература 1. Опадчий Ю.Ф. и др. Аналоговая и цифровая электроника. – М.: Радио и связь, 2002. – 768 с. 2. Степаненко И.П. Основы микроэлектроники: Учеб. пособие для вузов. – М.: Лаборатория Базовых Знаний, 2000. – 488 с.
Контрольные вопросы по логике
Что изучает логика. Что мы называем истиной и ложью. Когда возникла логика как наука. Зачем нужно изучать логику. Определение понятия. Какие функции выполняют понятия.
Контрольные вопросы по логике
Принципы моделирования. Теоретико-множественные средства моделирования. Средства моделирования логики высказываний. Средства моделирования логики предикатов. Логика научного познания. Доказательство и дедуктивный вывод. Виды индукции. Аналогия.
Исследование логических элементов
Целью работы является: теоретическое изучение логических элементов, реализующих элементарные функции алгебры логики (ФАЛ); - экспериментальное исследование логических элементов, построенных на отечественных микросхемах серии К155.
Алгебра логики
Алгебра логики. Возникновение логики. Булевы функции. Преобразование выражений, состоящих из булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
по Логике 10
Московский Государственный Университет Печати Контрольная работа по дисциплине ЛОГИКА Выполнила: Студентка группы ЗКЖ2 Савина А.М. Москва 2010 Задание 13.
Законы логики 2
ОГЛАВЛЕНИЕ ВВЕДЕНИЕ…………………………………………………………… ПОНЯТИЕ О ЛОГИЧЕСКОМ ЗАКОНЕ……………………………. ФОРМУЛИРОВКА ЛОГИЧЕСКИХ ЗАКОНОВ…………………… ЗАКЛЮЧЕНИЕ………………………………………………………..
Логические формулы и операции Виды и правила вопросов
Логические операции Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение. Выделяют следующие логические операции: инверсия; конъюнкция; дизъюнкция; импликация; эквиваленция.
Возникновение и развитие символической логики
Возникновение и развитие символической логики связано с работами Г.Фреге (1848–1925) и Ч.С.Пирса (1839–1914). После того, как Фреге в 1879 и Пирс в 1885 ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем символической логики в ее современном понимании.
Логика как самостоятельная наука
Введение Еще в древности люди знали, что достоверность выводных знаний зависит не только от истинности исходных посылок, но и от способа их соединения. Для того, чтобы убеждать, надо не только хорошо говорить, но и владеть различными приемами построения умозаключений и доказательств.
Понятие и типы логических законов
Министерство образования и науки Российской Федерации КАЗАНСКИЙ ФЕДЕРАЛЬНЫЙ (ПРИВОЛЖСКИЙ) УНИВЕРСИТЕТ ФИЛОСОФСКИЙ ФАКУЛЬТЕТ КАФЕДРА СОЦИАЛЬНОЙ ФИЛОСОФИИ И КУЛЬТУРОЛОГИИ
Интегральная и микропроцессорная схемотехника
Рабочая программа курса «Интегральная и микропроцессорная схемотехника» Введение . Роль интегральной электроники в развитии современной науки и техники. Этапы перехода от дискретных элементов к интегральным микросхемам. Успехи, достигнутые в области разработки полупроводниковых приборов и микросхемотехники.
Цифровые интегральные микросхемы
Сущность и назначение цифровых интегральных микросхем, описание их статических и динамических параметров. Основы алгебры логики. Изучение элементов транзисторной логики с эмитерными связями. Принципы сочетания диодного элемента с транзисторным инвертором.
Схемотехническое решение
Система управления технологическими процессами и оборудованием. Многоэмиттерный и полевой транзисторы. Логические элементы. Триггеры, дешифраторы, мультиплексор, регистр, счетчики, делитель частоты и запоминающие устройства. Функциональные узлы.
Плокке, Готфрид
Готфрид Плокке (нем. Gottfried Ploucquet; 25 августа 1716, Штутгарт — 13 сентября 1790, Тюбинген) — немецкий философ и логик, один из наиболее известных преподавателей логики и метафизики XVIII века, профессор (с 1750 года).
Марксистско-ленинская философия
Марксистско-ленинская философия (МЛФ) — философское учение, развившее и последовательно проводящее материалистический принцип в понимании объективного мира и мышления, дополнив его диалектическим воззрением. Построившее, по словам В. Ленина[1], диалектическую логику как «учение не о внешних формах мышления, а о законах развития „всех материальных, природных и духовных вещей“, то есть развития всего конкретного содержания мира и познания его, то есть итог, сумма, вывод истории познания мира».
Логический тип данных. Операции сравнения
Логические, или булевские, данные предназначены для хранения логических значений "истина" или "ложь". Логические переменные и константы имеют тип Boolean и занимают в памяти 1 байт. Существует всего две логические константы - TRUE и FALSE.
WinWord
ДонГУ Форма N У-5.09 ( назва вищого навчального закладу ) Затв. Наказом Мiнвузу УРСР вiд 3 серпня 1984 р.N 253 пеціальність 01.02 Семестр авчальний предмет