Classical syllogisms in logic teaching

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7735 LNCS, Issue , 2013, Pages 31-43

  Øhrstrøm, Peter ^a   Sandborg Petersen, Ulrik ^a   Thorvaldsen, Steinar ^b   Ploug, Thomas ^a  

^a AALBORG UNIVERSITY   (Denmark)

^b UNIVERSITY OF TROMSØ   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

DENMARK; EMPIRICAL STUDIES; HUMAN REASONING; INFORMATICS; LOGIC COURSE; PRACTICAL REASONING; UNIVERSITY COURSE;

PROLOG (PROGRAMMING LANGUAGE);

STUDENTS;

EID: 84883419118     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-35786-2_4     Document Type: Conference Paper

References (17)

1. Parry, W.T., Hacker, E.A.: Aristotelian Logic. State University of New York Press (1991)
2. Sandborg-Petersen, U., Schärfe, H., Øhrstrøm, P.: Online Course in Knowledge Representation using Conceptual Graphs. Aalborg University (2005), http://cg.huminf.aau.dk
3. Aristotle: Prior Analytics. Translated by A.J. Jenkinson. The Internet Classics Archive (1994-2000), http://classics.mit.edu/Aristotle/prior.html
4. Panayiotou, C., Bennett, B.: Cognitive context and syllogisms from ontologies for handling discrepancies in learning resources. In: Bouquet, P., et al. (eds.) Workshop on Contexts and Ontologies, The 18th European Conference on Artificial Intelligence, Patras, Greece, pp. 21-25 (2008)
5. Kabbaj, A., Janta-Polczynski, M.: From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 540-554. Springer, Heidelberg (2000)
6. Kabbaj, A., Moulin, B., Gancet, J., Nadeau, D., Rouleau, O.: Uses, Improvements, and Extensions of Prolog+CG: Case Studies. In: Delugach, H., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 346-359. Springer, Heidelberg (2001)
7. Petersen, U.: Prolog+CG: A Maintainer's Perspective. In: de Moor, A., Polovina, S., Delugach, H. (eds.) Proceedings of First Conceptual Structures Interoperability Workshop (CS-TIW 2006). Aalborg University Press (2006)
8. Leighton, J.P.: Teaching and assessing deductive reasoning skills. Journal of Experimental Education, Volume 74(2), 109-136 (2006) (Pubitemid 350271269)
9. Turner, P., Jamie, A., Thompson, V.A.: The role of training, alternative models, and logical necessity in determining confidence in syllogistic reasoning. Thinking & Reasoning 15(1), 69-100 (2009)
10. Monaghan, P., Stenning, K.: Effects of representational modality and thinking style on learning to solve reasoning problems. In: Gernsbacher, M.A., Derry, S.J. (eds.) Proceedings of the Annual Conference of the Cognitive Science Society, pp. 716-721 (1998)
11. Grossen, B.: The Fundamental Skills of Higher-Order Thinking. Journal of Learning Disabilities 24(6), 343-353 (1991)
12. Hoffman, B., McCrudden, M.T., Schraw, G., Hartley, K.: The Effects of Informational Complexity and Working Memory on Problem-Solving Efficiency. Asia Pacific Education Review 9(4), 464-474 (2008)
13. Bucciarelli, M., Johnson-Laird, P.N.: Strategies in syllogistic reasoning. Cognitive Science 23(3), 247-303 (1999)
14. Gilhooly, K.J., Logie, R.H., Wynn, V.: Syllogistic reasoning tasks, working memory, and skill. European Journal of Cognitive Psychology 11(4), 473-498 (1999)
15. Johnson-Laird, P.N., Bara, B.G.: Syllogistic inference. Cognition 16, 1-61 (1984)
16. Quayle, J.D., Ball, L.J.: Working memory, metacognitive uncertainty, and belief bias in syllogistic reasoning. Quarterly Journal of Experimental Psychology Section A - Human Experimental Psychology 53(4), 1202-1223 (2000)
17. Øhrstrøm, P., Sandborg-Petersen, U., Ploug, T.: Syllog - A Tool for Logic Teaching. In: Proceedings of Artificial Intelligence Workshops 2010 (AIW 2010), Mimos Berhad, pp. 42-55 (2010)