RésuméDepuis l'ékpoque du Cercle de Vienne on consière l'explication en tant que tâche centrale de la philosophie analytique. Cependant il n'y a pas unanimité autour de la compréhension du concept d'explication. Dans cet article nous suggérons, tout en suivant Bachelard, de considérer une explication d'un concept en tant que sa généralisation propre dans le cadre d'une théorie explicative. Nous examinons notre approche en envisageant l'explication des concepts logiques , mathématiques et de la philosophie des sciences.

Die Wissenschaftsphilosophie als eigenständige philosophische Disziplin ist relativ jung. Ohne Anspruch auf Genauigkeit lassen sich ihre Anfänge auf das letzte Drittel des 19. Jahrhunderts datieren. Einen in der zeitgenössischen Diskussion lange vergessenen Ansatz der frühen Wissenschaftsphilosophie bilden die verschiedenen Strömungen des Neukantianismus, der bis in die ersten Jahrzehnte des 20. Jahrhunderts in Deutschland eine dominierende Rolle spielte.

In this paper I want to show that topology has a bearing on the theory of tropes. More precisely, I propose a topological ontology of tropes. This is to be understood as follows: trope ontology is a „one-category”-ontology countenancing only one kind of basic entities, to wit, tropes. 1 Hence, individuals, properties, relations, etc. are to be constructed from tropes.

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

The main thesis of this paper is that Pap’s The Functional A Priori of Physical Theory (Pap 1946, henceforth FAP) and Cassirer’s Determinism and Indeterminism in Modern Physics (Cassirer 1937, henceforth DI) may be conceived as two kindred accounts of a late Neo-Kantian philosophy of science. They elucidate and clarify each other mutually by elaborating conceptual possibilities and pointing out affinities of neo-Kantian ideas with other currents of 20th century’s philosophy of science, namely, pragmatism, conventionalism, and logical empiricism. Taking into (...) account these facts, it seems not too far fetched to conjecture that under more favorable circumstances Pap could have served as a mediator between the “analytic” and “continental” tradition thereby overcoming the dogmatic dualism of these two philosophical currents that has characterized philosophy in the second half the 20th century. (shrink)

The first aim of this paper is to elucidate Russell’s construction of spatial points, which is to be <br>considered as a paradigmatic case of the "logical constructions" that played a central role in his epistemology and theory of science. Comparing it with parallel endeavours carried out by Carnap and Stone it is argued that Russell’s construction is best understood as a structural representation. It is shown that Russell’s and Carnap’s representational constructions may be considered as incomplete and sketchy harbingers of (...) Stone’s representation theorems. The representational program inaugurated by Stone’s theorems was one of the success stories of 20th century’s mathematics. This suggests that representational constructions à la Stone could also be important for epistemology and philosophy of science. More specifically it is argued that the issues proposed by Russellian definite descriptions, logical constructions, and structural representations still have a place on the agenda of contemporary epistemology and philosophy of science. Finally, the representational interpretation of Russell’s logical constructivism is used to shed some new light on the recently vigorously discussed topic of his structural realism. (shrink)

The global relation between logical empiricism and American pragmatism is one of the more difficult problems in history of philosophy. In this paper I’d like to take a local perspective and concentrate on the details that concern the vicissitudes of a philosopher who played an important role in the encounter of logical empiricism and American pragmatism, namely, Ernest Nagel. In this paper, I want to explore some aspects of Nagel’s changing attitude towards the then „new“ logical-empiricist philosophy. In the beginning (...) Nagel welcomed logical empiricism whole-heartedly. This early enthusiasm did not last. At the end of his philosophical career Nagel’s early positive attitude towards logical empiricism shown in the 1930s had been replaced by a much more reserved one. Nagel’s growing dissatisfaction with the Carnapian version of logical empiricist philosophy was clearly expressed in Nagel’s criticism of Carnap’s inductive logic and more generally in his last book Teleology Revisited and Other Essays on History and Philosophy of Science. There he critized harshly Carnap’s philosophy of science in general as ahistoric and non-pragmatist. One of the distinctive features of Nagel’s philosophy of science is the emphasis that he put on the role of history of science for philosophy of science. A compelling evidence for this attitude are his works on the history and philosophy of geometry and algebra One may say that Carnap and Nagel represented opposed possibilities of how the profession of a philosopher of science could be understood: Carnap as a „conceptual engineer“ was engaged in the task of inventing the conceptual tools for a better theoretical understanding of science, while Nagel was to be considered more as a „public intellectual“ engaged in the project of realizing a more rational and enlightened society. (shrink)

The aim of this paper is to show that topology has a bearing on<br><br>combinatorial theories of possibility. The approach developed in this article is “mapping account” considering combinatorial worlds as mappings from individuals to properties. Topological structures are used to define constraints on the mappings thereby characterizing the “really possible” combinations. The mapping approach avoids the well-known incompatibility problems. Moreover, it is compatible with atomistic as well as with non-atomistic ontologies.It helps to elucidate the positions of logical atomism and monism (...) with theaid of topological separation axioms. (shrink)

Carnap and Twentieth-Century Thought: Explication as En lighten ment is the first book in the English language that seeks to place Carnap's philosophy in a broad cultural, political and intellectual context. According to the author, Carnap synthesized many different cur rents of thought and thereby arrived at a novel philosophical perspective that remains strik ing ly relevant today. Whether the reader agrees with Carus's bold theses on Carnap's place in the landscape of twentieth-century philosophy, and his even bolder claims concerning (...) the role that philosophy in Carnap's style should play in the thought of our century, does not matter so much as the excellent opportunity Carus's book offers to thoroughly rethink one's ideas about Carnap's philosophy. One reason why Carnap and Twentieth-Century Thought might change one's ideas is that Carus has unearthed much hitherto unknown material from the archives that sheds new light on Carnap's early life and thought. Indeed, the many archival findings presented in CTT for the first time suffice to make the book re warding reading for philosophers and historians of philosophy alike. CTT exhibits a high standard of historical scholarship, and the book itself is a beautiful example of high-quality academic publishing. Up to now, Carnap has remained a controversial figure on the philo sophical scene. On the one hand, he has a solid reputation as a leading figure of logical positivism . According to conventional wisdom, this was a school of thought characterized by its formal and technical philosophy, as well as being rather dismissive of other ways of doing philosophy, dogmatically sticking to its own theses. As a typical example of this arrogant logical empiricist attitude, one usually refers to Carnap's notorious Overcoming Metaphysics by Logical Analysis of Language , written when the Vienna Circle's Logical Empiricism had entered its most radical phase. Self-proclaimed postpositivist philosophers of science dismissed logical positivism, in particular Carnap's, as the dogmatic and orthodox “received view.” The tendency to portray logical empiricism as an obsolete doctrine centering around certain “dogmas” started with Quine's Two Dogmas of Empiricism and reached its somewhat ridiculous culmination in the early 1980s when allegedly “six or seven dogmas” were discovered . Thereby an allegedly un brid geable gap between classical “dogmatic” logical em pi ricism and its modern “enlightened” suc ces sors was construed. (shrink)

The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be used to (...) prove a completeness theorem for S4.1. Further, it is shown that the McKinsey algebra MKX of a space X endoewed with an alpha-topologiy satisfies Esakia's GRZ axiom. (shrink)

According to Kant, pure intuition is an indispensable ingredient of mathematical proofs. Kant‘s thesis has been considered as obsolete since the advent of modern relational logic at the end of 19th century. Against this logicist orthodoxy Cassirer’s “critical idealism” insisted that formal logic alone could not make sense of the conceptual co-evolution of mathematical and scientific concepts. For Cassirer, idealizations, or, more precisely, idealizing completions, played a fundamental role in the formation of the mathematical and empirical concepts. The aim of (...) this paper is to outline the basics of Cassirer’s idealizational account, and to point at some interesting similarities it has with Kant’s and Peirce’s philosophies of mathematics based on the key notions of pure intuition and theorematic reasoning, respectively. (shrink)

A basic thesis of Neokantian epistemology and philosophy of science contends that the knowing subject and the object to be known are only abstractions. What really exists, is the relation between both. For the elucidation of this “knowledge relation ("Erkenntnisrelation") the Neokantians of the Marburg school used a variety of mathematical metaphors. In this con-tribution I reconsider some of these metaphors proposed by Paul Natorp, who was one of the leading members of the Marburg school. It is shown that Natorp's (...) metaphors are not unrelated to those used in some currents of contemporary epistemology and philosophy of science. (shrink)

In this paper some classical representational ideas of Hertz and Duhem are used to show how the dichotomy between representation and intervention can be overcome. More precisely, scientific theories are reconstructed as complex networks of intervening representations (or representational interventions). The formal apparatus developed is applied to elucidate various theoretical and practical aspects of the in vivo/in vitro problem of biochemistry. Moreover, adjoint situations (Galois connections) are used to explain the relation berween empirical facts and theoretical laws in a new (...) way. (shrink)

This paper deals with Natorp’s version of the Marburg mathematical philosophy of science characterized by the following three features: The core of Natorp’s mathematical philosophy of science is contained in his “knowledge equation” that may be considered as a mathematical model of the “transcendental method” conceived by Natorp as the essence of the Marburg Neo-Kantianism. For Natorp, the object of knowledge was an infinite task. This can be elucidated in two different ways: Carnap, in the Aufbau, contended that this endeavor (...) can be divided into two distinct parts, namely, a finite “constitution” of the object of knowledge and an infinite incompletable empirical description. In contrast, and more in the original spirit of Cohen and Natorp, the physicist and philosopher Margenau in The Nature of Physical Reality (Margenau. 1950) conceived the infinity of this “Aufgabe” as an infinite dialectical process, in which relative “data” and “conceptual constructs” determine each other. This dialectical process eliminates the dichotomy between Anschauung and Begriff that distinguished the Marburg Neo-Kantianism from Kantian orthodoxy, namely, the abandonment of the difference between intuition and concept. Finally, the paper deals with the non-Archimedean geometrical systems that played a central role in Natorp’s defence of Cohen’s “infinitesimal” metaphysics. (shrink)

Bis heute wird Russells Philosophie nicht selten der Vorwurf gemacht, es fehle ihr an Kohärenz und Zusammenhang. Russell wird als ein Autor charakterisiert, der alle paar Jahre eine neue alternative Philosophie vorgeschlagen habe. In der vorliegenden Arbeit soll dagegen argumentiert werden, daß diese These auf einer zu oberflächlichen Ein–schätzung von Russells Denken beruht. Seine Philosophie verfügte sehr wohl über eine Einheit, die durch ihre charakteristische einheitsstiftende Methode vermittelt wurde. Dies war die Methode der logischen Analyse, die sich als Invariante in (...) allen Phasen seines Denkens durchhielt. Die logische Analyse erlaubte es, die in gegebenen Sach–verhalten enthaltenen Möglichkeiten zu explizieren. Philosophie wurde damit für Russell zu einer “Möglichkeitswissenschaft”. (shrink)

Die Physikalisierung der Psychologie war für Carnap Teil eines Programms, das die Sonderstellung der Psychologie als Wissenschaft des menschlichen Denkens und Fühlens als Illusion entlarven und zeigen sollte, die Psychologie sei ein Teil der Physik wie alle anderen Wissenschaften auch. In etwas anderer Motivation zielte Carnaps Physikalismus ausserdem auf eine Überwindung der Trennung von Geistes–wissenschaften und Naturwissenschaften: Erwiese sich die Psychologie sich als physikalisierbar, wäre das ein wesentlicher Schritt für die Vereinheitlichung der Wissenschaften in Gestalt einer enzyklopädischen „Einheitswissenschaft“ überhaupt. Carnaps (...) Argument für die Physikalisierbarkeit der Psychologie als ganzer basierte auf der These der Physikalisierbarkeit der Graphologie als zentraler Teildisziplin der Psychologie. Die Graphologie sei der begrifflich am weitesten fortgeschrittene und deshalb am ehesten physikalisierbare Teil der Psychologie. Das verdanke sie in erster Linie den wegweisenden Arbeiten Ludwig Klages’. Erweise sich die Graphologie als physikalisierbar, stehe einer durchgehenden Physikalisierung aller Wissenschaften nichts mehr im Wege. Als Episode in Carnaps philosophischer Entwicklung ist dem Graphologieprojekt bis heute kaum Aufmerksamkeit geschenkt worden. Das ist ein Versäumnis, manifestiert sich in diesem Projekt doch der allgemeine Stil des Carnapschen Philosophierens besonders deutlich, nämlich von einer sehr abstrakten und idealisierten Vorstellung von Wissenschaft ausgehend weitreichende philosophische Folgerungen zu ziehen. (shrink)

This paper intends to further the understanding of the formal properties of (higher-order) vagueness by connecting theories of (higher-order) vagueness with more recent work in topology. First, we provide a “translation” of Bobzien's account of columnar higher-order vagueness into the logic of topological spaces. Since columnar vagueness is an essential ingredient of her solution to the Sorites paradox, a central problem of any theory of vagueness comes into contact with the modern mathematical theory of topology. Second, Rumfitt’s recent topological reconstruction (...) of Sainsbury’s theory of prototypically defined concepts is shown to lead to the same class of spaces that characterize Bobzien’s account of columnar vagueness, namely, weakly scattered spaces. Rumfitt calls these spaces polar spaces. They turn out to be closely related to Gärdenfors’ conceptual spaces, which have come to play an ever more important role in cognitive science and related disciplines. Finally, Williamson’s “logic of clarity” is explicated in terms of a generalized topology (“locology”) that can be considered an alternative to standard topology. Arguably, locology has some conceptual advantages over topology with respect to the conceptualization of a boundary and a borderline. Moreover, in Williamson’s logic of clarity, vague concepts with respect to a notion of a locologically inspired notion of a “slim boundary” are (stably) columnar. Thus, Williamson’s logic of clarity also exhibits a certain affinity for columnar vagueness. In sum, a topological perspective is useful for a conceptual elucidation and unification of central aspects of a variety of contemporary accounts of vagueness. (shrink)

The first aim of this paper is to prove a topological completeness theorem for a weak version of Stalnaker’s logic KB of knowledge and belief. The weak version of KB is characterized by the assumption that the axioms and rules of KB have to be satisfied with the exception of the axiom (NI) of negative introspection. The proof of a topological completeness theorem for weak KB is based on the fact that nuclei (as defined in the framework of point-free topology) (...) give rise to a profusion of topological belief operators that are compatible with the familiar topological knowledge operator. Thereby a canonical topological model for weak KB can be constructed. For this canonical model a truth lemma for the K and B holds such that a completeness theorem for KB can be proved in the familiar way. The second aim of this paper is to show that the topological interpretation of knowledge K comes along with a complete Heyting algebra of belief operators B that all fit the knowledge operator K in the sense that the pairs (K, B) satisfy all axioms of weak KB. This amounts to a pluralistic relation between knowledge and belief: Knowledge does not fully determine belief, rather it designs a conceptual space for belief operators where different (competing) belief operators coexist. (shrink)

We seek to elucidate the philosophical context in which one of the most important conceptual transformations of modern mathematics took place, namely the so-called revolution in rigor in infinitesimal calculus and mathematical analysis. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind,and Weierstrass. The dominant current of philosophy in Germany at the time was neo-Kantianism. Among its various currents, the Marburg school (Cohen, Natorp, Cassirer, and others) was the one most interested in matters scientific and mathematical. Our (...) main thesis is that Marburg neo-Kantian philosophy formulated a sophisticated position towards the problems raised by the concepts of limits and infinitesimals. The Marburg school neither clung to the traditional approach of logically and metaphysically dubious infinitesimals, nor whiggishly subscribed to the new orthodoxy of the “great triumvirate” of Cantor, Dedekind, and Weierstrass that declared infinitesimals conceptus nongrati in mathematical discourse. Rather, following Cohen’s lead, the Marburg philosophers sought to clarify Leibniz’s principle of continuity, and to exploit it in making sense of infinitesimals and related concepts. (shrink)

Abstract. In Dynamics of Reason Michael Friedman proposes a kind of synthesis between the neokantianism of Ernst Cassirer, the logical empiricism of Rudolf Carnap, and the historicism of Thomas Kuhn. Cassirer and Carnap are to take care of the Kantian legacy of modern philosophy of science, encapsulated in the concept of a relativized a priori and the globally rational or continuous evolution of scientific knowledge,while Kuhn´s role is to ensure that the historicist character of scientific knowledge is taken seriously. (...) More precisely, Carnapian linguistic frameworks, guarantee that the evolution of science procedes in a rational manner locally,while Cassirer’s concept of an internally defined conceptual convergence of empirical theories provides the means to maintain the global continuity of scientific reason. In this paper it is argued that Friedman’s neokantian account of scientific reason based on the concept of the relativized a priori underestimates the pragmatic aspects of the dynamics of scientific reason. To overcome this short-coming, I propose to reconsider C.I. Lewis’s account of a pragmatic the priori, recently modernized and elaborated by Hasok Chang. This may be<br><br><br><br><br><br><br><br><br><br&g t;<br><br><br><br><br><br>Keywords: Dynamics of reason, Paradigms, Logical Empiricism,Neokantianism, Pragmatism, Mathematics, Communicative Rationality. (shrink)

Nach gängiger Auffassung nahm das Thema „Werte” in Carnaps Philosophie nur einen geringen Stellenwert ein. In dieser Arbeit soll gezeigt werden, daß diese Einschätzung der Korrektur bedarf: So wird der im „Aufbau“ vorgetragene Entwurf eines Konstitutionssystems mit Werten als der höchsten Schicht des Konstitutionssystems abgeschlossen. Auch die Quasianalyse als allgemeine Konstitutionsmethode steht in enger Beziehung zur Unterscheidung zwischen „Sein“ und „Gelten“, die für den werttheoretisch orientierten Neukantianismus der südwest-deutschen Schule charakteristisch war. Allgemein erlaubt die Wertthematik einen Blick auf Unterströmungen des (...) carnapschen Denkens, die in den offiziellen logisch-empiristischen Darstellungen seines Denkens meist vernachlässigt werden. Die Wertthematik, so die These dieser Arbeit, eröffnet überdies eine neue Perspektive auf die spezifisch Jenaer Konstellation von Neukantianismus und Lebensphilosophie, die Carnaps Philosophie wesentlich geprägt hat. (shrink)

The aim of this paper is to present a topological method for constructing discretizations of topological conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. The aim of this paper is to show that Alexandroff spaces, as they are called today, have many interesting properties that can be used to explicate and clarify a variety of problems in philosophy, cognitive science, and related disciplines. For instance, recently, (...) Ian Rumfitt used a special type of Alexandroff spaces to elucidate the logic of vague concepts in a new way. Moreover, Rumfitt’s class of Alexandroff spaces can be shown to provide a natural topological semantics for Susanne Bobzien’s “logic of clearness”. Mainly due to the work of Peter Gärdenfors and his collaborators, conceptual spaces have become an increasingly popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy. For Gärdenfors’s conceptual spaces, geometrically defined discretizations play an essential role. These tessellations can be shown to be extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces in general. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. The main aim of this paper is to show that this class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Weakly scattered Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox. Further, they provide a semantics for the logic of clearness that overcomes certain problems of the concept of higher-order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The specialization order of Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and non-prototypical stimuli in favor of a gradual distinction between more or less prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem”. Finally, it is shown that the Alexandroff spaces offer an appropriate framework to deal with digital conceptual spaces that are gaining more and more importance in the areas of artificial intelligence, computer science and related disciplines. (shrink)

The notion of idealization has received considerable attention in contemporary philosophy of science but less in philosophy of mathematics. An exception was the ‘critical idealism’ of the neo-Kantian philosopher Ernst Cassirer. According to Cassirer the methodology of idealization plays a central role for mathematics and empirical science. In this paper it is argued that Cassirer's contributions in this area still deserve to be taken into account in the current debates in philosophy of mathematics. For extremely useful criticisms on earlier versions (...) I am grateful to B.P. Larvor and another anonymous journal referee. CiteULike Connotea Del.icio.us What's this? (shrink)

David Lewis famously argued against structural universals since they allegedly required what he called a composition “sui generis” that differed from standard mereological com¬position. In this paper it is shown that, although traditional Boolean mereology does not describe parthood and composition in its full generality, a better and more comprehensive theory is provided by the foundational theory of categories. In this category-theoretical framework a theory of structural universals can be formulated that overcomes the conceptual difficulties that Lewis and his followers (...) regarded as unsurmountable. As a concrete example of structural universals groups are considered in some detail. (shrink)

The vicissitudes of mathematical reason in the 20th century Content Type Journal Article Pages 1-6 DOI 10.1007/s11016-011-9556-y Authors Thomas Mormann, Department of Logic and Philosophy of Science, University of the Basque Country UPV/EPU, Donostia-San Sebastian, Spain, Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Einführung in die Philosophie Rudolf Carnaps.

Since antiquity well into the beginnings of the 20th century geometry was a central topic for philosophy. Since then, however, most philosophers of science, if they took notice of topology at all, considered it as an abstruse subdiscipline of mathematics lacking philosophical interest. Here it is argued that this neglect of topology by philosophy may be conceived of as the sign of a conceptual sea-change in philosophy of science that expelled geometry, and, more generally, mathematics, from the central position it (...) used to have in philosophy of science and placed logic at center stage in the 20th century philosophy of science. Only in recent decades logic has begun to loose its monopoly and geometry and topology received a new chance to find a place in philosophy of science. (shrink)

Abstract. Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of knowledge (...) and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB-logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. (shrink)

According to general wisdom, Carnap's quasianalysis is an ingenious but definitively flawed approach to epistemology and philosophy of science. I argue that this assessment is mistaken. Rather, Carnapian quasianalysis can be reconstructed as a special case of a general theory of structural representation. This enables us to exploit some interesting analogies of quasianalysis with the representational theory of measurement. It is shown how Goodman's well-known objections against the quasianalytical approach may be defused in the new framework. As an application, I (...) sketch how the thesis of empirical underdetermination of theories may be elucidated in the framework of quasianalysis. (shrink)

The aim of this paper is to discuss the “Austro-American” logical empiricism proposed by physicist and philosopher Philipp Frank, particularly his interpretation of Carnap’s Aufbau, which he considered the charter of logical empiricism as a scientific world conception. According to Frank, the Aufbau was to be read as an integration of the ideas of Mach and Poincaré, leading eventually to a pragmatism quite similar to that of the American pragmatist William James. Relying on this peculiar interpretation, Frank intended to bring (...) about a rapprochement between the logical empiricism of the Vienna Circle in exile and American pragmatism. In the course of this project, in the last years of his career, Frank outlined a comprehensive, socially engaged philosophy of science that could serve as a “link between science and philosophy”. (shrink)

Husserl's mathematical philosophy of science can be considered an anticipation of the contemporary postpositivistic semantic approach, which regards mathematics and not logic as the appropriate tool for the exact philosophical reconstruction of scientific theories. According to Husserl, an essential part of a theory's reconstruction is the mathematical description of its domain, that is, the world (or the part of the world) the theory intends to talk about. Contrary to the traditional micrological approach favored by the members of the Vienna Circle, (...) Husserl, inspired by modern geometry and set theory, aims at a macrological analysis of scientific theories that takes into account the global structures of theories as structured wholes. This is set in the complementary theories of manifolds and theory forms considered by Husserl himself as the culmination of his formal theory of science. (shrink)

Quine’s classical classic interpretation succinctly characterized characterizes Carnap’s Aufbau as an attempt “to account for the external world as a logical construct of sense-data....” Consequently, “Russell” was characterized as the most important influence on the Aufbau. Those times have passed. Formulating a comprehensive and balanced interpretation of the Aufbau has turned out to be a difficult task and one that must take into account several disjointed sources. My thesis is that the core of the Aufbau rested on a problem that (...) had haunted German philosophy since the end of the 19th century. In terms fashionable at the time, this problem may be expressed as the polarity between Leben and Geist that characterized German philosophy during the years of the Weimar Republic. At that time, many philosophers, including Cassirer, Rickert and Vaihinger, were engaged in overcoming this polarity. As I will show, Carnap’s Aufbau joined the ranks of these projects. This suggests that Lebensphilosophie and Rickert’s System der Philosophie exerted a strong influence on Carnap’s projects, an influence that is particularly conspicuous in his unpublished manuscript Vom Chaos zur Wirklichkeit. Carnap himself asserted that this manuscript could be considered “the germ of the constitution theory” of the Aufbau. Reading Chaos also reveals another strong but neglected influence on the Aufbau, namely a specific version of neutral monism put forward by the philosopher and psychologist Theodor Ziehen before World War I. Ziehen’s work contributed much to the invention of the constitutional method of quasi-analysis. -/-. (shrink)

Value judgments are meaningless. This thesis was one of the notorious tenets of Carnap's mature logical empiricism. Less well known is the fact that in the Aufbau values were considered as philosophically respectable entities that could be constituted from value experiences. About 1930, however, values and value judgments were banished to the realm of meaningless metaphysics, and Carnap came to endorse a strict emotivism. The aim of this paper is to shed light on the question why Carnap abandoned his originally (...) positive attitude concerning values. It is argued that his non-cognitivist attitude was the symptom of a deep-rooted and never properly dissolved tension between conflicting inclinations towards Neokantianism and Lebensphilosophie. In America Carnap's non-cognitivism became a major obstacle for a closer collaboration between logical empiricists and American pragmatists. Carnap's persisting adherence to the dualism of practical life and theoretical science was the ultimate reason why he could not accept Morris's and Kaplan's pragmatist theses that cognitivism might well be compatible with a logical and empiricist scientific philosophy. (shrink)