Christopher Menzel

Process modeling is ubiquitous in business and industry. While a great deal of effort has been devoted to the formal and philosophical investigation of processes, surprisingly little research connects this work to real world process modeling. The purpose of this paper is to begin making such a connection. To do so, we first develop a simple mathematical model of activities and their instances based upon the model theory for the NIST Process Specification Language (PSL), a simple language for describing these entities, and a semantics for the latter in terms of the former, and a set of axioms for the semantics based upon the NIST Process Specification Language (PSL). On the basis of this foundation, we then develop a general notion of a process model, and an account of what it is for such a model to be realized by a collection of events.

Very broadly, an argument from collections is an argument that purports to show that our beliefs about sets imply — in some sense — the existence of God. Plantinga (2007) first sketched such an argument in “Two Dozen” and filled it out somewhat in his 2011 monograph Where the Conflict Really Lies: Religion, Science, and Naturalism. In this paper I reconstruct what strikes me as the most plausible version of Plantinga’s argument. While it is a good argument in at least a fairly weak sense, it doesn’t initially appear to have any explanatory advantages over a non-theistic understanding of sets — what I call set theoretic realism. However, I go on to argue that the theist can avoid an important dilemma faced by the realist and, hence, that Plantinga’s argument from collections has explanatory advantages that realism does not have.

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general and intuitively more adequate account of the logical form of predication.

The Knowledge Interchange Format (KIF) [2] is an ASCII- based framework for use in exchanging of declarative knowledge among disparate computer systems. KIF has been widely used in the fields of knowledge engineering and artificial intelligence. Due to its growing importance, there arose a renewed push to make KIF an offi- cial international standard. A central motivation behind KIF standardization is the wide variation in quality, style, and content — of logic-based frameworks being used for knowledge representation. Variations of all three types, of course, hinder the possibility of semantic integration. A well-crafted logic standard for the representation of declarative knowledge would impose some greatly needed syntactic and semantic uniformity on the current somewhat chaotic situation, uniformity that would in turn greatly enhance the capacity for semantic integration. For all its potential advantages, however, the idea of a logic standard is problematic for at least two reasons.

Consider the following argument: All men are mortal; Socrates is a man; therefore, Socrates is mortal. Intuitively, what makes this a valid argument has nothing to do with Socrates, men, or mortality. Rather, each sentence in the argument exhibits a certain logical form, which, together with the forms of the other two, constitute a pattern that, of itself, guarantees the truth of the conclusion given the truth of the premises. More generally, then, the logical form of a sentence of natural language is what determines both its logical properties and its logical relations to other sentences. The logical form of a sentence of natural language is typically represented in a theory of logical form by a well-formed formula in a ‘logically pure’ language whose only meaningful symbols are expressions with fixed, distinctly logical meanings (e.g., quantifiers). Thus, the logical forms of the sentences in the above argument would be represented in a theory based on pure predicate logic by the formulas ‘∀x(Fx ⊃ Gx)’, ‘Fy’, and ‘Gy’, respectively, where ‘F’, ‘G’, and ‘y’ are all free variables. The argument’s intuitive validity is then explained in virtue of the fact that the logical forms of the premises formally entail the logical form of the conclusion. The primary goal of a theory of logical form is to explain as broad a range of such intuitive logical phenomena as possible in terms of the logical forms that it assigns to sentences of natural language.

In studying the early history of mathematical logic and set theory one typically reads that Georg Cantor discovered the so-called Burali-Forti (BF) paradox sometime in 1895, and that he offered his solution to it in his famous 1899 letter to Dedekind. This account, however, leaves it something of a mystery why Cantor never discussed the paradox in his writings. Far from regarding the foundations of set theory to be shaken, he showed no apparent concern over the paradox and its implications whatever. Against this account, I will argue here that in fact Cantor never saw any paradox at all, but that his conception of set at that time, and already as far back as 1883, was one in which the paradoxes cannot arise.

The Process Specification Language (PSL) has been designed to facilitate correct and complete exchange of process information among manufacturing systems, such as scheduling, process modeling, process planning, production planning, simulation, project management, work flow, and business process reengineering. We given an overview of the theories with the PSL ontology, discuss some of the design principles for the ontology, and finish with examples of process specifications that are based on the ontology.

The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small models and hence that its ontological commitments—and, therefore, those of the fundamental principle of world theory—are minimal

Arthur Prior was a truly philosophical logician. Though he believed formal logic to be worthy of study in its own right, of course, the source of Prior’s great passion for logic was his faith in its capacity for clarifying philosophical issues, untangling philosophical puzzles, and solving philosophical problems. Despite the fact that he has received far less attention than he deserves, Prior has had a profound influence on the development of philosophical and formal logic over the past forty years, a fact to which the present volume bears eloquent witness. The genesis of the volume was the 1989 Arthur Prior Memorial Conference, held appropriately enough at the University of Canterbury in Christchurch, New Zealand, where Prior had his first appointment in philosophy. However, this is not a volume of proceedings. Only eight of the twenty-two essays were actually presented at the conference. The rest were solicited by the editor specially for the volume. The subtitle—Essays on the Legacy of Arthur Prior—is an appropriate one. Few of the essays devote much space to Prior’s work per se. Rather, most address issues that, if not first raised by Prior, were revisited by him and subjected to his typically keen and distinctively original analysis. The papers themselves divide pretty evenly into the technical and the less technical. In this short review I will focus on the latter.

Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously without any commitment to possible worlds or possibilism and hence remain in full compliance with actualist scruples. Moreover, one can do so without without invoking either "ersatz" worlds or haecceities.

The iterative conception of set is typically considered to provide the intuitive underpinnings for ZFCU (ZFC+Urelements). It is an easy theorem of ZFCU that all sets have a definite cardinality. But the iterative conception seems to be entirely consistent with the existence of “wide” sets, sets (of, in particular, urelements) that are larger than any cardinal. This paper diagnoses the source of the apparent disconnect here and proposes modifications of the Replacement and Powerset axioms so as to allow for the existence of wide sets. Drawing upon Cantor’s notion of the absolute infinite, the paper argues that the modifications are warranted and preserve a robust iterative conception of set. The resulting theory is proved consistent relative to ZFC + “there exists an inaccessible cardinal number.”

This paper traces the course of Prior’s struggles with the concepts and phenomena of modality, and the reasoning that led him to his own rather peculiar modal logic Q. I find myself in almost complete agreement with Prior’s intuitions and the arguments that rest upon them. However, I argue that those intuitions do not of themselves lead to Q, but that one must also accept a certain picture of what it is for a proposition to be possible. That picture. though, is not inevitable. Rather, implicit in Prior’s own account is an alternative picture that has already appeared in various guises, most prominently in the work of Adams, Fine, Deutsch, and Almog. I, too, will opt for this alternative, though I will spell it out rather differently than these philosophers. I will then show that, starting with the alternative picture, Prior’s intuitions can lead instead to a much happier and more standard quantified modal logic than Q. The last section of the paper is devoted to the formal development of the logic and its metatheory.

Bringsjord (1985) argues that the definition W of possible worlds as maximal possible sets of propositions is incoherent. Menzel (1986a) notes that Bringsjord’s argument depends on the Powerset axiom and that the axiom can be reasonably denied. Grim (1986) counters that W can be proved to be incoherent without Powerset. Grim was right. However, the argument he provided is deeply flawed. The purpose of this note is to detail the problems with Grim’s argument and to present a sound alternative argument for his conclusion – basically the argument Russell gave to establish a well-known paradox in The Principles of Mathematics

Textual and historical subtleties aside, let's call the idea that numbers are properties of equinumerous sets ‘the Fregean thesis.’ In a recent paper, Palle Yourgrau claims to have found a decisive refutation of this thesis. More surprising still, he claims in addition that the essence of this refutation is found in the Grundlagen itself – the very masterpiece in which Frege first proffered his thesis. My intention in this note is to evaluate these claims, and along the way to shed some light on relevant passages of the Grundlagen. I will argue that Yourgrau does not make his case.The arguments with which we are concerned are found in the last three sections of Yourgrau's paper. A pervasive difficulty in these sections is that it is not clear exactly what Yourgrau is arguing against. The stated object of his attack is the Fregean thesis, a thesis about what numbers are; however, instead of a frontal assault, his strategy is to embark on a foray into the ill-defined issue of what it is that numbers number, where, roughly speaking, a number n numbers an object x just in case n can be legitimately assigned to x. The reason for this shift in emphasis appears to be rooted in a misconception. As we’ll see in more detail shortly, Yourgrau's argument against the Fregean thesis is based on an extension of a well known argument of Frege's found in §§22-3 of the Grundlagen, which Glenn Kessler has tagged the ‘relativity argument,’. According to Yourgrau, this is an argument ‘to the effect that what is literally numbered cannot simply be concrete objects’. This is incorrect. Frege himself clarifies the point of the argument in §21 with the following preface:In language, numbers (i.e., numerals] most commonly appear in adjectival form and attributive construction in the same sort of way as the words "hard" or "heavy" or "red," which have for their meanings properties of external things. It is natural to ask whether we must think of the individual numbers too as such properties, and whether, accordingly, the concept of number can be classed along with that, say, of color.

To understand the thesis of actualism, consider the following example. Imagine a race of beings — call them ‘Aliens’ — that is very different from any life-form that exists anywhere in the universe; different enough, in fact, that no actually existing thing could have been an Alien, any more than a given gorilla could have been a fruitfly. Now, even though there are no Aliens, it seems intuitively the case that there could have been such things. After all, life might have evolved very differently than the way it did in fact. So in virtue of what is it true that there could have been Aliens when in fact there are none, and when, moreover, nothing that exists in fact could have been an Alien? So-called "possibilists" offer the following answer: ‘It is possible that there are Aliens’ is true because there are in fact individuals that could have been Aliens. At first blush, this might appear directly to contradict the premise that no existing thing could possibly have been an Alien. The possibilist's thesis, however, is that existence, or actuality, encompasses only a subset of the things that, in the broadest sense, are. So for the possibilist, ‘It is possible that there are Aliens’ is true simply in virtue of the fact that there are possible-but-nonactual Aliens, i.e., things that could have existed (but do not) and which would have been Aliens if they had. Actualists reject this answer; they deny that there are any nonactual individuals. Thus, actualism is the philosophical position that everything there is — everything that can in any sense be said to be — exists, or is actual.

In this paper, an objective conception of contexts based loosely upon situation theory is developed and formalized. Unlike subjective conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate "ist" that expresses the relation that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a global classical predicate calculus, a local logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing "ist" to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example.

According to traditional theism, God alone exists a se, independent of all other things, and all other things exist ab alio, i.e., God both creates them and sustains them in existence. On the face of it, divine "aseity" is inconsistent with classical Platonism, i.e., the view that there are objectively existing, abstract objects. For according to the classical Platonist, at least some abstract entities are wholly uncreated, necessary beings and, hence, as such, they also exist a se. The thesis of theistic activism purports to reconcile divine aseity with a robust Platonism. Specifically, the activist holds that God creates the abstract objects no less than the contingent concrete objects of the physical universe and hence that, like all created things, they exist ab alio after all, their necessity notwithstanding. But many philosophers believe a severe roadblock for activism remains — a problem known as the bootstrapping objection. Despite widespread faith in the deliverances of this argument, in this paper I show that the bootstrapping objection is open to significant objections on several fronts.