I was surprised to note the critical tone of the discussion which my friend Leonard B. Meyer recently devoted in these pages to an article on the relation of art and science that I wrote for a popular scientific magazine. For I had believed all the while that in my article I was merely presenting to a general scientific audience a watered-down version of what I thought were Meyer's own views. Evidently I was mistaken in that belief, though (...) I have been unable to fathom just where I went wrong in interpreting Meyer's earlier writings, which, more than any other source, are the provenance of my ideas about the nature of art. Gunther S. Stent, professor of molecular biology at the University of California, Berkeley, is the author of Molecular Biology of Bacterial Viruses, Phage and the Origin of Molecular Biology, Molecular Genetics: An Introductory Narrative, The Coming of the Golden Age: A View of the End of Progress, and many important scientific papers. In Concerning the Sciences, the Arts—AND the Humanities" , Leonard B. Meyer took issue with views expressed by Professor Stent in "Prematurity and Uniqueness in Scientific Discovery," published in Scientific American. (shrink)

One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly (...) discussing a general conception of conditionality that may unify the three given conceptions. (shrink)

Ulrich Meyer defends a novel theory about the nature of time, and argues against the consensus view that time and space are fundamentally alike. He presents the first comprehensive defense of a 'modal' account, which emphasizes the similarities between times and possible worlds in modal logic, and is easily reconciled with the theory of relativity.

In this article, we contend that due to their size and emphasis upon addressing external social concerns, the corporate relationship between social enterprises, social awareness and action is more complex than whether or not these organisations engage in corporate social responsibility (CSR). This includes organisations that place less emphasis on CSR as well as other organisations that may be very proficient in CSR initiatives, but are less successful in recording practices. In this context, we identify a number of internal CSR (...) markers that may be applied to measuring the extent to which internal CSR practices are being observed. These considerations may be contrasted with the evidence that community based CSR activities is often well developed in private sector small to medium sized enterprises (SMEs) (Observatory of European SMEs, 2002), a situation which may be replicated in social enterprises especially those that have grown from micro-enterprises embedded in local communities. We place particular emphasis upon the implications for employee management. Underpinning our position is the Aristotelian-informed capabilities approach, a theory of human development and quality of life, developed by Sen (1992; 1999) and Nussbaum (1999) which has been developed further, in an organisational context, (e.g., Cornelius, 2002); Cornelius and Gagnon, 2004; Gagnon and Cornelius, 1999; Vogt, 2005. We contend that the capabilities approach offers additional insights into CSR in social enterprises in general and internal CSR activity in particular. Our article concludes with proposals for future research initiatives and reflections upon social enterprise development from a capabilities perspective. (shrink)

A 'Kripke-style' semantics is given for combinatory logic using frames with a ternary accessibility relation, much as in the Tourley-Meyer semantics for relevance logic. We prove by algebraic means a completeness theorem for combinatory logic, by proving a representation theorem for 'combinatory posets.' A philosophical interpretation is given of the models, showing that an element of a combinatory poset can be understood simultaneously as a set of states and as a set of actions on states. This double interpretation allows (...) for one such element to be applied to another . Application turns out to be modeled the same way as 'fusion' in relevance logic.We also introduce 'dual combinators' that apply from the right. We then explore relationships to some well-known substructural logics, showing that each can be embedded into the structurally free. non-associative Lambek calculus, with the embedding taking a theorem ω to a statement of the form Γ ⊨ ω, where Γ is some fusion of the combinators needed to justify the structural assumptions of the given substructural logic. This builds on earlier ideas from Belnap and Meyer about a Gentzen system wherein structural rules are replaced with rules for introducing combinators. We develop such a system and prove a cut theorem. (shrink)

Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; Fermé and Rodriguez, 1998; (...) Rott and Pagnucco, 1999). In this paper we present a new addition, systematic withdrawal, to the family of withdrawal operations, as they have become known. We define systematic withdrawal semantically, in terms of a set of preorders, and show that it can be characterised by a set of postulates. In a comparison of withdrawal operations we show that AGM contraction, systematic withdrawal and the severe withdrawal of Rott and Pagnucco (1999) are intimately connected by virtue of their definition in terms of sets of preorders. In a future paper it will be shown that this connection can be extended to include the epistemic entrenchment orderings of Gärdenfors (1988) and Gärdenfors and Makinson (1988) and the refined entrenchment orderings of Meyer et al. (2000). (shrink)

Generalisations of theory change involving arbitrary sets of wffs instead of belief sets have become known as base change. In one view, a base should be thought of as providing more structure to its generated belief set, and can be used to determine the theory change operation associated with a base change operation. In this paper we extend a proposal along these lines by Meyer et al. We take an infobase as a finite sequence of wffs, with each element (...) in the sequence being seen as an independently obtained bit of information, and define appropriate infobase change operations. The associated theory change operations satisfy the AGM postulates for theory change. Since an infobase change operation produces a new infobase, it allows for iterated infobase change. We measure iterated infobase change against the postulates proposed by Darwiche et al. and Lehmann. (shrink)

Loveland and Meyer have studied necessary and sufficient conditions for an infinite binary string x to be recursive in terms of the programsize complexity relative to n of its n-bit prefixes xn. Meyer has shown that x is recursive iff ∃c, ∀n, K(xn/n) ≤ c, and Loveland has shown that this is false if one merely stipulates that K(xn/n) ≤ c for infinitely..

For the passions represent a force of excess and lawlessness in humanity that produces troubling, confusing paradoxes.In this book, noted European philosopher Michel Meyer offers a wide-ranging exegesis, the first of its kind, that ...

The Nature of Problematic Knowledge by MICHEL MEYER An interdisciplinary reader on questions and questioning, such as this one, is based on the evidence ...

Contemporary or postmodern thought is based on the lack of foundation. The impossibility of having a principle for philosophy has become a position of principle. As a result, rhetoric has taken over. Content has given way to the priority of form. Michel Meyer's book aims at showing that philosophy as foundational is possible and necessary, and that rhetoric can flourish alongside, but the conception of reason must be changed. Questioning rather than answering must be considered as the guiding principle. (...) What the author calls "problematology" is not only the study of questioning but also the analysis of the reasons why it has been repressed throughout the history of philosophy. Since Socrates, philosophers and scientists have reasoned by asking questions and by trying to solve them. Questioning has been the unthematized foundation of philosophy and thought at large. Philosophers, however, have preferred another norm, granting privilege to the answers and thereby repressing the questions into the realm of the preliminary and unessential. They have not considered their discursive practice as being based upon some question-answer complex, but exclusively on the results they call propositions. Meyer argues that propositions ensue from corresponding questions, and not the other way around. Anthropology, ontology, reasoning, and language thus receive a new interpretation in the problematological conception of philosophy, a conception in which questions and problems are thematized afresh. The theory of language in everyday use, in argumentation, or in literary analysis receives a full and decisive treatment here, making Meyer's question-view one of the leading theories in contemporary thought, alongside his rhetoric for which he is already well known. (shrink)

The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime (...) theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the ω-rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## ⊆ TR ⊆ T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A ⊃ C and A are theorems of R## but C is a non-theorem. (shrink)

Like a number of other writers, [Gunther S.] Stent contends that in essential ways science and art are comparable. As he puts it: "Both the arts and the sciences are activities that endeavor to discover and communicate truths about the world" . Although one cannot but sympathize with the desire to bring the so-called Two Cultures together, a viable and enduring union will not be achieved by ignoring or glossing over important differences. Using the behavior of scientists, artists, and laymen (...) as empirical evidence, the first part of this essay will argue that Stent's union is a shotgun marriage, not one made in heaven, and that his attempt to wed different disciplinary species results not in fecund insight but barren misconception. In the second part, I will suggest that this misunderstanding arises because, like many scientists Stent fails even to recognize the existence of the humanist - that is, the theorist and critic of the arts. Yet the humanities must be included, and areas of inquiry within them differentiated, if diverse disciplines are to be related to one another in a coherent and consistent way. Leonard B. Meyer's most recent book is Explaining Music: Essays and Explanations. He is also the author of Emotion and Meaning in Music, The Rhythmic Structure of Music , and Music, The Arts, and Ideas, awarded the Laing Prize in 1969. See also: "Against Literary Darwinism" by Jonathan Kramnick in Vol. 38, No. 2. (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL (a Funny Logic), axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ∼A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. (...) This accords with the treatment of negation in the Abelian l-group logic A of Meyer and Slaney (Abelian logic. Abstract, Journal of Symbolic Logic 46, 425–426, 1981), which also defines ∼A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem B refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n = 2 (Lewis, The structure of logic and its relation to other systems. The Journal of Philosophy 18, 505–516, 1921; Meyer and Slaney, Abelian logic. Abstract. Journal of Symbolic Logic 46, 425–426, 1981; This is an abstract of the much longer paper finally published in 1989 in G. G. Priest, R. Routley and J. Norman, eds., Paraconsistent logic: essays on the inconsistent, Philosophica Verlag, Munich, pp. 245–288, 1989). (shrink)

Few will, I think, doubt that the Trio from the Minuetto movement of Mozart's G Minor Symphony seems simple, direct, and lucid—even guileless. Its melodies are based upon common figures such as triads and conjunct diatonic motion. No hemiola pattern, often encountered in triple meter, disturbs metric regularity. With the exception of a subtle ambiguity..., rhythmic structure is in no way anomalous. There are no irregular or surprising chord progressions; indeed, secondary dominants and chromatic alterations occur very frequently. The instrumentation (...) is quite conventional, and no unusual registers are employed. In this essay, Leonard B. Meyer, Benjamin Franklin Professor of music and humanities at the University of Pennsylvania, further explores and details the significance of theories advanced in his book, Explaining Music: Essays and Explorations. His previous contribution to Critical Inquiry, "Concerning the Sciences, the Arts - AND the Humanities," appeared in our first issue. (shrink)

C I Lewis showed up Down Under in 2005, in e-mails initiated by Allen Hazen of Melbourne. Their topic was the system Hazen called FL, axiomatized in passing in Lewis 1921. I show that FL is the system MEN of material equivalence with negation. But negation plays no special role in MEN. Symbolizing equivalence with → and defining ~ A inferentially as A→f, the theorems of MEN are just those of the underlying theory ME of pure material equivalence. This accords (...) with the treatment of negation in the Abelian 1-group logic A of Meyer and Slaney, which also defines ~ A inferentially with no special conditions on f. The paper then concentrates on the pure implicational part AI of A, the simple logic of Abelian groups. The integers Z were known to be characteristic for AI, with every non-theorem refutable mod some Zn for finite n. Noted here is that AI is pre-tabular, having the Scroggs property that every proper extension SI of AI, closed under substitution and detachment, has some finite Zn as its characteristic matrix. In particular FL is the extension for which n=2. (shrink)

The system R## of "true" relevant arithmetic is got by adding the ω-rule "Infer VxAx from AO, A1, A2, ...." to the system R# of "relevant Peano arithmetic". The rule ⊃E (or "gamma") is admissible for R##. This contrasts with the counterexample to ⊃E for R# (Friedman & Meyer, "Whither Relevant Arithmetic"). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime (...) theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the ω-rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## ⊆ TR ⊆ T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A ⊃ C and A are theorems of R## but C is a non-theorem. (shrink)

herent and rational way. Several proposals have been made for information merging in which it is possible to encode the preferences of sources (Benferhat, Dubois, Prade, & Williams, 1999; Benferhat, Dubois, Kaci, & Prade, 2000; Lafage & Lang, 2000; Meyer, 2000, 2001; Andreka, Ryan, & Schobbens, 2001). Information merging has much in common with social choice theory, which aims to define operations reflecting the preferences of a society from the individual preferences of the members of the society. Given this (...) connection, frameworks for information merging should provide satisfactory resolutions of problems raised in social choice theory. We investigate the link between the merging of epistemic states and two important results in social choice theory. We show that Arrow’s well-known impossibility theorem (Arrow, 1963) does not hold in merging frameworks when the preferences of sources are represented in terms of epistemic states. This is achieved by providing a consistent set of properties for merging from which Arrow-like properties can be derived. Similarly, by extending these to a consistent framework which includes properties corresponding to the notion of being strategy-proof, we show that results due to Gibbard and Satterthwaite (Gibbard, 1973; Satterthwaite, 1973, 1975) and other (Benoit, 2000; Barber´a, Dutta, & Sen, 2000) do not hold in merging frameworks. (shrink)

In this book, Matthew P. Meyer analyzes the archer and the bow as a metaphor for the human condition in Lacan, Nietzsche, and Greek literature. The bow is a model of the tension at the heart of the human condition, while the archer is a symbol of control.

Jesus the Jew is the primary signifier of Christianity's indebtedness to Judaism. This connection is both historical and continuous. In this book, Barbara Meyer shows how Christian memory, as largely intertwined with Jewish memory, provides a framework to examine the theological dimensions of historical Jesus research. She explores the topics that are central to the Jewishness of Jesus, such as the Christian relationship to law, and otherness as a Christological category. Through the lenses of the otherness of the Jewish (...) Jesus for contemporary Christians, she also discusses circumcision, natality, vulnerability, and suffering in dialogue with thinkers seldom drawn into Jewish-Christian discourse, notably Hannah Arendt, Julia Kristeva, Martha Nussbaum and Adi Ophir. Meyer demonstrates how the memory of Jesus' Jewishness is a key to reconfiguring contemporary challenges to Christian thought, such as particularity and otherness, law and ethics after the Shoah, human responsibility, and divine vulnerability. (shrink)

Between 1878 and 1882, Nietzsche published what he called 'the free spirit works': Human, All Too Human; Assorted Opinions and Maxims; The Wanderer and His Shadow; Daybreak; and The Gay Science. Often approached as a mere assemblage of loosely connected aphorisms, these works are here reinterpreted as a coherent narrative of the steps Nietzsche takes in educating himself toward freedom that that executes a dialectic between scientific truth-seeking and artistic life-affirmation. Matthew Meyer's new reading of these works not only (...) provides a more convincing explanation of their content but also makes better sense of the relationship between them and Nietzsche's larger oeuvre. His argument shows how these texts can and should be read as a unified project even while they present multiple, in some cases conflicting, images of the free spirit. The book will appeal to anyone who is interested in Nietzsche's philosophy and especially to those puzzled about how to understand the peculiarities of the free spirit works. (shrink)

Susan Sauvé Meyer presents a new translation of Plato's Laws, 1 and 2, in which a Cretan, a Spartan, and an Athenian discuss legislative theory, moral psychology, and the criteria for evaluating art. Meyer's fluent and readable translation achieves a high standard of fidelity to the original Greek. The commentary lays bare the structure of the argumentation, illuminates the philosophical issues, and explains difficult passages, making this complex and intricate work accessible to students and scholars alike.

Le théâtre est, avec l’épopée, la plus ancienne forme de littérature en Occident. Son but est de créer de la distance avec des situations problématiques, liées au pouvoir, au divin, aux dilemmes moraux, afin de permettre au spectateur de faire le bon jugement sans se sentir directement impliqué.Michel Meyer envisage toutes les théories du théâtre, à commencer par celle d’Aristote, qui se sont succédé jusqu’à aujourd’hui et les confronte à l’histoire même du théâtre. Eschyle, Sophocle, Euripide, Aristophane, Marlowe, Machiavel, (...) Shakespeare, Racine et le théâtre classique français, le théâtre baroque espagnol, le romantisme, le réalisme, d’Ibsen à Tchekhov et à Pirandello, comme le théâtre de l’absurde, avec Ionesco, Beckett ou Sartre, tout est étudié, articulé, et remis en perspective. La rationalité dans l’histoire du théâtre est clairement mise en évidence, sans jamais négliger ce que le théâtre doit ou apporte aux autres arts les plus proches, comme l’opéra.Michel Meyer offre ici une synthèse spectaculaire et une érudition sans précédent sur le phénomène “théâtre” en un ouvrage court et percutant, plein d’idées nouvelles. (shrink)

Contemporary or postmodern thought is based on the lack of foundation. The impossibility of having a principle for philosophy has become a position of principle. As a result, rhetoric has taken over. Content has given way to the priority of form. Michel Meyer's book aims at showing that philosophy as foundational is possible and necessary, and that rhetoric can flourish alongside, but the conception of reason must be changed. Questioning rather than answering must be considered as the guiding principle. (...) What the author calls "problematology" is not only the study of questioning but also the analysis of the reasons why it has been repressed throughout the history of philosophy. Since Socrates, philosophers and scientists have reasoned by asking questions and by trying to solve them. Questioning has been the unthematized foundation of philosophy and thought at large. Philosophers, however, have preferred another norm, granting privilege to the answers and thereby repressing the questions into the realm of the preliminary and unessential. They have not considered their discursive practice as being based upon some question-answer complex, but exclusively on the results they call propositions. Meyer argues that propositions ensue from corresponding questions, and not the other way around. Anthropology, ontology, reasoning, and language thus receive a new interpretation in the problematological conception of philosophy, a conception in which questions and problems are thematized afresh. The theory of language in everyday use, in argumentation, or in literary analysis receives a full and decisive treatment here, making Meyer's question-view one of the leading theories in contemporary thought, alongside his rhetoric for which he is already well known. (shrink)

Master Sun's _The Art of War_ is by no means the only ancient Chinese treatise on military affairs. One chapter in the _Huainanzi_, an important compendium of philosophy and political theory written in the second century B.C.E., synthesizes the entire corpus of military literature inherited from the Chinese classical era. Drawing on all major, existing military writings, as well as other lost sources, it assesses tactics and strategy, logistics, organization, and political economy, as well as cosmology and the fundamental morality (...) of warfare. This powerful work set out to become the last word on military matters, subsuming and replacing all preceding literature. Written under the sponsorship of Liu An, king of Huainan, the _Huainanzi_'s "military methods" emphasize the preservation of peace as the ultimate value to be served by the military, insisting that the army can be effectively and rightly used only when defending the sacred hereditary position of the emperor and his vassals. This position stands in stark contrast to that of _The Art of War_, which prioritizes the enrichment and empowerment of the state. Liu An's philosophy also argues that military success depends on the personal cultivation of the commander and that deception is not enough to secure victory. Only a commander with the exceptional qualities of insight and cognition, developed through a program of meditative practice and yogic refinement, can effectively control and interpret the strategic situation. Andrew Seth Meyer offers both a full translation of this text and an extensive analysis of its historical context. His thorough treatment relates Liu An's teachings to issues in Chinese philosophy, culture, religion, and history, helping to interpret their uncommon message. (shrink)

Preparing words in speech production is normally a fast and accurate process. We generate them two or three per second in fluent conversation; and overtly naming a clear picture of an object can easily be initiated within 600 msec after picture onset. The underlying process, however, is exceedingly complex. The theory reviewed in this target article analyzes this process as staged and feedforward. After a first stage of conceptual preparation, word generation proceeds through lexical selection, morphological and phonological encoding, phonetic (...) encoding, and articulation itself. In addition, the speaker exerts some degree of output control, by monitoring of self-produced internal and overt speech. The core of the theory, ranging from lexical selection to the initiation of phonetic encoding, is captured in a computational model, called WEAVER++. Both the theory and the computational model have been developed in interaction with reaction time experiments, particularly in picture naming or related word production paradigms, with the aim of accounting for the real-time processing in normal word production. A comprehensive review of theory, model, and experiments is presented. The model can handle some of the main observations in the domain of speech errors (the major empirical domain for most other theories of lexical access), and the theory opens new ways of approaching the cerebral organization of speech production by way of high-temporal-resolution imaging. (shrink)

Is it fair to leave the next generation a public debt? Is it defensible to impose legal rules on them through constitutional constraints? From combating climate change to ensuring proper funding for future pensions, concerns about ethics between generations are everywhere. In this volume sixteen philosophers explore intergenerational justice. Part One examines the ways in which various theories of justice look at the matter. These include libertarian, Rawlsian, sufficientarian, contractarian, communitarian, Marxian and reciprocity-based approaches. In Part Two, the authors look (...) more specifically at issues relevant to each of these theories, such as motivation to act fairly towards future generations, the population dimension, the formation of preferences through education and how they impact on our intergenerational obligations, and whether it is fair to rely on constitutional devices. (shrink)

Much social theory takes for granted the core conceit of modern culture, that modern actors-individuals, organizations, nation states-are autochthonous and natural entities, no longer really embedded in culture. Accordingly, while there is much abstract metatheory about "actors" and their "agency," there is arguably little theory about the topic. This article offers direct arguments about how the modern (European, now global) cultural system constructs the modern actor as an authorized agent for various interests via an ongoing relocation into society of agency (...) originally located in transcendental authority or in natural forces environing the social system. We see this authorized agentic capability as an essential feature of what modern theory and culture call an "actor," and one that, when analyzed, helps greatly in explaining a number of otherwise anomalous or little analyzed features of modern individuals, organizations, and states. These features include their isomorphism and standardization, their internal decoupling, their extraordinarily complex structuration, and their capacity for prolific collective action. (shrink)

The report of the President's Council on Bioethics, Human Cloning and Human Dignity, addresses the central ethical, political, and policy issue in human embryonic stem cell research: the moral status of extracorporeal human embryos. The Council members were in sharp disagreement on this issue and essentially failed to adequately engage and respectfully acknowledge each others' deepest moral concerns, despite their stated commitment to do so. This essay provides a detailed critique of the two extreme views on the Council (i.e., embryos (...) have full moral status or they have none at all) and then gives theoretical grounding for our judgment about the intermediate moral status of embryos. It also supplies an account of how to address profound moral disagreements in the public arena, especially by way of constructing a middle ground that deliberately pays sincere respect to the views of those with whom it has deep disagreements. (shrink)

The Postlude, written for this edition, looks back at the predictions made more than twenty-five years ago and speculates about what the coming decades may hold ...

According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It shows that “now” and “then” are eliminable in quantified tense logic, provided we endow it with enough quantificational structure. The operators might (...) not be redundant in some other systems of tense logic, but this merely indicates a lack of quantificational resources and does not show any deep-seated inability of tense logic to express claims about time. The paper closes with a brief discussion of the modal analogue of this issue, which concerns the role of the actuality operator in quantified modal logic. (shrink)