Заказ работы

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

Самые новые

Значок файла Методические указания к научно-исследовательской работе студентов по курсу “Социология”. Ч. 1/ Сост.: Е. А. Сафонова: СибГИУ. - Новокузнецк, 2003. – 45 (2)
(Методические материалы)

Значок файла Методические рекомендации для практических занятий по психологии: Метод. указ./ Сост.: С. Г. Колесов: СибГИУ. – Новокузнецк, 2002. – 29 (2)
(Методические материалы)

Значок файла Методические указания по проведению производственной практики (первой). Специальность «Промышленное и гражданское строительство» (290300) (2)
(Методические материалы)

Значок файла Контроль качества бетона. Определение прочности бетона неразру-шающими методами. Методические указания к выполнению лабора-торных работ по курсу «Технология строительных процессов». Специ-альность «Промышленное и гражданское строительство» (290300) (2)
(Методические материалы)

Значок файла Динамика. Тема 6. ПРИНЦИП ВОЗМОЖНЫХ ПЕРЕМЕЩЕНИЙ: Расч. прак./ Сост.: Г.Т. Баранова, Н.И. Михайленко: СибГИУ.-Новокузнецк, 2003.- с (2)
(Методические материалы)

Значок файла Семенихин А.Я. С 30 Технология подземных горных работ: Учебное пособие / А.Я. Семенихин, В.И. Любогощев, Ю.А. Златицкая. – Новокузнецк: СибГИУ, 2003. - 91 с (17)
(Методические материалы)

Значок файла Огнев С.П., Ляховец М.В. Основы теории управления: методические указания. – Новокузнецк: ГОУ ВПО «СибГИУ», 2004. – 45 с (12)
(Методические материалы)

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

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

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

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

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


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