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

MONOGRAPH

The Foundations of Frege's Logic, De Gruyter: Berlin-New York, 1988.

COLLECTION

O čem mluvíme? Vybrané stati k logice a sémantice [What Do We Talk About? Selected Papers on Logic and Semantics], J. Peregrin (ed.), Filosofia: Prague, 1996. (Contains Czech translations of articles 12, 13, 16, 19, 21, 32, 39)

Textbooks:

Logika pro studující na pedagogických institutech
[Logic for Students of Pedagogical Institutes], SPN: Prague, 1964.
Logická stavba vědeckého jazyka
[The Logical Structure of Scientific Language], SPN: Prague, 1968.

PAPERS

1. Eine Exposition des Gödelischen Unvollständigkeitsbeweises in der einfachen Typentheorie [An Exposition of Gödel's Incompleteness Proof in the Simple Type Theory], Acta Universitatis Carolinae, Philosophica et Historica 5, 95-97, 1962.
2. Mají logicky pravdivé věty obsah? [Do Logically True Sentences Have Content?], Filosofický časopis 13, 82-86, 1965.
3. K explikaci pojmu 'obsah věty' [On Explicating the Notion 'the Content of a Sentence'], Filosofický časopis 14, 364-372, 1966.
4. Poznámka k pojmu problému a řešitelnosti [A Remark on the Notion of Problem and Solvability], Kybernetika 3, 105-109, 1967.
5. Smysl a procedura [Sense and Procedure], Filosofický časopis 16, 222-232, 1968.
6. Intensions in Terms of Turing Machines, Studia Logica 26, 7-25, 1969.
7. An Approach to Intensional Analysis, Nous 5, 273-297, 1971.
8. On the Vicious Circle in Definitions, Studia Logica 28, 19-40, 1971.
9. Synthetic Components of Infinite Classes of Postulates, Archiv für Mathematische Logik und Grundlagenforschung 17, 167-178, 1971.
10. Plantinga on Essence: A Few Questions, The Philosophical Review 81, 82-93, 1972.
11. On de dicto Modalities in Quantified S5, Journal of Philosophical Logic 2, 387-392, 1973.
12. On Popper's Definitions of Verisimilitude, The British Journal for the Philosophy of Science 25, 155-160, 1974. (Published also in Czech as 'K Popperově definici verisimilitude', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 27-35, 1996.)
13. What Do We Talk About?, Philosophy of Science 42, 80-93, 1975. (Published also in Czech as 'O čem mluvíme', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 37- 58, 1996.)
14. A Counterexample to the Stalnaker-Lewis Analysis of Counterfactuals, Philosophical Studies 29, 271-273, 1976.
15. Verisimilitude Redefined, The British Journal for the Philosophy of Science 27, 25-42, 1976.
16. De dicto and de re, Philosophia 8, 1-16, 1978. (Published also in Czech as 'De dicto a de re', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 79-94, 1996.)
17. A New Theory of Subjunctive Conditionals, Synthese 37, 433-457, 1978.
18. Questions, Answers, and Logic, American Philosophical Quarterly 15, 275-284, 1978.
19. Two Kinds of Intensional Logic, Epistemologia 1, 143-164, 1978. (Published also in Czech as 'Dva druhy intenzionální logiky', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 59-78, 1996.)
20. Verisimilitude Revisited, Synthese 38, 175-196, 1978.
21. Existence and God, The Journal of Philosophy 76, 403-420, 1979. (Published also in Czech as 'Existence a Bůh', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 95-117, 1996.)
22. The Logic of Temporal Discourse, Linguistics and Philosophy 3, 343-369, 1980.
23. Merrill on What a Sentence Says, Philosophical Studies 37, 197-200, 1980.
24. The Semantics of Episodic Verbs, Theoretical Linguistics 7, 263-296, 1980.
25. The Transiency of Truth, Theoria 46, 165-82, 1980. (Published also in German as 'Die Vergänglichkeit der Wahrheit', in B. Kienzle (ed.) Zustand und Ereignis, Suhrkamp: Frankfurt am Main, 1994, and in M. Tooley (ed.) Analytical Metaphysics (Time and Causation), Garland Publishing Inc.: New York-London, 1999).
26. Foundations of Partial Type Theory, Reports on Mathematical Logic 14, 59-72, 1982.
27. Kripke on Necessity a posteriori, Philosophical Studies 43, 225-241, 1983. (Earlier version also published in R.G. Durrant (ed.) Essays in Honour of Gwen Taylor, Otago University Philosophy Department: Dunedin, 279-303, 1982).
28. The Logic of Ability, Freedom and Responsibility, Studia Logica 41, 227-248, 1982 (co-author Graham Oddie).
29. Ability and Freedom, American Philosophical Quarterly 20, 135-147, 1983 (co-author Graham Oddie).
30. Subjunctive Conditionals: Two Parameters vs. Three, Philosophical Studies 45, 147-179, 1984.
31. Do We Need Interval Semantics? Linguistics and Philosophy 8, 263-282, 1985.
32. Constructions, Philosophy of Science 53, 514-534, 1986. (Published also in Czech as 'Konstrukce', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 119-145, 1996.)
33. Frege and the Case of the Missing Sense, Grazer Philosophische Studien 27, 27-47, 1986. (Published also in Czech as 'Frege a případ nezvěstného smyslu', in Organon F 11, 174-493, 2004).
34. Indiscernibility of Identicals, Studia Logica 45, 251-273, 1986.
35. Putnam on Brains in a Vat, Philosophia 16, 137-146, 1986.
36. Two Fallacies of Formal Semantics, in M. Frické (ed.) Essays in Honour of Bob Durrant, Otago University Philosophy Department: Dunedin, 156-177, 1986.
37. Einzeldinge als Amtsinhaber, Zeitschrift für Semiotik 9, 13-50, 1987. (Published also in Slovak in four parts as 'Jednotliviny a ich roly (I) - (IV)', Organon F 1, 29-42, 123-132, 208-224, 328-333, 1994).
38. Resplicing Properties in the Supervenience Base, Philosophical Studies 58, 259-269, 1990 (co-author Graham Oddie).
39. Sinn & Bedeutung Reconsidered, From the Logical Point of View 1, 1-10, 1992. (Published also in Czech as 'Znovu o Sinn a Bedeutung', in J. Peregrin (ed.) O čem mluvíme? Vybrané stati k logice a sémantice, Filosofia: Prague, 147-161, 1996.)
40. The Scandal of Linguistics, From the Logical Point of View 1, 70-80, 1992.
41. Le Tractatus a la lumiere de la logique intensionelle, in J. Sebestik & A. Soulez (eds.) Wittgenstein et la philosophie adjourd'hui, Méridiens Klincksieck: Paris, 179-194, 1992. (Published also in an English version as 'The Tractatus in the Light of Intensional Logic', From the Logical Point of View 3, 32-41, 1994, and in Czech as 'Traktát ve světle intenzionální logiky', Filosofický časopis 49, 249-262, 1999.)
42. The Analysis of Natural Language, From the Logical Point of View 3, 42-80, 1994.
43. Cracking the Natural Language Code, From the Logical Point of View 3, 7-19, 1994. (Published also in Czech as 'Rozbíjení kódu přirozeného jazyka', Filosofický časopis 50, 787-802, 2002.)
44. The Myth of Non-Rigid Designators, From the Logical Point of View, 3, 20-30, 1994.
45. Constructions as the Subject-Matter of Mathematics, in W. Depauli-Schimanovich, E. Köhler, F. Stadler (eds.) The Foundational Debate: Complexity and Constructivity in Mathematics and Physics, Kluwer: Dodrecht, Boston, London, Vienna, 175-185, 1995.
46. On Inference, in T. Childers (ed.) The Logica Yearbook 1998, Filosofia: Prague, 73-85, 1999. (Published posthumously on the basis of a manuscript, co-author Jindra Tichý.)