Логика как наука о мышлении, ее предмет и задачи

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

1. Мышление и язык. Естественные и искусственные языки.
2. История логики и формализация мышления. Язык исчисления пре-дикатов.