Induktiv oder intuitiv? Die Gewinnung von Frames aus mathematischen Beweistexten
- Mathematische Beweistexte weisen Beweisstrategie-spezifische Strukturierungsschemata auf, die sich mithilfe von Frames modellieren lassen. Diese Frames lassen sich teilweise empirisch-induktiv aus Textdaten gewinnen. Da die Frames aber zahlreiche Subtypen aufweisen und in Beweistexten für kompetentere Rezipienten nur elliptisch realisiert werden, müssen neben die empirisch-induktiven Verfahren (corpus-driven approach) auch intuitiv-hypothesenbildende (corpus-based approach) treten.
- Mathematical proof-texts show schemas of structuring which are specific for certain proof strategies. These schemas of structuring can be modelled by frames. The frames can partially be obtained from text-data in an empirical-inductive way. But mathematical frames have numerous subtypes, which are realized in texts for more competent recipients only elliptically. Therefore, empirical-inductive methods (corpus-driven approach) must be complemented by intuitive hypothesis-forming methods (corpus-based approach).
Download full text files
Additional Services
Statistics
| Author: | Bernhard Schröder |
|---|---|
| URN: | urn:nbn:de:bsz:mh39-131044 |
| ISBN: | 978-3-8233-9610-9 |
| Parent Title (German): | Korpusgestützte Sprachanalyse. Grundlagen, Anwendungen und Analysen |
| Series (Serial Number): | Studien zur deutschen Sprache (88) |
| Publisher: | Narr Francke Attempto |
| Place of publication: | Tübingen |
| Editor: | Michael BeißwengerORCiDGND, Eva GredelORCiDGND, Lothar LemnitzerGND, Roman SchneiderORCiDGND |
| Document Type: | Part of a Book |
| Language: | German |
| Year of first Publication: | 2023 |
| Date of Publication (online): | 2025/04/11 |
| Publishing Institution: | Leibniz-Institut für Deutsche Sprache (IDS) [Zweitveröffentlichung] |
| Publicationstate: | Zweitveröffentlichung |
| Reviewstate: | (Verlags)-Lektorat |
| Tag: | Mathematische Beweistexte; Strukturierungsschemata; Textdaten; empirisch-induktives Verfahren; intuitiv-hypothesenbildende Verfahren |
| GND Keyword: | Frame <Mathematik>; Korpus <Linguistik> |
| First Page: | 197 |
| Last Page: | 215 |
| DDC classes: | 400 Sprache / 400 Sprache, Linguistik |
| Open Access?: | ja |
| Linguistics-Classification: | Korpuslinguistik |
| Licence (German): |  Urheberrechtlich geschützt |