Elnezest kerek mindenkitol, hogy elozo uzenetemben az alabbi meghivo helyett a hozza tartozo cikket kuldtem el: Az ELTE BTK Logika tanszek szeminariuman majus 21., csutortok du. 4-kor Mihalydeak Tamas (KLTE, Debrecen) tart vitainditot LOGIKAFILOZOFIAROL --- MASKEPPEN cimmel. Helyszin: Pesti B. u. 1., A ep. felem. 23. A vita alapjaul szant cikket erdeklodoknek keresre megkuldom Word 6.0 formatumban. Kivonatat ld. alabb. Mate Andras A kivonat: Egy olyan beszelgetest szeretnek kezdemenyezni, amely a logikafilozofiai kerdeseket az elo3feltevesek oldalarol probalja megragadni. Nagyon altalanosan a kerdes ugy fogalmazhato meg, hogy a legkulonbozobb logikai rendszerek milyen elofelteveseket fogadnak el, mire tamaszkodnak akkor, amikor logikai rendszerkent jelennek meg. Szandekom szerint explicitte szeretnem tenni azokat a donteseket, amelyek nelkul logikafilozofiai ertelemben nem erthetjuk igazan azt, ami letrejon akkor, amikor egy logikai rendszer felepitese megtortenik. Nem tagadhatom (sot hangsulyozni szeretnem), hogy eddigi vizsgalataim soran tul sokra nem jutottam. Az alapkoncepcio kihamozhato abbol a rovidke irasbol, amely a tanszeken beszerezheto. (Az iras vazlatossaga, s osszerendezetlensege miatt mindenkitol elnezest szeretnek kerni. Egy keszulo munka elso fogalmazvanyarol van szo.) Szandekom szerint ez az iras kepezne a beszelgetes alapjat. Ahogy most latom, a funktor-argumentum felbontas, s a hozza szorosan kapcsolodo kompozicionalitas a legkulonbozobb logikai rendszerek elengedhetetlen elofeltevese. Vajon ezen elofelteves lepesrol lepesre torteno specifikacioja alkalmas-e arra, hogy explicitte tegyuk a logikai rendszerek elofelteveseit? A beszelgetes soran azt szeretnem bizonyitani, hogy - legalabbis az elofeltevesek egy meghatarozott korere - alkalmazhato a javasolt eljaras. ============================================================================== Andras Mate CSc, assoc. prof. -- Dept. of Symbolic Logic Lorand Eotvos University Budapest, Faculty of Arts and Humanities H-1364 Budapest, POB 107 Phone: (36 1) 266 9100/5328 -- TAD/Fax: (36 1) 266 41 95 e-mail:mate@isis.elte.hu Home: H-1119 Budapest, Nandorfehervar koz 11 / Phone: (36 1) 204 0489