Читать «Логика для юристов» онлайн - страница 6
Юрий Васильевич Ивлев
Все перечисленные особенности мышления обусловлены применением определённых логических методов и приёмов познания, отражением мира в определённых логических формах.
Основными (логическими) формами, в которых выражаются мысли, являются: понятия, суждения, теории и др. Основными формами, в которых происходит развитие знания, являются: умозаключение, проблема, гипотеза и др.
Логика изучает эти формы мыслей и формы развития знания, особые приёмы и методы познания, применяемые на ступени абстрактного мышления, а также особые законы мышления.
§ 2. ФОРМАЛЬНАЯ ЛОГИКА КАК НАУКА
Чтобы дать определение логической формы мысли и указать способы выявления логических форм различных мыслей, выделим среди выражений естественного языка термины, называемые логическими. К ним относятся союзы “и”, “или”, “если..., то...”, отрицание “неверно, что” (“не”), слова, характеризующие количество предметов, о которых нечто утверждается или отрицается: “все” (“ни один”), “некоторые”, связка “суть” (“есть”) и др. Процесс выявления логической формы мысли заключается в отвлечении от смысла нелогических терминов, входящих в словосочетание, выражающее эту мысль. Сделать это можно различными способами. Например, опустить нелогические термины в словосочетании и поставить вместо них многоточия, штриховые и другие линии. В результате замены нелогических терминов многоточием и штриховой линией из предложения “Все адвокаты — юристы” получим выражение “Все ... суть — — —”.
Другой способ отвлечения от смысла нелогических терминов заключается в замене этих терминов особыми символами (переменными). При этом вместо различных вхождений одного и того же нелогического термина ставится одна и та же переменная, а вместо различных терминов — различные переменные. Кроме того, вместо терминов различных типов ставятся символы различных типов.
Выявим логические формы следующих рассуждений:
(1) Все студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова изучают логику.
Некоторые студенты первого курса Юридического колледжа МГУ им. М.В.Ломоносова будут специализироваться по гражданскому праву.
Следовательно, некоторые студенты, которые будут специализироваться по гражданскому праву, изучают логику.
(2) Следователь — юрист. Следовательно, образованный следователь — образованный юрист.
Заменив нелогические термины символами, получим:
(1) Все М суть Р. Некоторые М суть S. Следовательно, некоторые S суть Р.
(2) S есть Р. Следовательно, SQ есть PQ.
Этими выражениями представляются логические формы исходных мыслей.
Таким образом,
Логическая форма содержательна, информативна. Так, выражение, получаемое в результате отвлечения от смыслов и значений нелогических терминов первого рассуждения, несет следующую информацию: “Если все предметы класса М включаются в класс Р и некоторые предметы класса М включаются в класс S, то некоторые предметы класса S включаются в класс Р”.
