**Curriculum Vitae**

**James W. Garson**

**EDUCATION**

B.A. with Honors in
Philosophy, 1965, Haverford College

M.A., Ph.D. in Philosophy,
1968, 1969, University of Pittsburgh

Dissertation Title: __The Logics of Space and Time__

**TEACHING**

Assistant Professor, University
of Pennsylvania, 1969-1975

Associate Professor, University
of Notre Dame, 1976-1980

Visiting Associate Professor,
Department of Information

Engineering, University of
Illinois, Chicago 1980-1981

Associate Professor, University
of Houston
1980-1986

Full Professor, University of
Houston
1986-present

Visiting Professor, Department
of Philosophy, Rice University 1994,
1995, 1999

Visiting Professor, Department
of Psychology, Rice University 1998

**AWARDS AND GRANTS**

Woodrow Wilson Fellowship, 1965

Andrew Mellon Fellowship, 1966
- 1968

National Endowment for the
Humanities Fellowship in Selected Fields; Science, Technology and Human Values:
($11,250) "Human Values and Computers in Education,"

1975
- 1976

NSF Grant: ($35,315) "An Advice Giving Computer Program
for Teaching Proof Finding in Formal Logic," 1979 - 1980

Apple Education Foundation
Grant: ($18,966) "Interactive
Graphics Courseware for Teaching Computer Literacy," 1980
- 1981

Ford Project on Urban
Education: ($400) "Computer
Graphics and Experiential Education,"

1983-1984

University of Houston
Microcomputer Allocation Committee:
(award of computer and peripherals)
"Logic Training Courseware," 1984

University Teaching Excellence
Award: ($2500) 1988

National Endowment for the
Humanities Summer Seminar: ($3500) "Philosophical Implications of
Cognitive Science," Summer
1989

University of Houston Computer
Use Fee Grant ($5209) April
1990

National Endowment for the
Humanities Summer Stipend: "Rules in a Chaotic Mind" ($3750)

May-July 1991

National Endowment for the
Humanities Summer Seminar: ($3600)
"Representation"

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

National Endowment for the
Humanities Summer Seminar ($3250) ÒFolk Psychology vs. Simulation TheoryÓ

Summer
1999

**A. Work in Progress**

Book: At: A Modest but Powerful Intensional
Logic

ÒConnectionism and
Post-Connectionist Models,Ó to appear in __Routledge Handbook of the
Computational Mind,__ M. Sprevak (ed.), Routledge, London, 2018.

**B.
****Work Published:**

ÒA New Semantics for VaguenessÓ, with Joshua D. K. Brown, Erkenntnis, 2017, vol. 82, #1, pp 65–85.

Book: __What Logic Means: From Proof Theory
to Model-Theoretic Semantics__ (2013) Cambridge University Press.

Second Edition: __Modal Logic For Philosophers 2 ^{nnd}
Edition__ (2013) Cambridge University Press.

ÒOpen Futures in the
Foundations of Propositional Logic,Ó in __Nuel Belnap on Indeterminism and
Free Action,__ T. Mueller (ed.) Springer, 2013, pp. 123-146.

ÒExpressive Power and Incompleteness of
Propositional Logics,Ó __Journal of Philosophical Logic,__ 2010, vol. 39,
#2, pp. 159-171.

__Modal Logic for
Philosophers,__ Cambridge University Press, 2006.

ÒModality and Quantification,Ó in Borchert, Donald, ed.
*Encyclopedia of Philosophy,* 2nd edition.
Detroit: Macmillan Reference USA, 2006, 187-190.

ÒUnifying Quantified Modal
LogicÓ __Journal of Philosophical Logic, __2005, vol. 34, 5-6, pp. 621-649.

Ò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
Artificial Intelligence__ , 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 Psycholog__y, vol. 14, #4, 2001, pp. 381-392.

"Quantification in Modal
Logic," revised chapter in __Handbook of__ __Philosophical Logic__,
2nd Edition, F. Guenthner and D. Gabbay (eds.) Kluwer, 2001, vol. 3, pp.
267-323.

"Natural SemanticsÓ __Theoria__,
vol. 67, 2001, pp. 114-139.

"Modal Logic" entry
in the __Stanford Encyclopedia of Philosophy__ http://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.

**C.
****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.

**PAPERS DELIVERED**

"The Natural Semantics of Vagueness"
with Joshua D. K. Brown will be presented at the Eastern Division Meetings of
the American Philosophical Association (December 2012)

"What Classical Connectives Mean" was
delivered to the Second Conference on the Foundations of Logical Consequence,
St. Andrews University, Scotland. (June 2012)

"Open Futures in Propositional Logic"
presented at a conference entitled "What is Really Possible"
sponsored by Utrecht University, The Netherlands, (June 2012)

ÒComment on ÔA Conservative Modal
Semantics With Applications to De Re NecessitiesÕÓ presented at the
American Philosophical Association, Pacific Division, Pasadena, (March 2004)

ÒComment on ÔAtomistic Learning
in Fully Distributed SystemsÕÓ presented at the American Philosophical
Association, Pacific Division, San
Francisco, (March 2003)

ÒSimulation and Connectionism:
What is the Connection?Ó delivered to the Society for Philosophy and Psychology
, New York, (June 2000)

ÒComment on ÔRethinking the
Systematicity ArgumentsÕÓ presented at the American Philosophical Association,
Pacific Division, Berkeley, (April, 1999)

ÒComment on ÔSystematicity and
the Cognition of Structured DomainsÕÓ
presented at the Society for Philosophy and Psychology, Stanford, (June,
1999)

"(Dis)Solving the Binding
Problem," presented at the American Philosophical Association, (December,
1998)

"Fission of Consciousness
in the Natural World"
presented at the American Philosophical Association, (April, 1996).

ÒSystematicity and Classical
Architecture," presented at the Society for Philosophy and Psychology,
(June, 1995)

"Chaotic Emergence and the
Language of Thought" presented
at the American Philosophical Association, (March, 1995)

"Syntax in a Dynamic
Brain," presented at the Society for Philosophy and Psychology, (June,
1994)

"Reply to 'Chaos and
Emergence'" American
Philosophical Association, (December, 1993)

"Streams of Consciousness
in the Transporter Room," Departmental Colloquium, Texas A&M
University, (December 1993).

"The Dynamic Mind: A New Paradigm in Cognitive
Science" presented at the Society for Philosophy and Psychology,
Vancouver, (June 1993).

"Chaos and Free Will," presented at the
American Philosophical Association, San Francisco, (March, 1993).

"Natural Semantics,"
presented at the Association for Symbolic Logic Meetings, San Antonio, (January
1993).

"No Representations
without Rules: The Prospects for
Compromise between Paradigms in Cognitive Science," presented at the Society for Philosophy
and Psychology, Montreal, (June, 1992).

"Heuristic Decision
Support Problems - Integrating Heuristic Search and Expert Systems for the
Design of Continuous-Manufactured Products," to the 2nd International Conference on
Artificial Intelligence in Design, Pittsburgh, (June, 1992).

"Chaotic Cognition: Prospects for Symbolic Processing in a
Dynamic Mind," presented at the American Philosophical Association,
Pacific Division, Portland, (March, 1992).

"Representation without
Realism: Symbolic Processing in Connectionist and Classical Minds,"
American Philosophical Association, Pacific Division, San Francisco, (March
1991).

"Contraposition and
Four-valued Semantics for Relevance Logic," Association for Symbolic Logic,
Pittsburgh, (January, 1991).

"Cognition without
Classical Architecture," American Philosophical Association, Eastern
Division, Boston, (December, 1990).

"Can Connectionists
Account for Thought?," Rice University, (October 1990).

"What Connectionists
Cannot Do: The Threat to Classical AI," American Philosophical Association,
Central Division, New Orleans, (April, 1990).

"Quantified Modal Logic
with Models in Place of Worlds,"
Association for Symbolic Logic, New York, (December, 1987).

"Modularity in Quantified
Modal Logic," Association for
Symbolic Logic, San Antonio, (January, 1987)

"Correspondence in
Classical Logic," Association for Symbolic Logic, Washington, (December, 1985)

"Heuristics for Proof
Finding in Formal Logic," a three day seminar delivered to the Center for
Design of Educational Computing, Carnegie-Mellon University, Pittsburgh,
(August, 1985)

"Clausal Form and
Quantifiers in Natural Language,"
Association for Symbolic Logic, Stanford, (July, 1985)

"Programming Logic
Lessons," Second Annual Conference of the Institute for Logic and
Cognitive Studies, Clear Lake, (June, 1985).

"Modularity and
Logic," Workshop on Modularity
in Knowledge Representation and Natural Language Processing, Amherst, (June,
1985)

"Computer Assisted
Instruction and Problem Solving,"
First Annual Conference of the Institute for Logic and Cognitive
Studies, Clear Lake, (July, 1984).

"Generalized Rules for
Quantified Modal Logic,"
Association for Symbolic Logic, Berkeley, (March, 1983)

"Computer Guidance in
Problem Solving,"
Carnegie-Mellon University Conference on Computer Applications in
Teaching Reasoning and Writing", Pittsburgh, (July, 1982)

"Is Time Travel
Possible?" Third International
Conference on the Fantastic in the Arts,
Boca Raton, (March 1982)

"Expressive Power of Modal
Logics," Association for
Symbolic Logic, Philadelphia, (December, 1981)

"Interactive Computer
Graphics for Computer Literacy,"National Educational Computer Conference,
Denton, (June 1981)

"Giving Advice with a
Computer," National
Educational Computer Conference, Norfolk (June, 1980)

"Computerized Advice in
Formal Logic," National
Council of Science Teachers, Anaheim, (March, 1980)

"Morphisms in Intensional
Logic," Association for
Symbolic Logic, New York, (December, 1979)

"Computerized Advice for Proof
Finding in Logic," seminar
given to the Institute for Mathematical Studies in the Social Sciences,
Stanford, (October, 1979)

"The Substitution
Interpretation and the Expressive Power of Intensional Logics," Association for Symbolic Logic, San Diego, (March, 1979)

"Metaphors and
Modality," Indiana
Philosophical Association, Bloomington, (March, 1979)

"Unaxiomitizability of a
Quantified Intensional Logic,"
Association for Symbolic Logic, Biloxi, (January, 1979)

"EMIL, A Universal Proof
Checker," Teaching Philosophy
Conference, Schenectedy, (August, 1978)

**REFEREE FOR:**

Journal of Symbolic Logic

Journal of Philosophical Logic

Notre Dame Journal of Formal
Logic

Nordic Journal of Philosophical
Logic

Mind and Language

Linguistics and Philosophy

Behavioral and Brain
Sciences

Philosophical Psychology

Australasian Journal of
Philosophy

Canadian Journal of Philosophy

Cognition

MIT Press

Cambridge University Press

Yale University Press

Dickenson Publishing Company

St. Martin's Press

Wadsworth Publishing Company

Reidel Publishing Company

**SERVICE**

Program Co-Chair, Society for
Philosophy and Psychology, 1996.

Executive Committee, Society for Philosophy and Psychology
1996-1999

Webmaster, Society for
Philosophy and Psychology, 1995-present

** **

**COURSES DEVELOPED SINCE 1980**

Given in the Department of
Information Engineering, University of

Illinois:

INFE 306 Natural Language Processing (Graduate
Level)

INFE 301 Computer Architecture

INFE 378 Graphics I

INFE 372 Microprocessors

INFE 478 Graphics II (Graduate Level)

Given at University of Houston:

PHIL 1310 Principles of Reasoning

PHIL 1321 Logic I

PHIL 1344 Introduction to the Mind

PHIL 1397 Philosophy of Technology

PHIL 2310 Critical Thinking

PHIL 2321 Logic II

PHIL 3321 Logic III (Modal Logic)

PHIL 3321 Logic III (Foundations of Mathematics)

PHIL 3342 Philosophy of Mathematics

PHIL 3385 History of Modern Philosophy

PHIL 3388 History of 20th Century Philosophy

PHIL 3395 Godel, Escher Bach

PHIL 3395 Logic Programming

PHIL 3395 Philosophy of Mind

Graduate Level

PHIL 6396 Logic and Ontology

PHIL 6326 Wittgenstein

PHIL 6396 Truth

PHIL 6396 Meaning

PHIL 6396 Mental Mechanisms

PHIL 6396 Mind & Matter

PHIL 6396 Free Will

PHIL 6396 Intentionality

PHIL 6395 Consciousness

Given at Rice University:

PHIL 310 Philosophy of Mind

CSCI 410 Computational Modeling of Cognitive
Processes (for the Psychology Department)

Given at University of Houston,
Clear Lake:

CSCI 5931 Natural Language Processing (Graduate Level) (for Computer Science)