46. Гипотетика – дедуктивный метод исследования

Это метод, выдвижения гипотез и подтверждений/опровержений этих гипотез. Факты, которые требуют объяснения, привлекают научные данные.

Гипотеза – некоторое утверждение, имеющее вероятностный характер.

Требования к выдвижению гипотез:

1) Гипотеза должна быть согласованна с ранее обоснованными эмпирическими фактами и научными теориями. Ранее обоснованные факты не должны опровергаться.

2) Гипотеза не должна следовать существующим научным теориям. Теория служит для обоснования некоторых фактов.

3) Нельзя допускать какой-либо сверхъестественной силы «дьявола, Бога, лешего». Допуская такие силы, мы можем все объяснить, но это не допускается в научном мире.

Требования, которые должны выполняться выдвинутой гипотезой:

Ф1 …. ф2 Н, Г |- С Н – научные дополнения

Эмпирические факты гипотеза следствия

Из гипотезы дедуктивным методом выводятся следствия, которые либо подтверждаются/опровергаются гипотезой. Гипотеза должна что-либо подтверждать. Гипотеза должна быть опровергаемой, проверяемой, должна иметь фальсификаторы.

Если гипотеза (т.е. следствия, выдвигаемые из гипотез), опровергаются фактами, то обычно гипотезу пытаются модифицировать. Если и после всех уточнений гипотеза опровергается фактами, то такая гипотеза отбрасывается.

Если выдвигаются несколько конкурирующих гипотез, то отбор проводится с опорой на такие критерии, которые приводят к открытию новых фактов. Если из всех гипотез две более подвергаются ????? фактами, то ??????? дополнительный критерий – это открытие новых фактов.

Хорошие гипотезы не только опровергаются или подтверждаются, но и открывают новые факты.

По мере того, как с помощью гипотезы удается получить объяснение все новых и новых фактов, доверие к ней возрастает и она переходит в разряд теории. Гипотетический характер теории не меняется, но при возникновении расхождения между теоретически вычисленной величиной и эмпирически наблюдаемой ???????, это расхождение объясняется не неверностью теории, а действий некоторых неучтенных фактов.

47. Классическая и неклассическая логика. Направления исследования в неклассической логике

Современных направлений в логике очень много. Под классической логикой понимается логика высказываний, силлогистика, логика предикатов первого порядка. Признак классичности: допускается, что каждая из этих логик двузначная (истина и ложь, бинарное).

Источники неклассических логик:

1) отвергается принцип двузначности (бинарности), и тогда получаем многозначные логики. Первым трехзначную логику построил Лукасевич. Применил Васильев в 1912 г. Оценил только в 1970-х г.г. Дакоста.

2) отбрасывая некоторые неклассические законы логики например, если отбрасывается закон ¬¬А -> А получается интуиционалистская логика.

|-(А^¬А)->В (закон Дунса-Скотта). Из противоречия можно получить все что угодно. Отбросив этот закон, получим паранепротиворечивые логики (Докоста и Рута). Их исследования покоились на исследованиях Васильева.

3) мы, с точки зрения логики, анализируем новые типы высказываний.

D (необходимо), v Р -> модальные

◊ (возможно), v Р -> логики

Логическое значение сложного высказывания, образованного с помощью модального оператора, не определяется с помощью однозначно логическим значением того высказывания, к которому оно применяется. Модальные операторы связаны со смыслом, выраженному в соответствующих высказываниях. Этим модальные операторы отличаются от пропозициональных связок (~,^, v, ->) классического исчисления высказываний.

Трехзначная логика Лукасевича. В ней истина обозначается 1, ложь 0, нейтрально – ½. В качестве основных функций взяты отрицание и импликация, производные от конъюнкции и дизъюнкции. В этой логике не функционируют такие законы, как закон непротиворечия и исключенного третьего, распространенных в традиционной логике, а правила снятия двойного отрицания, правило Де-Моргана.

Интуиционистская логика построена в связи с развитием интуиционистской математики. У интуиционистов единственным источником математики является интуиция, а критерием приемлимости математических понятий является «интуитивная ясность». Особенности интуиционистской логики вытекают из характерных признаков интуиционистской математики. Интуиционистская логика имеет дело только с математическими суждениями и с математическим отрицанием, которая определяется через понятие «противоречие». Понятие «противоречие» интуиционисты считают первоначальным.

Конструктивные логики. Это направление в логике игнорирует практические ограничения наших возможностей построения в пространстве, времени, материале. В качестве объектов исследования допускаются лишь конструктивные объекты, например слова в определении алфавита. Методологической основой конструктивного направления является практика.