| Познающее мышление |
| Связь |
| Различия |
| Формальная логика - наука о законах и формах познающего мышления |
| Рассматривает формы и содержание мышления в единстве и развитии |
| Диалектическая логика-учение о законах и формах возникновения научного познания |
| Математическая логика (символическая) – учение о законах применения в логике формальных методов математики и логического исследования математических рассуждений и доказательств |
| Модальная логика –логическая система, изучающая структуру рассуждений, в состав которых входят модальные операторы «необходимо», «возможно», «действительно», «случайно» и их отрицания |
| Рассматривает формы мышления, отвлекаясь в определенной степени от содержания |
| Действуют в определенных пределах |
| Действуют везде |
| Другие разделы логики |
| Соблюдение законов и форм познающего мышления, изучаемых формальной логикой, является необходимым условием функционирования и применения диалектической логики |






