Logic, theory, philosophy