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