On 16 December 2010, during his visit to Opole, Edward Zalta, Professor of Stanford University (California, USA), delivered a lecture under the title Three Lines of Investigation at the Metaphysics Research Lab. The lecture was organized in cooperation with the Institute of Philosophy of Opole University. It was held at Blue Auditorium of Collegium Maius, Opole University.
At the beginning, Professor Urszula Wybraniec-Skardowska welcomed the guests and thanked the lecturer for accepting the invitation to visit Opole and give a lecture at Opole University. Professor Janusz Czelakowski underlined the fact that the lecture was one in the series of monthly meetings organized by the Group of Logic, Language and Information.
Professor Adam Grobler, Head of the Institute of Philosophy of Opole University, presented the scientific silhouette of the lecturer. Professor Edward Zalta, a lecturer of Stanford University in California and in many other universities all over the world, specializes mainly in metaphysics, formal ontology, epistemology, philosophy of language, intesional logic and computational metaphysics. He is best-known for his standpoint assumed towards non-existing objects, a continuator of the Meinongian tradition and the creator and chief editor of Stanford Encyclopedia of Philosophy.
During his lecture, Professor Edward Zalta presented three lines of research conducted at the Metaphysics Research Laboratory of Stanford University. In compliance with them, the lecturer presented – in turn – an outline of the theory of abstract objects, epistemology for these objects and computational metaphysics. Finally, he made a presentation of Prover9 program and its functioning.
A discussion followed the lecture. In it, references were made to several issues raised in the latter. Some of the themes discussed by the lecturer were later taken up at the open meeting-seminar of the Opole Group of Logic, Language and Information, in which Professor Edward Zalta took part as well.
During his visit to Opole University, Professor Edward Zalta met some representatives of the Opole University authorities.