- •Заключения по аналогии
- •37. Причинные отношения. Типичные ошибки, возникающие при анализе причинных связей.
- •38. Методы сходства и различия. Объединенный метод. Методы научной индукции
- •Метод сходства
- •Метод различия
- •Соединенный метод сходства и различия.
- •39. Методы сопутствующих изменений и остатков. Метод сопутствующих изменений
- •Метод остатков
- •41. Аргументация, доказательство и опровержение, их структура.
- •Структура аргументации
- •3. Демонстрация — это логическая связь между аргументами и тезисом.
- •42. Способы доказательства.
- •43. Виды опровержения.
- •1. Деструктивная критика
- •Конструктивная критика.
- •Смешанная критика
- •44. Правила по отношению к тезису: возможные ошибки и уловки.
- •(1) Определенность тезиса
- •(2) Неизменность тезиса
- •Ошибки и уловки.
- •45. Правила по отношению к аргументам, возможные ошибки и уловки.
- •(1) Требование достоверности, т.Е. Истинности и доказанности аргументов
- •1) Принятие за истину ложного аргумента
- •2) «Предвосхищение основания»
- •(2) Автономное от тезиса обоснование;
- •1)«Круг в демонстрации»
- •(3) Требование непротиворечивости аргументов
- •(4) Требование достаточности аргументов
- •46. Правила по отношению к демонстрации и возможные ошибки.
- •Правила.
- •1) Дедуктивный способ аргументации
- •2) Индуктивный способ аргументации
- •3) Аргументация в форме аналогии
- •Ошибки в демонстрации
- •47. Софизмы и парадоксы, их роль в развитии знания.
- •48. Условия и источники возникновения логики.
- •49. Аристотелевская логика, ее роль в развитии науки и культуры.
- •50. Развитие методов дедукции и индукции в Новое время.
- •51. Символическая логика и создание искусственных языков.
- •52. Основные формы теоретического знания.
51. Символическая логика и создание искусственных языков.
ЛОГИКА СИМВОЛИЧЕСКАЯ – математическая логика, теоретическая логика – область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка.
Уже Аристотель широко применял буквенные обозначения для переменных. Идея построения универсального языка для всей математики, для формализации на базе такого языка математических доказательств и вообще любых рассуждений выдвигалась в 17 в. Г.Лейбницем. Однако только к сер. 19 в. стало очевидным, что существующая логическая парадигма, а именно аристотелевская силлогистика, уже не отвечает требованиям развития науки того времени.
Основы современной логической символики были разработаны итальянским математиком Дж.Пеано (1858–1932), чьи интересы, как и Фреге, концентрировались вокруг оснований математики и развития формально-логического языка. Его знаменитый труд «Formulaire de mathématiques», опубликованный в 1894–1908 (в соавторстве), был нацелен на развитие математики в ее целостности, исходя из некоторых фундаментальных постулатов. Логическая запись Пеано была принята, хотя и частично модифицирована, А.Н.Уайтхедом и Б.Расселом в их знаменитой трехтомной «Principia Mathematica» (1910–1913), а затем воспринята Д.Гильбертом. Т.о., был введен в употребление во всем мире символический язык, где появляются логические знаки отрицания ~, конъюнкции &, дизъюнкции ∨, импликации ⊃, кванторов всеобщности ∀ и существования ∃.
Создание такого искусственного языка и с его помощью таких объектов, как логические исчисления, строго формализующие различные теории в виде некоторого конечного списка аксиом и правил вывода, означало, что в науке 19 в. возникла потребность в символической логике. В первую очередь это было вызвано потребностями математики, ставившей проблемы, для решения которых средства традиционной логики были непригодны. Одной из таких проблем была недоказуемость 5-го постулата Евклида из остальных постулатов и аксиом в его геометрии. Только с развитием символической логики появился аппарат, позволяющий решать проблему независимости аксиом данной теории чисто логическими средствами.
52. Основные формы теоретического знания.
Система научного знания каждой дисциплины гетерогенна. В ней можно обнаружить различные формы знания: эмпирические факты, законы, принципы, гипотезы, теории различного типа и степени общности и т.д.
Все эти формы могут быть отнесены к двум основным уровням организации знания:эмпирическому и теоретическому. Соответственно можно выделить два типа познавательных процедур, порождающих эти знания.
Разумеется, для того чтобы проанализировать особенности и внутреннюю структуру каждого из этих уровней научного исследования, необходим предварительный выбор исходного материала для анализа. В качестве такого материала выступают реальные тексты науки, взятой в ее историческом развитии.