Abstract:Logical reasoning consistently plays a fundamental and significant role in the domains of knowledge engineering and artificial intelligence. Recently, Large Language Models (LLMs) have emerged as a noteworthy innovation in natural language processing (NLP). However, the question of whether LLMs can effectively address the task of logical reasoning, which requires gradual cognitive inference similar to human intelligence, remains unanswered. To this end, we aim to bridge this gap and provide comprehensive evaluations in this paper. Firstly, to offer systematic evaluations, we select fifteen typical logical reasoning datasets and organize them into deductive, inductive, abductive and mixed-form reasoning settings. Considering the comprehensiveness of evaluations, we include 3 early-era representative LLMs and 4 trending LLMs. Secondly, different from previous evaluations relying only on simple metrics (e.g., \emph{accuracy}), we propose fine-level evaluations in objective and subjective manners, covering both answers and explanations, including \emph{answer correctness}, \emph{explain correctness}, \emph{explain completeness} and \emph{explain redundancy}. Additionally, to uncover the logical flaws of LLMs, problematic cases will be attributed to five error types from two dimensions, i.e., \emph{evidence selection process} and \emph{reasoning process}. Thirdly, to avoid the influences of knowledge bias and concentrate purely on benchmarking the logical reasoning capability of LLMs, we propose a new dataset with neutral content. Based on the in-depth evaluations, this paper finally forms a general evaluation scheme of logical reasoning capability from six dimensions (i.e., \emph{Correct}, \emph{Rigorous}, \emph{Self-aware}, \emph{Active}, \emph{Oriented} and \emph{No hallucination}). It reflects the pros and cons of LLMs and gives guiding directions for future works.

Diagnosing the First-Order Logical Reasoning Ability Through LogicNLI

Concise and Organized Perception Facilitates Large Language Models for Deductive Reasoning.

FOLIO: Natural Language Reasoning with First-Order Logic

To What Extent Do Natural Language Understanding Datasets Correlate to Logical Reasoning? A Method for Diagnosing Logical Reasoning.

LogicBench: Towards Systematic Evaluation of Logical Reasoning Ability of Large Language Models

LoNLI: An Extensible Framework for Testing Diverse Logical Reasoning Capabilities for NLI

Are Large Language Models Really Good Logical Reasoners? A Comprehensive Evaluation and Beyond

Reason from Fallacy: Enhancing Large Language Models' Logical Reasoning through Logical Fallacy Understanding

LLMs for Relational Reasoning: How Far are We?

Language Models Can Be Logical Solvers

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach

Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models

Reliable Reasoning Beyond Natural Language

Logic-of-Thought: Injecting Logic into Contexts for Full Reasoning in Large Language Models

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains

CLR-Fact: Evaluating the Complex Logical Reasoning Capability of Large Language Models over Factual Knowledge

Neural Logic Reasoning

Concise and Organized Perception Facilitates Reasoning in Large Language Models

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection

Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning

Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation