Pavel Tichý (Czech: [ˈpavɛl ˈcɪxiː] ; 18 February 1936, Brno, Czechoslovakia – 26 October 1994, Dunedin, New Zealand) was a Czech logician, philosopher and mathematician.
He worked in the field of intensional logic and founded Transparent Intensional Logic, an original theory of the logical analysis of natural languages – the theory is devoted to the problem of saying exactly what it is that we learn, know and can communicate when we come to understand what a sentence means. He spent roughly 25 years working on it. His main work is a book The Foundations of Frege's Logic, published by Walter de Gruyter in 1988.
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 Vsetin 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 at Faculty of Philosophy. One of his other hobbies was carpentry. He was said to be perfectionist in everything he did, whether he was learning a foreign language or making a table.
In 1968 he received an invitation from Exeter University in the United Kingdom. He was permitted to leave the country even though it was shortly after Soviet troops invaded Czechoslovakia in the Prague Spring. He decided not to return. In 1970 he emigrated with his family to New Zealand, by ship. He started teaching at the University of Otago in Dunedin, New Zealand where he became Professor of Philosophy at Otago in 1981. Tichý stayed teaching there until his death. He is remembered as ferocious debater who liked to express his views directly regardless of any bad implications it could have. This made him a lot of friends but also a lot of enemies.
Four years after the Velvet Revolution, in 1993, Tichý was offered the position of Head of the Department of Logic at the Faculty of Philosophy and Arts of Charles University in Prague. He planned to move to Prague in 1995 but committed suicide before taking up this position.[ citation needed ]
Edmund Gustav Albrecht Husserl was a German philosopher who established the school of phenomenology. In his early work, he elaborated critiques of historicism and of psychologism in logic based on analyses of intentionality. In his mature work, he sought to develop a systematic foundational science based on the so-called phenomenological reduction. Arguing that transcendental consciousness sets the limits of all possible knowledge, Husserl redefined phenomenology as a transcendental-idealist philosophy. Husserl's thought profoundly influenced 20th-century philosophy, and he remains a notable figure in contemporary philosophy and beyond.
Kurt Friedrich Gödel was a logician, mathematician, and analytic philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were analyzing the use of logic and set theory to understand the foundations of mathematics pioneered by Georg Cantor.
Friedrich Ludwig Gottlob Frege was a German philosopher, logician, and mathematician. He worked as a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philosophy, concentrating on the philosophy of language, logic, and mathematics. Though he was largely ignored during his lifetime, Giuseppe Peano (1858–1932) and Bertrand Russell (1872–1970) introduced his work to later generations of philosophers.
Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, proving the unsolvability of the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem. He also worked on philosophy of language.
Rudolf Carnap was a German-language philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism. He is considered "one of the giants among twentieth-century philosophers."
Analytic philosophy is a branch or tradition of philosophy using analysis which is popular in the Western World and Anglosphere, beginning around the turn of the 20th century in the contemporary era and continues today. In the United Kingdom, United States, Canada, Australia, New Zealand and Scandinavia, the majority of university philosophy departments today identify themselves as "analytic" departments.
Arthur Norman Prior, usually cited as A. N. Prior, was a New Zealand–born logician and philosopher. Prior (1957) founded tense logic, now also known as temporal logic, and made important contributions to intensional logic, particularly in Prior (1971).
George Stephen Boolos was an American philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
David Benjamin Kaplan is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.
Intensional logic is an approach to predicate logic that extends first-order logic, which has quantifiers that range over the individuals of a universe (extensions), by additional quantifiers that range over terms that may have such individuals as their value (intensions). The distinction between intensional and extensional entities is parallel to the distinction between sense and reference.
In logic, anti-psychologism is a theory about the nature of logical truth, that it does not depend upon the contents of human ideas but exists independent of human ideas.
Richard Milton Martin was an American logician and analytic philosopher. In his Ph.D. thesis written under Frederic Fitch, Martin discovered virtual sets a bit before Quine, and was possibly the first non-Pole other than Joseph Henry Woodger to employ a mereological system. Building on these and other devices, Martin forged a first-order theory capable of expressing its own syntax as well as some semantics and pragmatics, all while abstaining from set and model theory, and from intensional notions such as modality.
In the philosophy of language, the descriptivist theory of proper names is the view that the meaning or semantic content of a proper name is identical to the descriptions associated with it by speakers, while their referents are determined to be the objects that satisfy these descriptions. Bertrand Russell and Gottlob Frege have both been associated with the descriptivist theory, which is sometimes called the Frege–Russell view.
Transparent intensional logic is a logical system created by Pavel Tichý. Due to its rich procedural semantics TIL is in particular apt for the logical analysis of natural language. From the formal point of view, TIL is a hyperintensional, partial, typed lambda calculus.
Following the developments in formal logic with symbolic logic in the late nineteenth century and mathematical logic in the twentieth, topics traditionally treated by logic not being part of formal logic have tended to be termed either philosophy of logic or philosophical logic if no longer simply logic.
Matthias Schirn is a German philosopher and logician.
Graham Oddie is a New Zealand philosopher who lives and works in the United States. He has been Professor of Philosophy at the University of Colorado since 1994.
Jindra Tichá is a Czech-born academic and writer living in New Zealand. In 2012, she was voted the 11th most influential Czech expatriate by the Czech public.
Logic is the systematic study of valid rules of inference, i.e. the relations that lead to the acceptance of one proposition on the basis of a set of other propositions (premises). More broadly, logic is the analysis and appraisal of arguments.
Pavel Materna is a Czech philosopher, logician and key representative of transparent intensional logic.