Заказ работы

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

Самые новые

Значок файла Зимняя И.А. КЛЮЧЕВЫЕ КОМПЕТЕНТНОСТИ как результативно-целевая основа компетентностного подхода в образовании (2)
(Статьи)

Значок файла Кашкин В.Б. Введение в теорию коммуникации: Учеб. пособие. – Воронеж: Изд-во ВГТУ, 2000. – 175 с. (2)
(Книги)

Значок файла ПРОБЛЕМЫ И ПЕРСПЕКТИВЫ КОМПЕТЕНТНОСТНОГО ПОДХОДА: НОВЫЕ СТАНДАРТЫ ВЫСШЕГО ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ (2)
(Статьи)

Значок файла Клуб общения как форма развития коммуникативной компетенции в школе I вида (10)
(Рефераты)

Значок файла П.П. Гайденко. ИСТОРИЯ ГРЕЧЕСКОЙ ФИЛОСОФИИ В ЕЕ СВЯЗИ С НАУКОЙ (10)
(Статьи)

Значок файла Второй Российский культурологический конгресс с международным участием «Культурное многообразие: от прошлого к будущему»: Программа. Тезисы докладов и сообщений. — Санкт-Петербург: ЭЙДОС, АСТЕРИОН, 2008. — 560 с. (11)
(Статьи)

Значок файла М.В. СОКОЛОВА Историческая память в контексте междисциплинарных исследований (11)
(Статьи)

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

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

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

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

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


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