Επιστημονική μελέτη που διερευνά την έννοια της Λογικής ως κλάδο της Φιλοσοφίας. Επιχειρείται μια αποσαφήνιση του όρου και των χαρακτηριστικών του, όπως και μία σύνδεση με την επιστήμη των Μαθηματικών -δείγμα το σύγχρονο ρεύμα του Νεοφρεγκεανισμού/Νεολογικισμού- εξετάζοντας πώς αυτή επιτυγχάνεται, καθώς και το ποια είναι τα μεταξύ τους όρια.
***
«Η Φιλοσοφία της Λογικής διερευνά τη φύση και το γνωσιολογικό status της Λογικής. Θέτει διαφορετικά ερωτήματα από την Ιστορία της Λογικής και διακρίνεται σαφώς από αυτή. Η Φιλοσοφία της Λογικής μελετά τα τυπικά χαρακτηριστικά και τις διαφορές των λογικών συστημάτων, διασαφηνίζει την έννοια της "λογικότητας", διερευνά τη σχέση της Λογικής με τις άλλες επιστήμες καθώς και με τη φιλοσοφία. Διερευνά επιπλέον τη διασύνδεση της Λογικής με οντολογικά και γνωσιολογικά ζητήματα της αναλυτικής Φιλοσοφίας».