Andrzej Grzegorczyk Born in 1922. University degrees: Master's degree 1945 at Cracov University (in exact philosophy). Ph.D. 1950 Warsaw University (in Mathematics). Main positions: since 1960 professor of Mathematical Logic in the Institute of Mathematics of the Polish Academy of Science (Warsaw). Since 1973 professor of Philosophy in the Institute of Philosophy and Sociology of the Polish Academy of Science (Warsaw). Since 1992 professor emeritus at the same Institute. Short-time positions abroad: 4 months lectures in Amsterdam, 2 months in Rome. Since 1978 member of the International Institute of Philosophy. Main interests: exact philosophy, formal logic, foundation of mathematics, methodology of science, foundation of ethics, foundation of religion. PUBLICATIONS Mathematical Logic: about 40 formal papers in professional journals. 5 books: in English: An outline of Mathematical Logic. Reidel-Holland 1974. 596p (A big textbook of logic and metalogic) (5 Polish editions); in French: Fonctions Recursives. Gauthier-Villars Paris 1961. 100p; Popular logic (editions: in Polish 1955, 1958, 1961, in Czech 1957, in Russian 1965) 130p; An outline of Theoretical Arithmetics (in Polish 1971) 314p. Decision problems (in Polish 1957) 142p. Philosophy: 7 books in Polish, chiefly in ethics. About 20 philosophical papers in Polish. Also papers in English and French. =============================================================== The last book: "Logic - a Human Affair", Warsaw 1997 - A discussion with antipsychologism and other topics. The author a follower of the Lvov-Warsaw School of Philosophy and the Foundations of Mathematics presents logic as a lively discipline situated in the mainstream of European thought. Grzegorczyk, in opposition to his erstwhile teachers, characterises logic in psychological way as a set of rules which preserve the assertions of the majority of properly educated and unperverted people. Nevertheless, to his opinion, Classical Logic is a formal theory of the atemporal conception of existence, lexicalized by the existential quantifier. Logic is presented in the book not only as a fundamental tool but also as a basic ontology. All the chapters are ordered in the classical Aristotelian way: more general subjects precede the more particular. Hence, semantics dealing with human utterances is preceded by reflections concerning human rationality, human life, and general structure of existence. The methodological organization of thought is exhibited as European invention which laid the foundations of science. Due to his psychologism, Grzegorczyk presents the paradox of Eubulides converted into a positive theorem (formally proved): There is a linguistically properly stated problem such that no human being sufficiently methodologically educated, who tackles this problem, thinks about it consistently, sincerely and fully consciously. Alfred Tarski shared with other logicians the antipsychologistic tendency. He preached that the natural language leads to contradiction by its very nature. Grzegorczyk rejects this conviction and proposes a formal system of Universal Syntax imitating the versatility of colloquial language. The axiomatization of quotation-operator is his most relevant device, which allows him to fuse logic with metalogic and to prove the Adequacy Theorem (for the notion of truth). Contents: Foreword. Logic as the Most General Ontology. The Ontology of the Peculiarities of Existence. Logical Structures in Anthropology. The Rationalistic Condition. European Rationalism. Codification of European Rationalism. Briefing by Semantical Paradoxes. Introduction to Tarski's Definition of the Classical Conception of Truth. Searching for a Universal Syntax and a Proof of the Adequacy Theorem for the Classical Conception of Truth. Can postmodernity invade logic ? Of course, the deconstruction of logical rules is not at stake. There would be no logic. Nevertheless the foundation of logic could be rocked. In his recent book the well known Polish logician Andrzej Grzegorczyk, pupil of Andrzej Mostowski and "grand-pupil" of Alfred Tarski, undermines and rebuts the classical antipsychologistic tendency of modern logic. ( a leaflet )