Ответ:Классификация логических методов исследования

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

Исследование – это вид деятельности, состоящий в распознава­нии проблем и ситуаций, определении их происхождения, выявле­нии их свойств и содержания, нахождении путей и средств решения.

Формальная логика - наука о законах выводного знания, т.е. знания, полученного из ранее установленных и проверенных истин, без обращения в каждом конкретном случае к. опыту, а только в результате применения законов и правил мышления.Формальная логика включает: традиционную логику; математическую логику.

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

Анализ - логический метод расчленения целого на отдельные элементы с рассмотрением каждого из них в отдельности.

Синтез - объединение всех данных, полученных в результате анализа. Синтез не простое суммирование результатов анализа. Его задача состоит в мысленном воспроизведении основных связей между элементами анализируемого целого.

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

Дедукция - это процесс движения мысли от общего к единичному, от закона к отдельным его проявлениям.

Абстрагирование - способность отвлечься от всей совокупности факторов и сосредоточить внимание на каком-либо одном вопросе.

Конкретизация - увязка того или иного явления с конкретными условиями обстановки. Конкретное понятие есть своего рода совокупность различных абстракций, или абстрактных понятий, отражающих определенные свойства, стороны и связи данного предмета. Конкретные понятия возникают в результате последовательного дополнения и уточнения, расширения и синтеза отдельных абстракций, отражающих различные стороны и связи конкретных вещей.

Аналогия (традукция) - прием, в котором из сходства двух явлений в одних условиях делается вывод о сходстве этих явлений в других условиях. В логике аналогия рассматривается как форма получения выводного знания, как умозаключение, в котором на основании сходства предметов в одних признаках делается вывод о сходстве этих предметов в других признаках. Метод аналогии широко используется в моделировании, так как модель - аналог объекта, изучаемого посредством моделирования.

Сравнение - установление сходства или различия явлений, процессов и объектов в целом или в каких-либо признаках. Сравнение - метод, позволяющий обнаружить тенденции общего хода процесса развития, вскрыть изменения, происходящие в развитии явления.

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

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

17.Определение.

Определе́ние, дефини́ция (лат. definitio — предел, граница) — логическая процедура придания строго фиксированного смысла терминам языка^[1]. Термин, над которым проводится операция дефиниции, называется дефидентом.

Ответ: 1. Определение должно быть соразмерным, т.е. объем определяемого понятия должен совпадать с объемом определяющего, они должны быть равнозначащими понятиями. Эта соразмерность легко проверяется через перестановку мест членов определительного суждения. Приведем примеры. «Наука о законах и формах правильного мышления есть логика». Если переставить местами это логическое уравнение, то можно обнаружить тождество, как и в первом случае. Иное дело, когда мы прибегнем к таким примерам: «Молодой человек, обладающий дипломом, есть специалист». Если переставить местами определяемое и определяющее, то можно заметить, что понятие «специалист» шире понятия «молодой человек с дипломом». Значит, в этом случае данное правило нарушено.

2. Нельзя допускать круга в определении, т.е. когда определяющее само разъясняется через определяемое понятие. Нарушение этого правила ведет к логической ошибке – тавтологии. Вот некоторые примеры тавтологии: «Преступник – это человек, совершивший преступление»; «Сравнительная аналогия» (из газеты «Телегород», № 21, 2003). Здесь видно, что определяющее понятие повторяет сказанное в определяемом, не раскрывая его значения. Во избежание этой ошибки нужно помнить, что определяемое и определяющее понятия равны по объему, но не тождественны по своему содержанию, представляют самостоятельные понятия.

3. Определение не должно быть только отрицательным. Ведь целью определения является ответ на вопрос: чем является данный предмет, отображенный в понятии. Для этого необходимо выявить и перечислить в утвердительной форме его существенные признаки. Отрицательное определение отмечает лишь отсутствующие признаки, т.е. указывает, чем не является данный предмет. Однако негативный момент в составе определяющего понятия иногда необходим, он более четко выделяет предмет нашей мысли. Например, понятие «невидимый мир» не дает позитивного представления об этом мире, но подчеркивает сам предмет, который отображен в понятии.

4. Определение должно быть кратким, точным и ясным.
Слишком многословное определение выходит за рамки своего назначения и грозит превратиться в простое описание. В определении надо избегать двусмысленных, расплывчатых терминов, которые можно толковать по-разному. Нечеткое определение ведет к непониманию предмета, к смутным представлениям и путанице.

18.Доказательство
Ответ: По форме доказательство представляет собой процедуру, с помощью которой устанавливается истинность какого-либо утверждения.
Иногда для подтверждения нашей мысли бывает достаточно простого наблюдения фактов: если мы говорим «Идет дождь», достаточно выглянуть в окно и убедиться в этом.

В других случаях, когда наблюдение и эксперимент невозможны, мы прибегаем к другим истинным утверждениям и из них выводим истинность нашего суждения.
В связи с этим выделяют два пути установления истины, два способа доказательства: 1) непосредственный способ; 2) опосредованный способ.

Непосредственный способ установления истины состоит в том, что в процессе практических действий осуществляется соотнесение утверждаемого с фактическим положением вещей. Видами таких практических действий могут быть наблюдения, эксперименты, демонстрация, измерения и другие эмпирические процедуры. Например, еще в школе на уроках физики учитель прибегал к доказательству истинности законов механики к демонстрации опытов, в которых эти законы наглядно проявлялись (допустим, это был второй закон Ньютона F = ma, или закон расширения металлических тел при нагревании). Во всех этих случаях важную роль играют органы чувств.

Опосредованный способ установления истины будет состоять в отыскании и демонстрации соотнесенности нуждающегося в доказательстве утверждения с известными уже истинными положениями. Органы чувств здесь не имеют такого значения, как в предыдущем случае; зато важную роль играет абстрактное мышление, так как нам важно показать, что связь между доказываемым утверждением и другими истинными утверждениями, используемыми для доказательства, имеет необходимый характер. Например, достаточно показать, что утверждение А является логическим следствием из истинных утверждений В и С, чтобы истинность А считать установленной. Для этого мы прибегаем к умозаключениям, которые показывают, каким образом А может следовать из В и С.

Доказательство есть логическая процедура установления истинности какого-либо утверждения при помощи других утверждений, истинность которых уже установлена.

При доказательстве ход мысли имеет различную направленность. Если необходимо доказать некоторое суждение А, то иногда это делают путем подбора таких истинных суждений В, С, Д... и т.д., из которых А выводится как логическое следствие. Этот ходмысли– от следствия к основанию – называется регрессивным. Иногда только с ним и связывают понятие доказательства, используя для его обозначения специальный термин: обоснование. В таком случае говорят, что утверждение А обосновано (доказано), если имеется хотя бы одно истинное утверждение В, из которого А получается как следствие по соответствующим правилам.

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

Значение доказательства в науке.
Степень зрелости и развитости науки и научного мышления непосредственно определяется уровнем использования в них доказательств, с помощью которых обосновывается истинность одних и доказывается ложность других утверждений. Доказательства позволяют нам избавится от заблуждений и открывают простор научному творчеству. Благодаря им догадки, гипотезы и др. научные предположения становятся строгими и обоснованными выводами, пополняющими сокровищницу научных истин.

С конца XIX в. в логике формируется понятие формального доказательства, которое заменяет собой старое. Оно характеризуется сведением до минимума ссылок на интуитивную очевидность при осуществлении доказательства и возрастанием роли логических критериев. При доказательстве используются только те утверждения, которые необходимы для его проведения, остальные устраняются. Формальное доказательство широко используется в аксиоматических теориях, то есть таких, в которых из небольшого числа начальных истинных утверждений (аксиом) выводятся все остальные истинные утверждения этой теории.

 

Асксиоматический метод

Ответ:Аксиоматический метод — способ построения отдельных научных теорий, разделов науки и науки в целом, при котором какие-то положения избираются в качестве исходных и не требующих доказательства (истинных), а все остальные положения теории выводятся из исходных (доказываются) логическим путем. Исходные положения, которые принимаются без доказательств, называются аксиомами, а выводимые из аксиом утверждения — теоремами.

Гипотеза

Ответ: Гипотеза— недоказанное утверждение, предположение или догадка. Любая гипотеза должна быть опровержима хотя бы в принципе. Неопровержимые предположения гипотезами не являются.

Как правило, гипотеза высказывается на основе ряда подтверждающих её наблюдений (примеров), и поэтому выглядит правдоподобно. Гипотезу впоследствии или доказывают, превращая её в установленный факт (см. теорема, теория), или же опровергают, переводя в разряд ложных утверждений.

Недоказанная и не опровергнутая гипотеза называется открытой проблемой.

Сущность гипотезы

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

В структуре гипотезы различают следующие элементы.

Во-первых, основание гипотезы - совокупность фактов или обоснованных утверждений, на которых основывается предположение.

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

В-третьих, предположение (или гипотеза в узком смысле слова) - выводы из фактов и утверждений, обосновывающих гипотезу.

Этапы разработки гипотезы

• выдвижение гипотезы;

• развитие гипотезы;

• проверка гипотезы.

Логические следствия, выводимые из гипотез, нельзя отождествлять со следствиями - звеньями причинно-следственной цепи явлений, всегда хронологически следующими за вызвавшей их причиной. Под логическими следствиями понимаются мысли не только об обстоятельствах, вызванных изучаемым явлением, но и об обстоятельствах, предшествующих ему по времени, о сопутствующих и последующих, а также об обстоятельствах, вызванных иными причинами, но находящихся с исследуемым явлением в какой-либо связи.

В процессе познавательной деятельности человек стремится к достижению объективной истин. Но истина не дается в готовом виде. На пути к ней человек строит различного рода догадки, допущения, предположения, объясняющие причины или сущность исследуемого явления. Такие предположения в науке называются гипотезами.

Гипотеза (от греч. hypothesis - основание, предположение) - форма развития человеческих знаний, представляющая собой обоснованное предположение, объясняющее свойства и причины исследуемых явлений.

Термин «гипотеза» употребляется в двояком значении. Во-первых, как само предположение, объясняющее исследуемое явление (гипотеза в узком смысле). Во-вторых, как прием мышления в целом, включающий в себя выдвижение предположения, его развитие и доказательство.