Remarks on Gregory's “Actually” Operator

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing actually operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an actually operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the actually axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language.     

Peace and Justice: A Limited Reconciliation

This paper aims to relax the tension between the political requirements of making peace and the moral demands of doing justice, in light of the ‘peace processes’ in South Africa and Northern Ireland. It begins by arguing that criminal justice should be reconceived as consisting primarily in the vindication of victims, both direct and indirect. This is not to deny the retributive punishment of perpetrators any role at all, only to insist that it be largely subservient to the goal of vindication. Why should we take such an account of justice to be true? The paper offers two reasons. First, Christians – and even secularist liberals – have a prima facie reason in the consonance of this account with the Bible's eudaimonistic conception of justice as ordered to the restoration of healthy community. Second, since all concepts of criminal justice share the basic notion of putting right what is wrong, it would be odd if the repair of damage done to victims (i.e., their ‘vindication’) were not prominent among its concerns; and there are reasons to suppose that this vindication should actually predominate in relation to the other principles of justice (the retributive ‘balancing’ of crime and punishment, and the reform of the criminal for his own sake). In its final sections, the paper applies the proposed conception of criminal justice to the ‘peace processes’ in South Africa and Northern Ireland, and concludes that in both cases, notwithstanding concessions to the politics of peace-making, considerable justice has been done.     

A Work in Progress

After expressing gratitude to each contributor, and briefly commenting on each, I probe several main themes of my work, addressing the question of the apparent difference between my earlier philosophical and later clinical writings. Central to both is the reflexivity of the human agent, and that each exhibits a form of practice regardless of the specific aims embedded in each. I then address the theme of narrative writing as my work has developed over the past several decades – at the heart of which are questions of self and integrity.     

Is the brain a memory box?

Bickle argues for both a narrow causal reductionism, and a broader ontological-explanatory reductionism. The former is more successful than the latter. I argue that the central and unsolved problem in Bickle's approach to reductionism involves the nature of psychological terms. Investigating why the broader reductionism fails indicates ways in which phenomenology remains more than a handmaiden of neuroscience.     

The duality of non-conceptual content in Husserl’s phenomenology of perception

Recently, a number of epistemologists have argued that there are no non-conceptual elements in representational content. On their view, the only sort of non-conceptual elements are components of sub-personal organic hardware that, because they enjoy no veridical role, must be construed epistemologically irrelevant. By reviewing a 35-year-old debate initiated by Dagfinn Følledal, I believe Husserlian phenomenology can be updated to offer an important contribution to this discussion. On my interpretation, what Husserl calls “hyletic data” may be read as that subjective quality of experience inarticulable as a propositional attitude – and, thus, hyletic data are non-conceptual. In anticipation of the recent conceptualist position, Føllesdal and his adherents argued that what Husserl had called “noema” or representational content is, however, entirely conceptual. A closer inspection of the relevant texts, however, reveals that Husserl admits non-conceptual elements into his characterization of the noema. If that is correct, then Husserl must have been a dualist about non-conceptual content. In turn, I believe what explains this dualism is a non-foundationalist reconstruction of Husserl’s phenomenological reduction.An earlier version of this paper was delivered at Fordham University on the occasion of the 33rd Annual Meeting of the Husserl Circle. I am grateful to Prof. Steven Crowell who, in his capacity as respondent, offered incisive and helpful commentary. I also thank Prof. John J. Drummond for organizing the meeting, and all those present during my talk; as well as two anonymous reviewers for Phenomenology and the Cognitive Sciences, who offered helpful questions and comments.     

Some Thoughts about the Origins of ``Greek Ethics'

In this paper, I argue that several of the main issues that became a focus for classical Greek philosophy were initially framed by Homer. In particular, Homer identifies a tension between justice and individual excellence, and problematizes the connection between the heroic conception of excellence and ``eudaimonia' (happiness). The later philosophers address the problems raised in Homer by profoundly transforming the way each of these terms was to be conceived.     

Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics.     

Set-Theoretic Absoluteness and the Revision Theory of Truth

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.     

On Consistent Subsets of Large Sets of Satisfiable Sentences

We extend some results of Adam Kolany to show that large sets of satisfiable sentences generally contain equally large subsets of mutually consistent sentences. In particular, this is always true for sets of uncountable cofinality, and remains true for sets of denumerable cofinality if we put appropriate bounding conditions on the sentences. The results apply to both the propositional and the predicate calculus. To obtain these results, we use delta sets for regular cardinals, and, for singular cardinals, a generalization of delta sets. All of our results are theorems in ZFC.     

目标内容效应及其心理机制

以自我决定论为基础的目标内容理论认为,内部目标是指反映个体的内在成长趋向的目标,如自我接受、亲密关系、健康等;外部目标是指如何获得外部奖赏或社会赞许,通过获得外部的价值给别人留下深刻的印象等目标,如财富、权力、地位等。大量的研究表明内、外部目标有着不同的效应,而基本心理需要（关系、胜任、自主）是被证实的能解释内、外部目标内容效应的心理机制。在未来的研究中除了更深入地去探讨其心理机制之外,还要积极进行本土化的实证研究