Online research in philosophy

We seek to elucidate the philosophical context in which the so-called revolution of rigor in inifinitesimal calculus and mathematical analysis took place. Some of the protagonists of the said revolution were Cauchy, Cantor, Dedekind, and Weierstrass. The dominant current of philosophy in Germany at that 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. Expressed in terms of modern mathematics, the Marburg philosophers saw the introduction of both infinitesimals and limits as completions whose prototype was Dedekind's of the rational number system resulting in the real numbers. At least partially,, this idea of "completions" can be captured in terms of a category-theoretical description of the conceptual development of modern mathematics. The feasibility of such a modern reformuation may be taken as evidence that the philosophical resources of Marburg neo-Kantianism may be of interest even for contemporary philosophy of mathematics. (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)

Abstract. Let REL(O*E) be the relation algebra of binary relations defined on the Boolean algebra O*E of regular open regions of the Euclidean plane E. The aim of this paper is to prove that the canonical contact relation C of O*E generates a subalgebra REL(O*E, C) of REL(O*E) that has infinitely many elements. More precisely, REL(O*,C) contains an infinite family {SPPn, n ≥ 1} of relations generated by the relation SPP (Separable Proper Part). This relation can be used to define (...) point-free concept of connectedness that for the regular open regions of E coincides with the standard topological notion of connectedness, i.e., a region of the plane E is connected in the sense of topology if and only if it has no separable proper part. Moreover, it is shown that the contact relation algebra REL(O*E, C) and the relation algebra REL(O*E, NTPP) generated by the non-tangential proper parthood relation NTPP, coincide. This entails that the allegedly purely topological notion of connectedness can be defined in mereological terms. (shrink)

The general aim of this paper is to introduce some ideas of the theory of infinite topological games into the philosophical debate on supertasks. First, we discuss the elementary aspects of some infinite topological games, among them the Banach-Mazur game.Then it is shown that the Banach-Mazur game may be conceived as a Newtonian supertask.In section 4 we propose to conceive physical experiments as infinite games. This leads to the distinction between determined and undetermined experiments and the problem of how it (...) is related to that between determinism and indeter-minism. Finally the role of the Axiom of Choice as a source of indetermi-nacy of supertasks is discussed. (shrink)

Abstract: One of the institutional highlights of the encounter between Austrian “wissen¬schaftliche Philosophie” and French “philosophie scientifique” in the first half of the 20th century was the “First International Congress for Unity of Science” that took place 1935 in Paris. In my contribution I deal with an episode of the philosophical mega-event whose protagonist was the American philosopher and semiotician Charles William Morris. At the Paris congress he presented his programme of a comprehensive, practice-oriented scientific philosophy and, in a more (...) elaborated version he published it two years later in Logical Positivism, Pragmatism and Scientific Empiricism (Morris 1937). Morris aimed at a synthesis of formalism, pragmatism, and traditional empiricism that combined the virtues of these accounts while avoided their shortocmings. The core of approach was a comprehensive theory of the concept of meaning. Through an analysis of the concept of meaning he sought to sort out the existing differences and the options for a possible future rapprochment between logical empiricism and pragmatism. Against the overly narrow logical empiricist understanding of philosophy as the syntax of the language of science Morris argued for a “scientific pragmatism” that comprised four levels: (1) Philosophy as Logic of Science, (2) Philosophy as Clarification of Meaning (Peirce), (3) Philosophy as Empirical Axiology (Dewey), and (4) Philosophy as Empirical Cosmology (Whitehead). (shrink)

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)

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)

In this paper it is shown that Heyting and Co-Heyting mereological systems provide a convenient conceptual framework for spatial reasoning, in which spatial concepts such as connectedness, interior parts, (exterior) contact, and boundary can be defined in a natural and intuitively appealing way. This fact refutes the wide-spread contention that mereology cannot deal with the more advanced aspects of spatial reasoning and therefore has to be enhanced by further non-mereological concepts to overcome its congenital limitations. The allegedly unmereological concept of (...) boundary is treated in detail and shown to be essentially affected by mereological considerations. More precisely, the concept of boundary turns out to be realizable in a variety of different mereologically grounded versions. In particular, every part K of a Heyting algebra H gives rise to a well-behaved K-relative boundary operator. (shrink)

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (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)

Abstract. El objetivo de este documento es elucidar el papel de las idealizaciones en el conocimiento matemático inspirado por algunas ideas del filósofo neo-kantiano Ernst Cassirer. Usualmente, en la filosofía de la ciencia contemporánea se da por hecho que el tema de la idealización se refiere únicamente a las idealizaciones en las ciencias empíricas, en particular en la física. Por el contrario, Cassirer afirmó que la idealización de las matemáticas, así como en las ciencias tiene la misma base conceptual y (...) epistemológica. Precisamente, su "tesis de la identidad" es analizada al investigar una variedad de ejemplos de idealizaciones tomadas del álgebra, la topología, la teoría de red y la geometría física. Las idealizaciones en matemática, así como en el conocimiento físico se puede caracterizar por la introducción de elementos ideales que conducen a completaciones. En ambas áreas estos elementos ideales desempeñan esencialmente el mismo papel, es decir, sustituyen una variedad incompleta de objetos mediante una variedad conceptual completa “idealizada. (shrink)

The aim of this paper is to elucidate the mereological structure of complex states of affairs without relying on the problematic notion of structural universals. For this task tools from graph theory, lattice theory, and the theory of relational systems are employed. Our starting point is the mereology of similarity structures. Since similarity structures are structured sets, their mereology can be considered as a generalization of the mereology of sets ...

The aim of this paper is make a contribution to the ongoing search for an adequate concept of the a priori element in scientific knowledge. The point of departure is C.I. Lewis’s account of a pragmatic a priori put forward in his "Mind and the World Order" (1929). Recently, Hasok Chang in "Contingent Transcendental Arguments for Metaphysical Principles" (2008) reconsidered Lewis’s pragmatic a priori and proposed to conceive it as the basic ingredient of the dynamics of an embodied scientific reason. (...) The present paper intends to further elaborate Chang’s account by relating it with some conceptual tools from cognitive semantics and certain ideas that first emerged in the context of the category-theoretical foundations of mathematics. (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.

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)

Abstract. The aim of this paper is to reconstruct the debate on Begriffstheorie between Ernst Cassirer, the Swe¬dish philosopher Konrad Marc-Wogau, and, virtually, Moritz Schlick. It took place during in the late thirties when Cassirer had immigrated to Sweden. While Cassirer argued for a rich “constitutive” theory of concepts, Marc-Wogau, and, in a different way, Schlick favored “austere” non-con¬sti¬¬tutive theories of concepts. Ironically, however, Cassirer used Schlick’s account as a weapon to counter Marc-Wogau’s criticism of his rich con¬¬sti¬tu¬¬tive theory of (...) concepts. With the help of modern Formal Concept Theory (FCT) it can be shown, however, that Marc-Wogau’s argument is flawed. (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)

Carnap’s quasi-analysis is usually considered as an ingenious but definitively flawed approach in epistemology and philosophy of science. In this paper it is argued that this assessment is mistaken. Quasi-analysis can be reconstructed as a representational theory of constitution of structures that has applications in many realms of epistemology and philosophy of science. First, existence and uniqueness theorems for quasi-analytical representations are proved. These theorems defuse the classical objections against the quasi-analytical approach launched forward by Goodman and others. Secondly, the (...) constitution of various kinds of structures is treated in detail: order structures, comparative similarity structures, mereological, mereotopological, and topological structures are considered. In particular, it is pointed out that there exist interesting relations between quasi-analysis and modern theories of pointless topology. (shrink)

Bertrand Russell was one of the protagonists of the programme of reducing “disagreeable” concepts to philosophically more respectable ones. Throughout his life he was engaged in eliminating or paraphrasing away a copious variety of allegedly dubious concepts: propositions, definite descriptions, knowing subjects, and points, among others. The critical aim of this paper is to show that Russell’s construction of points, which has been considered as a paradigm of a logical construction überhaupt, fails for principal mathematical reasons. Russell could have known (...) this, if he had taken into account some pertinent results due to Hausdorff or Tarski. Its constructive aim is to show that one can save Russell’s thesis – that points can be defined in terms of events or regions – by using the conceptual resources of modern pointless topology. (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)

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)

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 reconstruected as complex networks of intervening representations (or representational interventions). The formal apparatus developed is applied to elucidate various theoretical and prctical aspects of the in vivo/in vitro problem of biochemistry. Moreover, adjoint situations (Galois connections) are used to eplain the relation between empirical facts and theoretical laws in a new (...) way. (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)

In A Parting of the Ways Michael Friedman proposed to conceive the contemporary divide between analytic philosophy (AP) and continental philosophy (CP) as the outcome of the bifurcation between the Neokantians of Heidelbarg and Marburg. According to Friedman, Carnap can be characterized as the executor of the Marburg school, while Heidegger is to be considered as the heir of the Southwest Neokantianism. In this paper it is argued that Carnap was much closer to the Southwest Neokantianism than usually recognized. To (...) some extent, Carnap’s project in the Aufbau may be described as an attempt to modernize the Neokantian approach of the Southwest school with the help of modern relational logic. This entails that Carnap cannot be lined so easily with the Marburg school as Friedman assumes. (shrink)

Abstract. 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 con-sidered as philosophically respectable entities that could be constituted from value experiences. About 1930, however, values were banished to the realm of meaning-less me-taphysics, and Carnap came to endorse a strict emotivism. The aim of this paper is to shed new light on the question why Carnap abandoned his originally positive (...) attitude concerning values. It is argued that Carnap’s non-cognitivist attitude was the symptom of a deep-rooted and never properly dissolved tension be-tween his conflicting inclinations towards Neokantianism and Lebensphilosophie. In America Carnap’s non-cognitivism became a major obstacle for a closer collaboration between lo-gical empiricists and American pragmatists. Carnap’s persisting ad---herence to the dualism of practical life and theoretical science was the ultimate reason why he could not accept Morris’s and Kaplan’s pragmatist the-ses that cognitivism might well are compatible with a logical and empiricist scientific philosophy. (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)

In this paper we argue that philosophy of science is in need of a comprehensive and deep theory of scientific representation. We contend that such a theory has to take into account the conceptual evolution of the notion of representation in the empirical science and mathematics.In particular, it is pointed out that the category-theoretical notion of an adjoint situation may be useful to shed new light on the intricate relation between the empirical and the theoretical by showing that scientific representations (...) do not mirror reality but are to be conceived as devices for establishing scenarios for a variety of possible representational interventions and interpretations. (shrink)

Geometry was a main source of inspiration for Carnap’s conventionalism. Taking Poincaré as his witness Carnap asserted in his dissertation Der Raum (Carnap 1922) that the metrical structure of space is conventional while the underlying topological structure describes "objective" facts. With only minor modifications he stuck to this account throughout his life. The aim of this paper is to disprove Carnap's contention by invoking some classical theorems of differential topology. By this means his metrical conventionalism turns out to be indefensible (...) for mathematical reasons. This implies that the relation between to-pology and geometry cannot be conceptualized as analogous to the relation between the meaning of a proposition and its expression in some language as logical empiricists used to say. (shrink)

In this paper it is argued that the theory of truth approximation should be pursued in the framework of some kind of geometry of logic. More specifically it is shown that the theory of interval structures provides a general framework for dealing with matters of truth approximation. The qualitative and the quantitative accounts of truthlikeness turn out to be special cases of the interval account. This suggests that there is no principled gap between the qualitative and quantitative approach. Rather, there (...) is a connected spectrum of ways of measuring truthlikeness depending on the specifics of the context in which it takes place. (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)

En esta réplica a la crítica que Sergio Martínez hace de nuestro artículo "Una teoría combinatoria de las representaciones científicas" (UTC) sostenemos que su posición está basada en una aceptación acrítica de algunas dicotomías tradicionales y en una interpretación algo distorsionada de la historia de la filosofía. Indicamos que el enfoque expuesto en UTC no puede calificarse de formalista. En filosofía de la ciencia la distinción entre el enfoque "formalista" y el "historicista" es ya obsoleta. Por ello, tanto las herramientas (...) formales como las informales son de utilidad en la elucidación del concepto de representación, concepto clave de UTC. Además, sostenemos que los argumentos que Martínez recaba de la historia de la filosofía contra nuestro enfoque no son atinados. \\\ In this reply to Martínez's discussion of our paper "Una teoría combinatoria de las representaciones científicas" (UTC) we argue that his criticism is informed by the uncritical acceptance of some traditional dichotomies and a rather distorted interpretation of the history of philosophy. We point out that UTC should not be characterized as a formalist approach. The distinction between "formalist" and "historicist" accounts in philosophy of science is obsolete. Henee, formal and informal means are useful for the explication of the concept of representation to be considered as a key concept of UTC. Moreover, we argue that the arguments from history of philosophy Martínez launches against our account are ill-founded. (shrink)

Einführung in die Philosophie Rudolf Carnaps.

Idealist Heresies in Philosophy of Science: Cassirer, Carnap, and Kuhn. As common wisdom has it, philosophy of science in the analytic tradition and idealist philosophy are incompatible. Usually, not much effort is spent for explaining what is to be understood by idealism. Rather, it is taken for granted that idealism is an obsolete and unscientific philosophical account. In this paper it is argued that this thesis needs some qualification. Taking Carnap and Kuhn as paradigmatic examples of positivist and postpositivist philosophies (...) of science it is shown that these accounts share important features with Cassirer's idealist philosophy of science developed in the first half of this century. As it turns out, often Cassirer is more modern than those classical philosophers of (post)posivitist philosophy of science. For instance, Quine's criticism against Carnap's empiricist philosophy of science launched in Two Dogmas of Empiricism is anticipated by Cassirer for several decades. (shrink)

En la estructura de una teoría se han distinguido tradicionalmente dos niveles conceptual y metodológicamente distintos: el nivel empirico y el teórico. Sostenemos que este enfoque de! doble nivel es incompleto y que conduce además a distorsiones, tanto en la comprensión filosofíca de las teorías como en la de su uso en la praxis científica. En este artículo se diseña un nuevo enfoque, segun el cual las teorías se conciben como estructuras representacionales tripartitas, que comprenden tres niveles conceptual y metodológicamente (...) distintos: el nivel de los datos, el de los fenómenos y el de los constructos teóricos. Se exploran las relaciones estructurales básicas entre los tres niveles y se muestran algunas aplicaciones relativas a los problemas de la idealización.Traditionally two different conceptual and methodological levels are distinguished within a theory: the empirical and the theoretical level. We argue that this two-level account is incomplete, leading to distortions of the philosophical understanding of theories and their usage in scientific praxis. We sketch a new account according to which theories are conceptualizad as three-tiered representational structures comprising three conceptually and methodologically different levels, to wit, the levels of data, phenomena and the level of theoretical constructs. Basic structural relations between these differentlevels are studied, some applications concerning problems of idealization are given. (shrink)

In this paper a solution of Whitehead’s problem is presented: Starting with a purely mereological system of regions a topological space is constructed such that the class of regions is isomorphic to the Boolean lattice of regular open sets of that space. This construction may be considered as a generalized completion in analogy to the well-known Dedekind completion of the rational numbers yielding the real numbers . The argument of the paper relies on the theories of continuous lattices and “pointless” (...) topology.

. (shrink)

En la estructura de una teoría se han distinguido tradicionalmente dos niveles conceptual y metodológicamente distintos: el nivel empirico y el teórico. Sostenemos que este enfoque de! doble nivel es incompleto y que conduce además a distorsiones, tanto en la comprensión filosofíca de las teorías como en la de su uso en la praxis científica. En este artículo se diseña un nuevo enfoque, segun el cual las teorías se conciben como estructuras representacionales tripartitas, que comprenden tres niveles conceptual y metodológicamente (...) distintos: el nivel de los datos, el de los fenómenos y el de los constructos teóricos. Se exploran las relaciones estructurales básicas entre los tres niveles y se muestran algunas aplicaciones relativas a los problemas de la idealización.Traditionally two different conceptual and methodological levels are distinguished within a theory: the empirical and the theoretical level. We argue that this two-level account is incomplete, leading to distortions of the philosophical understanding of theories and their usage in scientific praxis. We sketch a new account according to which theories are conceptualizad as three-tiered representational structures comprising three conceptually and methodologically different levels, to wit, the levels of data, phenomena and the level of theoretical constructs. Basic structural relations between these differentlevels are studied, some applications concerning problems of idealization are given. (shrink)

In this paper we argue for the thesis that theories are to be considered as representations. The term "representation" is used in a sense inspired by its mathematical meaning. Our main thesis asserts that theories of empirical theories can be conceived as geometrical representations. This idea may be traced back to Galileo. The geometric format of empirical theories should not be simply considered as a clever device for displaying a theory. Rather, the geometrical character deeply influences the theory s ontology. (...) We argue that it would be desastrous for philosophy if it followed Rorty s "neo-pragmatic" proposal to discard the concept of representation from philosophical discourse. (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)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures are (...) studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

"Accessibility" is a crucial concept of possible worlds semantics. The simplest approach to accessibility is the "magical theory" that construes this relation as analogous to spatial or temporal relations. In this paper I give a nonmagical structural account of the accessibility relation that can be used to give a necessitarian account of kinds and laws. Laws are characterized in a structural way as stable invariants of the world's gestalt. Finally, I point out how the structural approach can be embedded in (...) a general representational theory of modality. (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)

In the framework of set theory we cannot distinguish between natural and non-natural predicates. To avoid this shortcoming one can use mathematical structures as conceptual spaces such that natural predicates are characterized as structurally nice subsets. In this paper topological and related structures are used for this purpose. We shall discuss several examples taken from conceptual spaces of quantum mechanics (orthoframes), and the geometric logic of refutative and affirmable assertions. In particular we deal with the problem of structurally distinguishing between (...) natural colour predicates and Goodmanian predicates like grue and bleen. Moreover the problem of characterizing natural predicates is reformulated in such a way that its connection with the classical problem of geometric conventionalism becomes manifest. This can be used to shed some new light on Goodman's remarks on the relative entrenchment of predicates as a criterion of projectibility. (shrink)

The Protean Character of Mathematics SAUNDERS MAC LANE (Chicago) 1. Introduction The thesis of this paper is that mathematics is protean. ...

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)

In this paper I want to show that a main theme of Neurath’s philosophical work was the formulation of a radically empiricist theory of science. His approach, dubbed "encyclopedism", can be characterized by the following five theses: scientific knowledge is (1) fallible, (2) pluralistic, (3) holistic, (4) can be systematized only locally, and (5) does not give us a faithful description of the real world. (4) is to be considered as the most original thesis of encyclopedism and is discussed in (...) detail. (shrink)