Формальна логіка

Спосіб організації практичного і теоретичного освоєння дійсності, зумовлений закономірностями відповідного об'єкта

Прийом теоретичного дослідження чи практичного втілення чого-небудь з урахуванням знання закономірностей розвитку об'єктивного світу.

Система правил і прийомів підходу до вивчення явищ і закономірностей природи, суспільствам мислення

Пізнанні для дослідження природних, соціальних, психічних процесів і явищ

Вчення (теорія) про методи наукового пізнання і практичного перетворення дійсності.

Пізнавальні методи або методи пізнання

Сукупність методів (прийомів, способів), які використовуються в теоретичній і практичній діяльності людей для реалізації поставленої мети;

Засіб при виконанні різноманітних інтелектуальних дій

Система при системному аналізі та аспекти буття

Засіб розумової діяльності людей (засіб мислення), який використовується у процесі пізнання і відтворення об’єкта, який досліджується.

Логічний прийом, метод дослідження, який полягає в тому, що досліджуваний об'єкт уявно або практично розчленовується на складові елементи (ознаки, властивості, структурні частини), кожний з яких відтак досліджується окремо як частина розчленованого цілого

Підхід до результатів пізнавальної діяльності людей 

Увне з'єднання частини предмета

Методи розробки алгоритмів і програм

Вивчення систематичних методів складання алгоритмів і програм з одночасним аналізом їх правильності в рамках доказового програмування

Напрям досліджень та галузей знань, де логіка застосовується в інформатиці та штучному інтелекті.

Форми понять, суджень, умовиводів

Вивчення систематичних методів складання алгоритмів і програм з одночасним аналізом їх правильності в рамках доказового програмування

Форми мислення, не тільки не пов'язані зі змістом мислення, а й не залежні від нього