1. Определения - процедура придания точного смысла термину (языковому выражению).
2. Классификация - процедура ступенчатого распределения предметов из класса (в подклассы).
3. Рассуждение - процедура пошагового обоснования некоторого суждения. Простейшая форма - умозаключение.
Умозаключение - это непосредственный перех от одного или нескольких высказываний А1, А2,...Аn к высказыванию В.
А1, А2,...Аn - посылки
---------------------
В - вывод
Пр,: Ни один сумасшедший не допускается к выборам.
Все сыновья Гегеля - сумасшедшие.
-----------------------------------------------------------------------------
Ни один сын Гегеля не допущен до выборов.
4. Доказательство - обоснование истинности суждения.
5. Опровержение - обоснование ложности суждения.
6. Научная полемика.
7. Постановка и решение проблем.
8. Выдвижение и проверка гипотез.
9. Измерение.
10. Эксперимент.
Задача логики - ответ на вопрос, как должен мыслить человек, чтобы достичь истины? Для этого она вырабатывает нормы и критерии правильного мышления.
Принципы правильного мышления (Аристотель)
1. Принцип тождества. Одинаковые языковые выражения в одном и том же контексте должны иметь одно и то же значение. (А=А).
2. Принцип непротиворечия: А и неверно А не могут быть одновременно истинны.
3. Принцип исключенного третьего. А и неверно А не могут быть одновременно ложны.
4. Принцип достаточного основания (Лейбниц):
2. Понятие логической формы. Способы выявления логической формы.
Логическая форма - выражение, фиксирующее ту часть содержания контекста, которая остается в результате отвлечения от конкретных содержаний нелогических терминов или же от содержаний простых высказываний, входящих в данный контекст.
Способы выявления логической формызависят от того (1) учитывается ли внутренняя структура простых высказываний, (2) какие выделяются категории нелогических терминов.
(1) Замена терминов параметрами
(2) С помощью формализованного (искусственного) языка.
3. Понятие логического закона и правильного умозаключения.
Не все истинные высказывания являются законами. Логический закон зависит от формы.
Пр, высказывание "Иванов является отличником или неверно, что Иванов является отличником" истинно в силу формы.
p| p или неверно p
---------------------------
и| и ил
л| л и л
Логический закон(логически истинные высказывания) - такая логическая форма суждений, которая при любой интерпритации входящих в нее параметров принимает значение истины.
Логически ложные высказывания - ложные в силу своей формы.
Те высказывания, которые не являются ни логически истинными, ни логически ложными, называются логически недетерминированныим.
Правильное умозаключение - такое умозаключение, которое гарантирует истинность заключение при условии истинности посылок.
Неправильное умозаключение - такое умозаключение, в кот. хотя бы в одной интерпритации посылки истинны, а заключение ложно.
Логическое следование - это отношение между предпосылками и заключением, когда при любой интерпритации параметров, если посылки истинны, то и заключение истинно, т. е. нет такой интерпритации, когда посылки истинны, а заключение ложно.
4. Язык как знаковая система. Понятие знака, виды знаков. Смысл и значение знака.
Язык - это знаковая система, кот. является средством фиксации, переработки, хранения и передачи информации.
Функции языка:
1. Познавательная (фиксация) - самая важная для нас!
2. Информационная (хранение)
3. Коммуникативная (общение)
4. Экспрессивная (выражение внутреннего мира человека)
Язык состоит из знаков.
Знак - это материальный объект, который для некоторого интерпритатора (субъекта) выступает в качестве представителя другого объекта.
(знак, объект, интерпритатор)
Пр,
знак - карта
объект - местность
интерпритатор - турист.
Репрезентативная функция языка - язык всегда что-то представляет.