Modális és intenzionális logika [antikvár]

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.