This is a preview. Log in through your library . Abstract Proof-theoretical notions and techniques, developed on the basis of sentential/symbolic representations of formal proofs, are applied to Euler ...

This is a preview. Log in through your library . Abstract First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were ...

Justification logic extends traditional modal frameworks by introducing explicit representations of evidential support, thereby refining our understanding of epistemic reasoning. In contrast to ...

In recent months, the AI industry has started moving toward so-called simulated reasoning models that use a “chain of thought” process to work through tricky problems in multiple logical steps. At the ...

For a while now, companies like OpenAI and Google have been touting advanced “reasoning” capabilities as the next big step in their latest artificial intelligence models. Now, though, a new study from ...

Apple's AI research team has uncovered significant weaknesses in the reasoning abilities of large language models, according to a newly published study. The study, published on arXiv, outlines Apple's ...

Teaching Assistant Professor of Philosophy, University of North Carolina at Chapel Hill Philosophy majors rank higher than all other majors on verbal and logical reasoning, according to our new study ...