The focus of this article is the analysis of generative mechanisms, a basic concept and phenomenon within the metatheoretical perspective of critical realism. It is emphasized that research questions and methods, as well as the knowledge it is possible to attain, depend on the basic view – ontologically and epistemologically – regarding the phenomenon under scrutiny. A generative mechanism is described as a trans empirical but real existing entity, explaining why observable events occur. Mechanisms are mostly possible to grasp only (...) indirectly by analytical work, based however on empirical observations. In order to achieve such an explanatory analysis, five methodological steps are suggested and discussed, among them abduction and retroduction. These steps are illustrated throughout by examples drawn from empirical research regarding social work practice. The article is concluded with a discussion of the need for knowledge of generative mechanisms. (shrink)

We present an extension of the lambda calculus with the letrec construct. In contrast to current theories, which impose restrictions on where the rewriting can take place, our theory is very liberal, e.g., it allows rewriting under lambda abstractions and on cycles. As shown previously, the reduction theory is non-confluent. Thus, we searched for and found a new property that resembles confluence and that is equivalent to uniqueness of infinite normal forms: skew confluence. This notion is based on the intuition (...) that some terms are better than others and that terms reduce to better terms. It states that if a term reduces to two other terms, the second of those terms can always be reduced to a term that is better than the first. Using skew confluence we define the infinite normal form of a term and show that the infinite normal form defines a congruence on the set of terms. We relate the lambda calculus plus letrec to the plain lambda calculus and to one of the infinitary lambda calculi. We also present a variant of our calculus, which follows the tradition of the explicit substitution calculi. (shrink)

By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host of unfamiliar (...) logics. We first study the members of our class semantically, after which we present a uniform sequent calculus that is sound and complete with respect to all of them. Two further sequent calculi and \ calculus) will be considered, which serve the same purpose and which are obtained by applying general methods to construct sequent calculi for many-valued logics. Rules and proofs in the SK calculus are much simpler and shorter than those of the \ and the \ calculus, which is one of the reasons to prefer the SK calculus over the latter two. Besides favourably comparing the SK calculus to both the \ and the \ calculus, we also hint at its philosophical significance. (shrink)

Prospect Theory (PT) is widely regarded as the most promising descriptive model for decision making under uncertainty. Various tests have corroborated the validity of the characteristic fourfold pattern of risk attitudes implied by the combination of probability weighting and value transformation. But is it also safe to assume stable PT preferences at the individual level? This is not only an empirical but also a conceptual question. Measuring the stability of preferences in a multi-parameter decision model such as PT is far (...) more complex than evaluating single-parameter models such as Expected Utility Theory under the assumption of constant relative risk aversion. There exist considerable interdependencies among parameters such that allegedly diverging parameter combinations could in fact produce very similar preference structures. In this paper, we provide a theoretic framework for measuring the (temporal) stability of PT parameters. To illustrate our methodology, we further apply our approach to 86 subjects for whom we elicit PT parameters twice, with a time lag of 1 month. While documenting remarkable stability of parameter estimates at the aggregate level, we find that a third of the subjects show significant instability across sessions. (shrink)

Topic of the paper is Q-logic - a logic of agency in its temporal and modal context. Q-logic may be considered as a basal logic of agency since the most important stitoperators discussed in the literature can be defined or axiomatized easily within its semantical and syntactical framework. Its basic agent dependent operator, the Q-operator (also known as Δ- or cstit-operator), which has been discussed independently by E v. Kutschera and B. E Chellas, is investigated here in respect of its (...) relation to other temporal and modal operators. The main result of the paper, then, is a completeness result for a calculus of Q-logic with respect to a semantics defined on the tree-approach to agency as introduced and developed by, among others, E v. Kutschera and N. D. Belnap. (shrink)

Die Frage nach der Technik ist eine Art der Heideggerschen Frage nach dem Sein, die die Fragen nach dem Menschen in der Moderne und nach der Zivilisation überhaupt impliziert. Im Rahmen der sogenannten "Seinsgeschichte" bildet sie eine Kreuzungsstelle, die von verschiedenen Linien gebildet wird, welche wiederum in ihrer Verschiedenheit zu berücksichtigen sind und nicht einfach textuell hermetisiert werden dürfen. Heidegger besorgt nicht zuletzt mit Hilfe der seinsgeschichtlichen Konstellation des Gestells seine Selbstinterpretation hinsichtlich der Haltung zum Nationalsozialismus. Verweigert wird die falsche (...) Alternative eines platt-realistischen oder biographischen Reduktionismus zum einen und des Jüngerschar-Minimalismus oder kalauernden dekonstruktivistischen Textdesigns zum andern. Genauso einseitig wie der absicherungsstrategische Jargon der Orthodoxie ist die positivistische Abschiebung Heideggers in die Ecke der "Begriffsdichtung". Tatsächlich besteht ein arbeitsteiliger Konsens zwischen beiden Seiten. Gegen diesen Konsens im Dissens opponiert vorliegender Text. (shrink)

There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show that certain (...) computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)

In a recent paper, Philip Kremer proposes a formal and theory-relative desideratum for theories of truth that is spelled out in terms of the notion of ‘no vicious reference’. Kremer’s Modified Gupta-Belnap Desideratum (MGBD) reads as follows: if theory of truth T dictates that there is no vicious reference in ground model M, then T should dictate that truth behaves like a classical concept in M. In this paper, we suggest an alternative desideratum (AD): if theory of truth T dictates (...) that there is no vicious reference in ground model M, then T should dictate that all T-biconditionals are (strongly) assertible in M. We illustrate that MGBD and AD are not equivalent by means of a Generalized Strong Kleene theory of truth and we argue that AD is preferable over MGBD as a desideratum for theories of truth. (shrink)

We discuss four distinct semantic consequence relations which are based on Strong Kleene theories of truth and which generalize the notion of classical consequence to 3-valued logics. Then we set up a uniform signed tableau calculus, which we show to be sound and complete with respect to each of the four semantic consequence relations. The signs employed by our calculus are,, and, which indicate a strict assertion, strict denial, tolerant assertion and tolerant denial respectively. Recently, Ripley applied the strict–tolerant account (...) of assertion and denial to develop a new approach to truth and alethic paradox, which we call the Strict–Tolerant Conceptionof Truth. The paper aims to contribute to our understanding of STCT in at least three ways. First, by developing the strict–tolerant calculus.Second, by developing a semantic version of the strict–tolerant calculus, which informs us about the assertoric possibilities relative to a fixed ground model. Third, by showing that the strict–tolerant calculus and assertoric semantics jointly suggest that STCT's claim that the strict and tolerant can be understood in terms of one another has to be reconsidered. (shrink)

The European Legacy, Volume 17, Issue 5, Page 697-698, August 2012.

The concept of event is one of the key notions of many theories dealing with causality or agency. In this paper we study different approaches to events that share the basic assumption that events can be analyzed fruitfully in branching-time structures. The terminological framework developed thereby may be helpful for further analyses in the fields of causality and agency and also in those fields of computational semantics, where similar concepts are considered.

Uzquiano (Analysis 70:39–44, 2010 ) showed that the Hardest Logic Puzzle Ever ( HLPE ) [in its amended form due to Rabern and Rabern (Analysis 68:105–112, 2008 )] has a solution in only two questions. Uzquiano concludes his paper by noting that his solution strategy naturally suggests a harder variation of the puzzle which, as he remarks, he does not know how to solve in two questions. Wheeler and Barahona (J Philos Logic, to appear, 2011 ) formulated a three question (...) solution to Uzquiano’s puzzle and gave an information theoretic argument to establish that a two question solution for Uzquiano’s puzzle does not exist. However, their argument crucially relies on a certain conception of what it means to answer self-referential yes–no questions truly and falsely . We propose an alternative such conception which, as we show, allows one to solve Uzquiano’s puzzle in two questions. The solution strategy adopted suggests an even harder variation of Uzquiano’s puzzle which, as we will show, can also be solved in two questions. Just as all previous solutions to versions of HLPE , our solution is presented informally. The second part of the paper investigates the prospects of formally representing solutions to HLPE by exploiting theories of truth. (shrink)

The paper contains some general information on use a computer in philosopher's work. The main Internet resources in philosophy, including Polish sites, have been presented, too.

For loss averse investors, a sequence of risky investments looks less attractive if it is evaluated myopically—an effect called myopic loss aversion (MLA). The consequences of this effect have been confirmed in several experiments and its robustness is largely undisputed. The effect’s causes, however, have not been thoroughly examined with regard to one important aspect. Due to the construction of the lotteries that were used in the experiments, none of the studies is able to distinguish between MLA and an explanation (...) based on (myopic) loss probability aversion (MLPA). This distinction is important, however, in discussion of the practical relevance and the generalizability of the phenomenon. We designed an experiment that is able to disentangle lottery attractiveness and loss probabilities. Our analysis reveals that mere loss probabilities are not as important in this dynamic context as previous findings in other domains suggest. The results favor the MLA over the MLPA explanation. (shrink)

On the basis of an analysis of different types of research, two main kinds may be distinguished: research with a general intention and research with an individual intention.

Carl Schmitt verfügt heute über eine so breite und stets wachsende internationale Leserschaft wie kein anderer deutscher Staatsrechtslehrer des vergangenen Jahrhunderts. Sein Werk wird dabei freilich meist isoliert betrachtet und allenfalls auf den staatsrechtlichen Kontext bezogen. Im Mittelpunkt dieses Buches steht dagegen der politische Intellektuelle, der weit über die Grenzen seines Faches hinauswirkte. Besondere Aufmerksamkeit gilt dabei den Anfangs- und den Endjahren der Weimarer Republik. Während Schmitt in München Strategien zur Zähmung der Revolution entwickelte, setzte er sich in seinen Berliner (...) Jahren für eine autoritäre Transformation der Verfassung ein, die neben der äußersten Linken auch die äußerste Rechte von der Macht fernhalten sollte. Das geschah nicht nur in der Form der verfassungsrechtlichen Expertise für Regierungskreise, sondern auch durch publizistische Interventionen, bei denen der in Bonn gebildete Schülerkreis Schmitts eine tragende Rolle spielte. Zeitschriften wie Der Ring und das Deutsche Volkstum standen in der Endkrise der Weimarer Republik zeitweise vollständig unter dem Einfluß Schmittscher Ideen, und auch im breiteren Umfeld waren sie präsent, etwa in den Organen der Bündischen Jugend oder in der vielgelesenen Tat. Selbst Kritiker Schmitts konnten sich diesem Einfluß nicht entziehen, wie am Beispiel Otto Kirchheimers, Franz Neumanns, Ernst Fraenkels, Waldemar Gurians und anderer gezeigt wird. Gestützt auf nachgelassene Korrespondenzen und eine umfassende Auswertung der zeitgenössischen Publizistik gibt das Buch Aufschluß über Schmitts Netzwerk und seine politischen Strategien. (shrink)

Anton Wilhelm Amo (1703-1784) gilt als erster Philosoph afrikanischer Herkunft in Deutschland. Die Beiträger*innen des Bandes stellen seine bewegte Biographie im Umfeld der Frühaufklärung in den Kontext von systematischen Überlegungen zu einer interkulturellen Philosophie. Mit der Untersuchung seiner Wirkungsgeschichte, der werkimmanenten Rekonstruktion seines Denkens und der Auseinandersetzung mit dem kolonialen Erbe der Philosophie leisten sie einen zentralen Beitrag zur Dekolonialisierung des Wissens.

K.L. Reinhold’s interpretation of deduction plays a seminal role in the development of German Idealism. However, as yet Reinhold’s concept of deduction has not been sufficiently explained. The goals of this paper are to analyze Reinhold’s notion of deduction in his Neue Darstellung der Hauptmomente der Elementarphilosophie, to reconstruct his deduction of a priori forms of representation and to discuss his deduction critically. In doing so, I will present Reinhold’s objections against Immanuel Kant’s method in the Critique of Pure Reason.

Romanian historiography generally states that in Communist Romania there was no intellectual capable of stimulating a “heresy” comparable to those in Yugoslavia, Hungary or Poland. This is almost true. While the Romanian Communist/Workers Party despised intellectuals, even if they were docile and obedient, in the upper echelons of the RCP/RWP one could hardly find true intellectuals. However, there were some cases that can challenge this narrative – Lucreţiu Pătrăşcanu, Grigore Preoteasa, Miron Constantinescu or Tudor Bugnariu. My paper will discuss the (...) case of Tudor Bugnariu, one of the intellectuals seduced by the communist project and ideology in interwar Romania, who later managed to occupy important offices within the RCP/RWP and the state structures. By analyzing the narratives of Tudor Bugnariu’s several autobiographical texts, my paper will examine and explain his becoming and the construction of his self-identity and of his “revolutionary” self. (shrink)