Bibliography |
BOOKS:
Logika pro PI (Logic for Pedagogical Institutes), Prague 1963, 191pp.
Logická stavba vědeckého jazyka (The Logical Structure of the Language of Science),
Prague 1968, 272pp.
The Foundations of Frege's Logic, de Gruyter, Berlin and New York 1988, 333pp.
(Reviewed by P. Materna in Theoretical Linguistics 15 (1989),
Woosuk Park in Mathematical Reviews and Gregor R. Frey in Nous)
ARTICLES:
Eine Exposition des Gödelischen Unvollständigkeitsbeweises in der einfachen Typentheorie,
Acta Universitatis Carolinae, vol. 1960
Mají logicky pravdivé věty obsah?, (Do logically true sentences have content?),
Filosofický Časopis, 1964
K pojmu problému a řešitelnosti, (In the concepts of problem and solvability),
Kybernetika, 1966
Smysl a procedura (Sense and procedure),
Filosofický Časopis, 1968
An Approach to Intensional Analysis, Nous 5 (1971), 273-279
Plantingua on Essence: A Few Questions, The Philosophical Review 81 (1972), 82-93
On the Vicious Circle in Definitions, Studia Logica 28 (1971), 19-40
Synthetic Components of Infinite Classes of Postulates,
Archiv für Mathematische Logik und Grundlagenforschung 17 (1971), 167-178
On de dicto Modalities in Quantified S5, Journal of Philosophical Logic 2 (1973), 387-392
On Popper's Definitions of Verisimilitude,
British Journal for the Philosophy of Science 25 (1974), 155-188
What Do We Talk About ?, Philosophy of Science 42 (1975), 80-93
A Counterexample to the Stalnaker-Lewis Analysis of Counterfactuals,
Philosophical Studies 29 (1976), 271-273
Verisimilitude Redefined, British Journal for the Philosophy of Science 27 (1976), 25-42
Verisimilitude Revisited, Synthese 38 (1978), 175-196
Two Kinds Of Intensional Logic, Epistemologia 1 (1978), 143-164
A New Theory Of Subjunctive Conditionals, Synthese 37 (1978), 433-457
Questions, Answers, and Logic, American Philosophical Quarterly 15 (1978), 275-284
De dicto and de re, Philosophia 8 (1978), 1-16
Existence and God, The Journal of Philosophy 76 (1979), 403-420
Merrill On What a Sentence Says, Philosophical Studies 37 (1980), 197-200
The Logic of Temporal Discourse, Linguistics and Philosophy 3 (1980), 373-369
The Semantics of Episodic Verbs, Theoretical Linguistics 7 (1980), 264-296
The Transiency of Truth, Theoria 46 (1980), 165-182
BIBLIOGRAPHY |
5 |
Foundations of Partial Type Theory, Reports on Mathematical Logic 14 (1982), 52-72
The Logic of Ability, Freedom, and Responsibility,
Studia Logica 41 (1982), 227-248 (with Graham Oddie)
Kripke on Necessity a posteriori, Philosophical Studies 43 (1983), 255-241
Ability and Freedom, American Philosophical Quarterly 20 (1983), 135-147 (with Graham Oddie)
Subjunctive conditionals: Two Parameters vs. Three, Philosophical Studies 44 (1983), 1-33
Do We Need Interval Semantics?, Linguistics and Philosophy 8 (1985), 263-282
Indiscernibility of Identicals, Studia Logica 45 (1986), 257-273
Putnam on Brains in a Vat, Philosophia 16 (1986), 137-146
Frege and the Case of the Missing Sense, Grayer Philosophische Studien 27 (1986), 27-47
Constructions, Philosophy of Science 53 (1986), 514-534
Einzeldinge als Amtsinnhaber, Zeitschrift für Semiotik 9 (1987), 13-50
Resplicing Properties in the Supervenience Base,
Philosophical Studies 58 (1990), 259-69 (with Graham Oddie)
Le tractatus a la lumiere de la logique intensionelle, in: Jan Šebestík et Antonia Soulez,
Wittgenstein et la philosophie aujourd'hui, Méridiens Klinskcieck 1992, 179-194
Sinn und Bedeutung Revisited, From the Logical Point of View 1 (1992), 1-10
The Scandal of Linguistics, From the Logical Point of View 1 (1992), 70-80
Die Verganglichkeit der Wahrheit, in : B. Kienzle (ed.) Zustand und Ereignis,
Frankfurt am Main, Suhrkamp 1994, 148-68
SOFTWARE:
Derivation Planner (program and manual) Univord 1990 (with M. Frické)
CURRENT RESEARCH PROJECT:
Meaning Driven Grammar (MDG): Current linguistic theories treat the
syntax of a natural language separately from meaning. They either assume that syntax is
autonomous and relegate meaning to a different linguistic `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.)
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 incompletability 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)