Pavel Tichý

Pavel Tichý (Czech:

Tichý was born in Brno in 1936. His father was an insurance clerk. His family lived in Zlín until 1948 when they moved to Vsetín. At school he was already a brilliant student. He also liked playing music of Jaroslav Ježek on the piano. After finishing studies in Vsetín he moved to Prague followed by his parents. Tichý graduated in 1959 at Charles University in Prague. He stayed there tutoring as an assistant from 1961 to 1968 at the department of Logic in the Faculty of Philosophy. One of his other hobbies was carpentry. He was said to be a perfectionist in everything he did, whether he was learning a foreign language or making a table.

In 1968 he received an invitation from

• Charles University, 1959), thesis: Výklad Gödelovy věty o neúplnosti v prosté teorii typů [An Exposition of Gödel's Incompleteness Theorem in the Simple Theory of Types
  ]
• Candidate of Sciences (Charles University, 1964), thesis: Vyčíslitelnost ve vztahu k teoriím [On Computability w.r.t. Theories]
• Semantics
• Postulate
  Systems
• Associate Professor, University of Otago, 1978
• Professor, University of Otago, 1981

Books

• P. Tichý (1988): The Foundations of Frege's Logic. De Gruyter, Berlin and New York 1988, 333 pp.,
  ISBN 3-11-011668-5
• V. Svoboda, B. Jespersen, C. Cheyne (Eds.) (2004): Pavel Tichý's Collected Papers in Logic and Philosophy. Filosofia, Prague and Otago University Press, Dunedin, 901 pp.,
  ISBN 1-877276-98-7

• Tichy's biography and bibliography – Transparent Intensional Logic website, Masaryk University, Brno
• Tichy's biography – Mac Tutor Biographies, University of St Andrews, Scotland
• Tichy's biography – University of Otago