Abstract
In this conceptual paper we first make some general remarks on logic in real human reasoning, logic in mathematical reasoning and logic in philosophy. We then move on and consider logic in psychology and we describe a couple of psychological studies where logical reasoning plays a decisive role. The psychological studies in question involve what are called false-belief tests and tests where an experimental subject has to judge whether a syllogism is valid, despite inconsistent contextual information. We finally make some remarks about further work.
Originalsprog | Engelsk |
---|---|
Titel | FCR 2024 Formal and Cognitive Reasoning 2024 : Proceedings of the 10th Workshop on Formal and Cognitive Reasoning co-located with the 47th German Conference on Artificial Intelligence |
Redaktører | Özgür Lütfü Özçep, Nele Rußwinkel, Kai Sauerwald, Diedrich Wolter |
Antal sider | 8 |
Forlag | CEUR-WS.org |
Publikationsdato | 2024 |
Sider | 11-18 |
Status | Udgivet - 2024 |
Begivenhed | 47th German Conference on Artificial Intelligence - Universität Würzburg, Würzburg, Tyskland Varighed: 23 sep. 2024 → 27 sep. 2024 Konferencens nummer: 47 https://www.informatik.uni-wuerzburg.de/ki24/ |
Konference
Konference | 47th German Conference on Artificial Intelligence |
---|---|
Nummer | 47 |
Lokation | Universität Würzburg |
Land/Område | Tyskland |
By | Würzburg |
Periode | 23/09/2024 → 27/09/2024 |
Andet | The conference takes place from 25. September to 27. September and is the 47th German Conference on Artificial Intelligence. The German AI Conference basically started approx. 49 years ago with the first GI-SIG AI meeting on Oct. 7, 1975.<br/>KI is one of the major European AI conferences and traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results on theory and applications.<br/><br/>The program of KI2024 comprises paper presentations, tutorials and workshops, invited keynotes, and many more. A program will soon be available.<br/><br/>KI 2024 takes place at the Computer Science building of the Faculty of Mathematics and Computer Science at the Julius-Maximilians-University Würzburg. This year, we are excited to announce that the conference is jointly organized with the LWDA 2024 conference. The organization is carried out by members of CAIDAS und Institute for Computer Science. Here you can find more details about the Venue and Würzburg. |
Internetadresse |
Navn | CEUR Workshop Proceedings |
---|---|
Vol/bind | 3763 |
ISSN | 1613-0073 |