Amplitude variation with offset inversion has been widely used in reservoir characterization to predict lithology and fluids. However, some existing AVO inversion methods that use [Formula: see (...) text] norm regularization may not obtain the block boundary of subsurface layers because the AVO inversion is a severely ill-posed problem. To obtain sparse and accurate solutions, we have introduced the [Formula: see text] minimization method as an alternative to [Formula: see text] norm regularization. We used [Formula: see text] minimization for simultaneous P- and S-impedance inversion from prestack seismic data. We first derived the forward problem with multiangles and set up the inversion objective function with constraints of a priori low-frequency information obtained from well-log data. Then, we introduced minimization of the difference of [Formula: see text] and [Formula: see text] norms, denoted as [Formula: see text] minimization, to solve this objective function. The nonconvex penalty function of the [Formula: see text] minimization method is decomposed into two convex subproblems via the difference of convex algorithm, and each subproblem is solved by the alternating direction method of multipliers. Compared to [Formula: see text] norm regularization, the results indicate that [Formula: see text] minimization has superior performance over [Formula: see text] norm regularization in promoting blocky/sparse solutions. Tests on synthetic and field data indicate that our method can provide sparser and more accurate P- and S-impedance inversion results. The overall results confirm that our method has great potential in the detection and identification of fluids. (shrink)

I thought the paper by Kai-yee Wong and Chris Fraser was fascinating and insightful. Two things I especially appreciated are the clarity with which they summarize (...) class='Hi'>my views. I think they are quite fair and accurate. Second, I appreciate their suggestion that the way to deal with the practical problem of weakness of will has much to do with the role of the Background in shaping our actions. I think they are especially on the right track when they say that the improvement of Background skills may actually narrow the range of real options for action, (p. 21) nonetheless, they do not decrease freedom. As they say, “It is a process of strengthening the self, and the agent is likely to experience the concomitant restriction of ‘live’ options not as a limitation but as strength of character.” (p. 21). That seems to me very much on the right track. What they are suggesting, and it is a powerful addition to my own writings, is that we should not just think of the Background as facilitating languages, games and social practices generally, but for morality as well (p. 23). (shrink)

In my Contemporary Critiques of Religion and in my Scepticism , I argue that non-anthropomorphic conceptions of God do not make sense. By this I mean that (...) we do not have sound grounds for believing that the central truth-claims of Christianity are genuine truth-claims and that we do not have a religiously viable concept of God. I argue that this is so principally because of three interrelated features about God-talk. While purporting to be factual assertions, central bits of God-talk, e.g. ‘God exists’ and ‘God loves man-kind’, are not even in principle verifiable in such a way that we can say what experienceable states of affairs would count for these putative assertions and against their denials, such that we could say what it would be like to have evidence which would make either their assertion or their denial more or less probably true. Personal predicates, e.g. ‘loves’, ‘creates’, are at least seemingly essential in the use of God-talk, yet they suffer from such an attenuation of meaning in their employment in religious linguistic environments that it at least appears to be the case that we have in such environments unwittingly emptied these predicates of all intelligible meaning so that we do not understand what we are asserting or denying when we utter ‘God loves mankind’ or ‘God created the heavens and the earth’ and the like. When we make well-formed assertions, it appears at least to be the case that a necessary condition for such wellformedness is that we should be able successfully to identify the subject of that putative statement so that we can understand what it is that we are talking about and thus understand that a genuine statement has actually been made. But, where God is conceived non-anthropomorphically, we have no even tolerably clear idea about how God, an infinite individual, occupying no particular place or existing at no particular time, and being utterly transcendent to the world, can be identified. Indeed we have no coherent idea of what it would be like to identify him and this means we have no coherent idea of what it would be like for God even to be a person or an it. He cannot be picked out and identified in the way persons and things can. (shrink)

The subjective experience of time is a fundamental constituent of human consciousness and can be disturbed under conditions of mental disorders such as schizophrenia or affective disorders. (...) Besides the scientific domain of psychiatry, time consciousness is a topic that has been extensively studied both by theoretical philosophy and cognitive neuroscience. It can be shown that both approaches exemplified by the philosophical analysis of time consciousness and the neuroscientific theory of cross-temporal contingencies as the neurophysiological basis of human consciousness implemented in the prefrontal cortex converge in 2 respects. Firstly, a tripartite conception of consciousness divides human cognition in 3 different temporal domains comprising retention, presentation, and protention and the past, the present, and the future corresponding to working memory, interference control, and preparatory set. Secondly, both concepts refer to the present as an extended duration that integrates information from the recent past and the future. We propose that the integration of phenomenological and neuroscientific approaches can stimulate the development of enriched pathophysiological concepts of mental disorders. This approach appears to be particularly fruitful with respect to schizophrenia that is interpreted as a structural disturbance of time consciousness. (shrink)

Many find the prospect of death distressing at least partly because they believe that death deprives its subject of life’s benefits. Properly qualified, the belief is (...) class='Hi'>surely true. But should its truth lead us to conclude that there is something dreadful or awful about death, something that merits distress? (shrink)

Identity, we're told, is the binary relation that every object bears to itself, and to itself only. But how can a relation be binary if it (...) class='Hi'>never relates two objects? This puzzled Russell and led Wittgenstein to declare that identity is not a relation between objects. The now standard view is that Wittgenstein's position is untenable, and that worries regarding the relational status of identity are the result of confusion. I argue that the rejection of identity as a binary relation is perfectly tenable. To this end, I outline and defend a logical framework that is not committed to an objectual identity relation but is nevertheless expressively equivalent to first-order logic with identity. After it has thus been shown that there is no indispensability argument for objectual identity, I argue that we have good reasons for doubting the existence of such a relation, and rebut a number of attempts at discrediting these reasons. (shrink)

In §93 of The Principles of Mathematics, Bertrand Russell observes that “the variable is a very complicated logical entity, by no means easy to analyze correctly”. This (...) assessment is borne out by the fact that even now we have no fully satisfactory understanding of the role of variables in a compositional semantics for first-order logic. In standard Tarskian semantics, variables are treated as meaning-bearing entities; moreover, they serve as the basic building blocks of all meanings, which are constructed out of variable assignments. But this has disquieting consequences, including Fine’s antinomy of the variable and an undue dependence of meanings on language. Here I develop an alternative, Fregean version of predicate logic that uses the traditional quantifier–variable apparatus for the expression of generality, possesses a fully compositional, non-representational semantics, and is not subject to the antinomy of the variable. The advantages of Fregean over Tarskian predicate logic are due to the former’s treating variables not as meaningful lexical items, but as mere marks of punctuation, similar to parentheses. I submit that this is indeed how the variables of predicate logic should be construed. (shrink)

Metaphilosophy is itself philosophy about philosophy. It is not something before or independent of philosophy. Both Kai Nielsen and Richard Rorty are deeply concerned (someone might say (...) obsessively preoccupied) with metaphilosophy. They both are thoroughly historicist and contextualist resolutely rejecting any form of a transcendental or metaphysical turn. They argue against claims to absolute validity (as well as against absolutism in any form) and a natural order of reasons: some 'Reason' to which any rational agent must be committed. They both see philosophy as a transitional genre first (historically speaking) from religion then metaphysics and more latterly from scientistic conceptions of the world. But they differ about what philosophy is transitional to. For Rorty it is historical narrative and utopian proposals; for Nielsen it is critical theory. Rorty claims this, Nielsen's intentions to the contrary notwithstanding, commits him to enlightenment rationalism. Nielsen replies that his form of critical theory is deeply historicist and contextual without being resolutely atheoretical. This plays out in political orientation to Nielsen's being a socialist while Rorty is a social democrat. (shrink)

This festschrift includes a dozen essays on issues that have been at the focus of Kai Nielsen's research, mainly issues in ethics and political philosophy. Among (...) class='Hi'>these are four essays on socialism and Marxism. There are also essays on philosophy of religion, epistemology, and meta-philosophy. (shrink)

This article re-examines the role of the brain in self-recognition. It reconsiders the idea that the frontal and cortical midline structures are important for self-specific (...) experience in light of several recent reviews of neuroscience literature. The findings suggests that the frontal cortex and the cortical midline structure are not the only areas involved in self-related tasks and that these areas may be involved not because the tasks are self-specific, but because they are tasks that involve a specific kind of cognitive operation, specifically reflective evaluation. (shrink)

Although thought suppression is a commonly used self-control strategy that has far-reaching consequences, its effect on ethical decision making is unclear. Whereas ironic process theory suggests (...) class='Hi'> that suppressing ethics-related thoughts leads to mental rebounds of ethicality and decreased unethical behavior, ego depletion theory suggests that thought suppression can lead to reduced self-control and increased unethical behavior. Integrating the two theories, I propose that the effect of thought suppression on unethical behavior hinges on the content of the suppressed thoughts. Participants who suppressed ethics-related [-unrelated] thoughts engaged in less [more] cyber bullying, cheating, and dishonesty compared to participants in the control conditions. Explicit and implicit moral awareness was found to mediate this moderated effect. Experiment 4 further demonstrated that suppressing ethics-related thoughts reduces self-control performance on a subsequent amoral task, but not on subsequent ethical decision making. (shrink)

We investigate a rst-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign, and difference of objects by difference of (...) class='Hi'> signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems. (shrink)

ABSTRACTCurrently, the repetition of a critical way of speaking results in a stagnating tendency in educational debates. This had led to the endeavour of developing a ‘post- (...) class='Hi'>critical pedagogy’. This paper employs Rortyan and Latourian language in order to tackle the question of how such a post-critical pedagogy should deal with critique. It argues that if one takes critique as what Latour calls a debunking activity, then post-critical pedagogy should leave critique behind. If however critique means simply to say how something should not be, then post-critical pedagogy should remain critical. In addition, however, there is a need for enriching the critical vocabulary with more affirmative language. For accomplishing this need, in contrast to recent suggestions to go back to ontology, the paper suggests that new propositions developed by literary theorists like Sedgwick and Felski are more promising. All these arguments are framed by Rorty’s notion of philosophy as cultural politics. (shrink)

In this paper, I consider two curious subsystems ofFrege's Grundgesetze der Arithmetik: Richard Heck's predicative fragment H, consisting of schema V together with predicative second-order (...) comprehension (in a language containing a syntactical abstraction operator), and a theory T in monadic second-order logic, consisting of axiom V and 1 1-comprehension (in a language containing anabstraction function). I provide a consistency proof for the latter theory, thereby refuting a version of a conjecture by Heck. It is shown that both Heck and T prove the existence of infinitely many non-logical objects (T deriving,moreover, the nonexistence of the value-range concept). Some implications concerning the interpretation of Frege's proof of referentiality and the possibility of classifying any of these subsystems as logicist are discussed. Finally, I explore the relation of T toCantor's theorem which is somewhat surprising. (shrink)

Wittgensteinian predicate logic (W-logic) is characterized by the requirement that the objects mentioned within the scope of a quantifier be excluded from the range of the (...) class='Hi'>associated bound variable. I present a sound and complete tableaux calculus for this logic and discuss issues of translatability between Wittgensteinian and standard predicate logic in languages with and without individual constants. A metalinguistic co-denotation predicate, akin to Frege’s triple bar of the Begriffsschrift, is introduced and used to bestow the full expressive power of first-order logic with identity on W-logic in the presence of constants. (shrink)

The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial (...) to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations. (shrink)

- uneducated in the field authors who defend a consensus they are being TOLD when they enter offices of Ed-Sci, teaching and writing works on learning-theory - (...) but never checked the facts, PART I and PART II. (shrink)

The human self model comprises essential features such as the experiences of ownership, of body-centered spatial perspectivity, and of a long-term unity of beliefs and attitudes (...) class='Hi'>. In the pathophysiology of schizophrenia, it is suggested that clinical subsyndromes like cognitive disorganization and derealization syndromes reflect disorders of this self model. These features are neurobiologically instantiated as an episodically active complex neural activation pattern and can be mapped to the brain, given adequate operationalizations of self model features. In its unique capability of integrating external and internal data, the prefrontal cortex (PFC) appears to be an essential component of the neuronal implementation of the self model. With close connections to other unimodal association cortices and to the limbic system, the PFC provides an internally represented world model and internal milieu data of the organism, both serving world orientation. In the pathophysiology of schizophrenia, it is the dysfunction of the PFC that is suggested to be the neural correlate for the different clinical schizophrenic subsyndromes. The pathophysiological study of psychiatric disorders may contribute to the theoretical debate on the neuronal basis of the self model. (shrink)