Заказ работы

Заказать
Каталог тем

Самые новые

Значок файла Определение показателя адиабаты воздуха методом Клемана-Дезорма: Метод, указ. / Сост.: Е.А. Будовских, В.А. Петрунин, Н.Н. Назарова, В.Е. Громов: СибГИУ.- Новокузнецк, 2001.- 13 (0)
(Методические материалы)

Значок файла ОПРЕДЕЛЕНИЕ ОТНОШЕНИЯ ТЕПЛОЁМКОСТИ ГАЗА ПРИ ПОСТОЯННОМ ДАВЛЕНИИ К ТЕПЛОЁМКОСТИ ГАЗА ПРИ ПОСТОЯННОМ ОБЪЁМЕ (0)
(Методические материалы)

Значок файла Лабораторная работа 8. ОПРЕДЕЛЕНИЕ ДИСПЕРСИИ ПРИЗМЫ И ДИСПЕРСИИ ПОКАЗАТЕЛЯ ПРЕЛОМЛЕНИЯ СТЕКЛА (1)
(Методические материалы)

Значок файла ОПРЕДЕЛЕНИЕ УГЛА ПОГАСАНИЯ В КРИСТАЛЛЕ С ПО-МОЩЬЮ ПОЛЯРИЗАЦИОННОГО МИКРОСКОПА Лабораторный практикум по курсу "Общая физика" (0)
(Методические материалы)

Значок файла Лабораторная работа 7. ПОЛЯРИЗАЦИЯ СВЕТА. ПРОВЕРКА ЗАКОНА МАЛЮСА (2)
(Методические материалы)

Значок файла Лабораторная работа № 7. ИЗУЧЕНИЕ ВРАЩЕНИЯ ПЛОЩАДИ ПОЛЯРИЗАЦИИ С ПОМОЩЬЮ САХАРИМЕТРА (0)
(Методические материалы)

Значок файла Лабораторная работа 6. ДИФРАКЦИЯ ЛАЗЕРНОГО СВЕТА НА ЩЕЛИ (0)
(Методические материалы)

Каталог бесплатных ресурсов

Логика. Учебное пособие

ВВЕДЕНИЕ
ПРЕДМЕТ ЛОГИКИ
Формальная логика – это наука о законах и формах правиль-
ного мышления. Термин «логика» имеет свое происхождение от гре-
ческого «logos», что означает «мысль», «слово», «разум», «закон».
Логика исследует логические формы, отвлекаясь от их конкрет-
ного содержания, анализирует мышление со стороны его формальной
правильности. Формальная правильность означает соответствие мыш-
ления (рассуждения, доказательства) известным фиксированным пра-
вилам, соблюдение которых обеспечивает правильность перехода от
одних высказываний к другим.
Предметом логики является выводное знание, т. е. знание, по-
лученное из ранее проверенных истин в соответствии с определенны-
ми законами. Логику не интересует в каждом отдельном случае ис-
тинная характеристика исходного знания. Ее задача заключается в
том, чтобы определить, следует ли вывод из определенных посылок с
необходимостью либо лишь вероятно. Другой задачей является фор-
мализация и систематизация правильных способов рассуждений.
Формальная логика сегодня представлена двумя ветвями –
традиционной и математической (символической) логикой.
Традиционная логика – это первая ступень логики выводного
знания. Она изучает общечеловеческие формы мысли (понятия, суж-
дения), формы связи мыслей в рассуждении (умозаключения), зафик-
сированные в системе формально-логических законов: тождества,
противоречия, исключенного третьего и достаточного основания.
Математическая логика – вторая после традиционной логи-
ки ступень в развитии формальной логики, применяющая математи-
ческие методы и специальный аппарат символов и исследующая
мышление с помощью исчислений (формализованных языков). Боль-
шая, чем в традиционной логике, степень абстрагирования и обоб-
щения позволяет современной символической логике познавать но-
вые закономерности мышления, возникающие при решении сложных
логических конструкций в математике, кибернетике, при проектиро-
4
вании и в работе электронно-вычислительных машин и управляющих
устройств.
Понятие логической формы
Логическая форма – это структура мысли или способ связи
элементов ее содержания. Логическая форма выражается посредст-
вом логических переменных и логических констант. В качестве ло-
гической переменной может выступать любая буква латинского алфа-
вита: A, B, C, p, q. Константы, или логические постоянные, высту-
пают способом связи логических переменных и выражаются словами:
«все», «некоторые», «суть», «и», «или», «либо, либо», «если…, то» и
т. д. Для обозначения логических констант употребляются символы,
что позволяет достичь большей компактности и строгости изложения:
? – квантор общности «для всякого x верно, что…».
? – квантор существования – «существуют x».
? – логический союз конъюнкция, выражается посредством
грамматических союзов «и», «да», «но».
? – логический союз дизъюнкция в значении грамматического
союза «или…или».
? – логический союз импликация, выражается словами «ес-
ли…, то…».
Пропозициональная функция – это выражение, содержащее
переменные и превращающееся в высказывание при подстановке
вместо переменных соответствующих дескриптивных терминов.
Законы мышления
Закон мышления, или логический закон, – это суждение,
выражающее внутреннюю необходимую существенную связь между
мыслями либо их элементами в процессе рассуждения или доказа-
тельства.
В формальной логике выделяют четыре основных закона:
тождества, противоречия, исключенного третьего и достаточ-
ного основания. Эти законы являются основными потому, что выра-
жают наиболее общие свойства мышления: определенность, непроти-
воречивость, последовательность и обоснованность.

Размер файла: 996.01 Кбайт
Тип файла: rar (Mime Type: application/x-rar)
Заказ курсовой диплома или диссертации.

Горячая Линия


Вход для партнеров