Diagrammatikus érvelés – a kétkedés vége?1
Diagrammatic Reasoning: The End of Scepticism?
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p1/#matud_f25798_p1 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p1/#matud_f25798_p1) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p1/#matud_f25798_p1) |
Amirouche Moktefi
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p2/#matud_f25798_p2 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p2/#matud_f25798_p2) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p2/#matud_f25798_p2) |
egyetemi tanár
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p3/#matud_f25798_p3 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p3/#matud_f25798_p3) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p3/#matud_f25798_p3) |
Ragnar Nurkse Department of Innovation and Governance
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p4/#matud_f25798_p4 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p4/#matud_f25798_p4) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p4/#matud_f25798_p4) |
Tallinna Tehnikaülikool (TTÜ)/Tallinn University of Technology, Tallinn, Estonia
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p5/#matud_f25798_p5 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p5/#matud_f25798_p5) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p5/#matud_f25798_p5) |
amirouche.moktefi@ttu.ee
Összefoglalás
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p8/#matud_f25798_p8 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p8/#matud_f25798_p8) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p8/#matud_f25798_p8) |
Matematikai kötetekben, tankönyvekben gyakran találkozhatunk grafikonnal vagy ábrával. Az efféle diagramot korábban csupán pedagógiai vagy heurisztikai eszköznek tekintették, amely hasznos ugyan a megismerésben, de az igazolásban fölösleges, sőt megbízhatatlan. A matematikafilozófia újabb fejleményei mindenképp segítenek lebontani a diagrammatikus érveléssel szembeni előítéletet a matematikában. Ehhez azonban a szembenálló nézeteket a matematikai bizonyítás koherens elméletében kellene összebékíteni. Két olyan gondolatot fejtünk ki, amelyek megnyithatják az egységhez vezető utat. Az első lényege, hogy kijelentjük: a diagrammatikus érvelés nem egyenlő a diagrammal történő érveléssel. A második elképzelés szerint a valós (diagrammatikus) bizonyítás olyan eljárás, amely megteremti az ideális (nem csak diagrammatikus) formális bizonyítás lehetőségét (ami nem egyenlő a megvalósulásával). Ha sikerül megerősíteni e hidakat, akkor összeköthetik a diagramról élő szkeptikus, formális és gyakorlati nézeteket, olyan hálót alkotva, amelynek részeként a különféle diagrammatikus bizonyítások és bizonyítási eljárások megtalálhatják helyüket a matematikában.
Abstract
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p11/#matud_f25798_p11 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p11/#matud_f25798_p11) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p11/#matud_f25798_p11) |
One regularly meets with various charts and figures in mathematical books and textbooks. However, such diagrams were viewed as mere pedagogical and heuristic devices that one might use with benefit in the context of discovery but that are redundant and unreliable in the context of justification. New developments in the philosophy of mathematics certainly help to fight the prejudice against diagrammatic reasoning in mathematics. However, there still is a need for an account that would incorporate these apparently opposed views within a coherent theory of proofs in mathematics. We will explore two ideas that might open the way to a reconciliation. The first simply consists in not equating diagrammatic reasoning and reasoning with a diagram. The second considers real (diagrammatic) proofs as practices that convey the possibility (rather than the actuality) of ideal formal proofs (whether diagrammatic or not). These bridges, if strengthened, would connect the sceptical, formal and practical views of diagrams and provide a net within which the variety of diagrammatic proofs and proving practices would find room in mathematics.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p13/#matud_f25798_p13 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p13/#matud_f25798_p13) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p13/#matud_f25798_p13) |
Kulcsszavak: matematikai bizonyítás, formális és informális, diagrammatikus érvelés, levezetés, matematikafilozófia, rigorózus-formális diagrammatikus rendszer, egységes bizonyításelmélet
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p15/#matud_f25798_p15 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p15/#matud_f25798_p15) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p15/#matud_f25798_p15) |
Keywords: mathematical proof, formal and informal, diagrammatic reasoning, derivation, philosophy of mathematics, rigorous formal diagrammatic system, a coherent theory of proofs
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p17/#matud_f25798_p17 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p17/#matud_f25798_p17) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p17/#matud_f25798_p17) |
DOI: 10.1556/2065.180.2019.7.4
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p19/#matud_f25798_p19 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p19/#matud_f25798_p19) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p19/#matud_f25798_p19) |
1. Bevezetés
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p22/#matud_f25798_p22 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p22/#matud_f25798_p22) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p22/#matud_f25798_p22) |
A diagramok matematikai alkalmazását régóta kétkedve fogadják. Mivel a matematikai bizonyítást formálisnak, a diagramot viszont informálisnak tartották, ábrának nem lehetett helye a bizonyításban. Matematikai kötetekben, tankönyvekben gyakran találkozhatunk grafikonnal vagy ábrával. Az efféle diagramot azonban csupán pedagógiai vagy heurisztikai eszköznek tekintették, amely hasznos ugyan a megismerésben, de az igazolásban fölösleges, sőt megbízhatatlan. Mégis jó ideje foglalkoztatja a matematika művelőit, és mostanában egyre többször felvetődik a kérdés, hogy milyen szerepet tölthet be a tudományos gyakorlatban és a tanításban.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p23/#matud_f25798_p23 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p23/#matud_f25798_p23) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p23/#matud_f25798_p23) |
Nemrégiben magam is írtam két fő fejlődési irányról, amelyek bizonyíthatják, hogy itt nincs helye kétkedésnek (Moktefi, 2017). Egyrészt kiderült, hogy igenis kidolgozható meghatározott szabályokat követő, szigorú, formális diagrammatikus rendszer. Vagyis nem kell elvetnünk a formális bizonyítás ideálját, mert a „formális” magyarázat tartalmazhat ábrákat. Másrészt az is felvetődött, hogy a matematikus sem konstruál ideális bizonyítást napi munkája során, hanem inkább csak olyan gyakorlatias bizonyítással áll elő, amely a többi matematikus meggyőzéséhez elegendő. Vagyis a diagramot nem kell „formalizálni” ahhoz, hogy „elfogadható” bizonyítás része lehessen. Az efféle „gyakorlati” bizonyításban az ábrákat inkább eszköznek tekintik, amellyel képzeletben dolgozhatunk a problémamegoldás meghatározott kontextusában.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p24/#matud_f25798_p24 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p24/#matud_f25798_p24) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p24/#matud_f25798_p24) |
Az utóbbi idők diagramokkal foglalkozó tanulmányaiban a formális és a gyakorlati magyarázatra is találhatunk példát (Chapman et al., 2018). Bár a kettő hívei abban egyetértenek, hogy szembe kell szállniuk a kétkedőkkel, bizonyos mértékig egymással is vitatkoznak: a formális nézetet azért bírálják, mert nem természetes, a gyakorlati nézetet pedig azért, mert gyanújuk szerint nem felel meg a matematikai „szigor” követelményének. Cikkemben ezeket az ellenvetéseket veszem sorra. Kifejtem, hogy az első kifogás alapja az az indokolatlan feltevés, hogy a diagrammatikus érvelés szükségképpen (egy-egy) diagrammal történő érvelés. A második kifogásra episztemológiai stratégiákkal, például a sokat vitatott „levezetésmutató” elvvel adhatunk méltó választ.
2. Szabad képzelet és szabályok
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p27/#matud_f25798_p27 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p27/#matud_f25798_p27) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p27/#matud_f25798_p27) |
A diagramokkal végzett műveletek során (például jelölés hozzáadásakor, elforgatásakor, vagy amikor egyszerűen „nézőpontot váltunk”) gyakran úgy beszélünk cselekvésünk eredményéről, mintha ugyanaz a diagram lenne, némiképp „transzformált” változatban, és nem egy teljesen új ábra, amelyet az eredetiből „levezettünk”. Ez mindjárt más értelmet nyer, ha sorozatot alkotó algebrai bizonyításról van szó, hiszen az új képletet a korábbiakból vezetjük le (és új sorba írjuk): „Némely képi bizonyítás, az Euler- és Venn-diagramok, valamint az euklidészi diagrammatikus demonstrációk konfiguráción belülinek tekinthetők annyiban, hogy az érvelés »az ábrán belül marad«. Többféleképpen is – néha rendezett lépések során át – megvizsgáljuk a diagramot, hogy megértsük, mit ábrázol. Az aritmetikai és algebrai jelölések rendszerében (és a csomóelméletben) az érvelés inkább konfigurációk közötti, mert lépései megkövetelik, hogy új sorokat írjunk.” (Macbeth, 2012, 64.)
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p28/#matud_f25798_p28 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p28/#matud_f25798_p28) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p28/#matud_f25798_p28) |
Épp ezért első látásra természetellenesnek tűnik, hogy a diagramot tárgyként fogjuk fel, amelyen a szabályoknak megfelelően levezetési műveleteket végezhetünk. Vagyis mondhatnánk, hogy a „formalisták” a diagramokat olyan keretek közé szorítják, ahol „természetesen” nem lenne helyük (Giardino, 2013). Mégis könnyen eszünkbe juthatnak olyan esetek, amikor a képek sorozatot, szekvenciát alkotnak. Nyíri Kristóf a „mozgó képeket” taglalva megjegyzi: „egy-egy statikus kép érzékletesen felidézhet valamilyen jelenetet vagy helyesen ábrázolhat valamilyen látványt, de nyilvánvalóan nem tudja kifejezni a tényállást; önmagában nem hordozhat állítást. […] Természetesen az egyes kép egyértelművé válhat, ha felirattal egészítjük ki. De jelentését úgy is tisztázhatjuk, hogy beillesztjük egy képsorozatba – amit az egyedülálló kép nem fejezhet ki, azt a sorozat, a képek egymásutánja igen: elmesélheti a történetet.” (Nyíri, 2017, 109.)
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p29/#matud_f25798_p29 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p29/#matud_f25798_p29) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p29/#matud_f25798_p29) |
Nyíri példaként említi a képregényt – amely időben egymást követő, beszédbuborékokat tartalmazó képek sorozataként jelenik meg –, és emlékeztet, hogy ennek konvencióit még a legkisebb gyerek is könnyen megérti. Gondolhatunk olyan esetekre is, amikor a kép mozgatása, manipulációja egy sor újabb, előhívható vagy a szemlélő elméjében maradó részképet hoz létre. Például a turistatérképet gyakran összehajtjuk, hogy a minket érdeklő helyre összpontosítsunk, így résztérkép keletkezik. Hasonlóképpen kereshetünk egy bizonyos közlekedési útvonalat: figyelmen kívül hagyunk minden olyan térképszelvényt, amely épp nem kell. Ekképpen úgy alkothatunk mentális képet egy résztérképről, hogy közben nem is hajtogatjuk a térképet.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p30/#matud_f25798_p30 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p30/#matud_f25798_p30) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p30/#matud_f25798_p30) |
Hasonló diagramszekvenciákat találunk a matematikában. A Bizonyítás szavak nélkül könyvsorozat sok példája épp ilyen szekvenciákból áll (Nelsen, 1993–2015). Silvia De Toffoli és Valeria Giardino jó példát adnak erre a csomóelméletről szóló művükben. A csomók átrendezése tulajdonképpen úgy történik, hogy ábrájukat egy lépéssorozaton keresztül új diagrammá alakítják. Vagyis az eredményes manipuláció megkövetel „egyfajta manipulatív képzeletet, amely gyakorlással fejlődik: azáltal, hogy manipulatív képességeinket átvisszük a konkrét tárgyról annak jelölésére”. Ekkor „a diagram a »kísérletezés« eszköze és tárgya lesz, amellyel az ebben jártas kísérletező az érvelés következtetési lépéseinek megfelelő episztemikus tevékenységeket végezhet” (De Toffoli–Giardino, 2014, 839–840.). Tehát egyáltalán nem ritka, hogy a diagram szabályokat követő átrendezésével hoznak létre szekvenciát. A diagram manipulálása során persze a felhasználónak nem kell explicit módon megfogalmazni a szabályokat. Mégis igaz, hogy a konkrét kontextushoz illő diagram „nem csupán az oldalt díszítő képek sora, hanem magában foglalja használatának szabályait” (Legg, 2013, 14.).
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p31/#matud_f25798_p31 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p31/#matud_f25798_p31) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p31/#matud_f25798_p31) |
Sőt mi több, már az is vitatható, hogy az „egyedülálló” diagram természetes. Például az Euler-diagramot általában erős ikonikus jellege és természetessége miatt dicsérik (Moktefi, 2015). Ha azonban megnézzük történeti előzményeit és szemiotikai tulajdonságait, akkor látható, hogy meghatározott problémák megoldására szerkesztették, ezért más esetekben nem válik be.2 Vagyis nem feledkezhetünk meg arról, hogy a diagram kialakítása mindig a betöltendő funkciója szerint történik. A képzelőerő matematikai szerepéről mostanában folytatott viták is azt sugallják, hogy a diagramot ilyen konstrukcióként kellene felfognunk.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p32/#matud_f25798_p32 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p32/#matud_f25798_p32) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p32/#matud_f25798_p32) |
E viták során felvetődött: a képzelet kötött annyiban, hogy nem tud magyarázatot adni a matematikai lehetetlenségre. Például úgy tartják, hogy nem lehet elképzelni kör alakú négyzetet, hiszen bármi is ötlik a képzeletünkbe, az nem lehet egyszerre kerek és szögletes (Béziau, 2016). Nem világos azonban, miért függene a képzelőerő attól, hogy helyes-e az elképzelt tárgy. Ellenkezőleg: épp az a képzelet érdeme, hogy új – akár kerek, akár szögletes – objektumokat hoz létre, amelyek akkor jutnak eszünkbe, ha „kör alakú négyzetet” kell elképzelnünk. Hugh MacColl találó észrevétele: „Láttunk és rajzoltunk már háromszöget; de ma még értelmetlennek tartjuk a »kör alakú négyzetet«. A jövőben fejlődhet úgy az angol nyelv, hogy utódaink egy nap majd jelölhetik a valóság egy darabját ezzel a kifejezéssel, akkor pedig nem lesz többé valószerűtlen – éppen úgy, ahogy ma a horseman nem ló és ember valószerűtlen elegyét jelöli, nem lóembert vagy kentaurt, hanem valódi lovon ülő valódi embert: lovast jelent.” (MacColl, 1907)
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p33/#matud_f25798_p33 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p33/#matud_f25798_p33) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p33/#matud_f25798_p33) |
Ráadásul azt is állítjuk, hogy igenis elképzelhető (vizualizálható) olyan objektum, amely valóban egyszerre kerek és szögletes. Ehhez magának a képnek nem kell kereknek vagy szögletesnek lennie. Elegendő, ha a képzeletben megjelenő „kör alakú négyzet” ugyanúgy viszonyul a kerekséghez és a szögletességhez, mint maga a tárgy. Például egyszerűen rajzolhatunk olyan Euler- (vagy Venn-)diagramot, amelyet két egymást átfedő terület alkot. Az egyik terület a kerekséget jelölheti: ide kerül minden kerek objektum. A másik terület a szögletességet jelölheti: ide lehet gyűjteni az összes szögletes tárgyat. Következésképpen a kettő metszete olyan tárgyakat tartalmaz majd, amelyek mindegyike egyszerre lehet kerek és szögletes. Elegendő egy jelet, például egy pontot tenni a metszet területére, és az máris egy minden követelménynek megfelelő „kör alakú négyzetet” jelöl.3 Persze lehet, hogy ez a diagram nem az a „mentális kép”, amelyre egy-egy olvasó számított, de ez csak abból fakad, hogy szükségtelen követelményeket támasztottak e „lelki képpel” szemben. Például egy szervezet „organigramjában” a csomópontoknak (vagy kereteknek) nem kell fizikailag hasonlítaniuk az emberre, akit képviselnek. Mindössze annyi szükséges, hogy összekapcsolódásuk módja megmutassa a szervezeti struktúra belső viszonyait.4
3. Bizonyítások és levezetések
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p36/#matud_f25798_p36 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p36/#matud_f25798_p36) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p36/#matud_f25798_p36) |
Az utóbbi idők szakirodalmában többen is dicsérték a többértelműség szerepét a matematikai felfedezésben (Grosholz, 2007; Byers, 2007). A csomóelméletben például a gráfok határozatlansága számos lépést tesz lehetővé, így megmozgatja a manipulatív képzeletet, amely a képzéssel és a tudásgyarapodással fejlődik (De Toffoli–Giardino, 2014, 839.). Ezt a produktív többértelműséget azonban bírálatok is érték, mert „sokszor vezette tévútra a matematikusokat, hogy intuitív módon hihető, de végső soron félrevezető gondolatmenetet alkalmaztak, amely a többértelműséget, a homályosságot vagy más problematikus jellemzőt próbál kihasználni”. Eszerint „az igazolás kontextusában a megfelelően kidolgozott elméletnek teljesítenie kell a szigorúság követelményeit, amelyek sokkal kötöttebbek, mint a felfedezés kontextusában érvényes követelmények” (Jesseph, 2008).
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p37/#matud_f25798_p37 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p37/#matud_f25798_p37) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p37/#matud_f25798_p37) |
Nemrégiben egy tanulmányban jómagam is említést tettem az episztemológiai stratégiákról, amelyekkel a tudósok igyekeznek visszaszorítani a kísérleti tevékenységüket eredendően jellemző bizonytalanságokat (Moktefi, 2017). Allan Franklin egy sor ilyen stratégiát ismertetett, és megállapította, hogy azok „meglehetősen meggyőzőek a kísérleti eredmények érvényességét illetően. Ezek a stratégiák különbséget tesznek az érvényes megfigyelés vagy mérés és a kísérleti apparátus által létrehozott tárgy között” (Franklin, 1990, 103–104.). Említett cikkemben kifejtettem, hogy e stratégiák a matematikusok körében is megtalálhatók, főként ha diagramok manipulálásáról van szó. Például a diagram „kalibrálható”, hogy ellenőrizzék a megbízhatóságát, és kizárják a nemkívánatos jellemzőket. Ezenkívül ott is megtalálható az inter-instrumentalitás stratégiája (többféle eszközzel is ellenőrzik, hogy helytálló-e a kísérleti eredmény), ahol a matematikus különböző úton-módon (diagrammal, algebrai notációval, számítógéppel stb.) újra kiszámítja az eredményt, hogy ezzel is bizonyítsa a tételt. E gyakorlati álláspont szerint a diagram úgy erősíti a matematikai bizonyítás érvényességét, hogy nem szükséges formális diagrammatikus rendszert létrehozni.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p38/#matud_f25798_p38 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p38/#matud_f25798_p38) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p38/#matud_f25798_p38) |
Talán az efféle stratégiák nem győzik meg azt az olvasót, aki a bizonyítást leginkább olyan lineáris levezetésnek tartja, amely „véges számú képletből álló szekvencia, és benne minden terminus vagy axióma, vagy az adott szekvencia korábbi terminusainak egy halmazából valamelyik következtetési szabály alkalmazásával kapott eredmény” (Pelc, 2009, 85.).5 E „formalista” olvasót csak úgy győzhetjük meg az informális bizonyítás helyes voltáról, ha jelezzük az alapjául szolgáló levezetést. A matematikai bizonyítások efféle „levezetésmutató nézetét” Jody Azzouni szorgalmazta: „A köznapi matematikai bizonyítások jelzik, milyen (egyik vagy másik) mechanikusan ellenőrizhető levezetéssel juthatunk a kiindulásként választott feltevésektől a tételekhez. A mutató-nézet magyarázatot ad arra, miért bólintanak a matematikusok oly készségesen a köznyelven megfogalmazott bizonyítások eredményeire, amelyeket (nyilvánvalóan) nem lehet mechanikusan ellenőrizni.” (Azzouni, 2004, 105.)
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p39/#matud_f25798_p39 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p39/#matud_f25798_p39) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p39/#matud_f25798_p39) |
Ezt a nézetet már tüzetesen taglalták, és több okból is bírálták a mai matematikafilozófiában (Larvor, 2016). Jelesül azért kifogásolták, mert „nemcsak arról van szó, hogy a matematikai bizonyítások tartalmaznak olyan összetevőket, amelyeket formális számításokkal nem lehet megragadni, hanem tulajdonképpen arról is, hogy sok tétel esetében nem találunk összefüggést a bizonyítás és az alapjául szolgáló hipotetikus levezetés között” (Pelc, 2009, 85.).
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p40/#matud_f25798_p40 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p40/#matud_f25798_p40) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p40/#matud_f25798_p40) |
Ha a „levezetésmutató nézetet” nem fogadjuk is el a matematikai bizonyítások magyarázatának általános elveként, episztemológiai stratégiaként még alkalmazható. Merthogy sok bizonyításban igenis lehet jelezni az alapul szolgáló levezetést. Ez kiváltképp az egyszerű bizonyítások, illetve olyan bizonyítások esetében képzelhető el, amelyek más, hézagos bizonyítások vázlataként vagy rövidített változataként alkalmazhatók. Érvelhetnénk azzal – ahogyan Lewis Carroll híres „teknőse” tette –, hogy a hézagot, távolságot csak végtelen sok lépéssel tudjuk áthidalni (Moktefi–Abeles, 2016). De ne feledjük: nem kell ténylegesen megmutatnunk a levezetéseket ahhoz, hogy erősödjön a bizonyításba vetett bizodalmunk. Mindössze annyi kell az olvasó meggyőzéséhez, hogy az efféle levezetés szükség esetén bemutatható. Tehát még akkor sem kell megszüntetnünk az összes hézagot, ha a matematikai rések kitöltésére törekszünk. Inkább csak addig kell töltögetnünk a hézagokat, amíg új bizonyításunk elfogadásra nem talál. Ekkor a bizonyítás még mindig tartalmazhat hézagokat, de ezeket az olvasó már szükségképpen elfogadhatónak tekinti (Andersen, 2018).
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p41/#matud_f25798_p41 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p41/#matud_f25798_p41) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p41/#matud_f25798_p41) |
Természetesen a levezetések a következtetési szabályok meghatározásában és alkalmazásában is megkövetelik a képzelőerőt. Vagyis bizonyos mértékig ugyanolyan ellenvetéseket válthatnak ki, mint a manipulatív képzelet. Nemcsak maguk a szabályok lehetnek hibásak, hanem végrehajtásukba is csúszhatnak hibás lépések. A hiba kockázata akkor sem zárható ki teljesen, ha a levezetés minden mozzanata megfigyelhető és mechanikusan ellenőrizhető. A stratégia célja mégis csupán annyi, hogy meggyőzze a kétkedő olvasót: a bizonyítás „jelezheti” a levezetést, ebből pedig az következik, hogy az informális bizonyítás nem feltétlenül kevésbé megbízható, mint a jelzett levezetés. Az efféle levezetések hossza az ágenstől függ. Ha a bizonyítás 1. nem éri el az elfogadható levezetési szintet, vagy 2. elfogadásra talál, de hossza gátolja „a bizalom elnyerését”, akkor a „levezetésmutató” stratégiát eredménytelennek nyilváníthatjuk, és érdemes más episztemológiai stratégiával próbálkoznunk. A „levezetésmutató” stratégia mégis sokszor beválik.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p42/#matud_f25798_p42 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p42/#matud_f25798_p42) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p42/#matud_f25798_p42) |
Ez a stratégia persze diagrammatikus és nem diagrammatikus bizonyításokra egyaránt alkalmazható. Ha arról akarunk meggyőzni valakit, hogy helyes egy diagrammatikus bizonyítás, akkor egyszerűen jelezhetjük az alapjául szolgáló levezetést (akár diagrammatikus, akár nem). Azzouni már észrevételezte, hogy a diagrammatikus bizonyítást nem kell „átvinni” egy nyelvre épülő rendszerbe, amennyiben mechanikus ellenőrizhetőséget jelez (Azzouni, 2013). Ha például képtelenek vagyunk „belátni” egy adott szillogizmus konklúzióját egy három terminust ábrázoló Venn-diagramon, akkor csak meg kell adnunk neki azokat a következtetési szabályokat, amelyek alapján „kivonhatja” a konklúziót ebből a diagramból egy „derivatív”, az izolált konklúziót mutató kétterminusos diagramba. Ilyen eljárásra épül például Carroll Logikai játéka (Game of Logic): minden szillogizmus megoldható a két diagramból a táblán, amelyen korongok képviselik az állításokat (Moktefi, 2013).
4. Következtetés
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p45/#matud_f25798_p45 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p45/#matud_f25798_p45) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p45/#matud_f25798_p45) |
Az újabb keletű diagramvizsgálatok fejleményei megingatnak néhány elterjedt és nehezen szűnő félreértést. Egyre nagyobb az érdeklődés a diagram mint a matematikai felfedezés, bizonyítás és megértés eszköze iránt. Az e téren jelenleg folyó munka rámutat, hogy sokféle diagrammatikus bizonyítási eljárást alkalmazhatunk. Reményeink és várakozásaink szerint a jövőbeli kutatás még inkább megvilágítja majd azokat a bonyolult kérdéseket, amelyekkel ma szembe kell néznie mindenkinek, aki a diagrammatikus érvelés episztemológiája felé vezető úton jár.6
Irodalom
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_irod_2019_07_25798/#matud_irod_2019_07_25798 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_irod_2019_07_25798/#matud_irod_2019_07_25798) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_irod_2019_07_25798/#matud_irod_2019_07_25798) |
Andersen, L. E. (2018): Acceptable Gaps in Mathematical Proofs. Synthese. DOI: 10.1007/s11229-018-1778-8
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p48/#matud_f25798_p48 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p48/#matud_f25798_p48) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p48/#matud_f25798_p48) |
Azzouni, J. (2004): The Derivation-Indicator View of Mathematical Practice. Philosophia Mathematica, 12, 81–105.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p49/#matud_f25798_p49 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p49/#matud_f25798_p49) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p49/#matud_f25798_p49) |
Azzouni, J. (2013): The Relationship of Derivations in Artificial Languages to Ordinary Rigorous Mathematical Proof. Philosophia Mathematica, 21, 247–254.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p50/#matud_f25798_p50 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p50/#matud_f25798_p50) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p50/#matud_f25798_p50) |
Béziau, J.-Y. (2016): Possibility, Imagination and Conception. Princípios, 23, 40, 59–95. https://dialnet.unirioja.es/descarga/articulo/5890711.pdf
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p51/#matud_f25798_p51 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p51/#matud_f25798_p51) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p51/#matud_f25798_p51) |
Byers, W. (2007): How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics. Princeton: Princeton University Press
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p52/#matud_f25798_p52 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p52/#matud_f25798_p52) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p52/#matud_f25798_p52) |
Carter, J. (2017): Exploring the Fruitfulness of Diagrams in Mathematics. Synthese, DOI: 10.1007/s11229-017-1635-1
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p53/#matud_f25798_p53 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p53/#matud_f25798_p53) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p53/#matud_f25798_p53) |
Chapman, P. et al. (eds.) (2018): Diagrammatic Representation and Inference. Berlin: Springer
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p54/#matud_f25798_p54 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p54/#matud_f25798_p54) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p54/#matud_f25798_p54) |
De Toffoli, S. – Giardino, V. (2014): Forms and Roles of Diagrams in Knot Theory. Erkenntnis, 79, 829–842.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p55/#matud_f25798_p55 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p55/#matud_f25798_p55) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p55/#matud_f25798_p55) |
Franklin, A. (1990): Experiment, Right or Wrong. Cambridge: Cambridge University Press
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p56/#matud_f25798_p56 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p56/#matud_f25798_p56) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p56/#matud_f25798_p56) |
Giardino, V. (2013): A Practice-Based Approach to Diagrams. In: Moktefi, A. – Shin, S.-J. (eds.): Visual Reasoning with Diagrams. Basel: Birkhäuser, 135–151.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p57/#matud_f25798_p57 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p57/#matud_f25798_p57) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p57/#matud_f25798_p57) |
Grosholz, E. R. (2007): Representation and Productive Ambiguity in Mathematics and the Sciences. Oxford: Oxford University Press
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p58/#matud_f25798_p58 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p58/#matud_f25798_p58) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p58/#matud_f25798_p58) |
Jesseph, D. (2008): Review of Emily R. Grosholz’s Representation and Productive Ambiguity in Mathematics and the Sciences. Notre Dame Philosophical Reviews, 05.15. https://ndpr.nd.edu/news/representation-and-productive-ambiguity-in-mathematics-and-the-sciences/
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p59/#matud_f25798_p59 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p59/#matud_f25798_p59) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p59/#matud_f25798_p59) |
Larvor, B. (2016): Why the Naïve Derivation Recipe Model Cannot Explain How Mathematicians’ Proofs Secure Mathematical Knowledge. Philosophia Mathematica, 24, 401–404.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p60/#matud_f25798_p60 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p60/#matud_f25798_p60) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p60/#matud_f25798_p60) |
Legg, C. (2013): What Is a Logical Diagram? In: Moktefi, A. – Shin, S.-J. (eds.): Visual Reasoning with Diagrams. Basel: Birkhäuser, 1–18.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p61/#matud_f25798_p61 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p61/#matud_f25798_p61) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p61/#matud_f25798_p61) |
Macbeth, D. (2012): Seeing How it Goes: Paper-and-Pencil Reasoning in Mathematical Practice. Philosophia Mathematica, 20, 58–85.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p62/#matud_f25798_p62 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p62/#matud_f25798_p62) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p62/#matud_f25798_p62) |
MacColl, H. (1907): Symbolic Logic (A Reply). Mind, 16, 470–473.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p63/#matud_f25798_p63 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p63/#matud_f25798_p63) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p63/#matud_f25798_p63) |
Moktefi, A. (2013): Beyond Syllogisms: Carroll’s (Marked) Quadriliteral Diagram. In: Moktefi, A. – Shin, S.-J. (eds.): Visual Reasoning with Diagrams. Basel: Birkhäuser, 55–71.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p64/#matud_f25798_p64 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p64/#matud_f25798_p64) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p64/#matud_f25798_p64) |
Moktefi, A. (2015): Is Euler’s Circle a Symbol or an Icon? Sign Systems Studies, 43, 597–615.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p65/#matud_f25798_p65 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p65/#matud_f25798_p65) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p65/#matud_f25798_p65) |
Moktefi, A. (2017): Diagrams as Scientific Instruments. In: Benedek A. – Veszelszki Á. (eds.): Virtual Reality – Real Visuality: Virtual, Visual, Veridical (Visual Learning, 7). Frankfurt: Peter Lang, 81–89.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p66/#matud_f25798_p66 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p66/#matud_f25798_p66) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p66/#matud_f25798_p66) |
Moktefi, A. – Abeles, F. (2016): The Making of “What the Tortoise Said to Achilles”: Lewis Carroll’s Logical Investigations toward a Workable Theory of Hypotheticals. The Carrollian, 28, 14–47.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p67/#matud_f25798_p67 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p67/#matud_f25798_p67) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p67/#matud_f25798_p67) |
Moktefi, A. – Pietarinen, A.-V. (2015): On the Diagrammatic Representation of Existential Statements with Venn diagrams. Journal of Logic, Language and Information, 24, 361–374.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p68/#matud_f25798_p68 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p68/#matud_f25798_p68) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p68/#matud_f25798_p68) |
Nelsen, R. B. (1993–2015): Proofs without Words. Vols. 1–3. Washington, DC: Mathematical Association of America
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p69/#matud_f25798_p69 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p69/#matud_f25798_p69) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p69/#matud_f25798_p69) |
Nyíri K. (2017): Pictorial Truth: Essays on Wittgenstein, Realism, and Conservatism. Dunabogdány: digitális szerzői kiadás. https://www.academia.edu/34190040/Pictorial_Truth_Essays_on_Wittgenstein_Realism_and_Conservatism
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p70/#matud_f25798_p70 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p70/#matud_f25798_p70) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p70/#matud_f25798_p70) |
Pelc, A. (2009): Why Do We Believe Theorems? Philosophia Mathematica, 17, 84–94.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p71/#matud_f25798_p71 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p71/#matud_f25798_p71) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p71/#matud_f25798_p71) |
Stapleton, G. et al. (2018): Euler Diagrams through the Looking Glass: From Extent to Intent. In: Chapman, P. et al. (eds.): Diagrammatic Representation and Inference. Berlin: Springer, 365–381.
A jegyzet hozzáadásához kérjük, lépj be!
Hivatkozások
Válaszd ki a számodra megfelelő formátumot:
| Harvard: | (2019): Magyar Tudomány 2019/7. : Akadémiai Kiadó.
Letöltve: https://uat.mersz.hu/hivatkozas/matud_f25798_p72/#matud_f25798_p72 (2026. 08. 11.)
| |
| Chicago: | . 2019. Magyar Tudomány 2019/7. : Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p72/#matud_f25798_p72) | |
| APA: | (2019). Magyar Tudomány 2019/7. Akadémiai Kiadó.
(Letöltve: 2026. 08. 11.https://uat.mersz.hu/hivatkozas/matud_f25798_p72/#matud_f25798_p72) |
Tanswell, F. (2015): A Problem with the Dependence of Informal Proofs on Formal Proofs. Principia Mathematica, 23, 295–310.
| 1 | Fordította: Szalai Éva |
| 2 | Az Euler-diagram kevésbé használható például intenzionális értelmezésekben (lásd Stapleton et al., 2018). |
| 3 | Az Euler-diagramon a pont magát az egyes elemet (a kör alakú négyzetet) képviseli, a Venn-diagram viszont inkább csak azt jelzi, hogy ez az elem létezik. Az utóbbi idők diagrammatikus rendszerei, például a pókháló-diagramok kifejezőbbek az egyes elemek reprezentációja szempontjából (lásd Moktefi–Pietarinen, 2015). |
| 4 | A kapcsolatok diagrammatikus megjelenítéséről és ennek szerepéről a diagramok felhasználhatóságában lásd Carter, 2017. |
| 5 | A matematikafilozófiai irodalomban a bizonyítás (proof) néha informális bizonyítást, a levezetés (derivation) pedig formális bizonyítást jelent (lásd Tanswell, 2015). |
| 6 | A kutatómunkát az Észt Kutatási Tanács (ECR) támogatja az „Abdukció a bizonytalanság korában” projekt keretében (PUT 1305, Abduction in the Age of Uncertainty, kutatásvezető: Prof. Ahti-Veikko Pietarinen). |