Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis

We present an approach towards the deep, pluralistic logical analysis of\nargumentative discourse that benefits from the application of state-of-the-art\nautomated reasoning technology for classical higher-order logic. Thanks to its\nexpressivity this logic can adopt the status of a uniform \\textit{lingua\nfranca} allowing the encoding of both formalized arguments (their deep logical\nstructure) and dialectical interactions (their attack and support relations).\nWe illustrate this by analyzing an excerpt from an argumentative debate on\nclimate engineering.\n Another, novel contribution concerns the definition of abstract,\nlanguage-theoretical foundations for the characterization and assessment of\nshallow semantical embeddings (SSEs) of non-classical logics in classical\nhigher-order logic, which constitute a pillar stone of our approach.\n The novel perspective we draw enables more concise and more elegant\ncharacterizations of semantical embeddings of logics and logic combinations,\nwhich is demonstrated with several examples.\n