paper-with-me

홈 › Papers

Categorical Syllogisms Revisited: A Review of the Logical Reasoning Abilities of LLMs for Analyzing Categorical Syllogism

2024-06-26 · Shi Zong, Jimmy Lin

There have been a huge number of benchmarks proposed to evaluate how large language models (LLMs) behave for logic inference tasks. However, it remains an open question how to properly evaluate this ability. In this paper, we provide a systematic overview of prior works on the logical reasoning ability of LLMs for analyzing categorical syllogisms. We first investigate all the possible variations for the categorical syllogisms from a purely logical perspective and then examine the underlying configurations (i.e., mood and figure) tested by the existing datasets. Our results indicate that compared to template-based synthetic datasets, crowdsourcing approaches normally sacrifice the coverage of configurations (i.e., mood and figure) of categorical syllogisms for more language variations, thus bringing challenges to fully testing LLMs under different situations. We then proceed to summarize the findings and observations for the performances of LLMs to infer the validity of syllogisms from the current literature. The error rate breakdown analyses suggest that the interpretation of the quantifiers seems to be the current bottleneck that limits the performances of the LLMs and is thus worth more attention. Finally, we discuss several points that might be worth considering when researchers plan on the future release of categorical syllogism datasets. We hope our work will not only provide a timely review of the current literature regarding categorical syllogisms, but also motivate more interdisciplinary research between communities, specifically computational linguists and logicians.

📄 PDF Abstract BibTeX arXiv:2406.18762

Code (0)

등록된 구현이 없습니다.

Tasks

Logical Reasoning

Similar Papers 제목 키워드 기반

A New Algorithmic Decision for Categorical Syllogisms via Caroll's Diagrams

2018-02-08 · Necla Kircali Gursoy, Ibrahim Senturk, Tahsin Oner, Arif Gursoy

In this paper, we deal with a calculus system SLCD (Syllogistic Logic with Carroll Diagrams), which gives a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categori…

Logical Reasoningvalid

Exploring Reasoning Biases in Large Language Models Through Syllogism: Insights from the NeuBAROCO Dataset

2024-08-08 · Kentaro Ozeki, Risako Ando, Takanobu Morishita, Hirohiko Abe 외

This paper explores the question of how accurately current large language models can perform logical reasoning in natural language, with an emphasis on whether these models exhibit reasoning biases similar to humans. Spe…

Logical Reasoning

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning

2025-10-12 · Xiangyu Wang, Haocheng Yang, Fengxiang Cheng, Fenrong Liu arxiv

Large Language Models (LLMs) still struggle with complex logical reasoning. While previous works achieve remarkable improvements, their performance is highly dependent on the correctness of translating natural language (…

Logical Reasoning

A Systematic Comparison of Syllogistic Reasoning in Humans and Language Models

2023-11-01 · Tiwalayo Eisape, MH Tessler, Ishita Dasgupta, Fei Sha 외

A central component of rational behavior is logical inference: the process of determining which conclusions follow from a set of premises. Psychologists have documented several ways in which humans' inferences deviate fr…

Logical Fallacies

Logical forms complement probability in understanding language model (and human) performance

2025-02-13 · YiXuan Wang, Freda Shi

With the increasing interest in using large language models (LLMs) for planning in natural language, understanding their behaviors becomes an important research question. This work conducts a systematic investigation of …

Language ModelingLanguage ModellingLogical ReasoningNatural Language Understanding