Заказ работы

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

Самые новые

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

Значок файла Исследование особенностей распределения случайных событий с помощью шариковой модели: Метод. рек. /Сост.: Ю.Г. Сильвестров: ГОУ ВПО «СибГИУ. - Новокузнецк, 2003, - 7 с., (1)
(Методические материалы)

Значок файла Деформация и рекристаллизация металлов: Метод. Указ. / Сост.: Л.А. Стародубцева, Д.Г. Татарников: СибГИУ. – Новокузнецк, 2002. - с., ил. (2)
(Методические материалы)

Значок файла Дефекты кристаллического строения металлов. Рекомендации к практическим занятиям. / Сост. В.П. Морозов, А.Ф. Софрошенков; СибГИУ. – Новокузнецк, 1999. - с. ил. (1)
(Методические материалы)

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

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

Значок файла Выбор и расчёт потребного количества оборудования: Ме-тодические указания к изучаемому курсу: “Оборудование и проекти-рование термических цехов” / Сост.А.Ф. Синявский: СибГИУ. - Новокузнецк , 2004. – 11с. (0)
(Методические материалы)

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

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

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

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

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


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