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

Например: «Все металлы электропроводны». «Ртуть является металлом». Путем умозаключения можно сделать вывод, что «Ртуть электропроводна».

[4] ЯЗЫК ФОРМАЛЬНОЙ ЛОГИКИ

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

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

Функциональные знаки – это принятые обозначения предметных функций, операций (Sin a , "+" и др.).

Логические термины заменяют в естественном языке определенные союзы (логические постоянные, или логические константы).

[5] ЗНАЧЕНИЕ ЛОГИКИ В ДЕЯТЕЛЬНОСТИ ЮРИСТОВ
Логическая культура юриста занимает особое место в его общей культуре и ее основных слагаемых - политической, правовой, нравственной и т. д. Ведь как бы ни были специфичны данные виды культуры личности, они основываются на мышлении, на его общих для всех людей формах и законах. Вот почему логическая культура является необходимым инструментом, позволяющим юристу увидеть истинную сущность сложных общественных явлений, правильно оценить их и убедительно показать специфику.

ЗНАНИЕ ФОРМАЛЬНОЙ ЛОГИКИ ПОМАГАЕТ ЮРИСТУ:

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

2. Развивать логически стройную и аргументированную профессиональную речь, обеспечивать ее научную убедительность.

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

4. Опровергать необоснованные доводы своих оппонентов.

5. Разрабатывать судебно-следственные версии.

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

7. Принимать правильные, обоснованные решения по конкретным судебным делам, актуальным правовым вопросам.

8. Предвидеть последствия своих и чужих высказываний, действий и поступков.

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

10. Преодолевать инертность мышления.