Consciousness scientists have not reached consensus on two of the most central questions in their field: first, on whether consciousness overflows reportability; second, on the physical basis of consciousness. I review the scientific literature of the 19th century to provide evidence that disagreement on these questions has been a feature of the scientific study of consciousness for a long time. Based on this historical review, I hypothesize that a unifying explanation of disagreement on these questions, up to this day, is (...) that scientific theories of consciousness are underdetermined by the evidence, namely, that they can be preserved “come what may” in front of (seemingly) disconfirming evidence. Consciousness scientists may have to find a way of solving the persistent underdetermination of theories of consciousness to make further progress. (shrink)

American philosophical realism developed in two forms: “new” and “critical” realism. While the new realists sought to ‘emancipate’ ontology from epistemology and defended a direct theory of perception, the critical realists promoted a representationalist account of perception and thus argued for an epistemological dualism. Bertrand Russell’s early philosophical writings figured prominently in both of these American realist camps. However, while the new realists quite enthusiastically embraced the Russellian analytic style of reasoning (and Russell himself appreciated the American new realists as (...) anti-idealist allies), the critical realists were significantly more reserved toward Russell’s point of view. In the present paper, I identify the reasons for this difference in reception. In particular, I will show that the critical realists’ reservations pertained primarily to a more traditionalist—‘continental’—account of philosophy, whereas the neo-realists proved instrumental in setting the stage for later full-blown analytic philosophy in the United States. (shrink)

Local theories of consciousness state that one is conscious of a feature if it is adequately represented and processed in sensory brain areas, given some background conditions. We challenge the core prediction of local theories based on long-lasting postdictive effects demonstrating that features can be represented for hundreds of milliseconds in perceptual areas without being consciously perceived. Unlike previous empirical data aimed against local theories, localists cannot explain these effects away by conjecturing that subjects are phenomenally conscious of features that (...) they cannot report. We also discuss alternative explanations that localists could offer. (shrink)

The present paper is concerned with Helmholtz’s theory of measurement. It will be argued that an adequate understanding of this theory depends on how Helmholtz’s application of the concepts of perception and coincidence is interpreted. In contrast both to conventionalist and Kantian readings of Helmholtz’s theory, a more realistic interpretation will be suggested.

Eino Kaila's thought occupies a curious position within the logical empiricist movement. Along with Hans Reichenbach, Herbert Feigl, and the early Moritz Schlick, Kaila advocates a realist approach towards science and the project of a “scientific world conception”. This realist approach was chiefly directed at both Kantianism and Poincaréan conventionalism. The case in point was the theory of measurement. According to Kaila, the foundations of physical reality are characterized by the existence of invariant systems of relations, which he called structures. (...) In a certain sense, these invariant structures, he maintained, are constituted in the act of measuring. By “constitution”, however, Kaila meant neither the dependency of the objects of measurement on a priori concepts (or Kantian categories) nor their being effected by conventional stipulations in a Poincaréan sense. He held that invariant structures are, quite literally, real: they exist prior to and independently of our theoretical capacity. By executing measurements, invariant structures are detected and objectively determinable by laws of nature. (shrink)

We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.

The late nineteenth- and early twentieth-century debate over ‘internal’ and ‘external’ relations is well explored, as far as its course in Britain is concerned. F. H. Bradley’s idealistic internalism, on the one hand, and Bertrand Russell’s realistic externalism, on the other, were at the center of this debate. Less well known, however, is that there was also a discussion about relations in the United States at the time. The central figures in this discussion were Edward Gleason Spaulding and John Dewey. (...) Like Russell, Spaulding advocated a realist-inspired externalism, while Dewey criticized this viewpoint from a pragmatist perspective. The aim of the present paper is to reconstruct the exchange between Spaulding and Dewey and to elaborate the specifics of this exchange. In doing so it will emerge, among other things, that, in contrast to Bradley’s idealist rejection of externalism, Dewey’s pragmatist attempt at a refutation was more in line with common sense and science and that Spaulding’s version of externalism differed markedly from Russell’s in its strong empirical orientation. Overall, an undeservedly forgotten chapter in the history of early twentieth-century American philosophy is revisited and reassessed. (shrink)

The aim of this paper is to show that the French philosopher and historian of science Abel Rey played a more influential role in the formative phase of the Vienna Circle than hitherto supposed. On the whole, it will be argued that Rey's contribution had political impact. His interpretation of "modern physics" in 1907 in the face of the alleged "bankruptcy of science" should be appreciated as a masterpiece of applied enlightenment thought. As such, it was especially paradigmatic for Philipp (...) Frank's "positivist" defense of the theory of relativity and quantum mechanics against the irrationalist tendencies of the 1920s and 1930s. (shrink)

This paper examines Ralph Barton Perry's analysis of the ‘ego-centric predicament’. It will be shown that Perry convincingly argued against prevailing contemporary versions of idealism and that it makes perfectly good sense to consider him a precursor of subsequent trends in American analytic philosophy. Perry's appraisal and promotion of the contemporary logic of relations in the framework of early twentieth-century American neorealism provides further evidence of his being a proto-analytic philosopher. His personal acquaintance with Bertrand Russell proved instructive in this (...) regard. On the whole, Perry's distinctive approach to philosophy was instrumental in establishing the analytic style of reasoning in the United States. This paper is devoted to substantiating this claim. It is thus hoped that a clearer picture of early twentieth-century American philosophy will begin to emerge. (shrink)

We consider the following problem: Given a proof of the Skolemization of a formula F, what is the length of the shortest proof of F? For the restriction of this question to cut-free proofs we prove corresponding exponential upper and lower bounds.

Roy Wood Sellars (1880–1973) is often reduced to his role as father of Wilfrid Sellars. This is unfair because during the 1920s, ‘30s, and ‘40s, Roy Wood was one of the leading figures of the then prevailing American realist movement. In the present paper, I will focus on one particular facet of R. W. Sellars’ philosophical approach: his continual examination of Albert Einstein’s special theory of relativity. I shall primarily reconstruct his discussion of Einstein’s theory, as it can be found (...) in his seminal The Philosophy of Physical Realism (1932). In contrast to authors such as Bertrand Russell or Émile Meyerson, Sellars refused to interpret special relativity in a realist vein. In his view, it should be seen as an “ars mensurandi” and thus being interpreted purely operationally. As with Einstein himself, the concept of simultaneity was his paradigm case in point. However, Sellars opined that besides the physical (mensurational) concepts of time and simultaneity there also exists an ontological understanding of these notions. “Real” time and “absolute” simultaneity are, according to Sellars, the indispensable non-relativistic counterparts to Einstein’s respective relativistic conceptions. They are to be interpreted realistically since they prove, Sellars maintains, to be explanatory regarding events in Einstein-Minkowski’s world. In the course of the paper, I shall compare this view with the one defended by Henri Bergson. Furthermore, Sellars’ later approach from the 1940s and ‘50s will be briefly considered and critically discussed by confronting it with more recent attempts at ontologically ‘grounding’ special relativistic kinematics. (shrink)

A t-tautology is a propositional formula which is a tautology in all fuzzy logics defined by continuous triangular norms. In this paper we show that the problem of recognizing t-tautologies is coNP complete, and thus decidable.

The integration of ethics into the day-to-day work of research and innovation is an important but difficult challenge. However, with the Aachen method for identification, classification and risk analysis of innovation-based problems an approach from an engineering perspective is presented that enables the integration of ethical, legal and social implications into the day-to-day work of R&I practitioners. AMICAI appears in particular capable of providing a procedural guidance for R&I practitioners based on a method established in engineering science, breaking down the (...) object of consideration into partial aspects and prioritizing the innovation-based problems in dependence of potential risk. This enables the user to apply AMICAI continuously during all stages of the research and development process and to analyze and choose between certain sociotechnical alternatives. In this way, problems that affect ethical, legal, and social aspects can be understood, reflected and considered in the mostly technically focused R&D process. The paper gives a general guidance about AMICAI by describing principles and assumptions, providing the steps of analysis and application aids, giving an example application, explaining the necessary adjustments of AMICAI compared to the methodical basis of failure mode, effects, and criticality analysis and discussing the advantages and limits. AMICAI’s simple applications can stimulate interdisciplinary cooperation in the R&D process and be a starting point for the development of an “open RRI risk analysis platform” allowing society to evaluate innovation-based problems. (shrink)

IntroductionIn the context of giving risk information for obtaining informed consent, it is not easy to comply with the ethical principle of “primum nihil nocere.” Carelessness, ignorance of nocebo effects and a misunderstood striving for legal certainty can lead doctors to comprehensive and brutal risk information. It is known that talking about risks and side effects can even trigger those and result in distress and nonadherence to medication or therapy.MethodsRecently, we have reported on significant clinically relevant effects of verbal and (...) non-verbal suggestions on maximal muscular arm strength in healthy volunteers and in patients at two time points before surgery. Maximal strength during arm abduction was measured by dynamometry of the deltoid muscle group. Suggestions from clinical everyday life were formulated as presumed negative and neutral versions.ResultsHere, we report on the effects of two versions of risk information in 45 patients. After sole mentioning risks of a puncture for the placement of a pain catheter, the maximal arm muscle strength was significantly reduced to 83% of baseline several days, and to 84% the evening before surgery. Strength was not significantly decreased and close to baseline at T1 and T2 when risks and benefits of a pain catheter were combined in one sentence. The difference between both versions was significant. With persistent normal distribution of values, the effect was due to uniform reactions of many patients, not to strong reactions of a few. High suggestibility and increase of anxiety with approaching surgery were identified as influencing factors for the neutralizing effect of modified wording.ConclusionWe not only suggest an alternative formulation for risk information to avoid nocebo effects but present an objective method to quantify and compare effects of different wordings. Thereby, we provide evidence that concurrently given positive aspects can neutralize negative effects during medical interview. (shrink)

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...) monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

We introduce Gentzen calculi for intuitionistic logic extended with an existence predicate. Such a logic was first introduced by Dana Scott, who provided a proof system for it in Hilbert style. We prove that the Gentzen calculus has cut elimination in so far that all cuts can be restricted to very simple ones. Applications of this logic to Skolemization, truth value logics and linear frames are also discussed.

In this paper an alternative Skolemization method is introduced that, for a large class of formulas, is sound and complete with respect to intuitionistic logic. This class extends the class of formulas for which standard Skolemization is sound and complete and includes all formulas in which all strong quantifiers are existential. The method makes use of an existence predicate first introduced by Dana Scott.

Scientific realism is the view that the theoretical entities of science exist. Atoms, forces, electromagnetic fields, and so on, are not merely instruments for organizing observational data but are real and causally effective. This view seems to be hardly compatible with the logical empiricist agenda: As common wisdom has it, logical empiricism is mainly characterized by a strong verification criterion of meaning, i.e., by the project of defining the meaning of theoretical terms by virtue of the meaning of purely observational (...) terms. However, it has been largely ignored by the historians of logical empiricism that there indeed existed a realist faction within the logical empiricist movement. (shrink)

Drawing on corpora from West Africa and Iceland, the article presents a fieldwork-based comparative exploration of ‘things that place names do’. Treating toponyms as performative elements of culture, we have observed striking parallels as well as differences in the uses of place names in both regions. Place names communicate spatial orientation; play an important role in the commemoration of people and events; mark claims of possession; support the construction of identity; sacralize landscapes; and voice moral reprimands. They can provide entertainment, (...) by, for instance, inscribing ridicule into the land. They subvert as well as affirm hierarchies and power structures, and even play a role in interethnic conflict. Equally, they can become nuclei of storytelling, providing starting points for the invention of narratives. Showing the range of functions that place names can assume in two very different geographical contexts, the article presents a heuristic illustration of the potential of fieldwork-based approaches for toponomastic research. (shrink)

The New Testament, while rejecting any superficial connection between illness and sin, does not reject a possible connection between illness and a person's relationship with God. An example can be seen in the story of the young blind man who was healed. His blindness does not result from any fault he or his parents had committed but apparently from God's wish to reveal his own healing power. The inner blindness of the Pharisees is a different type of blindness far more (...) difficult to heal. The blind young man was actually healed, not only in body but also in soul. Such miraculous healings are rare nowadays. However, if one takes a closer look at modern genetics and psycho-neuro-immunological findings, one may come to a better understanding of how miracle healings are linked to man's inner life and therefore also to his religiousness. Many diseases have genetic backgrounds. Defective genes, however, do not necessarily lead to subsequent illness. Genes have to be switched on or off. Only activated genes trigger pathological change. The human brain and all of man's thinking and feeling are intimately connected with such activations. We may thus conclude that both inner life and religious outlook on life are relevant to the origin and development of diseases. (shrink)

We study cut-elimination in first-order classical logic. We construct a sequence of polynomial-length proofs having a non-elementary number of different cut-free normal forms. These normal forms are different in a strong sense: they not only represent different Herbrand-disjunctions but also differ in their propositional structure. This result illustrates that the constructive content of a proof in classical logic is not uniquely determined but rather depends on the chosen method for extracting it.

Jan Krajíček posed the following problem: Is there is a generalization result in the theory of real closed fields of the form: If A is provable in length k for all n ϵ ω , then A is provable? It is argued that the answer to this question depends on the particular formulation of the “theory of real closed fields.” Four distinct formulations are investigated with respect to their generalization behavior. It is shown that there is a positive answer to (...) Krajíček's question for 1. the axiom system RCF of Artin-Schreier with Gentzen's LK as underlying logical calculus, 2. RCF with the variant LK B of LK allowing introduction of several quantifiers of the same type in one step, 3. LK B and the first-order schemata corresponding to Dedekind cuts and the supremum principle. A negative answer is given for 4. any system containing the schema of extensionality. (shrink)

In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting of constructive theories. A constructive extension of intuitionistic predicate logic that captures the notions of preorder and existence is introduced and the method, orderization, is shown to be sound and complete with respect to this logic. This implies an analogue of Herbrand's theorem for intuitionistic logic. The orderization method is applied to (...) the constructive theories of equality and groups. (shrink)

Alois Riehl was one of the few Kantian-inspired philosophers of the late nineteenth and early twentieth century who argued for a realist approach to Kant’s original doctrine. He therefore rejected prevailing idealist reconstructions and attempted to establish a view of Kant as an important forerunner of what he programmatically called ‘critical realism.’ In the present paper it will be shown what this exactly meant for the interpretation of Kant’s and especially Riehl’s own critique of idealism as a systematic position. In (...) particular, it is stated that anti-idealism in Riehlian terms amounts to a ‘realistic rehabilitation’ of Kantian things-in-themselves. Furthermore, some connections are drawn to early-twentieth century American realism. (shrink)

We construct a faithful interpretation of ukasiewicz's logic in product logic (both propositional and predicate). Using known facts it follows that the product predicate logic is not recursively axiomatizable.We prove a completeness theorem for product logic extended by a unary connective of Baaz [1]. We show that Gödel's logic is a sublogic of this extended product logic.

It is a common view in cognitive psychology that there is a fundamental difference between what may be called descriptive information, on the one hand, and depictive information, on the other. While the first kind of information is — ideally spoken — non-pictorial and usually equated with the content of a proposition, the second kind of information is pictorial by defmition and accordingly equated with the content of a mental image. Granting the correctness of this distinction, cognitive scientists differ on (...) the role played by mental images in epistemic processes. One faction, represented by the writings of Zenon Pylyshyn, asserts that mental images are merely an epiphenomenon of a more general and abstract processing system, and that they are in principle dispensable since they do not have any truth value.1 Another faction, represented by the writings of Stephen Kosslyn, favors the opposite view, maintaining that mental images are indispensable since they play, in spite of their lack of truth value, a fundamental role in human thinking.2 As Arthur I. Miller has proposed in his book Imagery in Scientific Thought, these two factions may be labeled as the “antiimagist” and the “pro-imagist” view, respectively. (shrink)

The problem of measurement can be reformulated as the problem of measurability: What are the conditions under which measurement becomes possible at all? And what is the ontological status of concrete measurement outcomes? It will be shown in the course of this article that what Joel Michell deemed the ‘representational theory’ of measurement provides an adequate framework for answering these questions. However, contrary to Michell, I will point out that Hermann von Helmholtz should be seen as an important forerunner of (...) the representational view. Furthermore, it will be argued that the Finnish logical empiricist Eino Kaila carried on Helmholtz’s approach by combining it with a certain form of ontological invariantism. On the whole, a ‘structural realist’ account of measurement will be suggested. (shrink)

This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction of autonomous information sources, and an approach to the pragmatics of communicated ontological axioms. Technically, the framework is based on distributed variants of description logic for the formal contextualization of statements w.r.t. their respective provenance, speaker's attitude, addressees, and subjective degree of confidence. Doing so, our approach demarcates from the dominating more or less informal approaches to context (...) and provenance representation on the semantic web, and carefully distinguishes between communication attitudes such as public assertion and intention exhibited on the (semantic) web on the one hand, and mental attitudes such as private belief on the other. Furthermore, our framework provides formal means for the probabilistic fusion of controversial opinions, and presents a semantics of information publishing acts. Our approach provides an incomplex and genuinely social approach to knowledge acquisition and representation, and is thus expected to be widely applicable in fields such as the semantic web and social software, and possibly also in other distributed environments such as P2P systems. (shrink)

It is shown that Külpe’s critical realism anticipates several elements of modern scientific realism. Furthermore, a comparison with contemporary American critical realism is drawn. On the whole, it is argued that more intensive relevant research in the future is needed.

This book investigates the relationships between gestures and artefacts theoretically and historically, by analyzing different phenomena stemming from a variety of fields such as robotics, archaeology, gesture studies, anthropology, philosophy, and gestural practices like choreography, music performance, and composition. It underlines how embodiment and technology change the interplay between maker and artefact over time and appeals to students and researchers in these fields. Its goal is to enable the reader to understand that the recurring topics and questions as well as (...) multi-level similarities are by no means accidental, but can best be understood if one pays attention to the intertwinements of materiality and cognition, praxis and techne. (shrink)

In seiner Selbsteinschätzung war Schopenhauer sowohl einer der besten Kenner der kantischen Philosophie als auch derjenige, der als ihr wahrer Erbe und Vollender anzusehen sei. In einem Brief an die Kant-Herausgeber Rosenkranz und Schubert schreibt er 1837: »Seit 27 Jahren hat Kants Lehre nie aufgehört ein Hauptgegenstand meines Studiums und Nachdenkens zu seyn. Ich möchte wissen, wer unter den Mitlebenden kompetenter in Kantischer Philosophie wäre als ich«.

Die Beiträge zur Altertumskunde enthalten Monographien, Sammelbände, Editionen, Übersetzungen und Kommentare zu Themen aus den Bereichen Klassische, Mittel- und Neulateinische Philologie, Alte Geschichte, Archäologie, Antike Philosophie sowie Nachwirken der Antike bis in die Neuzeit. Dadurch leistet die Reihe einen umfassenden Beitrag zur Erschließung klassischer Literatur und zur Forschung im gesamten Gebiet der Altertumswissenschaften.

American critical realism was defended in two versions, an “essentialist” and an “empirical.” The main proponent of the essentialist version was George Santayana, who in his Scepticism and Animal Faith (1923) outlined a critical realist account of epistemology based substantially on an articulate doctrine of essences. In the present paper, an attempt is made to critically examine the resulting approach, particularly in relation to perception. It will be argued that Santayana failed to develop a sufficiently convincing essentialist view of perception, (...) and that his actual significance in terms of the impact of the critical realist movement was, contrary to what is often claimed, quite limited. (shrink)

English summary: The validity of human rights is today internationally recognised across nations and cultures. The question as to whether and how their validity can be justified is - on the other hand - a bone of contention. Is this based on legal positivism alone? Or can human rights be understood as moral rights amenable to a kind of justification capable of convincing the skeptic? If so, can such arguments be derived from the tradition of natural law or be defended (...) by means of the laws of reason? Does this require anthropological or metaphysical assumptions - or do discourse-theoretical premises suffice? This volume, which specifically latches onto the traditions of legal positivism, natural and rational law, systematically juxtaposes these questions in a bid for reconciliation. German description: Die Geltung von Menschenrechten ist heute international und kulturubergreifend anerkannt. Die Frage, ob und wie sich ihre Geltung begrunden lassen kann, ist dagegen umstritten: Beruht ihre Geltung lediglich auf positivem Recht? Oder kann man Menschenrechte als moralische Rechte verstehen, die einer Art von Begrundung zuganglich sind, die auch den Skeptiker uberzeugen kann? Wenn ja, lassen sich solche Argumente aus der naturrechtlichen Tradition gewinnen oder mit Mitteln des modernen Vernunftrechts verteidigen? Muss dabei auf anthropologische oder metaphysische Annahmen rekurriert werden, oder reichen diskurstheoretische Pramissen aus? Der Band knupft gezielt an die Traditionen des Rechtspositivismus, des Naturrechts und des Vernunftrechts an, stellt systematische Positionen zu diesen Fragen einander gegenuber und sucht, sie miteinander zu vermitteln. Mit Beitragen von: Arno Anzenbacher, Franz-Josef Bormann, Adela Cortina, Thomas Gutmann, Matthias Hoesch, Stefan Kadelbach, Sebastian Laukotter, Georg Lohmann, Georg Mohr, Florian Rodl, Oliver Sensen, Margit Wasmaier-Sailer, Fabian Wittreck. (shrink)