This book has grown out of eight years of close collaboration among its authors. From the very beginning we decided that its content should come out as the result of a truly common effort. That is, we did not "distribute" parts of the text planned to each one of us. On the contrary, we made a point that each single paragraph be the product of a common reflection. Genuine team-work is not as usual in philosophy as it is in other (...) academic disciplines. We think, however, that this is more due to the idiosyncrasy of philosophers than to the nature of their subject. Close collaboration with positive results is as rewarding as anything can be, but it may also prove to be quite difficult to implement. In our case, part of the difficulties came from purely geographic separation. This caused unsuspected delays in coordinating the work. But more than this, as time passed, the accumulation of particular results and ideas outran our ability to fit them into an organic unity. Different styles of exposition, different ways of formalization, different levels of complexity were simultaneously present in a voluminous manuscript that had become completely unmanageable. In particular, a portion of the text had been conceived in the language of category theory and employed ideas of a rather abstract nature, while another part was expounded in the more conventional set-theoretic style, stressing intui tivity and concreteness. (shrink)

Kant's theory of cognition centrally builds on his conception of self‐consciousness and the transcendental use of the phrase “I think”: the ability to add the phrase “I think” to a representation is a necessary condition of the ability to cognize objects. The paper argues that “I think”, rather than denoting the content of a predicative judgement, is typically an expression of the subject's thinking. It expresses a kind of self‐consciousness that, without assertively representing the subject itself, indicates that representational contents (...) are unified in a single consciousness of a single subject. Our aim is thus to develop and defend an expressivist interpretation of Kant's “I think”. (shrink)

_ Source: _Page Count 16 This paper deals with an apparent tension in Wittgenstein’s _Philosophical Investigations_: Wittgenstein holds an expressivist position with regard to avowals, but also claims that the _doxastic_ avowal “I believe that p” is a “hesitant assertion” of p. It is argued that the tension is apparent only and that Wittgenstein’s expressivism in fact justifies and explains his views on “I believe”: avowals typically are _explicit expressives_ and usually implicate the corresponding illocutionary acts. The hesitant assertion of (...) p is the result of an implicature of the explicit expressive “I believe that p”. The paper also addresses the ambiguity of avowals and the possibility of thereby undermining the Frege–Geach objection to psychological expressivism. (shrink)

It is often assumed that Aristotle, Boethius, Chrysippus, and other ancient logicians advocated a connexive conception of implication according to which no proposition entails, or is entailed by, its own negation. Thus Aristotle claimed that the proposition ‘if B is not great, B itself is great […] is impossible’. Similarly, Boethius maintained that two implications of the type ‘If p then r’ and ‘If p then not-r’ are incompatible. Furthermore, Chrysippus proclaimed a conditional to be ‘sound when the contradictory of (...) its consequent is incompatible with its antecedent’, a view which, in the opinion of S. McCall, entails the aforementioned theses of Aristotle and Boethius. Now a critical examination of the historical sources shows that the ancient logicians most likely meant their theses as applicable only to ‘normal’ conditionals with antecedents which are not self-contradictory. The corresponding restrictions of Aristotle’s and Boethius’ theses to such self-consistent antecedents, however, turn out to be theorems of ordinary modal logic and thus don’t give rise to any non-classical system of genuinely connexive logic,. (shrink)

In addition to discussing some philosophical accounts of common sense, this article considers several ways in which common sense can be altered or disturbed in psychopathology. Common sense can be defined as practical understanding, capacity to see and take things in their right light, sound judgment, or ordinary mental capacity. The philosopher Vico described it as the ability to distinguish the probable from the improbable. Goethe understood common sense as an "organ" that is formed in communication for the purpose of (...) communication. Common sense is rooted in the intersubjective constitution of the life-world. Obsessive-compulsive patients show relatively mild disturbances of common sense. Patients with major affective psychoses, in their premorbid personality structure, are overly attached to common sense. In schizophrenia, however, there seems to be a true abdication of common sense involving a loss of "natural self-evidence." Even in premorbid states, such persons often lose both the sense of tact and the ability to "take things in their right light." Although logic, and the ability to engage in theoretical discussion, may be preserved, there is a loss of interpretive skills and the "faculty of judgment"; this results in an inability to cope with everyday practical and social activity. There is also a characteristic sense of perplexity, a sense of amazement before that which would normally seem self-evident and a frequent tendency to reflect upon the conditions of possibility of existence that otherwise remain concealed. The author suggests that the fragility of common sense should not be seen as a mere deficiency state. Rather, it derives from a basic vulnerability inherent in the very structure of being human. (Abstract written by special issue editor: L.A.S.). (shrink)

Probability theory, epistemically interpreted, provides an excellent, if not the best available account of inductive reasoning. This is so because there are general and definite rules for the change of subjective probabilities through information or experience; induction and belief change are one and same topic, after all. The most basic of these rules is simply to conditionalize with respect to the information received; and there are similar and more general rules. 1 Hence, a fundamental reason for the epistemological success of (...) probability theory is that there at all exists a well-behaved concept of conditional probability. Still, people have, and have reasons for, various concerns over probability theory. One of these is my starting point: Intuitively, we have the notion of plain belief; we believe propositions2 to be true (or to be false or neither). Probability theory, however, offers no formal counterpart to this notion. Believing A is not the same as having probability 1 for A, because probability 1 is incorrigible3; but plain belief is clearly corrigible. And believing A is not the same as giving A a probability larger than some 1 - c, because believing A and believing B is usually taken to be equivalent to believing A & B.4 Thus, it seems that the formal representation of plain belief has to take a non-probabilistic route. Indeed, representing plain belief seems easy enough: simply represent an epistemic state by the set of all propositions believed true in it or, since I make the common assumption that plain belief is deductively closed, by the conjunction of all propositions believed true in it. But this does not yet provide a theory of induction, i.e. an answer to the question how epistemic states so represented are changed tbrough information or experience. There is a convincing partial answer: if the new information is compatible with the old epistemic state, then the new epistemic state is simply represented by the conjunction of the new information and the old beliefs. This answer is partial because it does not cover the quite common case where the new information is incompatible with the old beliefs. It is, however, important to complete the answer and to cover this case, too; otherwise, we would not represent plain belief as conigible. The crucial problem is that there is no good completion. When epistemic states are represented simply by the conjunction of all propositions believed true in it, the answer cannot be completed; and though there is a lot of fruitful work, no other representation of epistemic states has been proposed, as far as I know, which provides a complete solution to this problem. In this paper, I want to suggest such a solution. In [4], I have more fully argued that this is the only solution, if certain plausible desiderata are to be satisfied. Here, in section 2, I will be content with formally defining and intuitively explaining my proposal. I will compare my proposal with probability theory in section 3. It will turn out that the theory I am proposing is structurally homomorphic to probability theory in important respects and that it is thus equally easily implementable, but moreover computationally simpler. Section 4 contains a very brief comparison with various kinds of logics, in particular conditional logic, with Shackle's functions of potential surprise and related theories, and with the Dempster - Shafer theory of belief functions. (shrink)

We present a reconstruction of so-called classical, formal or Mendelian genetics using a notation which we believe is more legible than that of earlier accounts, and lends itself easily to computer implementation, for instance in PROLOG. By drawing from, and emending, earlier work of Balzer and Dawe (1986,1997), the present account presents the three most important lines of development of classical genetics: the so-called Mendel's laws, linkage genetics and gene mapping, in the form of a theory-net. This shows that the (...) set theoretic representation format used in the structuralist approach to the philosophy of science also applies to the domain of genetic theories. There construction is intended to lend more clarity to theme thodological, philosophical and didactical discussions of the foundations of genetics, and on the other hand to defend a formally, logically minded view of theories which seems to have become contested through the work of Feyerabend, Kuhn and Kitcher. (shrink)

It has recently been argued that some cases of naked statistical evidence license a high credence, but not an outright belief. If this is correct, there cannot be an unconditional bridge principle from credence to outright belief. We show that at least one prominent putative counterexample to such a bridge principle is based on a mistake, by demonstrating that the statistical evidence falls short not only of licensing rational belief, but also of justifying a high credence.

Prominent instances of anti-luck epistemology, in particular sensitivity and safety accounts of knowledge, introduce a modal condition on the pertinent belief in terms of closeness or similarity of possible worlds. Very roughly speaking, a belief must continue to be true in close possibilities in order to qualify as knowledge. Such closeness-accounts derive much support from their (alleged) ability to eliminate standard instances of epistemic luck as they appear in prominent Gettier-type examples. The article argues that there are new Gettier-type examples (...) which are grounded in “distant” epistemic luck. It is demonstrated that sensitivity and safety theories cannot handle such examples. (shrink)

One of the main controversies of the Logic Schools of the 12th century centered on the question: What follows from the impossible? In this paper arguments for two diametrically opposed positions are examined. The author of the ‘Avranches Text’ who probably belonged to the school of the Parvipontani defended the view that from an impossible proposition everything follows (‘Ex impossibili quodlibet’). In particular he developed a proof to show that by means of so-called ‘disjunctive syllogism’ any arbitrary proposition B can (...) be logically derived from a pair of contradictory propositions A and Not-A. The author of the Ars Meliduna instead argued that nothing follows from an impossible proposition (‘ex falso nihil sequitur’). This view is supported by various counterexamples which aimed to show that the admission of impossible premises would give rise to inconsistent conclusions. Upon closer analysis these inconsistencies do not, however, have the formal structure of a real contradiction like A and Not-A, but rather the structure of two rivalling conditionals like ‘If B then A’ and ‘If B then Not-A’. Hence these counterexamples rather have to be considered as refutations of the basic principles of ‘connexive logic’. (shrink)

The paper critically examines an objection to epistemic contextualism recently developed by Elke Brendel and Peter Baumann, according to which it is impossible for the contextualist to know consistently that his theory is true. I first present an outline of contextualism and its reaction to scepticism. Then the necessary and sufficient conditions for the knowability problem to arise are explored. Finally, it will be argued that contextualism does not fulfil these minimal conditions. It will be shown that the contrary view (...) is based on a misunderstanding of what contextualists are claiming. (shrink)

This book is a critical examination of Michel Foucault's relation to ancient Greek thought, in particular his famous analysis of Greek history of sexuality. Wolfgang Detel offers a new understanding of Foucault's theories of power and knowledge based on modern analytical theories of science and concepts of power. He offers a fresh and complex reading of the texts which Foucault discusses, covering topics such as Aristotle's ethics and theory of sex, Hippocratic diatetics, the earliest treatises on economics, and Plato's (...) theory of love. The result is a philosophically rich and probing critique of Foucault's later writings, and a persuasive account of the relation between ethics, power and knowledge in classical antiquity. His book will have a wide appeal to readers interested in Foucault and in Greek thought and culture. (shrink)

SummaryA simple and precise definition is offered of “term t of theory T being T‐theoretical” which can be applied to any formalized theory. The definition is in line with and emends traditional accounts of theoreticity. Its adequacy is demonstrated by application to three examples: exchange economics, classical mechanics and collision mechanics.

The systems Kα of transfinite cumulative types up to α are extended to systems K∞α that include a natural infinitary inference rule, the so-called limit rule. For countable α a semantic completeness theorem for K∞α is proved by the method of reduction trees, and it is shown that every model of K∞α is equivalent to a cumulative hierarchy of sets. This is used to show that several axiomatic first-order set theories can be interpreted in K∞α, for suitable α.

Hermann Grassmann is known to be the founder of modern vector and tensor calculus. Having as a theologian no formal education in mathematics at a university he got his basic ideas for this mathematical innovation at least to some extent from listening to Schleiermacher’s lectures on Dialectics and, together with his brother Robert, reading its publication in 1839. The paper shows how the idea of unity and various levels of reality first formulated in Schleiermacher’s talks about religion in 1799 were (...) transformed by him into a philosophical system in his dialectics and then were picked up by Grassmann and operationalized in his philosophical-mathematical treatise on the extension theory in 1844. (shrink)

This is the first volume in the trilogy "Many Peaces" on transrational peace and elicitive conflict transformation. It proposes an innovative analysis of peace interpretations in global history and contemporary cultures of peace, the so-called five families of energetic, moral, modern, post-modern, and transrational.

Mit Beitragen von: Wolfgang U. Eckart, Christian Bonah, Wolfgang U. Eckart / Andreas Reuland, Alexander Neumann, Peter Steinkamp, Volker Roelcke, Anne ...

Literatur ist nicht nur vieldeutig und rätselhaft, wie dies das leitende literaturtheoretische Paradigma behauptet. Literatur wird noch immer, unbeschadet ihrer Vieldeutigkeit, als sinnhaft und bedeutsam erfahren, weil sie bestimmt, ästhetisch herausgehoben und geregelt ist. In dieser Hinsicht läßt sie sich als eine dem Ritual analoge, ja als selbst rituelle Handlung beschreiben. Denn das Ritual ist eine ästhetisch ausgezeichnete, symbolische Wiederholungshandlung, die für das menschliche Leben bis heute elementare Bedeutung hat.

ZUSAMMENFASSUNGEs werden aus der Theologiegeschichte vier Typen von Willensfreiheit erhoben: der Typus liberum arbitrium , der Typus des nominalistischen Willensbegriffs , der Typus des mystischen Willensbegriffs und der Typus der Rechtfertigungslehre. Die ersten drei Typen werden psychologisch interpretiert im Sinne der Ichentwicklung als präautonom, autonom und transautonom. Nach der Darstellung und Diskussion der gegenwärtigen neurowissenschaftlichen Debatte um die Willensfreiheit wird ein systemisch verstandener Personbegriff als Brückenkonzept vorgeschlagen.SUMMARYFour types of free will are identified from the history of theology: The type of (...) the liberum arbitrium, the type of nominalism, the type of mysticism and the type of justification. For the first three types a psychological interpretation in terms of pre-autonomy, autonomy, and trans-autonomy is offered, based on self-transcendence as a religious feature. Two basically opposing interpretations of the same empirical data favoring free will and favoring a non-free will are discussed and compared with the theological tradition. A new notion of the person, based on the system theory, is suggested as a bridging concept to link the theological and neuro-scientific ideas of free will. (shrink)

The subject of this paper is a characterization of the $\Sigma_1$ -definable set functions of Kripke-Platek set theory with infinity and a uniform version of axiom of choice: $KP\omega+(uniform\;AC)$ . This class of functions is shown to coincide with the collection of set functionals of type 1 primitive recursive in a given choice functional and $x\mapsto\omega$ . This goal is achieved by a Gödel Dialectica-style functional interpretation of $KP\omega+(uniform\;AC)$ and a computability proof for the involved functionals.

Mit der vorliegenden Arbeit verfolgen wir drei Ziele. Erstens exemplifizieren wir einige wissenschaftstheoretische Fragen und die zugehörigen Antworten am sehr einfachen Beispiel der klassischen Stoßmechanik. Zweitens läßt sich an diesem Beispiel besonders klar der Begriff des Meßmodells darstellen; insbesondere erhalten wir eine vollständige Übersicht über alle Meßmodelle. Und drittens erhalten wir ein schönes Beispiel für den Begriff der Reduktion einer Theorie auf eine andere, denn die Stoßmechanik läßt sich auf einfache Weise auf eine Spezialisierung der Klassischen Partikelmechanik reduzieren.

We investigate certain statements about factors of unary functions which have connections with weak forms of the axiom of choice. We discuss more extensively the fine structure of Howard and Rubin's Form 314 from [4]. Some of our set-theoretic results have also interesting recursive versions.