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

PUBLICATIONS

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 Psychology, 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)