Заказ работы

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

Самые новые

Значок файла Пределы: Метод. указ./ Составители: С.Ф. Гаврикова, И.В. Касымова.–Новокузнецк: ГОУ ВПО «СибГИУ», 2003 (6)
(Методические материалы)

Значок файла Салихов В.А. Основы научных исследований в экономике минерального сырья: Учеб. пособие / СибГИУ. – Новокузнецк, 2004. – 124 с. (4)
(Методические материалы)

Значок файла Дмитрин В.П., Маринченко В.И. Механизированные комплексы для очистных работ. Учебное посо-бие/СибГИУ - Новокузнецк, 2003. – 112 с. (7)
(Методические материалы)

Значок файла Шпайхер Е. Д., Салихов В. А. Месторождения полезных ископаемых и их разведка: Учебное пособие. –2-е изд., перераб. и доп. / СибГИУ. - Новокузнецк, 2003. - 239 с. (6)
(Методические материалы)

Значок файла МЕТОДИЧЕСКИЕ УКАЗАНИЯ К ВЫПОЛНЕНИЮ ЭКОНОМИЧЕСКОЙ ЧАСТИ ДИПЛОМНЫХ ПРОЕКТОВ Для студентов специальности "Металлургия цветных металлов" (4)
(Методические материалы)

Значок файла Учебное пособие по выполнению курсовой работы по дисциплине «Управление производством» Специальность «Металлургия черных металлов» (110100), специализация «Электрометаллургия» (110103) (5)
(Методические материалы)

Значок файла Контрольные задания по математике для студентов заочного факультета. 1 семестр. Контрольные работы №1, №2, №3/Сост.: С.А.Лактионов, С.Ф.Гаврикова, М.С.Волошина, М.И.Журавлева, Н.Д.Калюкина : СибГИУ. –Новокузнецк, 2004.-31с. (8)
(Методические материалы)

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

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

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

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

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


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