Научное познание даёт наиболее объективное и обоснованное знание о природе, обществе и человеке. Существует множество разных наук, главные из которых - математика, логика, физика, биология, возникли ещё в древности в трудах Пифагора, Аристотеля, Архимеда,
Поскольку аксиоматическое построение играет большую роль в едином методе обоснования, то есть необходимость включить в него возражения против принципиальной возможности аксиоматической перестройки произвольной теориию
Сущность логики, отражение закономерности движения мышления к истине. Понятие, суждение и умозаключение - основные типы логических форм. Отражение объективной реальности в законах логики. Отличительные признаки формальной и математической логики.
Осваивая действительность самыми разнообразными методами, научное познание проходит различные этапы. Каждому из них соответствует определенная форма развития знания. Характеристика и анализ основных из них: факт, теория, проблема, гипотеза, программа.
Философские методы эмпирического исследования как "верхний уровень" - метафизический, диалектический, феноменологический, герменевтический. Три уровня ("сверху вниз") в структуре общенаучных методов и приемов: общелогический, теоретический и эмпирический.
Законы мира как составная часть рассуждений. Способ установления законов - индуктивные обобщения наблюдений. Суждение как логическая форма статистического закона. Общая схема объяснения. Логическая схема предсказания с помощью универсального закона.
Обычная Аристотелева логика называется двузначной, потому что ее высказывания, имеют два значения, то есть они могут быть либо истинными, либо ложными. Однако мы знаем, что в реальности далеко не всегда можно определить точно истинность или ложность.
Методологический принцип, сформулированный средневековым англ. философом и логиком У. Оккамом и требующий устранения из науки всех понятий, не являющихся интуитивно очевидными и не поддающихся проверке в опыте.
По шутливой, классификации профессора С.Б.Стечкина все науки подразделяются на естественные (физика, химия..), неестественные (история), технические науки противоестественные (например "научный коммунизм") и сверхъестественные.
Научный факт, отражение конкретного явления в человеческом сознании. Проблемы при осмыслении необъяснимых фактов. Научная гипотеза, идея, главные элементы теории. Процесс постижения закона, научное наблюдение. Развитие современного естествознания.
Изучение логической структуры доказательства - логической процедуры установления истинности какого-либо утверждения при помощи других утверждений, истинность которых уже установлена. Виды доказательства и опровержение. Условия и правила доказательства.
Особенности методов научного познания. Изучение процессов анализа (процедура мысленного расчленения изучаемого объекта на составные части) и синтеза (процедура соединения полученных в результате анализа частей объектов). Индуктивный, дедуктивный методы.
Важнейшая функция логики. Аксиоматическое построение исчислений высказываний. Системы без доказательства. Эквивалентные системы исчисления высказываний. Системы Д. Гильберта и В. Аккермана. Правило подстановки, схема заключения, метод допущений.
В качестве эффективного инструмента реконструкции и анализа теоретико-познавательных контекстов и проблем обычно используется особый вид интенсиональной логики – эпистемическая логика.
Доказательство - рассуждение с целью обоснования истинности некоторого утверждения. Доказательство ассоциируется с математикой, а школьники связывают его прежде всего с геометрией.
Возникновение и развитие символической логики связано с работами Г.Фреге (1848–1925) и Ч.С.Пирса (1839–1914). После того, как Фреге в 1879 и Пирс в 1885 ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем символической логики в ее современном понимании.
Помимо законов материалистической диалектики человеческое мышление подчиняется еще законам логики. Вот основные законы логики: закон тождества, закон непротиворечия, закон исключенного третьего, закон достаточного основания
Ф.Бэкон считал, что разработал метод научных открытий, в основе которого - постепенное движение от частностей ко все большим обобщениям. Он был уверен, что разработал метод открытия нового научного знания, которым может овладеть каждый.
Сколько бы не испытывался эмпирическими данными какой-либо закон, не существует гарантий, что не появятся новые наблюдения, которые будут ему противоречить.