Modális és intenzionális logika

Előszó

Az olvasóhoz
A magyar-szovjet társadalomtudományi együttműködési egyezmény keretében 1979. október 22. és 25. között került sor az első magyar-szovjet logikai szimpozion megrendezésére Budapesten, Modális és intenzionális logika cimmel. A szimpozionon a Szovjetunió Tudományos Akadémiája Filozófiai Intézetének négytagú delegációja vett részt. A szimpozion szervezője, a Magyar Tudományos Akadémia megbizásából, az Eötvös Loránd Tudományegyetem Bölcsészettudományi Karának Logika Tanszéke volt. A szimpozionon 9 előadás hangzott el, 2 szovjet és 7 magyar kutató beszámolója. Eredeti formájukban ezek az előadások a logika szakemberei számára szóltak. Kötetünk célja a szimpozion anyagának, témakörének a modern szimbolikus logika iránt érdeklődők szélesebb körével való megismertetése. Ennek érdekében a szimpozion eredeti anyagán a következő módositásokat eszközöltük:
(1) Bevezető tanulmányban ismertetjük a modern modális logika azon alapfogalmait, amelyekre a szimpozion minden előadása - kisebb vagy nagyobb mértékben - támaszkodik.
(2) A magyar szerzők többsége átdolgozta eredeti előadását annak érdekében, hogy kevesebb szakmai előismerettel is követhető legyen. Madarászná Zsigmond Anna két előadását egyetlen komplex tanulmányba foglalta Össze.
(3) A szovjet szerzők előadásait szerkesztői megjegyzésekkel kiegészítettük.
(4) A fontosabb logikai és halmazelméleti szimbólumok jegyzéke mely a következő lapon található - ugyancsak a cikkek tanulmányozásának megkönnyítését óhajtja szolgálni.
A kötet még ezen "fellazítások" után sem könnyed olvasmány; ez azonban a tárgy természetének nehezen elkerülhető velejárója. Kötetünk cikkei az I-től IX-ig terjedő sorszámokat viselik. Valamennyi tanulmányhoz irodalomjegyzék csatlakozik. Az egyes cikkekben a szögletes zárójelek közé irt arab számok / pl. (3.)/ a cikk végén található irodalomjegyzékre utalnak. A szögletes zárójelek közé irt római számok /pl. [i] / viszont a jelen kötet azonos számozású cikkére hivatkoznak. Vissza