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 )