# overview
Areas of Specialization: Metaphysics, Logic, Philosophy of Logic, Philosophy of Mathematics.

Other Areas of Interest and Research: Philosophy of Religion, 20th Century Anglo-American Philosophy, Knowledge Representation, Artificial Intelligence.

# keywords[]
5002 History And Philosophy Of Specific Fields

# keywords[]
5002 History And Philosophy Of Specific Fields

# keywords[]
5002 History And Philosophy Of Specific Fields

# keywords[]
Networking And Information Technology R&d (nitrd)

# keywords[]
5002 History And Philosophy Of Specific Fields

# keywords[]
5002 History And Philosophy Of Specific Fields

# educationAndTraining[].organization.label
University of Notre Dame - (Notre Dame, Indiana, United States)

# educationAndTraining[].organization.label
Pacific Lutheran University - (Tacoma, Washington, United States)

# awardsAndHonors[].label
Fellowships for College Teachers and Independent Scholars

# publications[].label
In Defense of the Possibilism-Actualism Distinction

# publications[].label
IDEF3 Process Descriptions and Their Semantics

# publications[].label
Intention is commitment with expectation

# publications[].label
Representation, Information Flow, and Model Integration

# publications[].label
Modal Rigidity in the OntoClean Methodology

# publications[].publisher
[North American Philosophical Publications, University of Illinois Press]

# publications[].label
A Situation Theoretic Approach to the Representation of Processes

# publications[].label
Knowledge representation, the World Wide Web, and the evolution of logic

# publications[].label
Actualism, ontological commitment, and possible world semantics

# publications[].label
On the iterative explanation of the paradoxes

# publications[].label
A formal foundation for process modeling

# publications[].label
The Process Specification Language (PSL) Theory and Applications

# publications[].label
Theism, Platonism, and the Metaphysics of Mathematics

# publications[].label
Problems with the bootstrapping objection to theistic activism

# publications[].label
On an unsound proof of the existence of possible worlds.

# publications[].label
TOWARD A METHOD FOR ACQUIRING CIM ONTOLOGIES

# publications[].label
An integrated process model driven knowledge based system for remote customer support

# publications[].label
Formal model of single agent planning situations

# publications[].label
The Logic Daemon: Colin Allens Computer-Based Contributions to Logic Pedagogy

# publications[].label
The Objective Conception of Context and Its Logic

# publications[].label
Wide Sets, ZFCU, and the Iterative Conception

# publications[].label
Logic, Essence, and Modality Bob Hale. Necessary Beings: An Essay on Ontology, Modality, & the Relations Between Them. Oxford University Press, 2013. ISBN: 978-0-19-966262-3 (hbk); 978-0-19-874803-8 (pbk); 978-0-19-164834-2 (e-book). Pp. ix + 298

# publications[].tags
16 Peace, Justice and Strong Institutions

# publications[].label
The Proper Treatment of Predication in Fine-Grained Intensional Logic

# publications[].label
Temporal Actualism and Singular Foreknowledge

# publications[].label
Review of Logic and Reality: Essays on the Legacy of Arthur Prior, J. Copeland

# publications[].label
An Adaptive Process Management System (APMS)

# publications[].tags
9 Industry, Innovation and Infrastructure

# publications[].label
Structuralism and Conceptual Change in Mathematics

# publications[].label
Frege Numbers and the Relativity Argument

# streetAddress
Texas A&M University; Philosophy & Humanities; 4237 TAMU

# etdChairOf[].label
McDaniel, Brannon David (2003-05). An assessment of presentism. Master's Thesis.

# etdChairOf[].label
Siu, Ho Kin (2008-05). Ante rem Structuralism and the Myth of Identity Criteria. Master's Thesis.

# etdChairOf[].label
Johnson, Amy Catharine (2013-05). An Intuitionistic Examination of Read's Harmony Requirement. Master's Thesis.

# etdChairOf[].label
Hellwig, Heinrik Ziehm (2008-05). Why tropes cannot be metaphysically simple. Master's Thesis.

# etdChairOf[].label
Dondero, Mark (2009-05). What in the World are Possible Worlds?. Master's Thesis.

# etdChairOf[].label
Barthuly, Joshua (2015-05). Modal Dispositionalism. Master's Thesis.

# etdChairOf[].label
Tanksley, Charles William (2002-05). The failure of storytelling to ground a causal theory of reference. Master's Thesis.

# etdChairOf[].label
Driggers, Robert (2011-05). M-Combinatorialism and the Semantics of SQML. Master's Thesis.

# etdChairOf[].label
Navarro, Erin (2016-08). A Defense of a Theistic Argument from the Law of Non-Contradiction. Master's Thesis.