Логика (стр. 36 )

Сообразно научным потребностям могут формироваться разного вида гипотезы. Выделяют общую и частную (рабочую) ги­потезы. Последняя, в свою очередь, может подразделяться на версии (особенно в следственной практике), т. е. на более част­ные гипотезы, "отрабатывающие" те пли иные отдельные фраг­менты общей гипотезы, те или иные отдельные моменты разделительного предположения.

Частные гипотезы могут быть проверены, подтверждены или опровергнуты. Структурно проверка их напоминает доказательство от противного, потому что и здесь из предположения вы­водится ряд следствий, которые сопоставляются с реальностью. Из соответствия следствия реальности следует заключение о верности предположения; из несоответствия — вывод, что от данного предположения необходимо отказаться и выдвинуть новое. Вполне возможно, что новое предположение будет более правдоподобным, но возможны случаи, когда и второе и дальнейшие предположения не будут подтверждены и их придется отвергать до тех пор, пока не будет сформулировано такое предположение, следствия которого будут согласовываться с реальностью.

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

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

Кант и отмечал, что логика после Аристотеля, в силу своего совершенства, не сделала и шага вперед, что ее содержание уже не подвержено дальнейшему изменению, развитию, он, все-таки, был не прав. Кант сам же своей трансцендентальной логикой дал очередной толчок для новых разработок в логике. Логика на всем протяжении своей истории, что бы там ни говорилось о ней, развивалась и не стояла на месте. Особенно это заметно в ХХ веке. Самая явная тенденция этого времени -- математизация, формализация. Развитие символической логики порождает порой иллюзию, что она своими возможностями исключает традиционную логику, что последняя на сегодняшний день является не более, чем алхимией или астрологией. И с этим нельзя согласиться. Люди по-прежнему продолжают мыслить, пользоваться общечеловеческими, выраженными в естественных языках, мыслями и им нужна традиционная логика. Пусть специалисты продолжают и развивать, и совершенствовать, и использовать как угодно широко возможности математизированных вариантов логики, но и логика здравого смысла, логика, условно говоря, естественного языка, также нужна и полезна.

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

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

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

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

Да и логическое конструирование не менее запутанное и не до конца не только исследованное, но и осознаваемое явление в логике конца ХХ века.

Обо всем этом заинтересовавшиеся студенты найдут впоследствии ответы в специальной литературе.

§ 1. ЛОГИЧЕСКИЕ ОШИБКИ

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

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

Аристотель выделяет шесть видов преднамеренных ошибок—софизмов, основывающихся на неправильном употреблении словесных выражений, т. е. зависящих от языка, от оборотов речи. Прежде всего это — омонимия, позволяющая одно и то же слово употреблять в разных значениях. Поскольку в рассуждении мы оперируем не вещами, а знаковыми системами (словами, именами вещей), а вещей при этом значительно больше, чем слов (число имен и слов ограничено, вещей — безгранично), то одно и то же слово может обозначать разное. Вот эта особенность и может быть использована для построения софистического доказательства. Так, в рассуждении:

Лев — царь зверей

Лев — имя существительное

Имя существительное — царь зверей,

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

Лук есть оружие дикарей

Лук есть домашнее растение

Домашнее растение есть оружие дикарей.

Другой намеренной ошибкой выступает амфиболия, или двусмысленность выражения в целом. Например: "Мать любит дочь", "Желание врагов захватить", "Знание букв", "Генерал своим корпусом преградил ему путь" или "Суд установил, что обвиняемый передал для незаконного дубления кроме шкуры своей собственной, телячьей, также и шкуру своей матери, говяжью". Нет спора, в контексте того или иного произведения подобные выражения могут пониматься однозначно, но необходимости, закономерности именно однозначного их понимания всетаки нет. К тому же многие подобные выражения и не так-то просто раскрывают свою двусмысленность, неоднозначность. Этим, при некотором навыке, довольно просто пользоваться. Логика, указывая способы соблюдения точности, строгости и однозначности, тем самым дисциплинирует мышление, рассуждение.

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