Онтоло́гия — учение о сущем; учение о бытии как таковом; раздел философии, изучающий фундаментальные принципы бытия, его наиболее общие сущности и категории, структуру и закономерности.
Эпистемоло́гия — философско-методологическая дисциплина, исследующая знание как таковое, его строение, структуру, функционирование и развитие. Нередко слово выступает как синоним гносеологии.
Филосо́фия нау́ки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии.

Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Зако́н то́ждества — принцип постоянства или принцип сохранности предметного и смыслового значений суждений (высказываний) в некотором заведомо известном или подразумеваемом контексте. Является одним из законов классической логики.
Диалектическая логика — раздел философии, предмет которой совпадает с предметом классической философии — теоретическим мышлением.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Диодор Крон, также Диодор Диалектик , родился в Иасе, — древнегреческий философ, диалектик, главный представитель т. н. Диалектической школы, возникшей на позднем периоде существования Мегарской школы, в отличие от «мегариков» и «эристиков» — Евбулида и Алексина. Жил и философствовал в Афинах и Александрии, бывал при дворе Птолемея Сотера.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил.
Философия физики — раздел философии, изучающий понятие, границы и методологию физики как части науки. В рамках своей задачи философия физики анализирует, например, проблему несовпадения онтологической и физической проекций: например, понимание физикой времени как течения наиболее стабильного процесса и онтологическое понимание времени как течения времени вообще или смены фаз: прошлое, настоящее, будущее. К философии физики относится также проблема причинности, проявляющейся только в физическом мире, а в связи с последней — и проблема корреляции. Наиболее значимыми исследованиями в области философии физики последнего времени следует назвать работу А. Грюнбаума «Философские проблемы пространства и времени» и Д. В. Джохадзе «Диалектика Аристотеля», а также многочисленные исследования Б. Смита, включая совместные с Ж. Петито «Физический и феноменологический мир», «Новые основания качественной физики» и т. п. В то же время проблемой философии физики является практическое отсутствие в данном разделе философии общепринятого аппарата категорий.
Проблема демаркации — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики и формальных наук. Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения.
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Философская логика — область логических исследований, ориентированных на проблемы философии, применяющих методы и категориальный аппарат философии к основным понятиям современной логики и к результатам, полученным средствами символической логики; также — подход в философии, основанный на приложении идей и аппарата современной формальной логики к анализу разнообразных понятий и проблем философии.

Филосо́фия — особая форма познания и система знаний об общих характеристиках, понятиях и принципах реальности (бытия), а также бытия человека, об отношении человека и окружающего его мира.

Алекса́ндр Влади́мирович Болдаче́в — российский философ.
Яросла́в Анато́льевич Слинин — советский и российский философ , логик, феноменолог. Один из создателей серии книг «Слово о сущем» издательства «Наука». Профессор Института философии Санкт-Петербургского государственного университета, заведующий кафедрой логики (1984—1999).

Логическая семантика — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Протокольные предложения — это исходные элементарные утверждения, описывающие то, что дано нам непосредственно в опыте. Другими словами, они образуют эмпирический базис науки, материалом для которого выступают наблюдения и эксперименты. Кроме того, протокольные предложения рассматриваются как предел логического анализа языка науки, сведение к которому необходимо для установления истинности любого содержательного утверждения о мире в результате его эмпирической проверки.
Кларенс Ирвинг Льюис, обычно упоминаемый как К. И. Льюис , — американский академический философ. Считается родоначальником современной модальной логики и основателем концептуального прагматизма. Сначала был известным логиком, затем занялся эпистемологией, а в последние 20 лет своей жизни много писал об этике.