1.2 Значение логики

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

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

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

Культурологическое значение логики связано с формированием теории и культуры интеллектуального общения, проблематического диалога. Развитие способностей последовательно и убедительно излагать свои мысли, вести со знанием дела аргументированное обсуждение проблемы, эффективно и корректно решать спорные вопросы – весь этот комплекс задач определяет потребность применения теории, методов и средств логики в процессе общения. Здесь отрабатываются средства контроля за используемой терминологией, речью и рассуждениями, закрепляются навыки правильного определения стратегии проблемного разговора, а также корректного выбора тактики его ведения. Теоретические приложения логики, методологии и философии к проблемам культуры интеллектуального межличностного общения образуют новую область теоретической логики диалогику.

1.3 Типы логических учений

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

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

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

Классическая (символическая) логика (логика высказываний и предикатов) возникла на рубеже XIX-XX вв. как результат реализации Готтлобом Фреге (1848-1925), Бертраном Расселом (1872-1970), Альфредом Уайтхедом (1861-1947) программы сведения математики к логике и Давидом Гильбертом (1862-1943) и его последователями программы формализации всей математики. В новой логике ее создатели видели главное средство изгнания парадоксов из теории множеств, доказательство непротиворечивости всей классической математики и ее полной независимости от психологических и опытных допущений. Ни одна из поставленных программных целей не была достигнута, и, как позже было доказано, этого нельзя было сделать по принципиальным основаниям. Но новая логика получила право на существование и стала развиваться уже по своим законам. Основными разделами классической логики являются:

1. Синтаксис: правила построения формализованного языка.

2. Семантика: правила интерпретации выражений построенного языка как осмысленных.

3. Правила вывода: правила, позволяющие из посылок умозаключений выводить необходимые следствия.

4. Значение истинности сложных высказываний однозначно определяется значением истинности образующих их простых (атомарных) высказываний.

5. Высказывания, имеющие одно и то же расширение (один и тот же объем или одно и то же значение истинности), считаются эквивалентными.

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

Основное отличие неклассических логик от символической состоит в отказе от 4-го и 5-го её допущений изложенных выше.