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:  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 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 ReadingsPhilosophical 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)