. In this paper, the significance of using general logic-systems and finite consequence operators defined on non-organized languages is discussed. Results are established that show how properties of finite consequence operators are independent from language organization and that, in some cases, they depend only upon one simple language characteristic. For example, it is shown that there are infinitely many finite consequence operators defined on any non-organized infinite language L that cannot be generated from any finite logic-system. On the other hand, (...) it is shown that for any nonempty language L, a set map is a finite consequence operator if and only if it is defined by a general logic-system. Simple logic-system examples that determine specific consequence operator properties are given. (shrink)
The starting-point is the distinction between concept and conception. Our conceptions of gold, for instance, are the different understandings we get when we hear the word ‘gold’ whereas the concept of gold consists in the scientific determination of what gold is. It depends on the context whether it is more reasonable to claim a concept or to look for fitting conceptions. By arguing against metaphysical realism and for non-metaphysical realism, I will elaborate on some philosophical reasons for dealing with conceptions (...) instead of concepts of God, and secondly, I will discuss how such conceptions should be critically assessed. (shrink)
Let X be any infinite, coinfinite r.e. set. We show that the index set $\{e: W_e \equiv_1 X\}$ is Σ 0 3 -complete, answering a question posed by Odifreddi in [2].
In [14] we used the term finitely algebraizable for algebraizable logics in the sense of Blok and Pigozzi [2] and we introduced possibly infinitely algebraizable, for short, p.i.-algebraizable logics. In the present paper, we characterize the hierarchy of protoalgebraic, equivalential, finitely equivalential, p.i.-algebraizable, and finitely algebraizable logics by properties of the Leibniz operator. A Beth-style definability result yields that finitely equivalential and finitely algebraizable as well as equivalential and p.i.-algebraizable logics can be distinguished by injectivity of the Leibniz operator. Thus, (...) from a characterization of equivalential logics we obtain a new short proof of the main result of [2] that a finitary logic is finitely algebraizable iff the Leibniz operator is injective and preserves unions of directed systems. It is generalized to nonfinitary logics. We characterize equivalential and, by adding injectivity, p.i.-algebraizable logics. (shrink)
The notion of an algebraizable logic in the sense of Blok and Pigozzi [3] is generalized to that of a possibly infinitely algebraizable, for short, p.i.-algebraizable logic by admitting infinite sets of equivalence formulas and defining equations. An example of the new class is given. Many ideas of this paper have been present in [3] and [4]. By a consequent matrix semantics approach the theory of algebraizable and p.i.-algebraizable logics is developed in a different way. It is related to the (...) theory of equivalential logics in the sense of Prucnal and Wroski [18], and it is extended to nonfinitary logics. The main result states that a logic is algebraizable (p.i.-algebraizable) iff it is finitely equivalential (equivalential) and the truth predicate in the reduced matrix models is equationally definable. (shrink)
A more and more important role is played by new directions in historical research that study long-term dynamic processes and quantitative changes. This kind of history can hardly develop without the application of mathematical methods. The history is studied more and more as a system of various processes, within which one can detect waves and cycles of different lengths – from a few years to several centuries, or even millennia. This issue is the third collective monograph in the series of (...) History & Mathematics almanacs and it is subtitled Processes and Models of Global Dynamics. The contributions to the almanac present a qualitative and quantitative analysis of global historical, political, economic and demographic processes, as well as their mathematical models. This issue of the almanac consists of two main sections: (I) Analyses of the World Systems and Global Processes, and (II) Models of Economic and Demographic Processes. We hope that this issue of the almanac will be interesting and useful both for historians and mathematicians, as well as for all those dealing with various social and natural sciences. (shrink)
In Section 1 we show that the De Morgan type rules (= sequential rules in L(, ) which remain correct if and are interchanged) are finitely based. Section 2 contains a similar result for L(). These results are essentially based on special properties of some equational theories.
It will be shown that in the lattice of recursively enumerable sets one can define elementarily with parameters a structure isomorphic to (∑ 0 4 , ∑ 0 3 ), i.e. isomorphic to the lattice of ∑ 0 4 sets together with a unary predicate selecting out exactly the ∑ 0 3 sets.
This article concerns challenges arising from the development of economic globalization as the so-called “creator of a new world order“ and its tendency to deteriorate the foundation of a global order in terms of social justice, solidarity, and human dignity. As main point of referral functions, the report of the “Commission Stiglitz, Sen and Fitoussi cs“ on the Measurement of Economic Performance and Social Progress that refers to the European Commission's strategy of development, acknowledges the need for these values. On (...) behalf of this reflection, this article is based on the recent outcomes of the exploration of these social quality issues in a recent published book by the Foundation on Social Quality. The article argues that indicators are needed in order to understand the effects of societal changes in response to the current economic globalization, which increases inequality and the fragmentation of the labor market. (shrink)
In the past two decades, feminist scholars have produced an abundance of theoretical writing in humanities and social science disciplines. The result is a body of work that is extraordinarily rich, hard to keep up with, and extremely difficult to teach.With the appearance of Theorizing Feminism: Parallel Trends in the Humanities and Social Sciences, the first genuinely interdisciplinary anthology of significant contributions to feminist theory, teachers will finally have a volume that does justice to their topic. Creatively edited, with insightful (...) introductory material, this timely reader illuminates the historical development of feminist theory as well as the current state of the field.Emphasizing common themes and interests in the humanities and social sciences, the editors have chosen those topics that have been central to feminist theory in many disciplines, that remain relevant to current debates, and that reflect the interests of a diverse community of thinkers.The contributors include leading figures from psychology, literary criticism, sociology, philosophy, anthropology, art history, law, and economics. This is the ideal text for any advanced course on interdisciplinary feminist theory, one that fills a long-standing gap in feminist pedagogy. (shrink)
Since the 1990s in Germany, bioethics has established itself as the primary location for the discussion and debate of social and political questions concerning new reproductive technologies (NRTs), and has become the site for decisions about their juridical regulation. As a component of academic bioethical discourses, governmental commissions, and bioethics centers, all of which produce discourses about NRTs, feminist bioethics in Germany contributes to this political knowledge about NRTs (Kalender 2008, 56; Herrmann 2009, 173–88; Krones 2005, 28).1 In what (...) follows, I argue that German feminist bioethics reflects many, if not most, of the neo-eugenic developments that characterize more recognizably mainstream .. (shrink)
Background: An effectiveness assessment on ASCT in locally advanced and metastatic breast cancer identified serious ethical issues associated with this intervention. Our objective was to systematically review these aspects by means of a literature analysis. Methods: We chose the reflexive Socratic approach as the review method using Hofmann's question list, conducted a comprehensive literature search in biomedical, psychological and ethics bibliographic databases and screened the resulting hits in a 2-step selection process. Relevant arguments were assembled from the included articles, and (...) were assessed and assigned to the question list. Hofmann's questions were addressed by synthesizing these arguments. Results: Of the identified 879 documents 102 included arguments related to one or more questions from Hofmann's question list. The most important ethical issues were the implementation of ASCT in clinical practice on the basis of phase-II trials in the 1990s and the publication of falsified data in the first randomized controlled trials (Bezwoda fraud), which caused significant negative effects on recruiting patients for further clinical trials and the doctor-patient relationship. Recent meta-analyses report a marginal effect in prolonging disease-free survival, accompanied by severe harms, including death. ASCT in breast cancer remains a stigmatized technology. Reported health-related-quality-of-life data are often at high risk of bias in favor of the survivors. Furthermore little attention has been paid to those patients who were dying. Conclusions: The questions were addressed in different degrees of completeness. All arguments were assignable to the questions. The central ethical dimensions of ASCT could be discussed by reviewing the published literature. (shrink)
What makes institutions ?real?? One central notion has been emerging recently in sociology, which is ?performativity?, a term borrowed from the philosophy of language. I propose a neurolinguistic approach to performativity that is based on John Searle's theory of institutions, especially his concept of a ?status function? and his explanation of rule-following as a neurophysiological disposition. Positing a status function is a performative act. I proceed in two steps to establish the neurolinguistic framework. First, I apply the concept of ?conceptual (...) blending? borrowed from cognitive science on the status function, and give empirical applications from the research on performativity in financial markets. Second, I sketch the underlying neuroscience framework following the neural theory of metaphor, which I illustrate empirically with examples from behavioral finance and neuroeconomics. (shrink)
We show that the partial order of Σ0 3-sets under inclusion is elementarily definable with parameters in the semilattice of r.e. wtt-degrees. Using a result of E. Herrmann, we can deduce that this semilattice has an undecidable theory, thereby solving an open problem of P. Odifreddi.
The late nineteenth century was not only a time in which religious faith was questioned in light of increasing claims of natural science. It is more accurate to see the familiar Victorian crisis of faith as but one aspect of a larger historical phenomenon, one in which the methods of both religion and science came under scrutiny. Among several examinations of the status of scientific knowledge in the waning decades of the century, the treatment of the subject by the German (...) theologian Wilhelm Herrmann and philosopher Hans Vaihinger rejected its objective nature and denied that either scientists or theologians had access to the truth of nature. Although this stance regarding the nature of science, religion, and their relationship was limited to intellectuals in German society at the time, it foreshadowed developments in our own day in which the traditional search for truth has been problematized. (shrink)
Filling a gap in scholarship on 19th- and 20th-century religious thought, this book discusses the philosophy and theology of the influential Marburg School in Germany before 1914, focusing on the writings of Hermann Cohen, its leader, and on the Ritschlian theologian Wilhelm Herrmann, Karl Barth's teacher. In addition, Fisher examines Barth's earliest writings and clarifies the little-known liberal phase of Barth's theology.
This is the first discussion in English of the ethical implications of German liberal theology in the early years of the twentieth century. It avoids pejorative interpretative categories (such as `culture protestantism'), seeking instead to understand a much neglected period on its own terms. The leading figure, Ernst Troeltsch (1865-1923), is treated as a `public theologian', engaging at many different levels with his social and political context and trying to ensure that religion could continue to shape the future course of (...) history. To understand his context he made use of the tools of the emergent discipline of sociology and also entered into dialogue with philosophers and historians. Troeltsch's public theology is contrasted with other liberal models of theology, particularly those of the New Testament scholar Wilhelm Bousset and the systematic theologian Wilhelm Herrmann, who were far more reluctant to engage seriously with their context and as a result isolated religion from its wider social and intellectual setting. Troeltsch's theological solution is also compared with Max Weber's sociological response to the problems of modernity: Troeltsch's ideas of cultural synthesis are seen as both constructive and critical and as having much to contribute to contemporary social and political theology. (shrink)
There are two ways of dealing with Kant's derogatory position on music. Either it is claimed that Kant's opinion is a result of biographical factors, or Kant is regarded as a mere predecessor of a more successful music aesthetics. While the first way mistakes Kant's personal preferences for a philosophical argument about the nature of sound, the second approach underestimates the close connection between his music aesthetics and his whole philosophical system. Against these approaches the article defends the proposition that (...) Kant's (like any other) music aesthetics can only be understood with reference to the concepts of „time“ and „movement“ in order to elucidate the ontology of sound objects. (shrink)
Aoki recently proposed the concept of substantive institutions, a concept that relates the outcomes of strategic interaction with public representations of the equilibrium states of games. I argue that the Aoki model can be grounded in theories of distributed cognition and performativity, which I put into the context of Searle's philosophical account of institutions. Substantive institutions build on regularized causal interactions between internal neuronal mechanisms and external facts, shared in a population of agents. Following Searle's proposal of conceiving rule-following as (...) a neuronally anchored behavioral disposition, I show that his corresponding notion of collective intentionality can be grounded in recent neuroscience theories of imitation as the primordial process in human learning. I relate this to Searle's concept of status function and the neuronal theory of metaphors. This results in a precise definition of rule-following as performative action. I present two empirical examples of this: (1) the institution of money, and (2) status hierarchies in markets. (shrink)
