Logic, Reasoning, and Knowledge
Open access
Peer reviewed
Abstract
Abstract
Abstract Two kinds of formal semantics for negation can help us understand puzzles in the psychology of reasoning: the Australian Plan semantics , which generalises the account of negation found in frame semantics for intuitionistic logic, relevant and substructural logics; and negation-as-failure , found in logic programming and default logic. We provide a framework where the two kinds of negation coexist, mapping them to the celebrated distinction between System 1 and System 2 thinking. We use the framework to target the phenomenon of Matching Bias : specifically, to explain why reasoners fare differently in card selection tasks, depending on whether the target property is phrased positively or negatively.
Direct answer
What can I do from this paper page?
Use this page to scan "Reasoning with Negations: The Australian Plan, Negation-as-Failure, and Card Selection Tasks" quickly: start with the summary and abstract, then check the authors, source, topics, and related papers. From here, open Scollr to follow Logic, Reasoning, and Knowledge research, save the paper, or map adjacent work.
Research areas
Follow related topics
Citation
BibTeX
@article{Berto2026Reasoning,
title = {Reasoning with Negations: The Australian Plan, Negation-as-Failure, and Card Selection Tasks},
author = {Francesco Berto and Greg Restall},
journal = {Review of Philosophy and Psychology},
year = {2026},
doi = {10.1007/s13164-026-00847-7},
url = {https://doi.org/10.1007/s13164-026-00847-7}
}FAQ
Using this paper in a discovery workflow
How do I find related work for this paper?
Use the related papers and topic links on this page as starting points. In Scollr, you can also open the paper and build a literature map around its references, citing papers, and related work.
How can I keep up with new Logic, Reasoning, and Knowledge research papers?
Follow Logic, Reasoning, and Knowledge research in Scollr. New papers from the topic flow into a personalized feed, and you can save useful studies to revisit later.
Can I cite this paper from this page?
This page includes a static BibTeX block for Reasoning with Negations: The Australian Plan, Negation-as-Failure, and Card Selection Tasks. Always verify the DOI, source, and publication details against the publisher record before submitting a manuscript.
Follow this research in Scollr
Follow the topics and authors behind this paper, save useful studies, and build a literature map when you are ready to go deeper.
Get the app