Pavel Tichý

CURRICULUM VITAE

18 February 1936 in Brno (Brünn), Czechoslovakia (now Czech Rep.) - 26 October 1994 in Dunedin, New Zealand

Education:

• Charles University, Prague 1954-59, Philosophy and Mathematics

Degrees:

• PhDr. (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]
• Docent (Charles University, 1969), thesis: Intensions in Terms of Turing Machines and On the Vicious Circle in Definitions: Two Studies in Logical Semantics
• PhD (Exeter University, 1971), thesis: Contributions to the Theory of Postulate Systems

Academic appointments:

• 1961-1968 Lecturer, Department of Logic, Charles University, Prague, Czechoslovakia
• 1968-1970 Research Fellow, Department of Philosophy, University of Exeter, England
• 1971-1975 Senior Lecturer, Department of Philosophy, University of Otago, New Zealand
• 1976-1977 Andrew Mellon Postdoctoral Fellow, Department of Philosophy, University of Pittsburgh, U.S.A.
• 1978-1981 Associate Professor, Department of Philosophy, University of Otago, New Zealand
• 1981-1994 Professor, Department of Philosophy, University of Otago, New Zealand
• in 1995 he was to become the head of Dept. of Logic at Faculty of Arts, Charles University, Prague, Czech Republic

Courses recently taught:

• Introduction to Logic (a computer-aided course)
• First-Order Logic (up to the completeness theorem)
• Computability and Incompleteness (up to Gödel's incompleteness theorem)
• Intensional Logic (higher order logic with philosophical applications)
• Recent Philosophy (in particular Brentano, Meinong, Frege, Russell, and Carnap)
• Contemporary Philosophy (in particular Kripke and Putnam)

LAST RESEARCH PROJECT

"Meaning Driven Grammar" (MDG). Current linguistic theories treat syntax of a natural language separately from meaning. They either assume that syntax is autonomous and relegate meaning to a different linguistics 'module', or deem semantics to be a matter of translating ordinary-language expressions into another language (whose meanings are regarded as given). In either case specific coding system underlying the language in question is left undeciphered. MDG is based on the hypothesis that form and meaning are inseparable and that an adequate grammar must generate not just well-formed sentences but sentence-meaning pairs. (Meanings are identified with logical constructions, a notion proposed and explored in previous publications, especially in The Foundations of Frege's Logic.)

PUBLICATIONS

Complete List of Publications by Pavel Tichý according to Tichý's Collected Papers in Logic and Philosophy

Books:

• (1963): Logika pro PI [Logic for Students of Pedagogical Institutes]. Praha: Státní pedagogické nakladatelství, 91 pp.


• (1968): Logická stavba vědeckého jazyka [The Logical Structure of Scientific Language]. Praha: Státní pedagogické nakladatelství, 232 pp.


• (1976) Introduction to Intensional Logic. unpublished book manuscript (one of typewriter-version has more than 900 pp.; written within 1973-1976).


• (1988): The Foundations of Frege's Logic. Berlin-New York: Walter de Gruyter. 333 pp.
  
            reviewed by:
  
  • Materna, Pavel in: Theoretical Linguistics 15 (1989)
    
  • Park, Woosuk in: Mathematical Reviews (1990), 1362-1363
    
  • Frey, Gregory R. in: Noûs 27 (1993), 532-535
    


• Meaning-Driven Grammar. unfinished book manuscript (without a title given by Tichý; written probably during the early 1990s).


• (1996): O čem mluvíme? Vybrané stati k logice a sémantice [What Do We Talk About? Selected Papers for Logic and Semantics], Jaroslav Peregrin (ed.). Praha: Filosofia, 161 pp. (selection of 7 translated articles, see below)


• (2004): Pavel Tichý's Collected Papers in Logic and Philosophy, Vladimír Svoboda, Bjørn Jespersen, Colin Cheyne (eds.), Otago: Otago UP, Praha: Filosofia (contains Tichý's 46 papers, mostly reprints, 6 of them are translations into English)
  
            reviewed by:
  
  • Čakovská, Barbora in: Organon F 13, 4, (2006)
    

Papers: ("#" means translation, "$" means reprint, "CP" means "Pavel Tichý's Collected Papers in Logic and Philosophy")

• (1962): Eine Exposition des Gödelschen Unvollständigkeitsbeweises in der einfachen Typentheorie, In: Acta Universitatis Carolinae (Philosophica et Historica), 5, 95-97.
  
  • # in CP as: An Exposition of Gödel's Incompletness Proof in the Single Type Theory, 39-42
    


• (1965): Mají logicky pravdivé věty obsah?, Filosofický časopis 13, 82-86.
  
  • # in CP as: Do Logically True Sentences Have Content?, 45-51
    


• (1966): K explikaci pojmu obsah věty, Filosofický časopis 14, 364-372.
  
  • # in CP as: On Explication of the Notion 'the Content of a Sentence', 55-67
    


• (1967): Poznámka k pojmu problému a řešitelnosti, Kybernetika 3, 105-109.
  
  • # in CP as: A Remark On the Notion of Problem and Solvability, 71-75
    


• (1968): Smysl a procedura, Filosofický časopis 16, 222-232.
  
  • # in CP as: Sense and Procedure, 79-92
    


• (1969): Intension in Terms of Turing Machines, Studia Logica 24, 1, 7-21.
  
  • $ in CP, 95-109 (not including 1,5 p. abstract in Polish and 1,5 abstract in Russain published immediately behind the original print of Intension in Terms of Turing Machines in Studia Logica)
    


• (1971): An Approach to Intensional Analysis, Noûs 5, 3, 273-297.
  
  • $ in CP, 113-137
    


• (1971): On the Vicious Circle in Definitions, Studia Logica 28, 1, 19-40.
  
  • $ in CP, 141-160
    


• (1971): Synthetic Components of Infinite Classes of Postulates, Archiv für Mathematische Logik und Grundlagenforschung 17, 2, 167-178.
  
  • $ in CP, 163-174
    


• (1972): Plantinga on Essence: A Few Questions, The Philosophical Review 81, 1, 82-93.
  
  • $ in CP, 177-188
    


• (1973): On de dicto Modalities in Quantified S5, Journal of Philosophical Logic 2, 3, 387-392.
  
  • $ in CP, 191-196
    


• (1974): On Popper's Definitions of Verisimilitude, British Journal for the Philosophy of Science 25, 2, 155-188.
  
  • # (1996): O Popperových definicích verisimilitude, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 27-35.
    
  • $ in CP, 199-204
    


• (1975): What Do We Talk About?, Philosophy of Science 42, 1, 80-93.
  
  • # (1996): O čem mluvíme?, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 37-58.
    
  • $ in CP, 207-220
    


• (1976): A Counterexample to the Stalnaker-Lewis Analysis of Counterfactuals, Philosophical Studies 29, 4, 271-273.
  
  • $ in CP, 223-225
    


• (1976): Verisimilitude Redefined, British Journal for the Philosophy of Science 27, 1, 25-42.
  
  • $ in CP, 223-245
    


• (1978): De dicto and de re, Philosophia 8, 1, 1-16.
  
  • # (1996): De dicto a de re, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 79-94.
    
  • $ in CP, 249-264
    


• (1978): A New Theory of Subjunctive Conditionals, Synthese 37, 3, 433-457.
  
  • $ in CP, 267-291
    


• (1978): Two Kinds of Intensional Logic, Epistemologia 1, 143-164.
  
  • # (1996): Dva druhy intenzionální logiky, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 59-78.
    
  • $ in CP, 307-328 (1,5 pp. abstract in Italian included)
    


• (1978): Verisimilitude Revisited, Synthese 38, 2, 175-196.
  
  • $ in CP, 331-352
    


• (1978): Questions, Answers, and Logic, American Philosophical Quarterly 15, 4, 275-284.
  
  • $ in CP, 295-304
    


• (1979): Existence and God, The Journal of Philosophy 76, 8, 403-420.
  
  • # (1996): Existence a Bůh, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 95-117.
    
  • $ in CP, 355-372
    


• (1980): Merill On What a Sentence Says, Philosophical Studies 37, 2, 197-200.
  
  • $ in CP, 405-408
    


• (1980): The Logic of Temporal Discourse, Linguistics and Philosophy 3, 3, 373-369.
  
  • # (2004): Logika temporálního diskurzu, In: Rostislav Niederle (ed.), Potřebuje bůh indexické výrazy?, Brno: Vutium, 57-83.
    
  • $ in CP, 375-401
    


• (1980): The Semantics of Episodic Verbs, Theoretical Linguistics 7, 3, 264-296.
  
  • $ in CP, 411-444
    


• (1980): The Transiency of Truth, Theoria 46, 2-3, 165-182.
  
  • $ (1999): The Transiency of Truth, In: Tooley, Michael (ed.), Time and Causation (Analytical Metaphysics Series Number 2), New York-London: Garland Publishing Inc.
    
  • # (1994): Die Vergänglichkeit der Wahrheit, In: Kienzle, B (ed.), Zustand und Ereignis, Frankfurt am Main: Suhrkamp, 148-168.
    
  • $ in CP, 447-464
    


• (1982): The Foundations of Partial Type Theory, Reports on Mathematical Logic 14, 57-72.
  
  • $ in CP, 467-480
    


• (1982): The Logic of Ability, Freedom, and Responsibility, Studia Logica 41, 2-3, 227-248 (with Graham Oddie).
  
  • $ in CP, 483-504
    


• (1983): Kripke on Necessity a posteriori, Philosophical Studies 43, 2, 241-255.
  
  • the earlier version was published in (1982), R. G. Durant (ed.), Essays in Honour of Gwen Taylor, Otago University Department: Dunedin, 279-303
    
  • $ in CP, 507-523
    


• (1983): Ability and Freedom, American Philosophical Quarterly 20, 2, 135-147 (with Graham Oddie).
  
  • $ in CP, 527-539
    


• (1983): Errata to 'Foundations of Partial Type Theory', Reports on Mathematical Logic 16, 55-56.
  
  • these errata are inserted in the $ of the respective paper in CP
    


• (1983): Foundations of partial type theory, Journal of Symbolic Logic 48, 2, 519-526.
  
  • not a paper but an abstract of [Tichý 1982] (The Foundations of Partial Type Theory); it is not not included in CP
    


• (1984): Subjunctive Conditionals: Two Parameters vs. Three, Philosophical Studies 45, 2, 1-13.
  
  • $ in CP, 543-575
    


• (1985): Do We Need Interval Semantics?, Linguistics and Philosophy 8, 263-282.
  
  • $ in CP, 579-598
    


• (1986): Frege and the Case of Missing Sense, Grazer Philosophische Studien 27, 1, 27-47.
  
  • # (2004): Frege a případ nezvěstného smyslu, Organon F 11, 2, 174-193.
    
  • $ (2004): Frege a případ nezvěstného smyslu, In: Rostislav Niederle (ed.), Potřebuje bůh indexické výrazy?, Brno: Vutium, 179-198.
    
  • $ in CP, 625-645
    


• (1986): Putnam on Brains in a Vat, Philosophia 16, 2, 137-146.
  
  • $ in CP, 675-684
    


• (1986): Indiscernibility of Identicals, Studia Logica 45, 3, 257-273.
  
  • $ in CP, 649-671
    


• (1986): Constructions, Philosophy of Science 53, 4, 514-534.
  
  • # (1996): Konstrukce, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 119-145.
    
  • $ in CP, 601-621
    


• (1986): Two Fallacies in Formal Semantics, In: Frické, Martin (ed.), Essays in Honour of Bob Durrant, Dunedin: Otago University Philosopohy Department, 156-177.
  
  • $ in CP, 687-708
    


• (1987): Einzeldinge als Amtsinhaber [Particulars as Things-to-be], Zeitschrift für Semiotik 9, 13-50.
  
  • # (1994): Jednotliviny a ich roly [Particulars and Their Roles; Tichý 1987], Organon F 1, 1, 29-42, 2, 123-132, 3, 208-224, 4, 328-333.
    
  • # in CP as: Individuals and their Roles, 711-748
    


• (1990): Resplicing Properties in the Supervenience Base, Philosophical Studies 58, 3, 259-269 (with Graham Oddie).
  
  • $ in CP, 751-761 (on p. 757 it is absenting the last line which is just "the antecedent.")
    


• (1992): Le Tractatus à la lumière de la logique intensionelle, In: Jan Sebestik, Antonia Soulez ( eds.), Wittgenstein et la philosophie aujourd'hui, Paris: Méridiens Klincksieck, 179-194.
  
  • # (1994): The Tractatus in the Light of Intensional Logic, From the Logical Point of View 3, 2, 32-41.
    
  • # (1999): Traktát ve světle intenzionální logiky , Filosofický časopis 49, 2, 249-262.
    
  • $ of English 1994-version in CP, 791-800
    


• (1992): Sinn & Bedeutung Revisited, From the Logical Point of View 1, 1, 1-10.
  
  • # (1996): Znovu o Sinn & Bedeutung, In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 147-161.
    
  • $ in CP, 765-774
    


• (1992): The Scandal of Linguistics, From the Logical Point of View 1, 3, 70-80.
  
  • $ in CP, 777-787
    


• (1994): Cracking the Natural Language Code, From the Logical Point of View 3, 2, 6-19.
  
  • # (2002): Rozbíjení kódu přirozeného jazyka, Filosofický časopis 50, 5, 787-802.
    
  • $ in CP, 845-857
    
  • note that except "Constructions as the Subject Matter of Mathematics" (1995) all papers published within years 1994-1999 are posthumous
    


• (1994): The Myth of Non-Rigid Designators, From the Logical Point of View 3, 2, 20-30.
  
  • # (2004): Mýtus o nerigidních designátorech, In: Rostislav Niederle (ed.), Potřebuje bůh indexické výrazy?, Brno: Vutium, 208-221.
    
  • $ in CP, 861-871
    


• (1994): The Analysis of Natural Language, From the Logical Point of View 3, 2, 42-80.
  
  • originally content-index and the first chapter of the unfinished book "Meaning Driven Grammar"
    
  • $ in CP, 803-841
    


• (1994): What Agents Can Do, In: Norman Foo et al. (eds.), Record of the Workshop on Logic and Action, Sydney: University of Sydney, 13-28 (with Graham Oddie).
  
  • not $ in CP
    


• (1995): Constructions as the Subject Matter of Mathematics, In: Werner Depauli-Schimanovich, Eckehart Köhler, Friedrich Stadler (eds.), The Foundational Debate (Complexity and Constructivity in Mathematics and Physics), Dodrecht-Boston-London: Kluwer Academic Publishers, 175-185.
  
  • # (1998): Konstrukce jako předmět matematiky, Filosofický časopis 48, 2, 231-244.
    
  • $ in CP, 875-885
    


• (1998): Komplexy, Organon F 4, 2, 139-161, 3, 266-289 (with Pavel Cmorej).
  
  • not a paper but originally an e-mail discussion between Tichý and Cmorej concerned with the first version of [Tichý 1995]
    


• (1999): On Inference, In: The Logica Yerbook 1998, Timothy Childers (ed.), Prague: Filosofia, 73-85; (with Jindra Tichý).
  
  • $ in CP, 889-901
    


• (2004): Rigidní prezentace, In: Rostislav Niederle (ed.), Potřebuje bůh indexické výrazy?, Brno: Vutium, 199-207.
  
  • not a paper but a translation of section 23 from the 7th chapter of [Tichý 1988], 105-112
    


• (2007): Komplexy, In: Pavel Cmorej et al., Filozofické dialógy, Bratislava: Filozofický ústav SAV, 129-181; (with Pavel Cmorej).
  
  • $ of "Komplexy", 1998
    


• (2007): On Describing, Organon F 14, No. 4, 423-469.
  
  • not $ in CP
    

Software: Derivation Planner (program and manual) Univord 1990 (with M. Frické)

Several texts about Pavel Tichý:

• Cmorej, Pavel (1994): In memoriam Pavla Tichého, [In memoriam of Pavel Tichý], Organon F 1, 3, 260-267.
• Peregrin, Jaroslav (1996): Pavel Tichý a jeho logika [Pavel Tichý and his Logic], In: O čem mluvíme? Vybrané stati k logice a sémantice, Praha: Filosofia, 9-29.
• Raclavský, Jiří (1996): Pavel Tichý - nástin života a díla [Pavel Tichý - an Outline of his Life and his Work], In: Sborník prací filosofické fakulty brněnské university (B 43), Brno: FF MU, 87-93.
• Materna, Pavel (2002): Odkaz Pavla Tichého [Legacy of Pavel Tichý], Filosofický časopis 50, 5, 803-807.
• Holster, Andrew (2003): An Introduction to Pavel Tichy and Transparent Intensional Logic, Phil&Sci archive, http://philsci-archive.pitt.edu/archive/00001479/
• Jespersen, Bjørn (2004): The Foundations of Tichý's Logic, In: Pavel Tichý's Collected Papers in Logic and Philosophy, Svoboda, Vladimír, Jespersen, Bjørn, Cheyne, Colin (eds.), Otago-Praha: Otago UP, Filosofia, 9-23 (http://til.phil.muni.cz/text/jespersen_introduction.pdf)
• Svoboda, Vladimír, Cheyne, Colin (2004): Short Biography of Pavel Tichý, In: Pavel Tichý's Collected Papers in Logic and Philosophy, Svoboda, Vladimír, Jespersen, Bjørn, Cheyne, Colin (eds.), Otago-Praha: Otago UP, Filosofia, 25-30
• Philosophical History: The Otago Department: Pavel Tichy: Logic and Truth-Likeness

Jiří Raclavský, 2/2007 (first version 11/1999)