Ruzsa Imre

A Wikidézetből, a szabad idézetgyűjteményből.

Ruzsa Imre (1921 – 2008.), filozófus.

Idézetek műveiből[szerkesztés]

Logikai szintaxis és szemantika[szerkesztés]

(Az olvasóhoz, részlet, a logika, matematika és filozófia viszonyáról szóló fejtegetések)

Logicam more logico

Az olvasóhoz

A modern logika prominens művelői már fölvetették azt a kérdést, hogy a matematikai módszereknek a logikába való behatolása következtében nem fog-e a 'logika' terminus a 'geometria' terminus sorsára jutni, azaz arra a sorsra, hogy egy elvont matematikai diszciplínát fog jelölni, és ha arról akarunk majd beszélni, amit a szó hajdanában jelentett, akkor a 'logika' helyett más kifejezést kell keresnünk. Úgy tűnik, ez a veszély egyelőre nem fenyeget. Először is, e görög - latin eredetű szó módosulatai az élő nyelvek sokaságában a köznapi szókincshez tartoznak (Logik, logique, logic stb.), s ez a tény, legalábbis rövid távon, valószínűtlenné tesz egy radikális jelentésváltozást. Másodszor, a matematika egy ágaként értelmezett logika megnevezésére jelenleg a 'matematikai logika' terminust használják, és reméljük, hogy a 'matematikai' jelzőt a jövődben sem fogják - a rövidség kedvéért - elhagyni.

Azt,hogy a logikát more mathematico kellene fölépíteni, valószínűleg Leibniz fogalmazta meg először. A gondolat azonban nem volt idegen sem Arisztotelész, sem a sztoikusok számára. Az antik görögök nem gondolták, hogy az axiomatikus-deduktív módszer kizárólag a matematikában alkalmazható. E módszer alkalmazásának nyomai világosan kimutathatók a kategorikus szillogizmusok arisztotelészi elméletében és a sztoikus kijelentéslogikában is. Érdekes, hogy a deduktív fölépítést a 17. században mint a geometria módszerét aposztrofálták (így Spinoza: Ethicam ordine geometrica demonstrata); ez nyilván onnan ered, hogy Eukleidész geometriája volt a deduktív módszer alkalmazásának szinte egyetlen ismert példája. A logika matematizálása ténylegesen a 19. században kezdődött meg. Ezzel kapcsolatban föl kell vetnünk a következő kérdést: A matematika részévé válik-e egy tudományos diszciplína, ha fölépítéséhez matematikai eszközöket és módszereket használnak?

A válasz e kérdésre az, hogy nem kell azzá válnia, s ennek élő bizonyítéka a fizika, amely - bár elsőként használt matematikai eszközöket - napjainkig megőrizte önállóságát. Ha egy diszciplína tárgya valamely reális természeti vagy társadalmi jelenségkör, a matematikai módszerek és eszközök, modellek alkalmazásával sem válhat a matematika részévé. Inspirálója lehet azonban annak, hogy kialakuljon a matematika egy új ága, különösen ha az alkalmazott matematikai módszerek eléggé homogén jellegűek. Így a fizika inspirálta az egész matematikai analízist, bár az elvétve használt matematikai fizika terminus nem ezt jelöli (hanem az elméleti fizikát).

A matematikai módszerek alkalmazása a logikában ugyancsak inspirálója lett a matematika egy új ágának; ez az, amit matematikai logikának neveznek. Mint matematikai diszciplína, ez magában foglalja a logika matematikai apparátusát, de ezen kívül olyan formális (interpretálatlan) matematikai rendszerekkel is foglalkozik, amelyek az eredeti értelemben vett logikai rendszerek bizonyos általánosításai, ám ténylegesen kevés közük van magához a logikához. Napjainkban a logika és a matematikai logika közötti kapcsolat egyre inkább hasonlít a geodézia és a geometria közötti kapcsolathoz. Ennek reakciójaként született meg a filozófiai logika terminus, azzal a céllal, hogy elhatárolja a saját kutatási területtel bíró logikát a matematika egyik ágaként funkcionáló matematikai logikától. Ha az utóbbi nevében nem szerepelne a 'logika' szó, akkor a 'filozófiai logika' terminus teljesen fölösleges, sőt értelmetlen lenne. (Ez nem jelenti azt, hogy jelen körülmények között a 'filozófiai logika' terminus találó vagy előnyös. Az igazság az, hogy egy rossz terminus kiprovokálta egy másik rossz terminus létrejöttét.)

A kialakult helyzet megértéséhez figyelembe kell vennünk a logika matematizálásának első lépéseit. Itt élesen el kell határolnunk két irányzatot. Az egyik George Boole és Ernst Schröder vonala. Ők matematikai modellt készítenek bizonyos egyszerű logikai kapsolatok számára, fő törekvésük azonban e modell elvont matematikai tanulmányozása. A kifejtés előrehaladtával a logikai forrás egyre inkább homályba vész. Munkáikból fejlődött ki a Boole-algebra. A másik vonal főalakja Gottlob Frege, aki olyan szabatos logikai elmélet kidolgozását tűzi ki élul, amely alkalmas a matematikai bizonyítások rekonstruálására. Az ő Fogalomírásának megjelenésével (1879) datálhatjuk a modern (szimbolikus) logika megszületését. (Itt a 'szimbolikus' jelző a korábbi, az ún. tradicionális logikától való elhatárolást célozza.) A mai matematikai logikában ez a két tendencia fuzionált. A logika számára modellül szolgáló formális rendszerek mellett ott találjuk ezek olyan általánosításait is, amelyeknek a logika számára (legalábbis jelenleg) nincs funkciójuk. Egészében véve a matematikai logika nem logika, bár magában foglalja a logika műveléséhez szükséges matematikai apparátust is.

A matematikai logika elemi szintű tanulmányozásából ez persze nem derül ki. A geometria elemeivel ismerkedő kisdiák sincs tudatában annak, hogy egy elvont, interpretálatlan matematikai elmélettel van dolga, hiszen a környezetéből vett példák és feladatok sokaságának közvetítésével fejlesztik geometriai absztrakciós készségét. Ugyanígy, ha egy szerző bevezető tankönyvet ír a matematikai logikáról, általában nem hagyja figyelmen kívül a logikai interpretációt, sőt a legtöbb esetben valóban logikát tanít, és inkább csak a kitekintő jellegű megjegyzésekből derül ki, hogy az egészet egy interpretálatlan matematikai elméletnek is föl lehetne fogni, amelynek más alkalmazásai is lehetnek. (A magyar olvasó számára érdekes lehet e szempontból W. V. O. Quine A logika módszerei című és Varga Tamás Matematikai logika kezdőknek című könyvének összehasonlítása. Lényegét tekintve mindkét szerző ugyanazt a logikát tanítja, és inkább csak a stílus árulkodik arról, hogy Quine számára a logika, Varga Tamás számára a matematikai módszer az elsődleges.)

E problémákról azért kellett itt szólnom, hogy helyesen tájékoztathassam az olvasót e könyv tárgyáról és céljáról. Ha valaki átlapozza e könyvet, könnyen kialakulhat az a benyomása, hogy a könyv matematikai logikával foglalkozik. A szerző ezzel nem is vitázhat: a logika tudományában alkalmazott matematikai módszerek, eszközök, modellek ismertetése, a kialakult szokások szerint, valóban a matematikai logika szférájába sorolható. Ha azonban egy matematikus vagy még inkább: a matematikai logikában némileg tájékozott olvasó kezébe kerülne e könyv, bizonyára szóvá tenné, hogy a könyv nem foglalkozik számos, szerinte ideillő témával. Van benne szó a formalizált nyelvekről, de nincs szó a végtelen ábééjű nyelvekről; beszél az igazságfüggvényekről, de nem szól a több mint kétértékűekről; foglalkozik a halmazelméleti szemantikával, de hallgat a különféle algebrai szemantikákról, a Boole-algebrákról, a cilindrikus algebrákról stb. Nem tárgyalja rendszeresen a modellelméletet, sem a bizonyításelméletet (metamatematikát).

E hiánylistára - amely esetleg még hosszabb is lehet - a szerző válasza az, hogy nem a matematikai logikáról, hanem a logikáról óhajtott könyvet írni, és nem azoknak ajánlja könyvét, akiket a modern logika kizárólag a matematika szempontjából érdekel. A matematikai apparátus e könyvben csupán eszköz, nem cél. A könyv célja a modern logika 20. századbeli legfontosabb (a szerző megítélése szerint legfontosabb) fejlődési vonalába tartozó elméletek matematikai szabatosságú ismertetése, a klasszikus elsőrendű logikától a modern típuselméleti intenzionális logikáig.

...

Forrás[szerkesztés]

  • Ruzsa Imre: Logikai szintaxis és szemantika. Akadémiai Kiadó, Bp.,1988. ISBN 963–05–4719