Formele benaderingen zijn zeer invloedrijk in de filosofie met vele successen in de logica, formele epistemologie, semantiek, en normatieve beslissing theorie. Past filosofische formele ontwikkelingen hebben invloedrijke buiten filosofie in uiteenlopende sectoren zoals informatica, taalkunde, en economie. Formele benaderingen worden begrepen en bevorderd als voorbeelden van wetenschapsfilosofie. Net als alle andere methoden, formele benaderingen hebben systematisch de kosten en baten, de wereldwijde sterke en zwakke punten. Beoefenaars van formele filosofie overtuigende rekeningen van de voortdurende belofte van hun methodes gearticuleerd. Daarentegen mogelijke beperkingen, misbruik van formele methoden, en indirecte schade zijn relatief verwaarloosd. In dit project onderzoeken we de argumenten tegen formele benadering in de filosofie in het historische en systematische context. Op de historische kant, wil dit project nu grotendeels vergeten discussies over de verdiensten van formele technieken in de filosofie herstellen in de 18e eeuw, grofweg de periode tussen Kant en Newton. Terwijl '' filosofie '' had een bredere betekenis dan, een aantal van de argumenten zijn nog steeds belangrijk voor de 'huidige discussies over de methoden van de filosofie (de zogenaamde eta-filosofie). Aan de systematische kant: de grote aantrekkingskracht van de formele aanpak is hun onderwerp neutraliteit. Toch onderwerp neutraliteit houdt in dat een groot aantal inhoudelijke kwesties zijn extrinsieke formele methoden. De implicatie van deze kan zijn dat formele methoden moeten worden aangevuld in niet-triviale manier.