Teaching Syllogistics Using Conceptual Graphs

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Resumé

It has for centuries been commonly believed that syllogistic reasoning is an essential part of human rationality. For this reason, Aristotelian syllogistics has since the rise of the European university been a standard component of logic teaching. During the medieval period syllogistic validity was presented in terms of a number of artificial words designed to summarize the deductive structure of this basic system. The present paper is a continuation of earlier studies involving practical experiments with informatics students using a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The aim of the present paper is to study some interesting conceptual aspects of syllogistic reasoning and to investigate whether CG formalism can be helpful in order to obtain a better understanding of syllogistic reasoning in general and the system of Aristotelian syllogisms conceived as a deductive (axiomatic) structure in particular. Some prototypes of tools for basic logic teaching have been developed using Prolog+CG, and various preliminary tests of the tools have been carried out.
OriginalsprogEngelsk
TitelGraph-Based Representation and Reasoning : Proceedings of the 21st International Conference on Structures
RedaktørerNathalie Hernandez, Robert Jäschke, Madalina Croitoru
Antal sider14
ForlagSpringer Publishing Company
Publikationsdato2014
Sider217-230
ISBN (Trykt)978-3-319-08388-9
ISBN (Elektronisk)978-3-319-08389-6
DOI
StatusUdgivet - 2014
Begivenhed21st International Conference on Conceptual Structures - Iaşi, Rumænien
Varighed: 27 jul. 201430 jul. 2014
Konferencens nummer: 21

Konference

Konference21st International Conference on Conceptual Structures
Nummer21
LandRumænien
ByIaşi
Periode27/07/201430/07/2014
NavnLecture Notes in Computer Science
ISSN0302-9743

Citer dette

Øhrstrøm, P., Sandborg-Petersen, U., Thorvaldsen, S., & Ploug, T. (2014). Teaching Syllogistics Using Conceptual Graphs. I N. Hernandez, R. Jäschke, & M. Croitoru (red.), Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures (s. 217-230). Springer Publishing Company. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-08389-6_18
Øhrstrøm, Peter ; Sandborg-Petersen, Ulrik ; Thorvaldsen, Steiner ; Ploug, Thomas. / Teaching Syllogistics Using Conceptual Graphs. Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures. red. / Nathalie Hernandez ; Robert Jäschke ; Madalina Croitoru. Springer Publishing Company, 2014. s. 217-230 (Lecture Notes in Computer Science).
@inproceedings{95466dd28ad24b778fcd4930874aff6f,
title = "Teaching Syllogistics Using Conceptual Graphs",
abstract = "It has for centuries been commonly believed that syllogistic reasoning is an essential part of human rationality. For this reason, Aristotelian syllogistics has since the rise of the European university been a standard component of logic teaching. During the medieval period syllogistic validity was presented in terms of a number of artificial words designed to summarize the deductive structure of this basic system. The present paper is a continuation of earlier studies involving practical experiments with informatics students using a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The aim of the present paper is to study some interesting conceptual aspects of syllogistic reasoning and to investigate whether CG formalism can be helpful in order to obtain a better understanding of syllogistic reasoning in general and the system of Aristotelian syllogisms conceived as a deductive (axiomatic) structure in particular. Some prototypes of tools for basic logic teaching have been developed using Prolog+CG, and various preliminary tests of the tools have been carried out.",
author = "Peter {\O}hrstr{\o}m and Ulrik Sandborg-Petersen and Steiner Thorvaldsen and Thomas Ploug",
year = "2014",
doi = "10.1007/978-3-319-08389-6_18",
language = "English",
isbn = "978-3-319-08388-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "217--230",
editor = "Nathalie Hernandez and Robert J{\"a}schke and Madalina Croitoru",
booktitle = "Graph-Based Representation and Reasoning",
address = "United States",

}

Øhrstrøm, P, Sandborg-Petersen, U, Thorvaldsen, S & Ploug, T 2014, Teaching Syllogistics Using Conceptual Graphs. i N Hernandez, R Jäschke & M Croitoru (red), Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures. Springer Publishing Company, Lecture Notes in Computer Science, s. 217-230, 21st International Conference on Conceptual Structures, Iaşi, Rumænien, 27/07/2014. https://doi.org/10.1007/978-3-319-08389-6_18

Teaching Syllogistics Using Conceptual Graphs. / Øhrstrøm, Peter; Sandborg-Petersen, Ulrik; Thorvaldsen, Steiner; Ploug, Thomas.

Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures. red. / Nathalie Hernandez; Robert Jäschke; Madalina Croitoru. Springer Publishing Company, 2014. s. 217-230 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Teaching Syllogistics Using Conceptual Graphs

AU - Øhrstrøm, Peter

AU - Sandborg-Petersen, Ulrik

AU - Thorvaldsen, Steiner

AU - Ploug, Thomas

PY - 2014

Y1 - 2014

N2 - It has for centuries been commonly believed that syllogistic reasoning is an essential part of human rationality. For this reason, Aristotelian syllogistics has since the rise of the European university been a standard component of logic teaching. During the medieval period syllogistic validity was presented in terms of a number of artificial words designed to summarize the deductive structure of this basic system. The present paper is a continuation of earlier studies involving practical experiments with informatics students using a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The aim of the present paper is to study some interesting conceptual aspects of syllogistic reasoning and to investigate whether CG formalism can be helpful in order to obtain a better understanding of syllogistic reasoning in general and the system of Aristotelian syllogisms conceived as a deductive (axiomatic) structure in particular. Some prototypes of tools for basic logic teaching have been developed using Prolog+CG, and various preliminary tests of the tools have been carried out.

AB - It has for centuries been commonly believed that syllogistic reasoning is an essential part of human rationality. For this reason, Aristotelian syllogistics has since the rise of the European university been a standard component of logic teaching. During the medieval period syllogistic validity was presented in terms of a number of artificial words designed to summarize the deductive structure of this basic system. The present paper is a continuation of earlier studies involving practical experiments with informatics students using a student-facing Java-Applet running in the student’s browser, implemented using the Prolog programming language as embodied in a Java implementation called Prolog+CG. The aim of the present paper is to study some interesting conceptual aspects of syllogistic reasoning and to investigate whether CG formalism can be helpful in order to obtain a better understanding of syllogistic reasoning in general and the system of Aristotelian syllogisms conceived as a deductive (axiomatic) structure in particular. Some prototypes of tools for basic logic teaching have been developed using Prolog+CG, and various preliminary tests of the tools have been carried out.

U2 - 10.1007/978-3-319-08389-6_18

DO - 10.1007/978-3-319-08389-6_18

M3 - Article in proceeding

SN - 978-3-319-08388-9

T3 - Lecture Notes in Computer Science

SP - 217

EP - 230

BT - Graph-Based Representation and Reasoning

A2 - Hernandez, Nathalie

A2 - Jäschke, Robert

A2 - Croitoru, Madalina

PB - Springer Publishing Company

ER -

Øhrstrøm P, Sandborg-Petersen U, Thorvaldsen S, Ploug T. Teaching Syllogistics Using Conceptual Graphs. I Hernandez N, Jäschke R, Croitoru M, red., Graph-Based Representation and Reasoning: Proceedings of the 21st International Conference on Structures. Springer Publishing Company. 2014. s. 217-230. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-08389-6_18