An implementation of the Logic of Relational Propositions. These methods are described in the following papers:
Potter, A. (2019). Reasoning between the lines: A logic of relational propositions. Dialogue and Discourse, 9(2), 80-110.
Potter, A. (2020). The rhetorical structure of Modus Tollens: An exploration in logic-mining. In A. Ettinger, E. Pavlich, & B. Prickett (Eds.), Proceedings of the Society for Computation in Linguistics (Vol. 3, pp. 170-179).
Potter, A. (2022). Inferring Inferences: Relational Propositions for Argument Mining. In A. Ettinger, T. Hunter, & B. Prickett (Eds.), Proceedings of the Society for Computation in Linguistics (Vol. 5, pp. 89-100). The Society for Computation in Linguistics.
Potter, A. (2023). Text as tautology: an exploration in inference, transitivity, and logical compression. Text & Talk, 43(4), 471-503.
Abstract:
Rhetorical Structure Theory (RST) and relational propositions can be used to define a method for rendering and analyzing texts as expressions in propositional logic. Relational propositions, the implicit assertions that correspond to RST relations, are defined using standard logical operators and rules of inference. The resulting logical forms are used to construct logical expressions that map to RST tree structures. The resulting expressions show that inference is pervasive within coherent texts. To support reasoning over these expressions, a set of rules for negation is defined. The logical forms and their negation rules can be used to examine the flow of reasoning and the effects of incoherence. Because there is a correspondence between logical coherence and the functional relationships of RST, an RST analysis that cannot pass the test of logic is indicative either of a problematic analysis or of an incoherent text. The result is a method for analyzing the logic implicit within discursive reasoning.
Any questions? Feel free to contact me at apotter1@una.edu