**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: __What Logic Means: From Proof to
Model-Theoretic Semantics__ (2013) under contract with Cambridge University
Press to appear in 2013.

Second Edition: __Modal Logic For Philosophers__
(2013) under contract with Cambridge University Press to appear in 2013

ÒOpen Futures in the
Foundations of Propositional Logic,Ó to appear in __Nuel____
Belnap on Indeterminism and Free Action,__ T.
Mueller (ed.) Springer, 2013.

ÒThe Logic of Vagueness (and Everything
Else Too)Ó, with Joshua D. K. Brown in preparation.

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

Ò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)