The idea is to combine Actor-Network Theory (ANT) and first-order logic (FOL) when assessing networks, and their underlying associations, of human and non-human entities.
To effectively combine these two frameworks, one approach would be to use FOL to formalise the relationships between actors in an ANT network. This could involve defining the actors and their properties as logical propositions, and then using FOL to specify the relationships and dependencies between them.
By doing so, we can create a formal representation of an ANT network that can be analyzed using FOL's logical rules and principles. This can help to identify patterns and structures within the network that may not be immediately apparent from a purely qualitative perspective.
In addition, FOL can also be used to identify inconsistencies or contradictions within an ANT network, which can be important for understanding the limitations of the network and for identifying areas where further research is needed.
Overall, the combination of ANT and FOL could provide an interesting avenue for analysing and understanding complex systems, particularly those that involve multiple actors and dependencies.
