Logical Systems and Model Theory constitute a foundational area bridging mathematics, computer science and philosophy through the formalisation of reasoning.

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 paper argues that the prominent accounts of logical knowledge have the consequence that they conflict with ordinary reasoning. On these accounts knowing a logical principle, for instance, is ...

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

Logical reasoning: An antidote or a poison for political disagreement? Date: April 18, 2019 Source: Society for Personality and Social Psychology Summary: New research exploring American liberals ...

LLMs’ “simulated reasoning” abilities are a “brittle mirage,” researchers find Chain-of-thought AI "degrades significantly" when asked to generalize beyond training.

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