ANDRÉ RODRIGO FERREIRA COGGIOLA

Our research aims to develop an abstract theory of logical systems in general, understood as structural consequence relations, in the sense of what has been called "universal logic." The distinguishing feature of our theory lies in the consideration of "symmetric" consequence relations, i.e., allowing inferences with multiple conclusions, as well as the use of "signed formulas," i.e., formulas in the usual sense associated with a sign or value belonging to an abstract domain of values considered as part of the language, which characterize an abstract notion of "judgment" or "assertion." We seek to justify adopting this framework through arguments concerning the nature of logic, its epistemological justification, and the interpretation of different systems.