Ну в смысле, философия которая строится как математика. С аксиомами, теоремами, доказательствами. Чтобы не было воды и демагогии, а было строго и логично как в геометрии.
Слышал что то про Спинозу и его "Этику" в геометрическом стиле, но не уверен. Есть еще что то подобное?
Да, есть целое направление, аналитическая философия. Зародилась в начале 20 века, доминирует в англоязычном мире до сих пор.
Основные представители:
Готлоб Фреге - создал современную логику, пытался вывести математику из чистой логики (логицизм).
Бертран Рассел и Альфред Уайтхед - написали "Principia Mathematica", попытка формализовать всю математику. Три тома символов и доказательств.
Людвиг Витгенштейн - "Логико-философский трактат", попытка описать границы языка и мира через логику.
Рудольф Карнап и венский кружок - логический позитивизм, идея что осмысленны только эмпирически проверяемые или логически выводимые утверждения.
Про Спинозу ты прав, его "Этика" написана "геометрическим методом", с определениями, аксиомами и теоремами. Это 17 век, предшественник.
Если хочешь строгости без воды - тебе сюда. Правда читать это сложно, сухо и требует подготовки по логике.
Добавлю что идея "философия как строгая наука" провалилась.
Гедель в 1931 доказал теоремы о неполноте, из которых следует что любая достаточно богатая формальная система либо неполна, либо противоречива. Principia Mathematica Рассела попала под этот удар.
Витгенштейн сам отказался от "Трактата" и в поздних работах писал совсем по другому, про языковые игры и формы жизни.
Логический позитивизм тоже развалился, критерий верификации оказался самопротиворечивым.
Так что попытки были, но полностью формализовать философию не вышло. Хотя аналитическая традиция жива и ценит ясность и аргументацию.
Спиноза топ. Читал его Этику, реально как учебник геометрии. Определение, аксиома, теорема, доказательство. Очень непривычно для философии.
Но предупреждаю, он там доказывает что свобода воли иллюзия и что Бог это природа. Не для слабонервных))
Формальная логика это то что тебе нужно. Не совсем философия, но близко. Там все строго: аксиомы, правила вывода, доказательства.
Начни с пропозициональной логики, потом логика предикатов. Есть хорошие учебники на русском.
Осторожно с "строгостью" в философии. Математическая форма не гарантирует истинности содержания.
Спиноза "доказал" существование Бога и детерминизм. Рассел "доказал" что классы не могут содержать сами себя (а потом это опровергли). Форма строгая, выводы спорные.
В философии нет консенсуса как в математике. Даже самые "строгие" системы оспариваются.
О, круто! Спасибо за имена, пошел гуглить Фреге