
- •Предмет и задачи логики как науки. Исторические этапы становления логики как науки. Соотношение логики и других наук.
- •Логика высказываний. Предметный язык логики высказываний. ( определение алфавита, формулы).
- •3 Основные пропозициональные связки. ( определение отрицания, конъюнкции, дизъюнкции, импликации,эквивалентности). Таблицы истинности для связок.
- •4.Алгоритм построения таблицы истинности. Виды формул логики высказываний.
- •5.Законы логики высказываний. Основные законы логики. (тождества, противоречия, исключение третьего, недостаточного основания).
- •Р≡р Закон тождества
- •Р& ̚р≡0 ̚ (р& ̚р) Закон противоречия
- •Av¬a закон исключенного третьего;
- •6.Понятие булевой алгебры и булевых функций. Бинарные булевы функции.
- •7.Условно-категорические умозаключения. Понятие дедуктивного умозаключения. Типичные ошибки в дедуктивных умозаключениях.
- •8. Условно разделительные умозаключения. (диллемы)
- •3) Рассуждение сведением к абсурду.
- •10.Понятие индуктивного умозаключения.Виды индуктивных умозаключений: полная и неполная индукция, научная индукция, умозаключения по аналогии.
- •11. Логика предикатов. Предметный язык логики предикатов.
- •12. Понятие высказывания, функции высказывания, функции указателя. Понятие квантора. Универсальный и экзистенциональный кванторы. Свободные и связанные переменные.
- •15. Категорические атрибутивные высказывания: типы и структура, определение истинности.
- •16.Логический квадрат. Непосредственные умозаключения по логическому квадрату.
- •Силлогистика.Виды силлогистических теорий. Законы позитивной силлогистики.
- •Понятие простого категорического силлогизма. Фигуры и модусы простого категорического силлогизма. Правила силлогизма.
- •Непосредственные умозаключения в негативной силлагистике.
- •Понятие как форма мысли. Выди понятий.
- •Соотношение между понятиями и логические операции с понятиями.
- •Определение. Правила определения. Классификация. Правила классификации.
Предмет и задачи логики как науки. Исторические этапы становления логики как науки. Соотношение логики и других наук.
Аристотель (384-322 до н.э. )- создатель формальной логики.
Термин логика происходит от греч. « логос», - мысль, слово, разум, закономерность. Этим словом часто называют совокупность правил, которым подчиняется процесс человеческого мышления.
Предметом логики выступают законы и формы человеческого мышления. Логика изучает мышление, как средство познания. Объект логики-человеческое мышление.
Логика изучает мысли только с позиции их формы.
Историю логики можно разделить на два основных этапа: первый продолжался более двух тысяч лет, в течение которых логика развивалась очень медленно; второй начался во второй половине XIX в., когда в логике произошла научная революция, в корне изменившая ее лицо. Это было обусловлено, прежде всего, проникновением в нее математических методов. На смену аристотелевской, или традиционной, логике пришла современная логика, называемая также математической, или символической. Эта новая логика не является, конечно, логическим исследованием исключительно математических доказательств. Она представляет собой современную теорию правильного рассуждения, «логику по предмету и математику по методу», как охарактеризовал ее известный русский логик П.С.Порецкий. Задача логического исследования — обнаружение и систематизация определенных схем правильного рассуждения. Эти схемы представляют логические законы, лежащие в основе логически правильного мышления. Рассуждать логично — значит рассуждать в соответствии с законами логики. Логика связана со многими науками, особенно очевидна связь логики с риторикой, в древности они рассматривались в неразрывном единстве. Логика просто необходима риторике, отбор фактов, разработка плана и композиции выступления, обеспечение доказательности и аргументированности речи -- все это требует знания законов логики. Логическая культура пригодится оратору, если в момент выступления завяжется спор, и на этапе подведения итогов выступления.
Логика – это нормативная наука о формах и приёмах интеллектуальной познавательной деятельности, осуществляемой с помощью языка. Основана в 4 веке до н.э. Аристотелем.
Прежде всего логика занимается решением проблемы построения теории правильных (дедуктивных) рассуждений, позволяющих из истинных высказываний гарантированно получать истинные следования.
Второй круг проблем (логико-семиотические) связан с применением языка как средства познания мира и средства выражения мысли. К их числу относятся проблемы выделения категорий языковых выражений в зависимости от типов их значений, а также установления смыслов и условий истинности и ложности высказываний различных видов.
К третьей, логико-методологической группе проблем относится выработка проблем реализации таких познавательных процедур, как определение, классификация, объяснение, аналогия и др., а также способов организации систем знания, например научных теорий.
Главная задача логики – установление закономерностей функционирования объектов некоторой предметной области. Кроме того, теория может выступать как средство объяснения и предсказания явлений (пример теории: механика Ньютона, геометрия Евклида.)
Рассуждением называется процедура обоснования некоторого высказывания путём пошагового выделения его из других высказываний.
Значение логики состоит в следующем:
1) логика выступает важнейшим средством формирования убеждений (прежде всего научных). Эти убеждения опираются на доказательные процедуры своего представления и обоснования. Именно в этом плане логика применялась даже средневековыми схоластами, пытавшимися придать христианскому вероучению рациональную форму, что послужило формальной предпосылкой возникновения действительной науки, отказавшейся от теологических подходов;
2) формальная логика применяется в науке и технике. При этом техническими приложениями формальной логики являются: исчисление высказываний и исчисление предикатов. Без исчисления предикатов не могли появиться искусственные информационные языки, основа современной компьютерной техники. Традиционная формальная логика остается важнейшим логическим инструментом построения доказательств, обоснований во всех науках;
3) традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;
4) логика является важнейшим и незаменимым инструментом развития культуры. Без логики не может обойтись никакая культурная деятельность вообще, поскольку в ней присутствуют и играют принципиальную роль рациональные элементы.