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

	Общая			Символическая

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

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

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

Математическая логика имеет много разветвлений. Она применяет табличное построение логики высказываний, использует специальный язык символов и формулы логики высказываний.

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

Наш курс включает вопросы общей логики.