On 2, when I say formalizable, I mean in terms of giving the original arguments a symbolic formal treatment, that is, converting them into formal logical statements. Much of non-analytic philosophy has to do with criticizing this kind of procedure. For an example among many, check this recent one from a Neo-Thomistic perspective (I refer to this one because it’s fresh on my mind, I read it a few days ago).
On 4, maybe a practical alternative would be to substitute vaguer but broader relations, such as “agrees”, “partially agrees”, “disagrees”, “purports to encompass”, “purports to replace”, “opposes”, “strawmans” etc., to the more restricted notions of truth values. This would allow for a mindmap-style set of multidirectional relations and clusterings.
Regarding 1 and 3, good points, and I agree.
On 2, when I say formalizable, I mean in terms of giving the original arguments a symbolic formal treatment, that is, converting them into formal logical statements. Much of non-analytic philosophy has to do with criticizing this kind of procedure. For an example among many, check this recent one from a Neo-Thomistic perspective (I refer to this one because it’s fresh on my mind, I read it a few days ago).
On 4, maybe a practical alternative would be to substitute vaguer but broader relations, such as “agrees”, “partially agrees”, “disagrees”, “purports to encompass”, “purports to replace”, “opposes”, “strawmans” etc., to the more restricted notions of truth values. This would allow for a mindmap-style set of multidirectional relations and clusterings.