Az [[Eötvös Loránd Tudományegyetem]] [[Természettudomány]]i Karán végez [[1956]]-ban [[matematika]]-[[fizika]] tanárként. Ezután középiskolában tanít, míg [[1960]]-ban meghívásmeghívást nem nyer a ELTE [[Analízis]] Tanszékére, ahol [[tanársegéd]]ként, majd [[adjunktus]]ként tevékenykedik. Már [[1963]]-ban résztvesz a filozófia szakos hallgatók logika képzésében, [[1965]]-től az MTA Filozozófiai Intézetének tudományos munkatársa. Ettől kezdve a bölcsészkar neves oktatója, kutatója. [[1978]]-tól egyetemi tanár, [[1982]]-ben pedig a BTK újonnan alakult, a Logika Tanszékből kivált Szimbolikus Logika és [[Tudománymetodológia]] Tanszék vezetője [[1990]]-ig, nyugdíjbavonulásáig. Később, a [[marxizmus-leninizmus|Marxizmus-Leninizmus]] Tanszékcsoport elmúlásával, a Ruzsa és munkatársai által alapított tanszék lett a BTK Logika Tanszéke, ahol vezetése alatt már a 80-as években színvonalas, nemzetközi szinten is érdemesített tudományos kutatás folyik. [[1998]]-óta [[professor emeritus]].
