Curriculum Vitae
Dissertation Title:The
Logics of Space and Time
TEACHING
Engineering, University of
Illinois, Chicago 1980-1981
AWARDS AND GRANTS
1975
- 1976
1983-1984
May-July1991
Summer
1993
HFAC Faculty Development Summer
Grant: ($6000) "Quantified Modal Logic"
Summer
1995
National Endowment for the
Humanities Summer Seminar: ($4000)"Metaphysics of Mind"
Summer
1996
Summer
1999
A.Work in Progress
B.
Modal Logic for
Philosophers,Cambridge University Press, July, 2006.
"Unifying Quantified Modal
Logic," Journal of Philosophical Logic, 2005, vol. 34, 5-6, pp.
621-649.
"Modality and
Quantification," in Borchert, Donald, ed. Encyclopedia of Philosoophy, 2nd edition. Detroit:
Macmillan Reference USA, 2006, 187-190.
"Simulation and
Connectionism: What is the Connection?" in Philosophical
Psychology 2003,pp. 499-514
"Making Symbols Matter: A
New Challenge to their Causal Efficacy," Journal of Experimental
ArtificialIntelligence , vol. 14 2002, pp. 13-27.
"Evolution, Consciousness
and the Language of Thought," in Consciousness Evolving, James
Fetzer (Ed.) Benjamins, 2002, pp. 89-110.
"Philosophical Issues
about Dynamical Systems," entry in the Encyclopedia of Cognitive
Science, MacMillan, 2002.
"(Dis)solving the Binding
Problem," Philosophical Psychology, vol. 14,#4, 2001, pp. 381-392.
"Natural Semantics," Theoria,
vol. 67, 2001,pp. 114-139.
"Modal Logic," entry
in the Stanford Encyclopedia of Philosophyhttp://plato.stanford.edu/entries/logic-modal/, (2000)
"Why Dynamical
Implementation Matters,"Garson, J. W. (1998)Commentary on: van Gelder
(1998) The Dynamical Hypothesis in Cognitive Science, Behavioral and Brain
Sciences 21 (5), p. 641-2.
"A Commentary on 'Cortical
Activity and the Explanatory Gap',"Consciousness and Cognition,
(1998), vol. 7, pp. 169-172.
"Chaotic Emergence and the
Language of Thought," Philosophical Psychology, (1998), vol. 11, #
3, pp. 303-315.
"Intensional Logic,"
entry in the Routledge Encyclopedia of Philosophy (1998).
"Connectionism," entry
in the Stanford Encyclopedia of Philosophy,http://plato.stanford.edu/connectionism/connectionism.html,(1997).
"Syntax in a Dynamic
Brain," Synthese, (1997), vol. 110, pp. 343-355.
"Cognition Poised Between
Order and Chaos: A Worthy Paradigm in Cognitive Science,"Philosophical
Psychology, (1996), vol. 9, pp. 301-322.
"Chaos and Free Will," Philosophical
Psychology, (1995), vol. 8, pp. 365-374.
"No Representations
without Rules:The Prospects for Compromise between Paradigms in Cognitive
Science,"Mind and Language,(1994) vol. 9, pp. 25-37.
"Cognition without
Classical Architecture,"Synthese. (1994), vol. 100, pp. 291-305.
"Must We Solve the Binding Problem in Neural
Hardware?" Behavioral and Brain Sciences, (1993) vol. 16, #3, pp.
459-460.
"Mice in Mirrored Mazes
and the Mind,"Philosophical Psychology (1993) vol. 6, no. 2, pp.
123-134.
"Heuristic Decision
Support Problems - Integrating Heuristic Search and Expert Systems for the
Design of Continuous-Manufactured Products," with S. Kamal and F. Mistree,
Artificial Intelligence in Design '92, J. S. Gero (ed.), (1992)Kluwer.
"Development of a
Synthesis Engine for the Design of Products Made by Process
Manufacturing,"with S. Kamal, W. VanArsdale, and F. Mistree, Proceedings
of the 1991 IEEE International Conference on Systems, Man and Cybernetics,
(1991), University of Virginia, Charlottesville, vol. 3, 1839-1846.
"Using Natural Language
Processing Techniques in Modeling Design Processes,"with B. Bras and F.
Mistree, in Proceedings, World Congress on Expert Systems, Orlando,
Florida, (1991), vol. 4, pp. 3064-3074.
"What Connectionists
Cannot Do:The Threat to Classical AI,"in Connectionism and the
Philosophy of Mind, T. Horgan and J. Tienson (eds.)Kluwer(1991), pp.
113-142.
"Applications of Free
Logic to Quantified Intensional Logic,"in Lambert, K.Philosophical
Applications of Free Logic, K. Lambert (ed.), Oxford University Press,
(1991), pp. 111-142.
"Categorical
Semantics," in Truth or Consequences: Essays in Honor of Nuel D. Belnap,
J. M. Dunn and A. Gupta (eds.), Kluwer (1990), pp. 155-175.
"Japanese and American
Children's Styles of Processing Figural Matrices", with B. Foorman, H.
Yoshida, and H. Swank, Journal of Cross Cultural Psychology, (1989),
vol. 20, pp. 263-295.
"Modularity and Relevant
Logic", Notre Dame Journal of Formal Logic, (1989), vol. 30,
pp. 207-223.
"Heuristics for Proof
Finding in Formal Logic", Teaching Philosophy, (1988), vol. 11, pp.
41-53.
"Metaphors and
Modality,"Logique et Analyse, (1987), vol. 30, pp. 123-145.
"Clausal Form and
Quantifiers in Natural Language", Theoretical Linguistics, (1986),
vol. 13, pp. 185-209.
"Quantification in Modal
Logic," chapter in Handbook of Philosophical Logic, vol. II,
F. Guenthner and D. Gabbay (eds.), (1984), pp. 249-307.
"Microcomputer Graphics
and Visual Reasoning,"Proceedings of the National Education Computing
Conference, (1984), pp. 7-10, with B. Foorman.
"Pronouns and Quantifier
Scope in English," Journal of Philosophical Logic, (1983), vol. 12,
pp. 327-358, with E. Lepore
"Prepositional
Logic,"Logique et Analyse, (1981), vol. 24, pp. 4-33.
"Developing Interactive
Computer Graphics for Computer Literacy,"SIGCUE Bulletin, (1981),
vol. 15, pp. 2-13.
"Giving Advice with a
Computer," Proceedings of the National Education Computing Conference,
(1980), pp. 44-45.
"Teaching Logic with
EMIL,"Teaching Philosophy, (1980), vol. 3, pp. 453-478, with P.
Mellema.
"Unaxiomitizibility of an
Intensional Logic,"Journal of Philosophical Logic, (1980), vol. 9,
pp. 59-72.
"Free Topological
Logic,"Logique et Analyse, (1979), vol. 22, pp. 453-475.
"The Substitution
Interpretation and the Expressive Power of Intensional Logics,"Notre
Dame Journal of Formal Logic, (1979), vol. 20, pp. 858-864.
"Completeness of Some
Quantified Modal Logics,"Logique et Analyse, (1978), vol 21, pp.
153-164.
"The Substitution
Interpretation in Topological Logic,"Journal of Philosophical Logic,
(1974), vol. 3, pp. 109-132.
"Indefinite Topological
Logic,"Journal of Philosophical Logic, (1973),vol 2, pp. 102-118.
"A Completeness Theorem
for an Intensional Logic: Definite Topological Logic,"Notre Dame
Journal of Formal Logic, (1973), pp. 175-184.
"Two New Interpretations
of Modality,"Logique et Analyse, (1972), pp. 443-459.
"Here and Now,"The
Monist, (1969), pp. 469-477.
Reprinted in Basic Issues in
the Philosophy of Time, E. Freeman and W. Sellars (eds.) (1971).
"Topological Logic,"Journal
of Symbolic Logic, (1968), pp. 537-548, with N. Rescher.
Reprinted in Topics in
Philosophical Logic, N. Rescher (ed.) (1969).
Reprinted in Temporal Logic,
N. Rescher, and A. Urquhart, (1971).
Translated into Italian and
reprinted in La Logica del Tempo, C. Pizzi (ed.) (1974).
"A Note on Chronological
Logic,"Theoria, (1967), pp. 39-44, with N. Rescher.
B. Abstracts and Reviews:
’ÄúReview of Thagardˆïs Mind
Readings’Äù Philosophical Psychology, vol. 14, (2001) pp. 116-118.
’ÄúReview of First Order Modal Logic’Äù by Melvin
Fitting and Richard Mendelson,ˆì Studia Logica., vol. 68, (2001)#2 .
’ÄúReview of Connectionism and
the Philosophy of Psychology’Äù by
Terrence Horgan and John Tienson,ˆìBritish Journal for the Philosophy of
Science, vol. 50, (1999) pp. 319-323.
"Review of The Logic
Foundations of Cognition by John Macnamara and Gonzalo Reyes," Contemporary
Psychology. vol. 41, (1996), pp. 918-919.
"Natural Semantics:The
Meaning of Natural Deduction Rules for Classical and Intuitionistic
Logic," (Abstract) Journal of Symbolic Logic, vol. 59, no. 2, (1994), pp.
722-723.
"Contraposition and
4-Valued Semantics for Relevance Logic,"(Abstract)Journal of Symbolic
Logic, vol. 57, no.1, (1992)p. 357-358.
"Review of How to Build
a Conscious Machine by Leonard Angel," Canadian Philosophical
Reviews, vol. 11, no. 1, (1991), pp. 8-10.
"Quantified Modal Logic
with Models in Place of Worlds," (Abstract), Journal of Symbolic Logic,
(1988), vol. 53, p. 1292
"Modularity in Quantified
Modal Logic," (Abstract), Journal of Symbolic Logic, (1988), vol
53, p. 1004.
"Review of S. Shieber's An
Introduction to Unification-Based Approaches to Grammar,"Journal of
Symbolic Logic, (1987), vol. 52, pp. 1052-1054.
"Correspondence in
Classical Logic," (Abstract), Journal of Symbolic Logic, (1986),
vol. 51, pp. 1085-1086.
"Clausal Form and
Quantifiers in Natural Language," (Abstract),Journal of Symbolic Logic,
(1986), vol. 51, p. 843.
"Generalized Rules for
Quantified Modal Logics," (Abstract), Journal of Symbolic Logic,
(1984), vol. 49, p. 323.
"The Expressive Power of
Modal Logics," (Abstract),Journal of Symbolic Logic, (1983), vol.
48, p. 899.
"Morphisms in Intensional
Logic," (Abstract),Journal of Symbolic Logic, (1981), vol. 46, p.
431.
"The Substitution
Interpretation and the Expressive Power of Intensional Logics,"
(Abstract), Journal of Symbolic Logic, (1981), vol 46, p. 200.
"Review of Moutafakis' Imperatives
and their Logics,"New Scholasticism, (1978), pp. 595-598.
"Review of D. Gabbay's
Investigations in Modal and Tense Logics," International Studies in
Philosophy, (1978), vol. 10, pp. 190-192.
"Review of A. Bressan's
Metodo di assiomatizzazione in senso stretto della meccanica classica,"Journal
of Symbolic Logic, (1973), pp. 144-145.
"A New Interpretation of
Modality," (Abstract)Journal of Symbolic Logic, (1969), p.
535.
REFEREE FOR:
SERVICE
COURSES DEVELOPED SINCE 1980
Illinois:
Given at University of Houston:
Graduate Level
PHIL 6396 Philosophy of Logic
Given at University of Houston,
Clear Lake:
Given at Rice University: