32.Формалізація. Умови створення «формальної» мови. Доцільність використання формалізації у сучасній науці.
Формализация - это определенный переход от реального объекта исследования к его знаковой модели, в процессе которого все термины и тверждения теории заменяются логическими или математическими символами и формулами.
Метод формализации имеет определенные преимущества перед другими методами научного познания. Он обеспечивает полноту обзора определенной области проблем, обобщенность подхода к их решению; основывается на использовании искусственного языка, то есть определенной символики, которая обеспечивает «свертывания» информации об объекте исследования, ее четкость и краткость; дает возможность путем приписывания отдельным символам и системам определенных свойств избежать многозначности (полисемии) терминов; технологизирует процесс научного исследования способом формального оперирования со знаковой моделью.
Искусственные языки, используемые в формализации, по сравнению с естественным языком более самостоятельные и независимые от материального носителя знака. Операции с природными языковыми знаками являются содержательными, а операции со знаками искусственного языка имеют формальный характер.
Формальный язык - множество конечных последовательностей символов, которые описываются правилами определенного вида, которые называются грамматикой или синтаксисом языка.
33. Дедукція. Використання дедуктивних у мовиводів в сучасній хімії
Дедукция– это переход мысли от более общего знания к менее общему (частному)
Р. S/ Примеры *см. фото конспект
Простой категорический силлогизм
Категорический силлогизм -это вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которыхSиРсвязаны средним термином.
В составе категорического силлогизма имеются две посылки и заключение.
Фигуры и модусы категорического силлогизма
Фигурами категорического силлогизманазываются формы силлогизма, различаемые по положению среднего термина (М) в посылках. Различают четыре фигуры:
Особые правила фигур
I фигура.Большая посылка должна быть общей, меньшая - утвердительной.
II фигура.Большая посылка общая и одна из посылок, а также заключение - отрицательные.
III фигура.Меньшая посылка должна быть утвердительной, а заключение - частным.
IV фигура. Общеутвердительных заключений не дает. Если большая посылка утвердительная, то меньшая посылка должна быть общей. Если одна из посылок отрицательная, то большая посылка должна быть общей.
Условно-категорическим силлогизмомназывается силлогизм, в котором больше посылка является суждением условным, а меньший – категорическим.
Разделительно-категорический силлогизм есть умозаключение, в котором одна посылка является разделительным суждением, а вторая посылка и вывод – простыми категорическими суждениями.
Условно-разделительный силлогизм- умозаключение, в котором одна посылка является условным суждением, а другая - разделительным. В зависимости от того, сколько следствий установлено в условной посылке, различают дилеммы, трилеммы, п - леммы. Лемма - означает по-гречески предложение. В выводе такого умозаключения утверждается альтернатива, т. е. необходимость выбора только одного из всех возможных предложений. Таким образом, дилемма - это условно-разделительное умозаключение с двумя альтернативами. Различают следующие виды дилемм: простые и сложные, конструктивные и деструктивные.