His decades-long involvement with the European community in logic, language, and computation, made him a widely known international presence. As such, he was a constant visitor at the Amsterdam Colloquia in formal semantics, and the European ESSLLI Summer Schools in Logic, Language and Information. Principal professional activities Visitor, Philosophy Department, Harvard University, six weeks, F. N. R. S. scholarship May–June 1971. Research Fellow of the American Council of Learned Societies, Stanford University and the University of California, Berkeley 1974–1975. Invited Professor to the Collège de France, December 1981. Research Fellow, National University of Australia, Canberra (Research School of Social Sciences), three months 1984. Francqui Chair at the University of Gand, 1988. Research Fellow, National University of Australia, Canberra (Automated Reasoning Project) three months in 1995. Visiting professor, University of Puerto-Rico, March 2001. Guest Researcher: three weeks at the Universities of Tsukuba and Shizuoka (Japan), November–December 2003. Speaker at the "Conférences Pierre Duhem", Paris, Inaugural Session, April 2006. Memberships Gochet was a member of the following organizations: Member of the Académie Royale de Belgique Institut International de Philosophie Académie Internationale de Philosophie des Sciences Aristotelian Society (London) Centre National de Recherche de Logique Société belge de Logique et de Philosophie des Sciences Société belge de Philosophie Société de Philosophie de Louvain Société de Philosophie des Sciences (Paris) Honorary president of the Société de Philosophie Analytique de 1997–2003 Honorary president of The European Association for Logic, Language and Information (Amsterdam) Co-director of Section at the Institut des Hautes de Belgique Editorial boards Gochet served on the editorial boards of Dialectica, Grazer Philosophische Studien, Logique et Analyse, Philosophiques, and Revue internationale de Philosophie. Selected works Esquisse d'une théorie nominaliste de la proposition, Paris, Armand Colin, 1972 Quine en perspective, Paris, Flammarion, 1978 Outline of a Nominalist Theory of Propositions: an essay in the theory of meaning and in the philosophy of logic, Dordrecht, D. Reidel, 1980 Ascent to Truth: a critical examination of Quine's philosophy, Munich, Philosophia Verlag, 1986 With Pascal Gribomont Logique; vol. 1: Méthodes pour l'informatique fondamentale, Paris, Hermes, 1991 Logique: vol. 2: Méthodes formelles pour l'étude des programmes, Paris, Hermes, 1994 "Epistemic Logic", Handbook of the History of Logic, vol. 7, Twentieth Century Modalities, Dov Gabbay and John Woods (eds.), Amsterdam, Elsevier, 2006, 99–195 Selected translations Le Mot et La Chose, French transl. (with J. Dopp) of W. V. O. Quine, Word and Object, Paris, Flammarion, 1999 (2nd ed.) Le