axiómák mint az axióma rendszereket indító metaforák 

 From: Fáy Árpád <arpad.fay@gmail.com>  - Sent: Friday, April 17, 2020 3:36 AM - Subject: amikor már nm tudok mit kezdeni a karanténhírekkel

Az merült fel bennem, hogy az axióma rendszerek alapjai, az axiómák olyan jól megválasztott (jól megválasztani igyekezett …) kifejezések, amelyek lényegében metaforák. Évtizedekkel ezelőtt már hallottam valami ilyesmi megjegyzést, de nem tudtam mire vélni, most viszont fontossá vált. Az induló metaforák és a rájuk épülő „kíméletlen” logikai építmények együttesen adják a deduktív axiomatikát (például matematikát).

A természettudományok induktív axiomatikája eszközként-inputként kapja számára „készen”, általa nem változtathatóan a deduktív axiomatikai építményeket, például a matematikát. Ugyanis az induktív axiomatika (természettudományok) nem rendelkezik olyan műveleti eszközökkel (illetékességgel), amelynek felhasználásával megtehetné a deduktív axiomatika építményébe való avatott beavatkozást.

Nevezhetnénk az induktív axiomatikában a megtapasztalt valóságot induktív axiomának, de ez esetleg zavart okozna. Logikailag azonban helyes volna ha az axiomatika módszerének természetét vesszük alapul. Illetve akkor már az induktív axiomatikában a deduktív axiomatika is axiómaként beépülő inputnak tekinthető.

A tapasztalati tudományok induktív axiomatikájának sajátos területe a természettudományos tapasztalatok és elméletek (feltevések, elképzelések stb) egyeztetése, amely egyeztetésben a döntő mindig a tapasztalattal való illesztés.

A deduktív axiomatikában a mérhető, tapasztalható valóság indifferens, érdektelen, induktív axiomatikában pedig a tapasztalt (mért) valóságot nem írja felül a logika.

Továbbá a deduktív és induktív axiomatikában érvényesített alapelvek is tekinthetők axióma-féleségnek, hiszen az alapelveket sem írja felül az axiomatikus építkezés logikája (legfeljebb időnként átválogatják, újra rendezik őket – de sohasem valami univerzális levezetésből következően, hanem mindig az emberi elme, meggondolás következményeként).

Visszatérve a gondolatmenet elejére: végső soron lényegében metaforákra, metafora szerű sejtésekre épül mind a deduktív mind az induktív axiomatika. Ebből következően sohasem lehet lezárni az axiomatikus tudományok fogalmi rendszerét, hanem csak jobban-gyengébben működtetni őket.

A metafora jelleggel nem a felületességet, ötletszerűséget gondoltam hangsúlyozni, mert nemzedékek hosszú sorának erőfeszítéseként (nagy sikerek és megrendítő kudarcok árán) jutottunk el alapvető metaforáink kiszelektálódásához, az ember alkotta fogalmi alapkövek mai halmazához …..

-FÁ)))>>>