### Resumé

Originalsprog | Engelsk |
---|---|

Titel | Graph-Based Representation and Reasoning : Proceedings of the 21st International Conference on Structures |

Redaktører | Nathalie Hernandez, Robert Jäschke, Madalina Croitoru |

Antal sider | 14 |

Forlag | Springer Publishing Company |

Publikationsdato | 2014 |

Sider | 217-230 |

ISBN (Trykt) | 978-3-319-08388-9 |

ISBN (Elektronisk) | 978-3-319-08389-6 |

DOI | |

Status | Udgivet - 2014 |

Begivenhed | 21st International Conference on Conceptual Structures - Iaşi, Rumænien Varighed: 27 jul. 2014 → 30 jul. 2014 Konferencens nummer: 21 |

### Konference

Konference | 21st International Conference on Conceptual Structures |
---|---|

Nummer | 21 |

Land | Rumænien |

By | Iaşi |

Periode | 27/07/2014 → 30/07/2014 |

Navn | Lecture Notes in Computer Science |
---|---|

ISSN | 0302-9743 |

### Citer dette

*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

}

*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.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 -